Call for PARTICIPATION
** THE 2014 UPMARC SUMMER SCHOOL **
The 2014 UPMARC Summer School on Multicore Computing focuses on research trends for scalable and correct multicore programs and systems and will take place at Uppsala University, Sweden in July 28th and 29th, 2014. This year, the school is colocated with ECOOP, the European Conference on Object Oriented Programming, and its associated events.
The school is subsidized by the UPMARC research programme of Uppsala University (seehttp://upmarc.se).
Courses
The school consists of a number of lectures and talks from international leaders in their field:
* Cormac Flanagan, University of California, Santa Cruz
Stephen Freund, Williams College
Analysis techniques to detect concurrency errors
* Viktor Vafeiadis, Max Planck Institute for Software Systems
Program logics for relaxed memory consistency
* Simon McIntosh-Smith, University of Bristol
An introduction to many-core parallel computing with OpenCL
* Viktor Klang, TypeSafe
Dr. Streamlove or: How I learned to stop worrying and love the flow
In addition, the school will include a session where participants can present posters and demos of their own research in the area of multicore/parallel computing.
School Objective
The objective of this year's summer school is to offer foundational tutorials accompanied by a selection of exiting new emerging technologies in the areas of analysis for finding errors in concurrent programs, on program logics for reasoning about program correctness in the presence of relaxed memory consistency, on programming multicore systems using OpenCL and Scala/Akka, all given by leading experts of the community. We aim to attract graduate students and young scientists and, through tutorials and lectures, prepare them for research on identifying and addressing fundamental challenges that will enable all programmers to leverage the potential performance from the ongoing shift to multicore programming. We also aim to provide a fun and stimulating environment for students to meet and establish connections with other students, world-class researchers from academia and industry, local faculty, and other senior scientists.
For more information about the school, including how to register see:
http://upmarc.se/events/SS2014
We strongly encourage people interested in participating to register as soon as possible. In particular, note that the early registration deadline for ECOOP'14 and its associated events is Saturday, 28th of June 2014.
Kostis Sagonas and Roland Grönroos
(*Apologies for multiple copies*)
CALL for PARTICIPATION
** ECOOP - European Conference on Object-Oriented Programming **
----------------------------------------------------------------
Uppsala, Sweden July 28th -- August 1st, 2014
http://ecoop14.it.uu.se/
----------------------------------------------------------------
EARLY REGISTRATION DEADLINE
Saturday 28th June 2014
http://ecoop14.it.uu.se/registration.php
INVITED SPEAKERS
Luca Cardelli (Microsoft Research Cambridge)
William Cook (University of Texas at Austin)
Robert France (Colorado State University)
Tudor Gîrba
Erik Meijer (Applied Duality Inc.)
The European Conference on Object-Oriented Programming (ECOOP) is the
premier international conference covering all areas of object technology
and related software development technologies.
AFFILIATED EVENTS & WORKSHOPS
ECOOP Summer School with 13 great speakers
[http://ecoop14.it.uu.se/programme/ecoop-school.php]
UPMARC Summer School with 5 great speakers
[http://upmarc.se/events/SS2014]
ECOOP PhD Symposium
[http://ecoop14.it.uu.se/calls/doctoral-symposium.php]
COP -- Context Oriented Programming
[http://prg.is.titech.ac.jp/events/cop14/]
FTfJP -- Formal Techniques for Java-Like Programs
[http://ecs.victoria.ac.nz/Events/FTfJP2014/]
ICOOOLPS -- Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
[http://soft-dev.org/events/icooolps14/]
IWACO -- International Workshop on Aliasing, Capabilities, and Ownership
[http://www.ownership-types.org/iwaco14/]
JSTools -- Tools for JavaScript Analysis
[http://www.csl.cs.uni-saarland.de/jstools/2014/]
PLAS -- Programming Language and Analysis for Security
[http://researcher.watson.ibm.com/researcher/view_project.php?id=5237]
PLE -- Programming Language Evolution
[http://www.cl.cam.ac.uk/research/cprg/ple14/]
Scala -- Fifth annual Scala Workshop
[http://lampwww.epfl.ch/~hmiller/scala2014/]
ACCEPTED PAPERS
- State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects
Shiyi Wei and Barbara G. Ryder
- Self-Inferencing Reflection Resolution for Java
Yue Li, Tian Tan, Yulei Sui and Jingling Xue
- Finding Reference-Counting Errors in Python/C Programs with Affine Analysis
Siliang Li and Gang Tan
- An Evaluation of Call Graph Construction Algorithms for Scala
Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby and Frank Tip
- Safely Composable Type-Specific Languages
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin and Jonathan Aldrich
- Graceful Dialects
Michael Homer, Timothy Jones, James Noble, Kim B. Bruce and Andrew P. Black
- Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
Joshua Sunshine, James D. Berbsleb and Jonathan Aldrich
- Reusable Concurrent Data Types
Vincent Gramoli and Rachid Guerraoui
- TaDA: A Logic for Time and Data Abstraction
Pedro Da Rocha Pinto, Thomas Dinsdale-Young and Philippa Gardner
- Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores
Kyu Hyung Lee, Dohyeong Kim and Xiangyu Zhang
- Understanding TypeScript
Gavin Bierman, Martin Abadi and Mads Torgersen
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages
Davide Ancona and Andrea Corradi
- Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
Heather Miller, Philipp Haller and Martin Odersky
- Rely-Guarantee Protocols
Filipe Militão, Jonathan Aldrich and Luís Caires
- Stream Processing with a Spreadsheet
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter and Martin Hirzel
- Implicit Staging of EDSL Expressions: A Bridge Between Shallow and Deep Embedding
Maximilian Scherr and Shigeru Chiba
- Babelsberg/JS - A Browser-based Implementation of an Object Constraint Language
Tim Felgentreff, Alan Borning, Jens Lincke, Robert Hirschfeld, Yoshiki Ohshima, Bert Freudenberg and Robert Krahn
- Automated Multi-Language Artifact Binding and Refactoring between Java and DSLs used by Java Frameworks
Philip Mayer and Andreas Schroeder
- Retargetting Legacy Browser Extensions to Modern Extension Frameworks
Rezwana Karim, Mohan Dhawan and Vinod Ganapathy
- Capture-Avoiding and Hygienic Program Transformations
Sebastian Erdweg, Tijs Van Der Storm and Yi Dai
- Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
Semih Okur, Cansu Erdogan and Danny Dig
- Portable and Efficient Run-time Monitoring of JavaScript Applications using Virtual Machine Layering
Erick Lavoie, Bruno Dufour and Marc Feeley
- An Executable Formal Semantics of PHP
Daniele Filaretti and Sergio Maffeis
- Identifying Mandatory Code for Framework Use via a Single Application Trace
Naoya Nitta, Izuru Kume and Yasuhiro Takemura
- Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns
Shams Imam and Vivek Sarkar
- MiCA: A Compositional Architecture for Gossip Protocols
Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth Birman, Nate Foster and Robert Soulé
- Semantics of (Resilient) X10
Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar and Olivier Tardieu
PROGRAM COMMITTEE
Richard Jones, University of Kent (UK) **PC Chair**
Davide Ancona, DIBRIS, Università di Genova (Italy)
Sven Apel, University of Passau (Germany)
Walter Binder, University of Lugano (Switzerland)
Steve Blackburn, Australian National University (Australia)
Ana Cavalcanti, University of York (UK)
Satish Chandra, Samsung Electronics (US)
Dave Clarke, Katholieke Universiteit Leuven/Uppsala University (Belgium/Sweden)
Wolfgang De Meuter, Vrije Universiteit Brussel (Belgium)
Isil Dillig, Microsoft Research Cambridge (UK)
Amer Diwan, Google (USA)
Lieven Eeckhout, Ghent University (Belgium)
Robby Findler, Northwestern University (USA)
Irene Finocchi, Sapienza University of Rome (Italy)
Christian Hammer, Saarland University (Germany)
Laurie Hendren, McGill University (Canada)
Atsushi Igarashi, Kyoto University (Japan)
Tomas Kalibera, Purdue University (USA)
Doug Lea, SUNY Oswego (USA)
Yu David Liu, SUNY Binghamton (USA)
Cristina Lopes, UC Irvine (USA)
Ana Milanova, Rensselaer Polytechnic Institute (USA)
Nick Mitchell, IBM Research (USA)
Eliot Moss, University of Massachusetts (USA)
Jens Palsberg, UCLA (USA)
Matthew Parkinson, Microsoft Research (UK)
Arnd Poetzsch-Heffter, University of Kaiserslautern (Germany)
Dirk Riehle, Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany)
Yannis Smaragdakis, University of Athens (Greece)
Arie van Deursen, Delft University of Technology (Netherlands)
Hongseok Yang, University of Oxford (UK)
EXTERNAL REVIEW COMMITTEE
Vikram Adve, University of Illinois at Urbana-Champaign (USA)
Jonathan Aldrich, Carnegie Mellon University (USA)
Ioana Baldini, IBM Research (USA)
Eric Bodden, TU Darmstadt (Germany)
Sebastian Burckhardt, Microsoft Research (USA)
Shigeru Chiba, University of Tokyo (Japan)
Ferruccio Damiani, Università di Torino (Italy)
Werner Dietl, University of Waterloo (Canada)
Sophia Drossopolou, Imperial College London (UK)
Erik Ernst, Aarhus Universitet (Denmark)
Matthew Flatt, University of Utah (USA)
Michael Franz, University of California, Irvine (USA)
Kathryn E Gray, University of Cambridge (UK)
Sam Guyer, Tufts University (USA)
Matthias Hauswirth, University of Lugano (Switzerland)
Einar Broch Johnsen, University of Oslo (Norway)
Christian Kästner, Carnegie Mellon University (USA)
Jörg Kienzle, McGill University (Canada)
Ondrej Lhoták, University of Waterloo (Canada)
Hidehiko Masuhara, Tokyo Institute of Technology (Japan)
Romain Robbes, University of Chile (Chile)
Sukyoung Ryu, KAIST (South Korea)
Mooly Sagiv, Tel Aviv University (Israel)
Ina Schaefer, TU Braunschweig (Germany)
Friedrich Steimann, Fernuniversität in Hagen (Germany)
Alexander J. Summers, ETHZ (Switzerland)
Frank Tip, University of Waterloo (Canada)
Laurence Tratt, Kings College London (UK)
Greta Yorsh, Queen Mary University of London (UK)
ORGANISATION COMMITTEE
Organising Chair
Tobias Wrigstad, Uppsala University
Programme Chair
Richard Jones, University of Kent
Workshop Chair
Nate Nystrom, University of Lugano
Poster and Demo Chair
Wolfgang Ahrendt, Chalmers University of Technology
Artefact Evaluation Co-Chairs
Camil Demetrescu, Sapienza University of Rome
Erik Ernst, Aarhus University
Publicity Chair
Werner Dietl, University of Waterloo
Student Volunteer Chair
Jürgen Börstler, Blekinge Institute of Technology
Summer School Co-Chairs
Jan Vitek, Purdue University
James Noble, Victoria University of Wellington
Sponsor Co-Chairs
Einar Broch Johnsen, University of Oslo
Erik Ernst, Aarhus University
Wine Chair
Reiner Hähnle, Darmstadt University
Local Organising Co-Chairs
Johannes Borgström, Uppsala University
Kostis Sagonas, Uppsala University
Lars-Henrik Eriksson, Uppsala University
Professional Conference Organiser
Merja Immonen, Akademikonferens
Local Student Aides
Johan Östlund, Uppsala University
Stephan Brandauer, Uppsala University
Elias Castegren, Uppsala University
Webmaster
Stephan Brandauer, Uppsala University
