Dissemination
Publications
Néstor Cataño and Ijaz Ahmed and Jonathan Aldrich and Radu Siminiceanu, Lightweight Verification of a Multi-Task Threaded Server, in Science of Computer Programming, 2013.
Alcides Fonseca and Cabral, B. ,AeminiumGPU: An Intelligent Framework for GPU Programming, in Facing the Multicore-Challenge III, 2012
Radu I. Siminiceanu Ijaz Ahmed and Néstor Catanõ, Automated Verification of Specifications with Typestates and Access Permissions, in Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Electronic Communications of the EASST, September 2012.
C. Olarte and E. Pimentel and N. Cataño and C. Rueda, A Linear Concurrent Constraint approach for the automatic verification of access permissions, in Proceedings of the 14th symposium on Principles and practice of declarative programming (PPDP), ACM Press, September 2012.
Alcides Fonseca, Bruno Cabral, Handling Exceptions in Programs with Hidden Concurrency: New Challenges for "Old" Solutions, in ICSE'12 Workshop Proceedings, 5th International Workshop on Exception Handling (WEH.12), Zurich, Switzerland, June, 2012.
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
Sven Stork, ÆMINIUM - Freeing Programmers from the Shackles of Sequentiality, thesis submitted to the University of Coimbra and Carnegie Mellon University in fulfilment of the requirement for the degree of Doctor of Philosophy, March 2013.
Ijaz Ahmed, On the Formal Verification of Specifications based on Typestates with Access Permissions, thesis submitted to the University of Madeira in fulfilment of the requirement for the degree of Doctor of Philosophy, December 2012.
Alcides Fonseca, Strategies for Optimization of Parallel Programs, PhD Thesis Proposal, Coimbra, Portugal, September 2012.
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
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). At the International Conference on Software Engineering (ICSE '11), New Ideas and Emerging Results Track, 2011 Plaidpermissions-icsenier-may11.pdf
Concurrency-Workshop 2010: AEminium-in-a-Nutshell.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
SSSG 2008: Parallel-Programming-Models.pdf
SSSG 2008: SSSG-CurrentResearch.pdf
