Difference between revisions of "Dissemination"
(→Thesis) |
(→Publications) |
||
| Line 2: | Line 2: | ||
Néstor Cataño and Ijaz Ahmed, Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool, in Proceedings of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11), Trento, Italy, August 29-30, 2011 [http://aeminium.dei.uc.pt/images/6/67/Mtts.pdf] | Néstor Cataño and Ijaz Ahmed, Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool, in Proceedings of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11), Trento, Italy, August 29-30, 2011 [http://aeminium.dei.uc.pt/images/6/67/Mtts.pdf] | ||
| + | |||
| + | Nels E. Beckman, Duri Kim, and Jonathan Aldrich, An Empirical Study of Object Protocols in the Wild, in Proceedings of the European Conference on Object-Oriented Programming (ECOOP '11), 2011. [http://www.cs.cmu.edu/~aldrich/papers/aldrich-empirical-ecoop11.pdf] | ||
| + | |||
| + | Roger Wolff, Ronald Garcia, Éric Tanter, and Jonathan Aldrich, Gradual Typestate, in Proceedings of the European Conference on Object-Oriented Programming (ECOOP '11), 2011. [http://www.cs.cmu.edu/~aldrich/papers/aldrich-gradual-ecoop11.pdf] | ||
| + | |||
| + | Ligia Nistor and Jonathan Aldrich, Verifying Object-Oriented Code Using Object Propositions, in International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), 2011. [http://www.cs.cmu.edu/~aldrich/papers/nistor-iwaco11.pdf] | ||
Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter, First-Class State Change in Plaid, To appear in Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '11), 2011, [http://www.cs.cmu.edu/~aldrich/papers/plaid-oopsla11.pdf] | Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter, First-Class State Change in Plaid, To appear in Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '11), 2011, [http://www.cs.cmu.edu/~aldrich/papers/plaid-oopsla11.pdf] | ||
| Line 9: | Line 15: | ||
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, and Roger Wolff, | Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, and Roger Wolff, | ||
Permission-Based Programming Languages (NIER Track), in Proceedings of the International Conference on Software Engineering (ICSE '11), New Ideas and Emerging Results Track, 2011, [http://www.cs.cmu.edu/~aldrich/papers/plaid-NIER2010.pdf] | Permission-Based Programming Languages (NIER Track), in Proceedings of the International Conference on Software Engineering (ICSE '11), New Ideas and Emerging Results Track, 2011, [http://www.cs.cmu.edu/~aldrich/papers/plaid-NIER2010.pdf] | ||
| + | |||
| + | Filipe Militão, Jonathan Aldrich, and Luís Caires, Aliasing Control with View-Based Typestate, in Proceedings of Formal Techniques for Java Like Programs (FTfJP), 2010. [http://www.cs.cmu.edu/~aldrich/papers/ftfjp2010-view.pdf] | ||
Sven Stork, Paulo Marques, Jonathan Aldrich. Concurrency by Default: Using Permissions to Express Dataflow in Stateful Programs. Onward! Conference, Orlando, Florida, USA, October, 2009, [http://www.cs.cmu.edu/~svens/papers/onward-2009.pdf]. | Sven Stork, Paulo Marques, Jonathan Aldrich. Concurrency by Default: Using Permissions to Express Dataflow in Stateful Programs. Onward! Conference, Orlando, Florida, USA, October, 2009, [http://www.cs.cmu.edu/~svens/papers/onward-2009.pdf]. | ||
Revision as of 10:22, 1 October 2011
Publications
Néstor Cataño and Ijaz Ahmed, Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool, in Proceedings of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11), Trento, Italy, August 29-30, 2011 [1]
Nels E. Beckman, Duri Kim, and Jonathan Aldrich, An Empirical Study of Object Protocols in the Wild, in Proceedings of the European Conference on Object-Oriented Programming (ECOOP '11), 2011. [2]
Roger Wolff, Ronald Garcia, Éric Tanter, and Jonathan Aldrich, Gradual Typestate, in Proceedings of the European Conference on Object-Oriented Programming (ECOOP '11), 2011. [3]
Ligia Nistor and Jonathan Aldrich, Verifying Object-Oriented Code Using Object Propositions, in International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), 2011. [4]
Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter, First-Class State Change in Plaid, To appear in Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '11), 2011, [5]
David Alves, Pedro Bizarro and Paulo Marques, Deadline Queries: Leveraging the Cloud to Produce On-Time Results, in Proceedings of the Fourth IEEE International Conference on Cloud Computing (CLOUD 2011), July 4-9, 2011, Washington Marriott, Washington DC, USA, [6]
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, and Roger Wolff, Permission-Based Programming Languages (NIER Track), in Proceedings of the International Conference on Software Engineering (ICSE '11), New Ideas and Emerging Results Track, 2011, [7]
Filipe Militão, Jonathan Aldrich, and Luís Caires, Aliasing Control with View-Based Typestate, in Proceedings of Formal Techniques for Java Like Programs (FTfJP), 2010. [8]
Sven Stork, Paulo Marques, Jonathan Aldrich. Concurrency by Default: Using Permissions to Express Dataflow in Stateful Programs. Onward! Conference, Orlando, Florida, USA, October, 2009, [9].
Thesis
Alcides Fonseca, ÆminiumGPU: A CPU-GPU Hybrid Runtime for the Æminium Language, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2011 [10]
Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of Technology, February 2011 [11]
Sven Stork, Concurrent Programming via Access Permissions, PhD Thesis Proposal, Coimbra, Portugal, September 2009, [12].
Internal Presentations
July 2011: Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator
March 2011 at Novabase: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
Public Presentations
SSSG 2008: Parallel-Programming-Models.pdf
SSSG 2008: SSSG-CurrentResearch.pdf
UC/Seminar presentation January 2009: Designing-a-Concurrent-Programming-Language.pdf
SSSG talk 2009: SSSG-Concurrency-by-Default.pdf
PhD-Proposal short presentation: Concurrent-Programming-via-Access-Permissions.pdf
Phd-Proposal UC: PhD-Proposal-Defense-UC.pdf
Onward 2009: Concurreny-By-Default.pdf
Concurrency-Workshop 2010: AEminium-in-a-Nutshell.pdf
