Aeminium - User contributions [en]

Dissemination

2013-07-29T10:03:50Z

Alcides: /* Publications in Journals */

== Publications in Conferences==

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. [http://www.sciencedirect.com/science/article/pii/S0167642313000178]

Alcides Fonseca and Cabral, B. ,AeminiumGPU: An Intelligent Framework for GPU Programming, in Facing the Multicore-Challenge III, 2013 [http://aeminium.dei.uc.pt/images/e/e8/Mc12_aeminiumgpu_an_inteligent_framework_for_gpu_programming.pdf]

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. [http://aeminium.dei.uc.pt/images/3/39/Weh12_exceptions_in_programs_with_hidden_concurrency.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== PhD 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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. [http://aeminium.dei.uc.pt/images/4/4e/Thesis_proposal.pdf]

== Master Thesis ==

João Rafael, A programming language for parallel event-driven development, thesis to be submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2013.

Cristiano Gonçalves, Runtime Optimization of Programs for the Æminium Platform, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, July 2013 [http://aeminium.dei.uc.pt/images/c/c2/Tese_cristiano.pdf]

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

== Technical Reports ==

Sven Stork, Jonathan Aldrich, Paulo Marques, μÆminium Language Specification, Technical Report CMU-ISR-10-125R2, Carnegie Mellon University, Pittsburgh, USA, February, 2012. [http://www.cs.cmu.edu/~svens/papers/tr-uaeminium-2012.pdf]

Néstor Cataño and Radu Siminiceanu. Automated Verification of Specifications with Typestates and Access Permissions. NASA Langley Research Center, NASA/CR-2011-217170, 2011. [http://aeminium.dei.uc.pt/images/4/48/20110014510_2011015139.pdf]

== Public Presentations ==

MultiCore 2013: [http://aeminium.dei.uc.pt/images/6/6b/%C3%86miniumGPU_decider.pdf AEminiumGPU_decider.pdf]

Workshop in Exception Handling 2012: [http://aeminium.dei.uc.pt/images/f/f8/Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf]

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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool]

Documentation

2013-07-29T00:39:48Z

Alcides:

The Documentation of Æminium is split in several components:

* [https://code.google.com/p/plaid-lang/wiki/GettingStarted AeminiumCompiler Getting Started]
* [[DocumentationAeminiumRuntime|AeminiumRuntime Documentation]]
** [[DocumentationAeminiumRuntimeProfiler|Profiler Documentation]]
** [https://github.com/AEminium/AeminiumGPUCompiler/blob/master/Readme.txt AeminiumGPU Getting Started]

ToolsAndDownloads

2013-07-29T00:36:42Z

Alcides:

== Aeminium Compiler (CMU) ==

The Æminium Compiler translates the Æminium language to Java source code with calls to the Æminium Runtime. The Æminium Language uses the [https://code.google.com/p/plaid-lang/ Plaid Language] and the code lives in the same repository, specifically under the [https://code.google.com/p/plaid-lang/source/browse/#hg%2Faeminiumcodegen aeminiumcodegen] subproject.

An example of a simple WebServer written in Æminium can be seen [https://code.google.com/p/plaid-lang/source/browse/AeminiumExamples/pld/plaid/examples/webserver/plaid/WebServer.plaid here].

== Aeminium Runtime (U. Coimbra) ==

[https://github.com/AEminium/AeminiumRuntime Aeminium Runtime] is a Java library that supports the runtime elements of Æminium programs. This includes a work-stealing scheduler, task management and dependency checker, runtime optimizations, locking, etc. It also features a Profiler that can be used to understand what is happening inside the runtime in Æminium programs.

[https://github.com/AEminium/AeminiumBenchmarks Aeminium Benchmarks] is a collection of sequential java, fork-join java and aeminium programs from different benchmarks, such as Fibonacci, FFT, MergeSort, BFS, NBody, etc. These programs are used to evaluate the performance of the Runtime.

[https://github.com/AEminium/AeminiumGPU AeminiumGPU] is a runtime that supports the execution of AeminiumPrograms on GPUs using a Map-Reduce approach. This is complemented by the [https://github.com/AEminium/AeminiumGPUCompiler AeminiumGPU Compiler] that translates Java into OpenCL, so the programmer only has to write Java to have programs running on both CPU or GPU.

[https://github.com/AEminium/java2aeminium j2jpar] is a compiler that receives sequential Java and outputs the same program, parallelized using the Aeminium Runtime as support for concurrency management.

[https://github.com/AEminium/ceco CECO] is a Scala library for writing parallel and concurrent programs with sane support for exceptions across concurrent actors.

== Verification (U. Madeira) ==

[http://193.136.232.100/~ncatano/Projects/aeminium/Pulse.html Pulse] is a model-checking tool of Plural specifications. It has been implemented as a plug-in of the Plural tool. It translates Plural specifications into an abstract model-checking model that is then used as an input of the EVMDD model-checker.

Dissemination

2013-07-29T00:22:52Z

Alcides: /* Public Presentations */

== Publications in Journals==

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, and Jonathan Aldrich. Æminium: A Permission Based Concurrent-by-Default Programming Language Approach. (To appear in next TOPLAS).

== Publications in Conferences==

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. [http://www.sciencedirect.com/science/article/pii/S0167642313000178]

Alcides Fonseca and Cabral, B. ,AeminiumGPU: An Intelligent Framework for GPU Programming, in Facing the Multicore-Challenge III, 2013 [http://aeminium.dei.uc.pt/images/e/e8/Mc12_aeminiumgpu_an_inteligent_framework_for_gpu_programming.pdf]

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. [http://aeminium.dei.uc.pt/images/3/39/Weh12_exceptions_in_programs_with_hidden_concurrency.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== PhD 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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. [http://aeminium.dei.uc.pt/images/4/4e/Thesis_proposal.pdf]

== Master Thesis ==

João Rafael, A programming language for parallel event-driven development, thesis to be submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2013.

Cristiano Gonçalves, Runtime Optimization of Programs for the Æminium Platform, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, July 2013 [http://aeminium.dei.uc.pt/images/c/c2/Tese_cristiano.pdf]

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

== Technical Reports ==

Sven Stork, Jonathan Aldrich, Paulo Marques, μÆminium Language Specification, Technical Report CMU-ISR-10-125R2, Carnegie Mellon University, Pittsburgh, USA, February, 2012. [http://www.cs.cmu.edu/~svens/papers/tr-uaeminium-2012.pdf]

Néstor Cataño and Radu Siminiceanu. Automated Verification of Specifications with Typestates and Access Permissions. NASA Langley Research Center, NASA/CR-2011-217170, 2011. [http://aeminium.dei.uc.pt/images/4/48/20110014510_2011015139.pdf]

== Public Presentations ==

MultiCore 2013: [http://aeminium.dei.uc.pt/images/6/6b/%C3%86miniumGPU_decider.pdf AEminiumGPU_decider.pdf]

Workshop in Exception Handling 2012: [http://aeminium.dei.uc.pt/images/f/f8/Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf]

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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool]

Dissemination

2013-07-29T00:18:42Z

Alcides:

== Publications in Journals==

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, and Jonathan Aldrich. Æminium: A Permission Based Concurrent-by-Default Programming Language Approach. (To appear in next TOPLAS).

== Publications in Conferences==

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. [http://www.sciencedirect.com/science/article/pii/S0167642313000178]

Alcides Fonseca and Cabral, B. ,AeminiumGPU: An Intelligent Framework for GPU Programming, in Facing the Multicore-Challenge III, 2013 [http://aeminium.dei.uc.pt/images/e/e8/Mc12_aeminiumgpu_an_inteligent_framework_for_gpu_programming.pdf]

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. [http://aeminium.dei.uc.pt/images/3/39/Weh12_exceptions_in_programs_with_hidden_concurrency.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== PhD 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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. [http://aeminium.dei.uc.pt/images/4/4e/Thesis_proposal.pdf]

== Master Thesis ==

João Rafael, A programming language for parallel event-driven development, thesis to be submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2013.

Cristiano Gonçalves, Runtime Optimization of Programs for the Æminium Platform, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, July 2013 [http://aeminium.dei.uc.pt/images/c/c2/Tese_cristiano.pdf]

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

== Technical Reports ==

Sven Stork, Jonathan Aldrich, Paulo Marques, μÆminium Language Specification, Technical Report CMU-ISR-10-125R2, Carnegie Mellon University, Pittsburgh, USA, February, 2012. [http://www.cs.cmu.edu/~svens/papers/tr-uaeminium-2012.pdf]

Néstor Cataño and Radu Siminiceanu. Automated Verification of Specifications with Typestates and Access Permissions. NASA Langley Research Center, NASA/CR-2011-217170, 2011. [http://aeminium.dei.uc.pt/images/4/48/20110014510_2011015139.pdf]

== Public Presentations ==

MultiCore 2013: [http://aeminium.dei.uc.pt/images/6/6b/%C3%86miniumGPU_decider.pdf %C3%86miniumGPU_decider.pdf]

Workshop in Exception Handling 2012: [http://aeminium.dei.uc.pt/images/f/f8/Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf]

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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool]

Dissemination

2013-07-29T00:15:51Z

Alcides:

== Publications in Journals==

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, and Jonathan Aldrich. Æminium: A Permission Based Concurrent-by-Default Programming Language Approach. (To appear in next TOPLAS).

== Publications in Conferences==

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. [http://www.sciencedirect.com/science/article/pii/S0167642313000178]

Alcides Fonseca and Cabral, B. ,AeminiumGPU: An Intelligent Framework for GPU Programming, in Facing the Multicore-Challenge III, 2013 [http://aeminium.dei.uc.pt/images/e/e8/Mc12_aeminiumgpu_an_inteligent_framework_for_gpu_programming.pdf]

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. [http://aeminium.dei.uc.pt/images/3/39/Weh12_exceptions_in_programs_with_hidden_concurrency.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== PhD 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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. [http://aeminium.dei.uc.pt/images/4/4e/Thesis_proposal.pdf]

== Master Thesis ==

João Rafael, A programming language for parallel event-driven development, thesis to be submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2013.

Cristiano Gonçalves, Runtime Optimization of Programs for the Æminium Platform, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, July 2013 [http://aeminium.dei.uc.pt/images/c/c2/Tese_cristiano.pdf]

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

== Technical Reports ==

Sven Stork, Jonathan Aldrich, Paulo Marques, μÆminium Language Specification, Technical Report CMU-ISR-10-125R2, Carnegie Mellon University, Pittsburgh, USA, February, 2012. [http://www.cs.cmu.edu/~svens/papers/tr-uaeminium-2012.pdf]

Néstor Cataño and Radu Siminiceanu. Automated Verification of Specifications with Typestates and Access Permissions. NASA Langley Research Center, NASA/CR-2011-217170, 2011. [http://aeminium.dei.uc.pt/images/4/48/20110014510_2011015139.pdf]

== Public Presentations ==

MultiCore 2013: [http://aeminium.dei.uc.pt/images/6/6b/%C3%86miniumGPU_decider.pdf]

Workshop in Exception Handling 2012: [http://aeminium.dei.uc.pt/images/f/f8/Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf]

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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool]

File:Handling Faults in Programs with Hidden Concurrency.pdf

2013-07-29T00:15:43Z

Alcides:

File:ÆminiumGPU decider.pdf

2013-07-29T00:14:19Z

Alcides:

File:Tese cristiano.pdf

2013-07-29T00:11:59Z

Alcides:

File:Thesis proposal.pdf

2013-07-29T00:07:48Z

Alcides:

File:20110014510 2011015139.pdf

2013-07-29T00:06:28Z

Alcides:

File:Mc12 aeminiumgpu an inteligent framework for gpu programming.pdf

2013-07-29T00:05:20Z

Alcides:

File:Weh12 exceptions in programs with hidden concurrency.pdf

2013-07-29T00:04:32Z

Alcides:

Dissemination

2013-07-28T23:57:59Z

Alcides:

== Publications in Journals==

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, and Jonathan Aldrich. Æminium: A Permission Based Concurrent-by-Default Programming Language Approach. (To appear in next TOPLAS).

== Publications in Conferences==

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, 2013 [http://www.researchgate.net/publication/231238601_AEminiumGPU_An_Intelligent_Framework_for_GPU_Programming/file/9fcfd5066bca093c32.pdf]

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. [http://www.researchgate.net/publication/231239219_Handling_Exceptions_in_Programs_with_Hidden_Concurrency_New_Challenges_for_Old_Solutions/file/d912f5066bd5e21fe2.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== PhD 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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.

== Master Thesis ==

João Rafael, A programming language for parallel event-driven development, thesis to be submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2013.

Cristiano Gonçalves, Runtime Optimization of Programs for the Æminium Platform, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, July 2013

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

== Technical Reports ==

Sven Stork, Jonathan Aldrich, Paulo Marques, μÆminium Language Specification, Technical Report CMU-ISR-10-125R2, Carnegie Mellon University, Pittsburgh, USA, February, 2012. [http://www.cs.cmu.edu/~svens/papers/tr-uaeminium-2012.pdf]

Néstor Cataño and Radu Siminiceanu. Automated Verification of Specifications with Typestates and Access Permissions. NASA Langley Research Center, NASA/CR-2011-217170, 2011. [http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20110014510_2011015139.pdf]

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf 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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

Dissemination

2013-07-28T23:54:53Z

Alcides: /* Thesis */

== Publications in Journals==

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, and Jonathan Aldrich. Æminium: A Permission Based Concurrent-by-Default Programming Language Approach. (To appear in next TOPLAS).

== Publications in Conferences==

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, 2013 [http://www.researchgate.net/publication/231238601_AEminiumGPU_An_Intelligent_Framework_for_GPU_Programming/file/9fcfd5066bca093c32.pdf]

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. [http://www.researchgate.net/publication/231239219_Handling_Exceptions_in_Programs_with_Hidden_Concurrency_New_Challenges_for_Old_Solutions/file/d912f5066bd5e21fe2.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== PhD 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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.

== Master Thesis ==

João Rafael, A programming language for parallel event-driven development, thesis to be submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2013.

Cristiano Gonçalves, Runtime Optimization of Programs for the Æminium Platform, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, July 2013

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf 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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

Dissemination

2013-07-28T23:51:33Z

Alcides: /* Publications i */

== Publications in Journals==

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, and Jonathan Aldrich. Æminium: A Permission Based Concurrent-by-Default Programming Language Approach. (To appear in next TOPLAS).

== Publications in Conferences==

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, 2013 [http://www.researchgate.net/publication/231238601_AEminiumGPU_An_Intelligent_Framework_for_GPU_Programming/file/9fcfd5066bca093c32.pdf]

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. [http://www.researchgate.net/publication/231239219_Handling_Exceptions_in_Programs_with_Hidden_Concurrency_New_Challenges_for_Old_Solutions/file/d912f5066bd5e21fe2.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

Sven Stork, Concurrent Programming via Access Permissions, PhD Thesis Proposal, Coimbra, Portugal, September 2009, [http://www.cs.cmu.edu/~svens/papers/proposal-2009.pdf].

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf 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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

Dissemination

2013-07-28T23:47:43Z

Alcides:

== Publications i==

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, 2013 [http://www.researchgate.net/publication/231238601_AEminiumGPU_An_Intelligent_Framework_for_GPU_Programming/file/9fcfd5066bca093c32.pdf]

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. [http://www.researchgate.net/publication/231239219_Handling_Exceptions_in_Programs_with_Hidden_Concurrency_New_Challenges_for_Old_Solutions/file/d912f5066bd5e21fe2.pdf]

Néstor Cataño and Ijaz Ahmed, Lightweight Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

Sven Stork, Concurrent Programming via Access Permissions, PhD Thesis Proposal, Coimbra, Portugal, September 2009, [http://www.cs.cmu.edu/~svens/papers/proposal-2009.pdf].

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf 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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

AEminium

2013-07-28T22:59:46Z

Alcides:

<big>'''Freeing Programmers from the Shackles of Sequentiality.'''</big>

Current programming systems shackle developers to a sequential coding paradigm.
This paradigm hampers developers from taking advantage of emerging large‐scale multicore hardware. We propose a platform which builds in concurrency by default: instead of sequencing code, programmers express dependency information, which is used by a compile‐time checker to verify correctness conditions, and by the libraries and runtime system to enable concurrent execution. As a result, developers can write parallel code in a natural style and have confidence in its correctness and performance.

Consult the [http://aeminium.dei.uc.pt/images/1/13/Aeminium_ExecutiveSummary.pdf Executive Summary] for information on the project.

== AEminium at the University of Coimbra ==

The AEminium Runtime is being optimized in terms of scheduling algorithms, merging policies and other improvements. There is also parallel work towards executing AEminium programs on the GPU automatically, using OpenCL technology under the hood. There is yet some work being developed on using access permissions on a event-oriented language.

== AEminium at the University of Madeira ==

The organizers of FMICS'11 selected the article "Multi-Task Threaded Server: A Case Study With The Plural Tool" by Néstor Cataño and Ijaz Ahmed for submission to Science of Computer Programming (SCP). FMICS invited 7 papers in total and will select 5 of them for final publication to SCP. This article discusses the business case provided by AEMinium's industrial partner Novabase.

Follow this [http://www3.uma.pt/ncatano/aeminium/Home.html link] for more information on what the University of Madeira is doing on the AEminium project.

== AEminium at the Carnegie Mellon University ==
Contact Jonathan Aldrich at CMU for more information. http://www.cs.cmu.edu/~aldrich/

Dissemination

2013-07-01T15:09:15Z

Alcides: /* Thesis */

== 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 Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== 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. [http://www.cs.cmu.edu/~svens/papers/PhD_Thesis__Sven_Stork.pdf]

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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

Sven Stork, Concurrent Programming via Access Permissions, PhD Thesis Proposal, Coimbra, Portugal, September 2009, [http://www.cs.cmu.edu/~svens/papers/proposal-2009.pdf].

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf 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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

Dissemination

2012-10-07T23:13:34Z

Alcides: /* Publications */

== Publications ==

Alcides Fonseca and Cabral, B. ,"AeminiumGPU: An Intelligent Framework for GPU Programming", in Facing the Multicore-Challenge III, 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 Veriﬁcation 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]

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, [http://aeminium.dei.uc.pt/images/5/5a/Paper_cloud_2011_cr_final_v2.pdf]

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]

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].

== 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 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.pdf]

Manuel Mohr, AEminium Compilation Theory in the Context of the Plaid Language, Diploma thesis submitted to the Karlsruhe Institute of
Technology, February 2011 [http://pp.info.uni-karlsruhe.de/~mohr/DiplomaThesisMohr.pdf]

Sven Stork, Concurrent Programming via Access Permissions, PhD Thesis Proposal, Coimbra, Portugal, September 2009, [http://www.cs.cmu.edu/~svens/papers/proposal-2009.pdf].

== Internal Presentations ==

July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]

March 2011 at Novabase: [http://aeminium.dei.uc.pt/images/0/05/Novabase.pdf 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 [http://aeminium.dei.uc.pt/images/9/91/Plaidpermissions-icsenier-may11.pdf Plaidpermissions-icsenier-may11.pdf]

Concurrency-Workshop 2010: [http://aeminium.dei.uc.pt/images/a/ae/AEminium-in-a-Nutshell.pdf AEminium-in-a-Nutshell.pdf]

UC/Seminar presentation January 2009: [http://aeminium.dei.uc.pt/images/1/1e/Designing-a-Concurrent-Programming-Language.pdf Designing-a-Concurrent-Programming-Language.pdf]

SSSG talk 2009: [http://aeminium.dei.uc.pt/images/a/a6/SSSG-Conurrency-by-Default.pdf SSSG-Concurrency-by-Default.pdf]

PhD-Proposal short presentation: [http://aeminium.dei.uc.pt/images/6/6c/Concurrent-Programming-via-Access-Permissions.pdf Concurrent-Programming-via-Access-Permissions.pdf]

Phd-Proposal UC: [http://aeminium.dei.uc.pt/images/f/f6/PhD-Proposal-Defense-UC.pdf PhD-Proposal-Defense-UC.pdf]

Onward 2009: [http://aeminium.dei.uc.pt/images/f/ff/Concurrency-By-Default.pdf Concurreny-By-Default.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/e/e2/ParallelProgrammingModels.pdf Parallel-Programming-Models.pdf]

SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

Documentation

2012-02-11T14:47:24Z

Alcides:

The Documentation of Æminium is split in several components:

* [[DocumentationAeminiumCompiler|AeminiumCompiler Documentation]]
* [[DocumentationAeminiumRuntime|AeminiumRuntime Documentation]]
** [[DocumentationAeminiumRuntimeProfiler|Profiler Documentation]]

DocumentationAeminiumRuntime

2012-02-11T14:42:50Z

Alcides: moved Documentation to DocumentationAeminiumRuntime

The main goal of the Æminium Runtime is to paralyze as much as possible a given code.

== Preparing the ground ==

=== Downloads ===
If you are looking for the source code of the Æminium Runtime, all of it may be found [https://github.com/alcides/Aeminium/tree/master/AeminiumRuntime here], at a ''GitHub'' repository with a read-only version.

Once you have downloaded the files, you may import it into the [http://www.eclipse.org/ Eclipse], as a project. In case you are using a different IDE other than this one, you may export its source file and run it under the [http://ant.apache.org/ Apache Ant] compiler.

We will soon enough make available all the ''.jar'' files so you may include the Æminium Runtime in your own project.

=== Configuration File ===
To be updated...

== A Simple Program ==

=== Creating the tasks ===

Every Æminium program should begin by creating an instance of the Runtime class using the proper [[#Factory|''Factory'']], starting the scheduler by invoking the method ''init()''. It should also be terminated with the ''shutdown()'' invocation, but we will remind you about it at the end of the section.

1 public static void main(String[] args)
2 {
3 final Runtime rt = Factory.getRuntime();
4 rt.init();
5
6 ''//Your code goes here!''
7
8 rt.shutdown();
9 }

Once you have started the [[#Scheduler|scheduler]], it’s time to declare all the [[#Task|tasks]] and [[#Body|bodies]] that will turn your program into reality. Every task receives as an argument a body, which it will execute, as well as a ''short'' constant from the class [[#Hints|''Hints'']], which will provide useful information to the Runtime, so optimization decisions may occur. It should be also noted the existence of the [[#DataGroup|''DataGroup'']], which allows mutual exclusion between two [[#Task|''AtomicTasks'']]. It works like a lock, making sure that two ''AtomicTasks'' with the same ''DataGroup'' won’t be executing simultaneously.

1 /* First, create a body. */
2 Body b1 = new Body() {
3 public void execute(Runtime rt, Task parent) {
4 int sum = 0;
5 for (int i = 0; i < MAX_CALC; i++) {
6 sum += i;
7 }
8
9 System.out.println("Sum: " + sum);
10 }
11 };
12
13 /* Then, create the task. */
14 Task t1 = rt.createNonBlockingTask(b1, Runtime.NO_HINTS);
15
16 /* Create a data group for an atomic task. */
17 DataGroup dg = rt.createDataGroup();
18 Task t2 = rt.createAtomicTask(b1, dg, Runtime.NO_HINTS);

Although a [[#Task|task]] and a [[#Body|body]] are closely related (as you can’t build a task without assigning it a body), you should bear in mind that they don’t necessarily have an exclusive relation. The reason why you keep them separated is because two different tasks may be initialized with the same body. This possibility turns out to be really useful, especially when you want to paralyze a common cycle and divide it through several tasks, for example.
With the object that represents the task, you may wish to assign dependencies to it. You only need to give its direct dependencies, although you are free to do as you prefer. Giving a small example, you may have three tasks. The third task depends on the second, while this one depends of the first. This means that the third will depend of the second and the first. At the assignment of the dependencies, you can declare both dependencies, but it is sufficient if you only declare its dependency to the second, assuming that you will say that the second depends on the third. When you start a task, the [[#Scheduler|scheduler]] takes control of it and it’s to it to decide whether give it work right away or leave it waiting. Therefore, the starting method of a task (''Runtime.schedule()'') is non-blocking and the rest of the code will be executed immediately.

1 /* There are two ways for building the dependencies.
2 * t1, t2 and t3 are tasks created previously.
3 * Also, deps2 is the collection of dependencies of t2.
4 */
5
6 Collection<Task> deps2 = new ArrayList<Task>();
7 Collection<Task> deps3 = new ArrayList<Task>();
8
9 /* First option: add all dependencies. */
10 deps2.add(t1);
11 deps3.add(t1);
12 deps3.add(t2);
13
14 /* Second option: add only direct dependencies. */
15 deps2.add(t1);
16 deps3.add(t2);

=== Life cycle of a task ===

As has been mentioned in the previous section, a [[#Task|task]] is allowed to start when you pass it to the [[#Scheduler|scheduler]]. Then, the scheduler will be responsible for putting the task into work (or better saying, placing it at one of the [[#Queues|working queues]]). One could think that a task would be terminated once it executed all the code present on its body. However, this would mean that the task could be over before all its children were over too, what would bring many problems to the scheduling. Consequently, a task will be considered finished only when it has executed the body and all its children tasks are over too.

1 /* When a thread is create out of the context of another thread,
2 * we mark it has having no parents.
3 * In this example, the second task has a list of dependencies,
4 * while the first has no dependencies.
5 */
6 rt.schedule(t1, Runtime.NO_PARENT, Runtime.NO_DEPS);
7 rt.schedule(t2, Runtime.NO_PARENT, deps2);

As shown in the previous example, the task were launched with the second argument being ''Runtime.NO_PARENT''. This is because these tasks were created out of the context of any other tasks.

An example where this doesn't happen are the following lines, taken from code which doesn't belong to our simple program.

1 private Task createAtomicTask(final Runtime rt, final DataGroup dg1, final DataGroup dg2) {
2 return rt.createAtomicTask(new Body() {
3
4 @Override
5 public void execute(Runtime rt, Task current) {
6 getLogger().info("Atomic Task for data group : " + dg1);
7 try {
8 Thread.sleep(500);
9 } catch (InterruptedException e) {
10 e.printStackTrace();
11 }
12 rt.schedule(createAtomicTask(rt, dg2), current, Runtime.NO_DEPS);
13 }
14 }, dg1, Runtime.NO_HINTS);
15 }

As you can see on line 12, the task ''current'' defines the parent of the task that is created by ''createAtomicTask(rt, dg2)''.

=== Looking inside the machinery ===

Now that we have looked into the aspect of a simple program, it’s now time to see how everything really works. As the code is executed, every [[#Task|task]] that is considered ready to be scheduled is placed into the [[#Graph|graph]], where all its dependencies are present. As this graph is being built by the [[#Scheduler|scheduler]], the same entity will have the job of detecting the tasks that have no dependencies and therefore, may start running. When the scheduler finds a task in these conditions, it is placed in one of the available [[#Queues|waiting queues]]. Basically, every processor that can be used by the AEminium program has a corresponding waiting queue, where all the tasks reserved for that processor are pushed into. It’s a job of the scheduler to make a balanced distribution between all the waiting queues, making sure one of the processors isn’t over burden with work while the others are sleeping. Each waiting queue will have a corresponding thread that is looking to the front of the queue and dispatches tasks as they go. If it finds no waiting tasks at its queue, it can pick one of the options. The first, it follows the technique named ‘work stealing’, where it looks in the other queues for tasks that aren’t being processed. If this time saving procedure can’t be taken, the thread falls asleep, till a task is scheduled into its queue.

It should also be noted the existence of a special queue. While these previous queues receive all the non-blocking and atomic tasks, this single queue will accept all the blocking tasks (i.e. the ones which require I/O interaction). This works like a virtual queue, because it has no CPU permanently assigned to it. Instead, it jumps from processor to processor, as they are free from the non-blocking queues' work.

<CENTER>[[File:RuntimeDocumentationOverview.png]]</CENTER>

With this, we may define six different [[#Task State|states]] for a [[#Task|task]]:

* UNSCHEDULED
* WAITING_FOR_DEPENDENCIES
* WAITING_IN_QUEUE
* RUNNING
* WAITING_FOR_CHILDREN
* COMPLETED

Unscheduled is a state that you won’t find very often. A task will be unscheduled if it’s ready to run, but the scheduler hasn’t analyzed it yet. Then, you have the waiting for dependencies state, where a task is blocked due to other task, of which it depends, but haven’t been completed yet. Once all its dependencies are cleaned from the graph (or if the task had no dependencies at the first place) and placed at the [[#Queues|waiting queues]], a task is marked as waiting in queue. It will hold this state while it stays on a queue, passing to running as soon as one of the threads picks it to execute its body.

If a task terminates before all its children are over too, it passes to the waiting for children state. As soon as all this conditions are fulfilled and this task has nothing else to do, the task is marked down as completed. Note however, that even if a task is completed, it isn’t removed from the graph, having instead only all its dependencies vanished. This happens due to consistency problems, as a task that hasn’t been scheduled yet may depend on this very task and if it was cleaned, it would cause a hole in the dependencies list of the new task. When a task reaches this very completed state, it’s its job to remove all the dependencies that point towards it.

Also, if by any chance this is a child of another task, it’s also its responsibility to take out itself from its parent’s list where references to all the working children are kept. Finally, if the graph happens to be completely empty (meaning there are no dependencies, with the whole set of nodes being marked as completed) and there are no more tasks to schedule, it means the program has terminated and it now time for the scheduler to call the ''shutdown()''. As promised, we remind you the importance of placing the calling of this method at the end of your program, which will be blocked till the graph is cleaned up.

=== The Code for the Simple Program ===

1 /**
2 * Copyright (c) 2010-11 The AEminium Project (see AUTHORS file)
3 *
4 * This file is part of Plaid Programming Language.
5 *
6 * Plaid Programming Language is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, either version 3 of the License, or
9 * (at your option) any later version.
10 *
11 * Plaid Programming Language is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
15 *
16 * You should have received a copy of the GNU General Public License
17 * along with Plaid Programming Language. If not, see <http://www.gnu.org/licenses/>.
18 */
19
20 package aeminium.runtime.examples;
21
22 import java.util.ArrayList;
23 import java.util.Collection;
24
25 import aeminium.runtime.Body;
26 import aeminium.runtime.Runtime;
27 import aeminium.runtime.Task;
28 import aeminium.runtime.implementations.Factory;
29
30 public class SimpleTest {
31 private static int MAX_CALC = 30;
32
33 public static void main(String[] args) {
34 final Runtime rt = Factory.getRuntime();
35 rt.init();
36
37 Body b1 = new Body() {
38 public void execute(Runtime rt, Task parent) {
39 int sum = 0;
40 for (int i = 0; i < MAX_CALC; i++) {
41 sum += i;
42 }
43 System.out.println("Sum: " + sum);
44 }
45 };
46
47 Body b2 = new Body() {
48 public void execute(Runtime rt, Task parent) {
49 for (int i = 0; i < MAX_CALC / 5; i++) {
50 System.out.println("Processing...");
51 }
52 }
53 };
54
55 Body b3 = new Body() {
56 public void execute(Runtime rt, Task parent) {
57 int max = 0;
58 for (int i = 0; i < MAX_CALC; i++) {
59 if (i > max)
60 max = i;
61 System.out.println("Calculating Maximum...");
62
63 }
64 System.out.println("Maximum: " + max);
65 }
66 };
67
68 Body b4 = new Body() {
69 public void execute(Runtime rt, Task parent) {
70 Tests.power(2, 20);
71 }
72 };
73
74 Body b5 = new Body() {
75 public void execute(Runtime rt, Task parent) {
76 Tests.matrixMultiplication();
77 }
78 };
79
80 Task t1 = rt.createNonBlockingTask(b1, Runtime.NO_HINTS);
81 Task t2 = rt.createNonBlockingTask(b2, Runtime.NO_HINTS);
82 Task t3 = rt.createNonBlockingTask(b3, Runtime.NO_HINTS);
83 Task t4 = rt.createNonBlockingTask(b4, Runtime.NO_HINTS);
84 Task t5 = rt.createNonBlockingTask(b5, Runtime.NO_HINTS);
86
87 // ex: deps2 == task2 dependencies
88 Collection<Task> deps2 = new ArrayList<Task>();
89 Collection<Task> deps4 = new ArrayList<Task>();
90 Collection<Task> deps5 = new ArrayList<Task>();
91
92 deps2.add(t1);
93 deps4.add(t1);
94 deps4.add(t3);
95 deps5.add(t2);
96 deps5.add(t4);
97
98 rt.schedule(t3, Runtime.NO_PARENT, Runtime.NO_DEPS); // both null and
99 rt.schedule(t1, Runtime.NO_PARENT, Runtime.NO_DEPS);
100 rt.schedule(t5, Runtime.NO_PARENT, deps5);
101 rt.schedule(t4, Runtime.NO_PARENT, deps4);
102 rt.schedule(t2, Runtime.NO_PARENT, deps2);
103 rt.shutdown();
104 }
105}

=== Most Important Entities ===

----

==== Runtime ====
'''Interface Location:''' ''aeminium.runtime.Runtime''

'''Class Location:''' ''aeminium.runtime.implementations.implicitworkstealing''

----

==== Factory ====
'''Class Location:''' ''aeminium.runtime.implementations.Factory''

----

==== Task ====
'''Task Interface Location:''' ''aeminium.runtime.Task''

'''AtomicTask Interface Location:''' ''aeminium.runtime.AtomicTask ''

'''BlockingTask Interface Location:''' ''aeminium.runtime.BlockingTask ''

'''NonBlockingTask Interface Location:''' ''aeminium.runtime.NonBlockingTask ''

'''Classes Location:''' ''aeminium.runtime.implementations.implicitworkstealing.task''

'''Notes:''' Both ''AtomicTask'' and ''BlockingTask'' extends the main interface ''Task''.

----

==== Body ====
'''Interface Location:''' ''aeminium.runtime.Body''

----

==== DataGroup ====
'''Interface Location:''' ''aeminium.runtime.DataGroup''

'''Classes Location:''' ''aeminium.runtime.implementations.implicitworkstealing.datagroup''

----

==== Hints ====
'''Class Location:''' ''aeminium.runtime.Hints''

----

==== Task State ====
'''Enumeration Location:''' ''aeminium.runtime.implementations.implicitworkstealing.ImplicitTaskState''

----

==== Graph ====
'''Classes Location:''' ''aeminium.runtime.implementations.implicitworkstealing.graph''

----

==== Scheduler ====
'''Classes Location:''' ''aeminium.runtime.implementations.implicitworkstealing.scheduler''

----

==== Queues ====
'''Class Location:''' ''aeminium.runtime.implementations.implicitworkstealing.scheduler.WorkStealingQueue''

'''Note''': As the previous path states, the queues are located inside the Scheduler package.

----

==== Error Handler ====
'''Interface Location:''' ''aeminium.runtime.ErrorHandler''

'''Classes Location:''' ''aeminium.runtime.implementations.implicitworkstealing.error''

----

==== Events ====
'''Classes Location:''' ''aeminium.runtime.implementations.implicitworkstealing.events''

Documentation

2012-02-11T14:42:50Z

Alcides: moved Documentation to DocumentationAeminiumRuntime

#REDIRECT [[DocumentationAeminiumRuntime]]