Programme 会议安排

Schedule

	Monday 11 June	Tuesday 12 June	Wednesday 13 June	Thursday 14 June	Friday 15 June	Saturday 16 June
Ballroom A	PLDI (Session A)	PLDI (Session A)	PLDI (Session A)	ECOOP	ECOOP	ECOOP
Ballroom B	PLDI (Session B)	PLDI (Session B)	PLDI (Session B)
Meeting 1	ICOOOLPS	LCTES	LCTES	APPLC	ISMM	MSPC
Meeting 2		SIGPLAN EC	PhD Workshop Doctoral Symposium
Conference 3			RAM-SE		PLDI Tutorials (ActionScript, PWSN)	PLDI Tutorials (K, SKETCH)
Conference 5				SOAP	Open64
Conference 6	HQ	HQ	HQ	HQ	HQ	HQ
Conference 8		PLDI Tutorials (HardenC, McLab)	PLDI Tutorials (Grace, DPHaskell)	PSY	ECOOP Summer School (Permissions, C# formally, Maxine)	ECOOP Summer School (JS-MOP, Modules, Scandinavian)
Conference 9	COP	FTfJP	JSTools	PLDI Tutorials (SnuCL)	Evaluate	PLDI Tutorials (Yogi, Pluggable)
NS	STOP	DYLA	LaME	X10	PLAS	SSP
Events	Microsoft Open House all PLDI & ECOOP attendees	PLDI Banquet GOLD/PLDI/PLDI+ & PLDI banquet ticket holders	SIGPLAN Awards Lunch	Competition	ECOOP Banquet GOLD/ECOOP/ECOOP+ & ECOOP banquet ticket holders

ECOOP Technical Programme

Thursday 14 June
8:30–8:45	Opening Remarks
8:45–10:00	Keynote: Martin Odersky—When Compilers are Mirrors
10:00–10:30	Break
10:30–12:00	Session 1: Extensibility
10:30–12:00	Extensibility for the Masses: Practical Extensibility with Object Algebras Bruno C. d. S. Oliveira¹, William R. Cook² ¹National University of Singapore, Singapore ²University of Texas Austin, USA Extensions During Software Evolution: Do Objects Meet Their Promise? Romain Robbes, David Röthlisberger, Éric Tanter PLEIAD Lab / DCC / University of Chile, Chile PQL: A Purely-Declarative Java Extension for Parallel Programming Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman University of Massachusetts, Amherst, USA
12:00–13:30	Lunch
13:30–15:00	Session 2: Language Evaluation
13:30–15:00	Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig University of Illinois at Urbana-Champaign, USA Evaluating the Design of the R Language Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek Purdue University, USA McSAF: A Static Analysis Framework for MATLAB Jesse Doherty, Laurie Hendren McGill University, Canada
15:00–15:30	Break
15:30–17:00	Session 3: Ownership and Initialisation
15:30–17:00	Multiple Aggregate Entry Points for Ownership Types Johan Östlund, Tobias Wrigstad Uppsala University, Sweden Inference and Checking of Object Ownership Wei Huang¹, Werner Dietl², Ana Milanova¹, Michael D. Ernst² ¹Rensselaer Polytechnic Institute, USA ²University of Washington, USA Object Initialization in X10 Yoav Zibin¹, David Cunningham², Igor Peshansky¹, Vijay Saraswat² ¹Google NYC, USA ²IBM research in TJ Watson, USA
Friday 15 June
9:00–10:00	Keynote: Dahl-Nygaard Junior Award - Tobias Wrigstad—Structured Aliasing
10:00–10:30	Break
10:30–12:00	Session 4: Language Features
10:30–12:00	Pause ’n’ Play: Formalizing Asynchronous C# Gavin Bierman¹, Claudio Russo¹, Geoffrey Mainland¹, Erik Meijer², Mads Torgersen² ¹Microsoft Research, United Kingdom ²Microsoft Corporation, USA Lightweight Polymorphic Effects Lukas Rytz, Martin Odersky, Philipp Haller EPFL, Switzerland Cloud Types for Eventual Consistency Sebastian Burckhardt¹, Manuel Fähndrich¹, Daan Leijen¹, Benjamin P. Wood² ¹Microsoft Research, United Kingdom ²University of Washington, USA
12:00–13:30	Lunch
13:30–15:00	Session 5: Special-Purpose Analyses
13:30–15:00	Lock Inference in the Presence of Large Libraries Khilan Gudka¹, Tim Harris², Susan Eisenbach³ ¹Imperial College London, United Kingdom ²Microsoft Research, United Kingdom ³Imperial College London, United Kingdom An Analysis of the Mozilla Jetpack Extension Framework Rezwana Karim¹, Mohan Dhawan¹, Vinod Ganapathy¹, Chung-chieh Shan² ¹Rutgers University, USA ²University of Tsukuba, Japan Smaller Footprint for Java Collections Joseph Gil, Yuval Shimron Israel Institute of Technology, Israel
15:00–15:30	Break
15:30–17:00	Session 6: JavaScript
15:30–17:00	Enhancing JavaScript with Transactions Mohan Dhawan¹, Chung-chieh Shan², Vinod Ganapathy¹ ¹Rutgers University, USA ²University of Tsukuba, Japan JavaScript as an Embedded DSL Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland Correlation Tracking for Points-To Analysis of JavaScript Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip IBM T.J. Watson Research Center, USA
Saturday 16 June
8:30–10:00	Session 7: Hardcore Theory
8:30–10:00	Soundness of Object-oriented Languages with Coinductive Big-step Semantics Davide Ancona Università di Genova, Italy Static Sessional Dataflow Dominic Duggan, Jianhua Yao Stevens Institute of Technology, USA Java Wildcards Meet Definition-Site Variance John Altidor¹, Christoph Reichenbach¹, Yannis Smaragdakis² ¹University of Massachusetts, Amherst, USA ²University of Athens and University of Massachusetts, Amherst, Greece
10:00–10:30	Break
10:30–12:00	Session 8: Modularity
10:30–12:00	Constraint-Based Refactoring with Foresight Friedrich Steimann, Jens von Pilgrim Fernuni Hagen, Germany Magda: A New Language for Modularity Viviana Bono¹, Jarek Kusmierek², Mauro Mulatero¹ ¹Dipartimento di Informatica, University of Torino, Italy ²Google Research, Krakow, Poland Marco: Safe, Expressive Macros for Any Language Byeongcheol Lee¹, Robert Grimm², Martin Hirzel³, Kathryn S. McKinley⁴ ¹Gwangju Institute of Science and Technology, South Korea ²New York University, USA ³IBM Watson Research Center, USA ⁴University of Texas at Austin, USA
12:00–13:30	Lunch
13:30–15:00	Session 9: Updates and Interference
13:30–15:00	Practical Permissions for Race-Free Parallelism Edwin Westbrook, Jisheng Zhao, Zoran Budimlíc, Vivek Sarkar Rice University, USA Verification of Snapshot Isolation in Transactional Memory Java Programs Ricardo J. Dias¹, Dino Distefano², João Costa Seco¹, João M. Lourenço¹ ¹Universidade Nova de Lisboa, Portugal ²Queen May University of London, United Kingdom Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates Arnab De, Deepak D’Souza Computer Science and Automation Department, Indian Institute of Science, India
15:00–15:30	Break
15:30–17:00	Session I0: General-Purpose Analyses
15:30–17:00	Application-only Call Graph Construction Karim Ali, Ondřej Lhoták University of Waterloo, Canada Program Sliding Ran Ettinger IBM Research, Haifa, Israel Static Detection of Loop-Invariant Data Structures Guoqing Xu¹, Dacong Yan², Atanas Rountev² ¹University of California, Irvine, USA ²Ohio State University, USA

COP Program

Monday, June 11
8:45–9:00	Welcome
9:00–10:00	Session 1
9:00–10:00	Declarative Layer Composition in Framework-Based Environments Malte Appeltauer, Robert Hirschfeld Hasso-Plattner-Institut Uniting Global and Local Context Behavior with Context Petri Nets Nicolás Cardozo^1,2, Sebastián González¹, Kim Mens¹, Theo D’Hondt ² ¹Université catholique de Louvain, ²Vrije Universiteit Brussel
10:00–10:45	Break
10:45–12:00	Session 2
10:45–12:00	DynamicSchema: A Lightweight Persistency Framework for Context-Oriented Data Management Sergio Castro¹, Sebastián González¹, Kim Mens¹, Marcus Denker ² ¹Université catholique de Louvain, ² INRIA Lille Nord Europe Bridging Real-World Contexts and Units of Behavioral Variations by Composite Layers Tetsuo Kamina¹, Tomoyuki Aotani², Hidehiko Masuhara ¹ ¹University of Tokyo, ²Japan Advanced Institute of Science and Technology
12:00–13:30	Lunch
13:30–14:45	Session 3
13:30–14:45	Scoping Changes in Self-Supporting Development Environments with Context-Oriented Programming Jens Lincke, Robert Hirschfeld Hasso-Plattner-Institut Work slot Time for proposed discussions, demonstrations, breakout group work, etc.
14:45–15:15	Break
15:15–16:30	Session 4
15:15–16:30	Work slot Time for proposed discussions, demonstrations, breakout group work, etc. Wrap up Final plenary discussion.

FTfJP Program

Tuesday, 12 June
10:00–11:00	Invited Tutorial: Tom Van Cutsem - AmbientTalk: Modern Actors for Modern Networks
11:00–11:15	Break
11:15–12:15	Session 1
11:15–12:15	Corecursive Featherweight Java Davide Ancona, Elena Zucca University of Genova Encoding Featherweight Java with Assignment and Immutability using The Coq Proof Assistant Julian Mackay¹, Hannes Mehnert², Alex Potanin¹, Lindsay Groves¹, Nicholas Cameron³ ¹Victoria University of Wellington, ²Denmark IT University of Copenhagen, ³New Zealand, Mozilla Corporation
12:15–13:30	Lunch
13:30–14:30	Keynote: Jens Palsberg - Featherweight X10: a core calculus for async-finish parallelism
14:30–14:45	Tea Break
14:45–15:45	Session 2
14:45–15:45	A type system for regular expressions Eric Spishak, Werner Dietl, Michael D. ErnstUniversity of Washington Verifying the reflective visitor pattern Ben Horsfall, Nathaniel Charlton Bernhard ReusUniversity of Sussex
15:45–16:00	Break
16:00–17:00	Session 3
16:00–17:00	Verifying Backwards Compatibility of Object-Oriented Libraries Using Boogie Yannick Welsch, Arnd Poetzsch-Heffter University of Kaiserslautern Verification Games: Making Verification Fun! Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nat Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic University of Washington

STOP Program

Monday, June 11
9:45–9:50	Opening Remarks
9:50–10:45	Keynote: David Mandelin - The Evolution of the JavaScript Engine
10:45–11:00	Break
11:00–12:00	Session 1
11:00–12:00	Improving Tools for JavaScript Programmers Esben Andersen, Asger Feldthaus, Simon Holm Jensen, Casper S. Jensen, Peter A. Jonsson, Magnus Madsen, Anders Møller Aarhus University Status Report: Dependent Types for JavaScript Ravi Chugh¹, David Herman², Ranjit Jhala¹ ¹UCSD, ²Mozilla
12:00–13:30	Lunch
13:30–14:30	Session 2
13:30–14:30	Big Bang: Designing a Statically-Typed Scripting Language Pottayil Harisanker Menon, Zachary Palmer, Alexander Rozenshteyn, Scott Smith Johns Hopkins University Minigrace: A progress report Michael Homer, James Noble Victoria University of Wellington
14:30–15:00	Break
15:00–16:00	Session 3
15:00–16:00	Contracts with Path-Based Effects for Secure and Verifiable Software (Position Paper) Peter Thiemann University of Freiburg Towards Gradual Typing in Jython Michael M. Vitousek, Shashank Bharadwaj, Jeremy G. Siek University of Colorado