Difference between revisions of "Events"
| Line 1: | Line 1: | ||
| − | ''' | + | '''Aeminium-Interfaces Joint Workshop, November 9th 2011''' |
| + | "Reitoria da Universidade Nova" in the room "Sala do Senado". http://www.unl.pt/onde-estamos/mapa/reitoria | ||
| + | |||
| + | |||
| + | Program | ||
| + | 10:00 am - Welcome and Workshop Introduction | ||
| + | Session 1: Language-based Safety and Security for the Web | ||
| + | 10:15 am - João Seco, Data Security with Refinement Types | ||
| + | 10:45 am - Luís Caires, Interface Certification for Software Services | ||
| + | 11:15 am - Antonio Melo (OutSystems), Validation Issues in web applications. | ||
| + | 11:45 am - Discussion | ||
| + | 12:00 am - Lunch | ||
| + | Session 2: Enabling Parallelism for the Masses | ||
| + | 1:30 pm - Sven Stork, Aeminium language | ||
| + | 2:00 pm - Alcides Fonseca, AEminiumGPU: A CPU-GPU Hybrid Runtime for the | ||
| + | Æminium Language | ||
| + | 2:30 pm - Filipe Martins (Novabase) - TBD | ||
| + | 3:00 pm - Discussion | ||
| + | 3:15 pm - Break | ||
| + | Session 3: Type-based Static Analysis | ||
| + | 3:45 pm - Ijaz Ahmed (UMA) - Automated Verification of Specifications with | ||
| + | Typestates and Access Permissions | ||
| + | 4:15 pm - Vasco Vasconcelos, Checking Dynamic Roles in Multiparty Communication | ||
| + | 4:45 pm - Discussion and Wrapup | ||
| + | 5:15 pm - Informal follow-up | ||
| − | |||
Revision as of 17:35, 21 May 2012
Aeminium-Interfaces Joint Workshop, November 9th 2011 "Reitoria da Universidade Nova" in the room "Sala do Senado". http://www.unl.pt/onde-estamos/mapa/reitoria
Program
10:00 am - Welcome and Workshop Introduction
Session 1: Language-based Safety and Security for the Web
10:15 am - João Seco, Data Security with Refinement Types
10:45 am - Luís Caires, Interface Certification for Software Services
11:15 am - Antonio Melo (OutSystems), Validation Issues in web applications.
11:45 am - Discussion
12:00 am - Lunch
Session 2: Enabling Parallelism for the Masses
1:30 pm - Sven Stork, Aeminium language
2:00 pm - Alcides Fonseca, AEminiumGPU: A CPU-GPU Hybrid Runtime for the
Æminium Language
2:30 pm - Filipe Martins (Novabase) - TBD
3:00 pm - Discussion
3:15 pm - Break
Session 3: Type-based Static Analysis
3:45 pm - Ijaz Ahmed (UMA) - Automated Verification of Specifications with
Typestates and Access Permissions
4:15 pm - Vasco Vasconcelos, Checking Dynamic Roles in Multiparty Communication
4:45 pm - Discussion and Wrapup
5:15 pm - Informal follow-up
Past Events
Workshop on Facilitating Adoption of Parallel Computing
Date: Wednesday, May 5, 2010
Location: GHC 7501 at CMU
Sponsor: CMU|Portugal Program
With the rise of multicore processors and the increasing richness of application functionality, leveraging parallel computation is increasingly necessary to achieve good performance. However, parallel computing is also difficult for programmers, due to the need to decompose the problem into sub-parts which can be solved in parallel, and due to the challenges of managing potential interference between concurrent tasks.
This workshop focuses on research approaches intended to facilitate the practical adoption of parallel computing. These may include engineering approaches, new models of parallel computing, approaches for verification and reasoning in the presence of concurrency, and approaches for teaching parallel computing.
Schedule
9:00 Welcome and Workshop Introduction
9:15 Engineering Parallelism: What Works in Practice
10:15 Break
10:30 New Programming Models Facilitating Adoption of Parallelism
12:00 Lunch (provided for workshop participants)
1:00 Verification: Helping Developers Reason about Concurrency
2:00 Hardware Factors in Parallel Computing
2:45 Break
3:00 Teaching Parallel Computing
3:30 Wrapup
4:00 Informal Follow-up
