STOP 2016
Mon 18 - Fri 22 July 2016 Rome, Italy
co-located with ECOOP 2016
VenueCongress Center
Room nameAlfieri
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:45
Session 1STOP at Alfieri
08:45
10m
Day opening
Opening remarks
STOP

08:55
50m
Talk
Types for Ruby
STOP
Jeffrey S. Foster University of Maryland, College Park
10:05 - 12:25
Session 2STOP at Alfieri
10:05
50m
Talk
Optional Typing in Dart: Purity and Practice
STOP
Pre-print
10:55
30m
Beyond Types: Extending the Gradual Guarantee
STOP
James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Andrew Black Portland State University, Kim Bruce Pomona College
Link to publication
11:25
30m
Gradual Typing for Delimited Continuations
STOP
Yusuke Miyazaki Kyoto University, Taro Sekiyama , Atsushi Igarashi Kyoto University
Link to publication
11:55
30m
Talk
Automating Gradual Typing
STOP
Timothy Jones Victoria University of Wellington
Link to publication File Attached
13:50 - 15:20
Session 3STOP at Alfieri
13:50
50m
Talk
Gradual types for real-world objects
STOP
Jan Vitek Northeastern University
14:40
30m
A Systematic Performance Evaluation of Gradually Typed Functions and References
STOP
Andre Kuhlenschmidt Indiana University, Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University
16:00 - 16:40
Session 4STOP at Alfieri
16:00
30m
From Optional to Gradual Typing via Transient Checks
STOP
Michael Vitousek , Jeremy G. Siek Indiana University
16:30
10m
Day closing
Closing remarks
STOP

16:45 - 18:45
Welcome SessionECOOP Summer School at Alfieri
Chair(s): Jan Vitek Northeastern University
16:45
10m
Day opening
Welcome
ECOOP Summer School

16:55
50m
Talk
My twenty-five years of ECOOP
ECOOP Summer School
Jan Vitek Northeastern University
File Attached
17:45
60m
Talk
Research in Academia and Industry
ECOOP Summer School
S: Jade Alglave University College London

Mon 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:10 - 09:45
Session 1ICOOOLPS at Alfieri
Chair(s): Stefan Marr Johannes Kepler University Linz
09:10
5m
Day opening
Welcome
ICOOOLPS
Stefan Marr Johannes Kepler University Linz
09:15
30m
Talk
Source Language Representation of Function Summaries in Static Analysis
ICOOOLPS
Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Media Attached File Attached
10:05 - 12:25
Session 2ICOOOLPS at Alfieri
Chair(s): Tomas Kalibera Northeastern University
10:05
60m
Talk
Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation
ICOOOLPS
Lubomír Bulej Charles University
Media Attached File Attached
11:05
30m
Talk
The Performance of Object Encodings in JavaScript
ICOOOLPS
Forrest Alexander Portland State University, Andrew Black Portland State University
Media Attached File Attached
11:35
30m
Talk
Virtual Machine Warm-up Blows Hot and Cold
ICOOOLPS
Edd Barrett King's College London, CF Bolz-Tereick King's College London , Rebecca Killick Department of Mathematics and Statistics, University of Lancaster, Vincent Knight School of Mathematics, Cardiff University, Sarah Mount King's College London, Laurence Tratt King's College London
Link to publication Media Attached File Attached
12:05
20m
Other
Discussions
ICOOOLPS

13:50 - 15:20
Session 3ICOOOLPS at Alfieri
Chair(s): Edd Barrett King's College London
13:50
60m
Talk
Growing an Abstract Grammar: Teaching Language Engineering
ICOOOLPS
Theo D'Hondt Vrije Universiteit Brussel
Media Attached
14:50
30m
Talk
MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations
ICOOOLPS
Shijie Xu University of New Brunswick, David Bremner University of New Brunswick, Daniel Heidinga IBM
Media Attached File Attached
16:00 - 17:30
Session 4ICOOOLPS at Alfieri
Chair(s): Eric Jul Alcatel-Lucent Bell Labs
16:00
30m
Talk
TruffleReloader: A Low-Overhead Language-Neutral Reloader
ICOOOLPS
Tõnis Pool ZeroTurnaround / University of Tartu, Allan Raundahl Gregersen ZeroTurnaround, Vesal Vojdani University of Tartu
Media Attached File Attached
16:30
30m
Talk
Sulong - Execution of LLVM-Based Languages on the JVM
ICOOOLPS
Manuel Rigger Johannes Kepler University, Linz, Austria, Matthias Grimmer Johannes Kepler University Linz, Hanspeter Mössenböck Johannes Kepler University Linz
Media Attached File Attached
17:00
30m
Talk
Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems
ICOOOLPS
Andrea Rosà Università della Svizzera italiana, Lydia Y. Chen IBM Research Lab Zurich, Walter Binder University of Lugano
Media Attached File Attached
17:40 - 18:30
Session 5ICOOOLPS at Alfieri
Chair(s): Stefan Marr Johannes Kepler University Linz
17:40
25m
Demonstration
Demo of Docking: Enabling Language Based Dynamic Coupling
ICOOOLPS
Magnus Haugom Christensen University of Oslo, Eric Jul Alcatel-Lucent Bell Labs
18:05
25m
Day closing
Discussions and Wrap Up
ICOOOLPS

Tue 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:25
Session 1JSTools at Alfieri
10:45
5m
Day opening
Opening Remarks
JSTools
Julian Dolby IBM Thomas J. Watson Research Center
10:50
40m
So You Want to Build Memory Tooling For JavaScript?
JSTools
11:30
40m
Sound Type Inference for JavaScript
JSTools
Jean-Baptiste Jeannin Carnegie Mellon University
16:00 - 17:30
Session 3JSTools at Alfieri
16:00
40m
Verification of Communication in Web Applications
JSTools
Nathalie Oostvogels Vrije Universiteit Brussel
16:40
40m
Fishing for JavaScript Bugs at the Shallow End
JSTools
17:20
10m
Day closing
Closing Remarks
JSTools
Julian Dolby IBM Thomas J. Watson Research Center

Sun 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Alfieri

Mon 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Alfieri

Tue 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Alfieri

Sun 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change