Dissemination - Revision history

Alcides: /* Publications in Journals */

2013-07-29T10:03:50Z

‎Publications in Journals

Alcides: /* Public Presentations */

2013-07-29T00:22:52Z

‎Public Presentations

Alcides at 00:18, 29 July 2013

2013-07-29T00:18:42Z

Alcides at 00:15, 29 July 2013

2013-07-29T00:15:51Z

Alcides at 23:57, 28 July 2013

2013-07-28T23:57:59Z

Alcides: /* Thesis */

2013-07-28T23:54:53Z

‎Thesis

Alcides: /* Publications i */

2013-07-28T23:51:33Z

‎Publications i

Alcides at 23:47, 28 July 2013

2013-07-28T23:47:43Z

Alcides: /* Thesis */

2013-07-01T15:09:15Z

‎Thesis

Aeminium: /* Thesis */

2013-04-19T21:43:49Z

‎Thesis

← Older revision		Revision as of 10:03, 29 July 2013
Line 1:		Line 1:
−	~~== 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==		== Publications in Conferences==

@@ Line 61: / Line 61: @@
 == Public Presentations ==
-MultiCore 2013: [http://aeminium.dei.uc.pt/images/6/6b/%C3%86miniumGPU_decider.pdf %C3%86miniumGPU_decider.pdf]
+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]

@@ Line 61: / Line 61: @@
 == Public Presentations ==
-MultiCore 2013: [http://aeminium.dei.uc.pt/images/6/6b/%C3%86miniumGPU_decider.pdf]
+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]
+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]

@@ Line 5: / Line 5: @@
 == 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.
+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://www.researchgate.net/publication/231238601_AEminiumGPU_An_Intelligent_Framework_for_GPU_Programming/file/9fcfd5066bca093c32.pdf]
+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.
@@ Line 13: / Line 13: @@
 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]
+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]
@@ Line 40: / Line 40: @@
 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, 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 ==
@@ Line 46: / Line 46: @@
 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
+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]
@@ Line 57: / Line 57: @@
 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]
+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]
-== Internal Presentations ==
+== Public Presentations ==
-July 2011: [http://aeminium.dei.uc.pt/images/6/6a/Presentation.pdf Pulse: Plural To EVMDD-SMC - The Compiler and Model Generator]
+MultiCore 2013: [http://aeminium.dei.uc.pt/images/6/6b/%C3%86miniumGPU_decider.pdf]
-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]
+Workshop in Exception Handling 2012: [http://aeminium.dei.uc.pt/images/f/f8/Handling_Faults_in_Programs_with_Hidden_Concurrency.pdf]
-−
-== 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]
@@ Line 84: / Line 82: @@
 SSSG 2008: [http://aeminium.dei.uc.pt/images/d/d5/SSSG-CurrentResearch.pdf SSSG-CurrentResearch.pdf]

@@ Line 41: / Line 41: @@
 Alcides Fonseca, Strategies for Optimization of Parallel Programs, PhD Thesis Proposal, Coimbra, Portugal, September 2012.
 == Master Thesis ==
@@ Line 53: / Line 52: @@
 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 ==

← Older revision		Revision as of 23:51, 28 July 2013
Line 1:		Line 1:
−	== 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.		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.

@@ Line 32: / Line 32: @@
 == 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.
+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.

← Older revision		Revision as of 21:43, 19 April 2013
Line 31:		Line 31:

	== Thesis ==		== Thesis ==
		+
		+	Sven Stork, ÆMINIUM - Freeing Programmers from the Shackles of Sequentiality, thesis submitted to the University of Coimbra and Carnegie Mellon University in fulfilment of the requirement for the degree of Doctor of Philosophy, March 2013.
		+
		+	Ijaz Ahmed, On the Formal Verification of Specifications based on Typestates with Access Permissions, thesis submitted to the University of Madeira in fulfilment of the requirement for the degree of Doctor of Philosophy, December 2012.
		+
		+	Alcides Fonseca, Strategies for Optimization of Parallel Programs, PhD Thesis Proposal, Coimbra, Portugal, September 2012.

	Alcides Fonseca, ÆminiumGPU: A CPU-GPU Hybrid Runtime for the Æminium Language, thesis submitted to the University of Coimbra for obtaining the Masters’ Degree in Informatics Engineering, September 2011 [http://aeminium.dei.uc.pt/images/7/73/Alcides_fonseca_msc_thesis.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]