Program - ECOOP 2016

Filter

Badges

Your Program

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:45 - 09:45: Session 1STOP at Alfieri

	08:45 - 08:55 Day opening		Opening remarks STOP
	08:55 - 09:45 Talk		Types for Ruby STOP Jeffrey S. FosterUniversity of Maryland, College Park

	08:45 - 09:45: OpeningDoctoral Symposium at Belli

	08:45 - 08:55 Day opening		Welcome Doctoral Symposium
	08:55 - 09:15 Talk		Lightning Talks Doctoral Symposium
	09:15 - 09:45 Talk		Live Programming Environments for Reactive MVU Applications Doctoral Symposium A: Christopher SchusterUniversity of California, Santa Cruz

	08:45 - 09:45: WinterLIVE at Foscolo

	08:45 - 09:45 Talk		The Promise of Live Programming LIVE Sean McDirmidMicrosoft Research Pre-print

	08:45 - 09:45: Invited talkPMLDC at Montale

	08:45 - 09:00 Day opening		Opening Remarks PMLDC
	09:00 - 09:45 Talk		We Are All Distributed System Engineers PMLDC Carl LercheIndependent Consultant

	09:45 - 10:05: Coffee breakCurryOn Catering at Ariosto

	09:45 - 10:05 Coffee break		Coffee break CurryOn Catering

	10:00 - 12:30: Session 1: Programming LanguagesPMLDC at Montale

	10:00 - 10:30		Implicitly Distributing Pervasively Concurrent Programs PMLDC John A. ThywissenThe University of Texas at Austin, Arthur Michener PetersThe University of Texas at Austin, Texas, USA, William CookUT Austin Link to publication DOI
	10:30 - 11:00		Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language PMLDC Lars KrollKTH Royal Institute of Technology, Sweden, Jim Dowling, Seif Haridi Link to publication DOI File Attached
	11:00 - 11:30		Towards Aggregate Programming in Scala PMLDC Roberto Casadei, Mirko Viroli, Roberto Casadei, Roberto Casadei Link to publication DOI
	11:30 - 12:00		Building Distributed Applications with Data and Time Frames PMLDC Crista LopesUniversity of California, Irvine, Rohan Achar, Arthur Valadares
	12:00 - 12:30		Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language PMLDC Matteo CiminiIndiana University, Jeremy G. SiekIndiana University

	10:05 - 12:25: Session 2STOP at Alfieri

	10:05 - 10:55 Talk		Optional Typing in Dart: Purity and Practice STOP Gilad BrachaGoogle Pre-print
	10:55 - 11:25		Beyond Types: Extending the Gradual Guarantee STOP James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington, Sophia DrossopoulouImperial College London, Andrew BlackPortland State University, Kim BrucePomona College Link to publication
	11:25 - 11:55		Gradual Typing for Delimited Continuations STOP Yusuke MiyazakiKyoto University, Taro Sekiyama, Atsushi IgarashiKyoto University Link to publication
	11:55 - 12:25 Talk		Automating Gradual Typing STOP Timothy JonesVictoria University of Wellington Link to publication File Attached

	10:05 - 12:25: Session 1Doctoral Symposium at Belli

	10:05 - 10:35 Talk		User-Centric Static Analysis Doctoral Symposium A: Lisa Nguyen Quang DoFraunhofer IEM
	10:35 - 11:05 Talk		Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry Doctoral Symposium A: Adam ZiolkowskiUniversity of East Anglia
	11:05 - 11:25 Coffee break		Coffee break Doctoral Symposium
	11:25 - 11:55 Talk		Language Design for Validatable Information System Specifications Doctoral Symposium A: Daco HarkesDelft University of Technology
	11:55 - 12:25 Talk		Compositional and Mechanically Verified Program Analyzers Doctoral Symposium A: David DaraisUniversity of Maryland, College Park

	10:05 - 12:25: SpringLIVE at Foscolo

	10:05 - 10:25 Talk		Language Hacking in a Live Programming Environment LIVE Patrick DubroyHARC / Y Combinator Research, Saketh KasibatlaCommunications Design Group / UCLA, Meixian LiCommunications Design Group / Y Combinator Research, Marko RöderHARC / Y Combinator Research, Alessandro WarthHARC / Y Combinator Research Pre-print
	10:25 - 10:45 Talk		Towards Live Language Development LIVE Gabriël KonatTU Delft, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology Pre-print
	10:45 - 11:05 Talk		Live Programming with Code Portals LIVE Alexander BreckelInstitute of Software Engineering and Compiler Construction, Matthias TichyChalmers University of Technology Media Attached
	11:15 - 11:35 Talk		Live end-user programming: a demo/manifesto LIVE Jonathan EdwardsCDG Labs, Jodie ChenMIT, Alessandro WarthHARC / Y Combinator Research Pre-print
	11:35 - 12:25 Other		Discuss: New Interfaces for Programming LIVE Roly PereraUniversity of {Glasgow, Edinburgh}

	12:25 - 13:50: LunchCurryOn Catering at Ariosto

	12:25 - 13:50 Lunch		Lunch CurryOn Catering

	13:50 - 15:20: Session 3STOP at Alfieri

	13:50 - 14:40 Talk		Gradual types for real-world objects STOP Jan VitekNortheastern University
	14:40 - 15:10		A Systematic Performance Evaluation of Gradually Typed Functions and References STOP Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University

	13:50 - 15:20: Session 2Doctoral Symposium at Belli

	13:50 - 14:20 Talk		Invited Talk: How to get your Ph.D. DONE Doctoral Symposium Eric JulAlcatel-Lucent Bell Labs
	14:20 - 14:50 Talk		Concept Parameters as a New Mechanism of Generic Programming for C# Language Doctoral Symposium A: Julia BelyakovaSouthern Federal University
	14:50 - 15:20 Talk		Exploring optional security typing Doctoral Symposium A: Raimil Cruz

	13:50 - 15:20: SummerLIVE at Foscolo

	13:50 - 14:10 Talk		Live Programming by Example: Using Direct Manipulation for Live Program Synthesis LIVE Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz Pre-print
	14:10 - 14:30 Talk		Live Literals LIVE Tijs van der StormCWI, Felienne HermansDelft University of Technology Pre-print
	14:30 - 14:50 Talk		Liveness for Verification LIVE Roly PereraUniversity of {Glasgow, Edinburgh}, Simon J. Gay Pre-print Media Attached
	14:50 - 15:20 Other		Live Lightning Talks LIVE Jonathan EdwardsCDG Labs

	13:50 - 15:20: Session 2: Conflict-Free Replicated Data TypesPMLDC at Montale

	13:50 - 14:20		Tracking the Elephants in the System PMLDC Zach Tellman
	14:20 - 14:50		Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition PMLDC Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali ShokerHASLab/INESC TEC & University of Minho Link to publication DOI Pre-print
	14:50 - 15:20		Integration Challenges of Pure Operation-based CRDTs in Redis PMLDC Georges Younes, Ali ShokerHASLab/INESC TEC & University of Minho, Paulo Sérgio Almeida, Carlos Baquero

	15:20 - 16:00: Coffee breakCurryOn Catering at Ariosto

	15:20 - 16:00 Coffee break		Coffee break CurryOn Catering

	16:00 - 16:40: Session 4STOP at Alfieri

	16:00 - 16:30		From Optional to Gradual Typing via Transient Checks STOP Michael Vitousek, Jeremy G. SiekIndiana University
	16:30 - 16:40 Day closing		Closing remarks STOP

	16:00 - 17:30: Session 3Doctoral Symposium at Belli

	16:00 - 16:30 Talk		Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages Doctoral Symposium A: Manuel RiggerJohannes Kepler University, Linz, Austria
	16:30 - 17:00 Talk		Invited Talk: Papers vs. Artefacts Doctoral Symposium Philipp HallerKTH Royal Institute of Technology
	17:00 - 17:30 Talk		Invited Talk: PhD Reflections Doctoral Symposium Sebastian ErdwegTU Delft

	16:00 - 18:20: FallLIVE at Foscolo

	16:00 - 16:50 Talk		Leveraging live programming in the classroom — an experience report LIVE Alessandro WarthHARC / Y Combinator Research File Attached
	16:50 - 17:10 Talk		Live Tuning: Expanding Live Programming Benefits to Non-Programmers LIVE Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan, Masataka GotoNational Institute of Advanced Industrial Science and Technology, Japan Pre-print
	17:10 - 17:30 Talk		Sintr: Experimenting with liveness at scale LIVE Luke Church, Mariana MarasoiuUniversity of Cambridge, Alan BlackwellUniversity of Cambridge Pre-print
	17:30 - 18:20 Other		Discuss: Live Programming, Live Coding, and Intelligence Amplification LIVE Sean McDirmidMicrosoft Research, Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan

	16:00 - 17:30: Session 3: ConsistencyPMLDC at Montale

	16:00 - 16:30		The Consistency Babel PMLDC Rodrigo RodriguesInstituto Superior Técnico, University of Lisboa & INESC-ID
	16:30 - 17:00		Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency PMLDC Nosheen ZazaUniversità della Svizzera italiana, Nate NystromUniversita della Svizzera italiana (USI) Link to publication DOI Pre-print
	17:00 - 17:30		On the Potential of Event Sourcing for Retroactive Actor-based Programming PMLDC Benjamin ErbUlm University, Germany , Gerhard Habiger, Franz J. Hauck Link to publication DOI

	16:45 - 18:45: Welcome SessionSummer School at Alfieri Chair(s): Jan VitekNortheastern University

	16:45 - 16:55 Day opening		Welcome Summer School
	16:55 - 17:45 Talk		My twenty-five years of ECOOP Summer School Jan VitekNortheastern University File Attached
	17:45 - 18:45 Talk		Research in Academia and Industry Summer School S: Jade AlglaveUniversity College London

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:45 - 09:50: KeynoteCurryOn at Auditorium Loyola

	08:45 - 09:00 Day opening		Curry On opening remarks CurryOn Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
	09:00 - 09:50 Talk		How To Win Big With Old Ideas CurryOn S: David NolenCognitec

	08:45 - 09:45: Session 1PX at Belli Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research

	08:45 - 09:00 Day opening		Introduction PX
	09:00 - 09:45 Talk		How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments. PX Patrick ReinHasso Plattner Institute, Stefan LehmannHasso-Plattner-Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI

	09:10 - 09:45: Session 1ICOOOLPS at Alfieri Chair(s): Stefan MarrJohannes Kepler University Linz

	09:10 - 09:15 Day opening		Welcome ICOOOLPS Stefan MarrJohannes Kepler University Linz
	09:15 - 09:45 Talk		Source Language Representation of Function Summaries in Static Analysis ICOOOLPS Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Media Attached File Attached

	09:45 - 10:05: Coffee breakCurryOn Catering at Ariosto + Manzoni

	09:45 - 10:05 Coffee break		Coffee break CurryOn Catering

	10:05 - 12:25: Session 2ICOOOLPS at Alfieri Chair(s): Tomas KaliberaNortheastern University

	10:05 - 11:05 Talk		Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation ICOOOLPS Lubomír BulejCharles University Media Attached File Attached
	11:05 - 11:35 Talk		The Performance of Object Encodings in JavaScript ICOOOLPS Forrest AlexanderPortland State University, Andrew BlackPortland State University Media Attached File Attached
	11:35 - 12:05 Talk		Virtual Machine Warm-up Blows Hot and Cold ICOOOLPS Edd BarrettKing's College London, Carl Friedrich Bolz-TereickKing's College London , Rebecca KillickDepartment of Mathematics and Statistics, University of Lancaster, Vincent KnightSchool of Mathematics, Cardiff University, Sarah MountKing's College London, Laurence TrattKing's College London Link to publication Media Attached File Attached
	12:05 - 12:25 Other		Discussions ICOOOLPS

	10:05 - 12:25: Session 1bCurryOn at Auditorium Loyola

	10:05 - 10:45 Talk		Move Fast to Fix More Things CurryOn S: Peter O'HearnFacebook
	10:55 - 11:35 Talk		Notes on Post-Post-Modern-Modern Programming CurryOn S: James NobleVictoria University of Wellington
	11:45 - 12:25 Talk		A Type is Worth a Thousand Tests CurryOn S: Manuel ChakravartyUNSW Australia & Applicative

	10:05 - 12:30: Session 2PX at Belli Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI

	10:05 - 10:50 Demonstration		Envision – Turning the IDE into a Visual Information System. PX Dimitar Asenov, Peter MüllerETH Zurich
	10:50 - 11:35 Talk		Satisfaction, Time Investment and Success in Students' Programming Exercise. PX Amir Kirsh, Iris Gaber
	11:35 - 12:20 Talk		Towards Gaze Control in Programming Environments. PX Astrid Thomschke, Daniel Stolpe, Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI

	10:05 - 12:25: Session 1aCurryOn at Foscolo

	10:05 - 10:45 Talk		The Functional Programming Languages Nomad CurryOn S: Michael SperberActive Group GmbH
	10:55 - 11:35 Talk		Creating a Fun Game with Elm CurryOn Andrey KuzminZalando, Kolja WilckeZalando
	11:45 - 12:25 Talk		Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us CurryOn Ron PresslerParallel Universe

	10:05 - 12:25: Session 1VORTEX at Saba

	10:05 - 10:10 Day opening		Opening Remarks VORTEX Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
	10:10 - 10:40		StaRVOOrS: A framework for static and runtime verification of data and control properties. VORTEX Gerardo SchneiderUniversity of Gothenburg
	10:40 - 11:10		Runtime Verification with Data VORTEX Martin LeuckerUniversity of Lübeck
	11:10 - 11:40		Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System VORTEX Jean-Baptiste JeanninCarnegie Mellon University

	12:25 - 13:50: LunchCurryOn Catering at Ariosto + Manzoni

	12:25 - 13:50 Lunch		Lunch CurryOn Catering

	13:50 - 15:20: Session 3ICOOOLPS at Alfieri Chair(s): Edd BarrettKing's College London

	13:50 - 14:50 Talk		Growing an Abstract Grammar: Teaching Language Engineering ICOOOLPS Theo D'HondtVrije Universiteit Brussel Media Attached
	14:50 - 15:20 Talk		MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations ICOOOLPS Shijie XuUniversity of New Brunswick, David BremnerUniversity of New Brunswick, Daniel HeidingaIBM Media Attached File Attached

	13:50 - 15:20: Session 2bCurryOn at Auditorium Loyola

	13:50 - 14:30 Talk		Building Scalable Stateful Services CurryOn Caitie McCaffreyTwitter
	14:40 - 15:20 Talk		Data-driven Software security using Differential Privacy and Deep Learning CurryOn S: Úlfar ErlingssonGoogle

	13:50 - 15:20: Session 3PX at Belli Chair(s): Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research, Hidehiko MasuharaTokyo Institute of Technology

	13:50 - 14:35 Talk		Towards Making a Computer Tutor for Children of All Ages - A Memo. PX Yoshiki OhshimaViewpoints Research Institute, Alessandro WarthHARC / Y Combinator Research, Bert Freudenberg, Aran Lunzer, Alan KayUniversity of California at Los Angeles, USA
	14:35 - 15:20 Demonstration		I sit down at my editor, and feel relaxed. PX Matthew Huebert

	13:50 - 15:20: Session 2aCurryOn at Foscolo

	13:50 - 14:30 Talk		Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds CurryOn Frank WangMIT CSAIL
	14:40 - 15:20 Talk		Rascal: the Swiss Army Knife of Meta Programming CurryOn Tijs van der StormCWI

	13:50 - 15:20: Session 1IWACO at Quasimodo Chair(s): Paley LiNortheastern University

	13:50 - 14:20 Talk		Frozen Realms: Confining effects for safer JavaScript plugins IWACO Mark MillerGoogle Inc.
	14:20 - 14:50		Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations IWACO Juliana FrancoImperial College London, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London Pre-print
	14:50 - 15:20 Talk		Objects as Session-Typed Processes IWACO Stephanie Balzer

	13:50 - 15:20: Session 2VORTEX at Saba

	13:50 - 14:20		Extracting Runtime Monitors from Tests: An Overview and a way forward VORTEX Abigail Cauchi, Luke Chircop, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon PaceUniversity of Malta
	14:20 - 14:50		Runtime checks as nominal types VORTEX Paola Giannini, Elena ZuccaUniversity of Genova, Marco ServettoVictoria University of Wellington
	14:50 - 15:19		The Early Bird Catches the Worm: first Verify, then Monitor! VORTEX Angelo Ferrando
	15:19 - 15:20 Day closing		Closing Remarks VORTEX Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University

	15:20 - 16:00: Coffee breakCurryOn Catering at Ariosto + Manzoni

	15:20 - 16:00 Coffee break		Coffee break CurryOn Catering

	16:00 - 17:30: Session 4ICOOOLPS at Alfieri Chair(s): Eric JulAlcatel-Lucent Bell Labs

	16:00 - 16:30 Talk		TruffleReloader: A Low-Overhead Language-Neutral Reloader ICOOOLPS Tõnis PoolZeroTurnaround / University of Tartu, Allan Raundahl GregersenZeroTurnaround, Vesal VojdaniUniversity of Tartu Media Attached File Attached
	16:30 - 17:00 Talk		Sulong - Execution of LLVM-Based Languages on the JVM ICOOOLPS Manuel RiggerJohannes Kepler University, Linz, Austria, Matthias GrimmerJohannes Kepler University Linz, Hanspeter MössenböckJohannes Kepler University Linz Media Attached File Attached
	17:00 - 17:30 Talk		Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems ICOOOLPS Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano Media Attached File Attached

	16:00 - 17:30: Session 3bCurryOn at Auditorium Loyola

	16:00 - 16:40 Talk		Doing data science with Clojure: the ugly, the sad, the joyful CurryOn Simon BelakGoOpti
	16:50 - 17:30 Talk		Oden - A Functional Programming Language for the Go Ecosystem CurryOn Oskar WickströmNone (this is a free time project)

	16:00 - 17:30: Session 4PX at Belli Chair(s): Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research

	16:00 - 16:45 Talk		Exemplifying Moldable Development. PX Andrei ChişUniversity of Bern, Switzerland, Tudor GîrbaCompuGroup Medical Schweiz AG, Juraj KubelkaUniversity of Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhart, Aliaksei SyrelUniversity of Bern
	16:45 - 17:30 Talk		Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs. PX Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI

	16:00 - 17:30: Session 3aCurryOn at Foscolo

	16:00 - 16:40 Talk		Why The Free Monad isn't Free CurryOn Kelley RobinsonSharethrough
	16:50 - 17:30 Talk		Exercises in Programming Style CurryOn S: Crista LopesUniversity of California, Irvine

	16:00 - 17:30: Session 2IWACO at Quasimodo

	16:00 - 16:30 Talk		Are Ownership Types Reaching the World Yet? IWACO Patrick LamUniversity of Waterloo, Canada File Attached
	16:30 - 17:00		Kappa: Insights, Current Status and Future Work IWACO Elias CastegrenUppsala University, Tobias WrigstadUppsala University Pre-print
	17:00 - 17:30		Abstract Data Types in Object-Capability Systems IWACO James NobleVictoria University of Wellington, Sophia DrossopoulouImperial College London, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne, Alex PotaninVictoria University of Wellington Pre-print File Attached

	17:40 - 18:30: Session 5ICOOOLPS at Alfieri Chair(s): Stefan MarrJohannes Kepler University Linz

	17:40 - 18:05 Demonstration		Demo of Docking: Enabling Language Based Dynamic Coupling ICOOOLPS Magnus Haugom ChristensenUniversity of Oslo, Eric JulAlcatel-Lucent Bell Labs
	18:05 - 18:30 Day closing		Discussions and Wrap Up ICOOOLPS

	17:40 - 18:30: KeynoteCurryOn at Auditorium Loyola

	17:40 - 18:30 Talk		The Racket Manifesto CurryOn S: Matthias FelleisenNortheastern University

	17:40 - 18:30: Session 3IWACO at Quasimodo

	17:40 - 18:30		Closing Discussions IWACO Paley LiNortheastern University

	19:30 - 23:00: Curry On Party!CurryOn at Mercati di Traiano

	19:30 - 23:00 Social Event		Curry On Party! CurryOn

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:45 - 09:45: Opening and KeynoteCOP at Quasimodo

	08:45 - 09:00 Day opening		Opening COP
	09:00 - 09:45 Talk		Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty. COP James NobleVictoria University of Wellington

	08:45 - 09:45: Opening sessionGRACE at Saba

	08:45 - 09:45 Day opening		Overview of the Grace project and language GRACE Kim BrucePomona College, Andrew BlackPortland State University

	09:00 - 09:50: KeynoteCurryOn at Auditorium Loyola

	09:00 - 09:50 Talk		It's the End of the World as We Know It, and I Feel Fine CurryOn S: Larry Wall

	09:45 - 10:05: Coffee breakCurryOn Catering at Ariosto + Manzoni

	09:45 - 10:05 Coffee break		Coffee break CurryOn Catering

	10:05 - 12:25: Session 4bCurryOn at Auditorium Loyola

	10:05 - 10:45 Talk		Dartino - a managed language on micro-controllers? CurryOn S: Kasper LundGoogle
	10:55 - 11:35 Talk		Redesigning Type Systems for Industry OO CurryOn Ross TateCornell University
	11:45 - 12:25 Talk		Static analysis for security at the Facebook scale CurryOn S: Francesco LogozzoFacebook

	10:05 - 11:00: Invited talkFTfJP at Belli Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology

	10:05 - 10:10 Day opening		Opening FTfJP Vladimir KlebanovKarlsruhe Institute of Technology
	10:10 - 11:00 Talk		Java Generics are Turing Complete FTfJP Radu GrigoreUniversity of Oxford

	10:05 - 12:25: Session 4aCurryOn at Foscolo

	10:05 - 10:45 Talk		Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing CurryOn Jörgen BrandtHumboldt-Universität zu Berlin
	10:55 - 11:35 Talk		The Future of Programming will be Live CurryOn S: Sean McDirmidMicrosoft Research
	11:45 - 12:25 Talk		From Unikernels to Databases to UIs: Truly full-stack apps in OCaml CurryOn Sean GroveNone

	10:05 - 12:25: Research Papers 1COP at Quasimodo

	10:05 - 10:50 Talk		Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor COP Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Robert HirschfeldHPI
	10:50 - 11:40 Talk		Consistent Unanticipated Adaptation for Context-Dependent Applications COP Nguonly Taing, Markus Wutzler, Thomas Springer, Nicolás CardozoUniversidad de los Andes, Alexander Schill
	11:40 - 12:25 Talk		Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy COP Tobias PapeHPI, Germany, Tim FelgentreffHPI, Germany, Robert HirschfeldHPI

	10:05 - 12:25: GraceGRACE at Saba

	10:05 - 10:45		Experience teaching with Grace GRACE Andrew BlackPortland State University, Kim BrucePomona College
	10:45 - 11:55		Recent changes and language design issues in Grace GRACE Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
	11:55 - 12:25		The Recurring Rainfall Problem GRACE Shriram KrishnamurthiBrown University

	10:45 - 12:25: Session 1JSTools at Alfieri

	10:45 - 10:50 Day opening		Opening Remarks JSTools Julian DolbyIBM Thomas J. Watson Research Center
	10:50 - 11:30		So You Want to Build Memory Tooling For JavaScript? JSTools Nick Fitzgerald
	11:30 - 12:10		Sound Type Inference for JavaScript JSTools Jean-Baptiste JeanninCarnegie Mellon University

	11:00 - 12:25: Session 2FTfJP at Belli Chair(s): Delphine DemangeIRISA / University of Rennes 1

	11:00 - 11:30 Talk		A Mechanical Soundness Proof for Subtyping Over Recursive Types FTfJP Timothy JonesVictoria University of Wellington, David PearceVictoria University of Wellington DOI Pre-print File Attached
	11:30 - 12:00 Talk		A formal account of SSA in Java-like languages FTfJP Davide AnconaUniversity of Genova, Andrea Corradi
	12:00 - 12:25 Talk		A Note on the Soundness of Difference Propagation FTfJP Jens DietrichMassey University, New Zealand, Nicholas HollingumThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia

	12:25 - 13:50: LunchCurryOn Catering at Ariosto + Manzoni

	12:25 - 13:50 Lunch		Lunch CurryOn Catering

	13:50 - 15:20: Session 2JSTools at Alfieri

	13:50 - 14:20 Talk		Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins JSTools Mark MillerGoogle Inc.
	14:20 - 14:50		JavaScript Verification JSTools Philippa GardnerImperial College London
	14:50 - 15:20		What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript JSTools Alexander JordanOracle Labs, Australia

	13:50 - 15:20: Session 5bCurryOn at Auditorium Loyola

	13:50 - 14:30 Talk		Practical Demystification of CRDTs CurryOn Dmitry IvanovTomTom, Nami NasserazadTomTom
	14:40 - 15:20 Talk		Distributed Iterative Computation in TensorFlow CurryOn S: Yuan Yu

	13:50 - 15:20: Session 3FTfJP at Belli Chair(s): Davide AnconaUniversity of Genova

	13:50 - 14:20 Talk		Generating Concurrency Checks Automatically FTfJP Jonathan HoylandRoyal Holloway University of London, Matthew HagueRoyal Holloway University of London
	14:20 - 14:50 Talk		An Extended Buffered Memory Model With Full Reorderings FTfJP Gurvan Cabon, David Cachera, David PichardieIRISA / ENS Rennes
	14:50 - 15:20 Talk		Towards a Model of Corecursion with Default FTfJP Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova

	13:50 - 15:20: Session 5aCurryOn at Foscolo

	13:50 - 14:30 Talk		On the chemistry of typestate-oriented actors CurryOn Silvia CrafaUniversità di Padova, Italy
	14:40 - 15:20 Talk		Become a Polyglot by learning Java! CurryOn S: Jaroslav TulachOracle Labs

	13:50 - 15:20: Research Papers 2COP at Quasimodo

	13:50 - 14:20 Talk		A Context-Oriented Software Architecture COP Kim MensUniversité Catholique de Louvain, Belgium, Nicolás CardozoUniversidad de los Andes, Benoît Duhoux
	14:20 - 14:50 Talk		Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android COP Tetsuo KaminaRitsumeikan University, Noriyuki Suzuki, Katsuhisa Maruyama
	14:50 - 15:20 Talk		Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP COP Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI

	13:50 - 15:20: Contributed PapersGRACE at Saba

	13:50 - 14:20 Talk		Grace in Spoofax: Readable Specification and Implementation in One GRACE Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology Link to publication File Attached
	14:20 - 14:50		Traitorous Traits GRACE Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington File Attached
	14:50 - 15:20		Tooling matters – Why Grace needs a good IDE GRACE Michael KöllingUniversity of Kent

	15:20 - 16:00: Coffee breakCurryOn Catering at Ariosto + Manzoni

	15:20 - 16:00 Coffee break		Coffee break CurryOn Catering

	16:00 - 17:30: Session 3JSTools at Alfieri

	16:00 - 16:40		Verification of Communication in Web Applications JSTools Nathalie OostvogelsVrije Universiteit Brussel
	16:40 - 17:20		Fishing for JavaScript Bugs at the Shallow End JSTools Max SchaeferSemmle
	17:20 - 17:30 Day closing		Closing Remarks JSTools Julian DolbyIBM Thomas J. Watson Research Center

	16:00 - 17:30: Session 6bCurryOn at Auditorium Loyola

	16:00 - 16:40 Talk		Distributed Configuration with Clojure CurryOn Renzo BorgattiMailonline
	16:50 - 17:30 Talk		Using Object Algebras To Design Embedded Domain Specific Languages CurryOn Julien Richard-FoyZengularity

	16:00 - 18:30: Session 4FTfJP at Belli Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology

	16:00 - 16:30 Demonstration		Tool Demonstration: The VeriFast Verification System for Java and C FTfJP Bart JacobsiMinds - Distrinet, KU Leuven
	16:30 - 17:00 Talk		Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast FTfJP Bart JacobsiMinds - Distrinet, KU Leuven
	17:00 - 17:30 Talk		Coupling Catch Clauses with Local Declarations FTfJP Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
	17:30 - 18:00 Talk		Towards Modular Reasoning for Context-Oriented Programs FTfJP Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
	18:00 - 18:30 Talk		Permission and Authority Revisited: Towards a Formalization FTfJP Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne

	16:00 - 17:30: Session 6aCurryOn at Foscolo

	16:00 - 16:40 Talk		What is programming? CurryOn Juan LulkinKlarna
	16:50 - 17:30 Talk		Are We Ready for Secure Languages? CurryOn S: Cristina CifuentesOracle Labs, Australia

	16:00 - 17:30: DiscussionGRACE at Saba

	16:00 - 17:30		Next steps with Grace GRACE

	17:30 - 18:30: Poster Session & Workshops ReceptionCurryOn Catering at Manzoni

	17:30 - 18:30 Social Event		Poster Session & Workshops Reception CurryOn Catering

	17:40 - 18:20: Session 7bCurryOn at Auditorium Loyola

	17:40 - 18:20 Talk		A brief and incomplete history of programming languages CurryOn Andrea Magnorsky

	17:40 - 18:20: Session 7aCurryOn at Foscolo

	17:40 - 18:20 Talk		To Macros and Beyond!: How macros changed Scala, and what's coming next CurryOn Eugene BurmakoEPFL

	18:30 - 19:20: KeynoteCurryOn at Auditorium Loyola

	18:30 - 19:20 Talk		Building an Open Source Research Lab CurryOn S: Dave HermanMozilla Research

Wed 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:45 - 10:00: Invited TalkResearch Track at Auditorium Loyola Chair(s): Camil DemetrescuSapienza University of Rome

	08:45 - 09:00		Welcome address Research Track
	09:00 - 10:00 Talk		The Elements of Decision Alignment: Large programs as complex organizations Research Track Mark MillerGoogle Inc. Media Attached

	10:00 - 10:30: Coffee breakCatering at Ariosto + Manzoni

	10:00 - 10:30 Coffee break		Coffee break Catering

	10:30 - 12:00: Session 1Research Track at Auditorium Loyola Chair(s): Camil DemetrescuSapienza University of Rome

	10:30 - 10:55 Talk		Higher-Order Demand-Driven Program Analysis Research Track Zachary PalmerSwarthmore College, Scott F. SmithThe Johns Hopkins University Link to publication DOI Media Attached
	10:55 - 11:20 Talk		Interprocedural Type Specialization of JavaScript Programs Without Type Analysis Research Track Maxime Chevalier-BoisvertUniversity of Montreal, Marc FeeleyUniversité de Montréal Link to publication DOI Media Attached
	11:20 - 11:45 Talk		Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic Research Track Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Jens DietrichMassey University, New Zealand Link to publication DOI Pre-print Media Attached
	11:45 - 12:00		Awards Research Track

	10:30 - 12:00: Lecture 1Summer School at Leopardi Chair(s): Jan VitekNortheastern University

	10:30 - 12:00 Talk		28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand Summer School S: Matthias FelleisenNortheastern University File Attached

	12:00 - 13:30: LunchCatering at Ariosto + Manzoni

	12:00 - 13:30 Lunch		Lunch Catering

	13:30 - 15:00: Lecture 2aSummer School at Leopardi Chair(s): Jan VitekNortheastern University

	13:30 - 15:00 Talk		Building a Research Program for Scripting Languages Summer School S: Shriram KrishnamurthiBrown University

	13:45 - 15:00: Session 2Research Track at Auditorium Loyola Chair(s): James NobleVictoria University of Wellington

	13:45 - 14:10 Talk		C++ const and Immutability: An Empirical Study of Writes-Through-const Research Track Jonathan EyolfsonUniversity of Waterloo, Patrick LamUniversity of Waterloo, Canada Link to publication DOI Pre-print Media Attached
	14:10 - 14:35 Talk		Formal Language Recognition with the Java Type Checker Research Track Yossi GilIsrael Institute of Technology, Tomer LevyTechnion – Israel Institute of Technology Link to publication DOI
	14:35 - 15:00 Talk		Towards Ontology-Based Program Analysis Research Track Yue ZhaoNCSU, Guoyang Chen, Chunhua LiaoLLNL, Xipeng ShenNCSU Link to publication DOI Media Attached

	15:00 - 15:30: Coffee breakCatering at Ariosto + Manzoni

	15:00 - 15:30 Coffee break		Coffee break Catering

	15:30 - 16:45: Session 3Research Track at Auditorium Loyola Chair(s): Colin GordonDrexel University

	15:30 - 15:55 Talk		Making an Embedded DBMS JIT-friendly Research Track Carl Friedrich Bolz-TereickKing's College London , Darya MelicherCarnegie Mellon University, Laurence TrattKing's College London Link to publication DOI Pre-print Media Attached
	15:55 - 16:20 Talk		QL: Object-oriented Queries on Relational Data Research Track Pavel AvgustinovSemmle, Oege de MoorSemmle, Michael Peyton JonesSemmle, Max SchaeferSemmle Link to publication DOI Pre-print
	16:20 - 16:45 Talk		Transactional Tasks: Parallelism in Software Transactions Research Track Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI Pre-print Media Attached

	15:30 - 17:00: Lecture 2bSummer School at Leopardi Chair(s): Jan VitekNortheastern University

	15:30 - 17:00 Talk		Building a Research Program for Scripting Languages Summer School S: Shriram KrishnamurthiBrown University

Thu 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 10:00: DN TalkResearch Track at Auditorium Loyola Chair(s): Eric JulAlcatel-Lucent Bell Labs

	09:00 - 10:00 Talk		Half a Life in Software (Senior DN Prize Lecture) Research Track P: James NobleVictoria University of Wellington Media Attached

	10:00 - 10:30: Coffee breakCatering at Ariosto + Manzoni

	10:00 - 10:30 Coffee break		Coffee break Catering

	10:30 - 11:45: Session 4Research Track at Auditorium Loyola Chair(s): Sebastian ErdwegTU Delft

	10:30 - 10:55 Talk		A Calculus for Variational Programming Research Track Sheng ChenUniversity of Louisiana at Lafayette, Martin ErwigOregon State University, Eric WalkingshawOregon State University Link to publication DOI Media Attached
	10:55 - 11:20 Talk		A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Research Track Atsushi OhoriTohoku University, Katsuhiro UenoTohoku University, Tomohiro SasakiTohoku University, Daisuke KikuchiTohoku University and Hitachi Solutions East Japan, Ltd. Link to publication DOI Pre-print Media Attached
	11:20 - 11:45 Talk		Transforming programs between APIs with Many-to-Many Mappings Research Track Chenglong WangUniversity of Washington, Jiajun JiangPeking University, Jun LiPeking University, Yingfei XiongPeking University, Xiangyu LuoPeking University, Lu ZhangPeking University, Zhenjiang HuNational Institute of Informatics Link to publication DOI Pre-print Media Attached

	10:30 - 12:00: Lecture 3Summer School at Leopardi Chair(s): Jan VitekNortheastern University

	10:30 - 12:00 Talk		Gradual Type Systems Summer School Jeremy G. SiekIndiana University File Attached

	11:45 - 13:30: LunchCatering at Ariosto + Manzoni

	11:45 - 13:30 Lunch		Lunch Catering

	13:30 - 15:00: Lecture 4aSummer School at Leopardi Chair(s): Jan VitekNortheastern University

	13:30 - 15:00 Talk		A JIT Compiler (almost) for Free Summer School S: Carl Friedrich Bolz-TereickKing's College London , S: Laurence TrattKing's College London File Attached

	13:45 - 15:00: Session 5Research Track at Auditorium Loyola Chair(s): Kim BrucePomona College

	13:45 - 14:10 Talk		LJGS: Gradual Security Types for Object-Oriented Languages Research Track Luminous FennellUniversity of Freiburg, Germany, Peter ThiemannUniversity of Freiburg Link to publication DOI Media Attached
	14:10 - 14:35 Talk		Lightweight session programming in Scala Research Track Alceste ScalasImperial College London, Nobuko YoshidaImperial College London, UK Link to publication DOI Media Attached
	14:35 - 15:00 Talk		Trace Typing: An Approach for Evaluating Retrofitted Type Systems Research Track Esben AndreasenAarhus University, Colin GordonDrexel University, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Frank TipSamsung Research America, Koushik SenUniversity of California, Berkeley Link to publication DOI Pre-print Media Attached

	15:00 - 15:30: Coffee breakCatering at Ariosto + Manzoni

	15:00 - 15:30 Coffee break		Coffee break Catering

	15:30 - 16:45: Session 6Research Track at Auditorium Loyola Chair(s): Sophia DrossopoulouImperial College London

	15:30 - 15:55 Talk		Object Inheritance without Classes Research Track Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington, Kim BrucePomona College Link to publication DOI Pre-print Media Attached
	15:55 - 16:20 Talk		Program Tailoring: Slicing by Sequential Criteria Research Track Yue LiUNSW Australia, Tian TanUNSW Australia, Yifei ZhangUNSW Australia, Jingling XueUNSW Australia Link to publication DOI Pre-print Media Attached
	16:20 - 16:45 Talk		Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Research Track Casper Bach PoulsenTU Delft, Pierre NeronFrench Network and Information Security Agency (ANSSI), Andrew TolmachPortland State University, Eelco VisserDelft University of Technology Link to publication DOI Pre-print Media Attached

	15:30 - 17:00: Lecture 4bSummer School at Leopardi Chair(s): Jan VitekNortheastern University

	15:30 - 17:00 Talk		A JIT Compiler (almost) for Free Summer School S: Carl Friedrich Bolz-TereickKing's College London , S: Laurence TrattKing's College London File Attached

	19:30 - 23:00: BanquetCatering at Pinacoteca del Tesoriere

	19:30 - 23:00 Dinner		ECOOP Banquet Catering

Fri 22 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 10:00: DN TalkResearch Track at Auditorium Loyola Chair(s): Eric JulAlcatel-Lucent Bell Labs

	09:00 - 10:00 Talk		Synthesis and Verification for All (Junior DN Prize Lecture) Research Track P: Emina TorlakUniversity of Washington Media Attached

	10:00 - 10:30: Coffee breakCatering at Ariosto + Manzoni

	10:00 - 10:30 Coffee break		Coffee break Catering

	10:30 - 11:45: Session 7Research Track at Auditorium Loyola Chair(s): Julian DolbyIBM Thomas J. Watson Research Center

	10:30 - 10:55 Talk		Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Research Track Johannes SpäthFraunhofer SIT, Lisa Nguyen Quang DoFraunhofer IEM, Karim AliTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI Pre-print Media Attached
	10:55 - 11:20 Talk		IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs Research Track Daco HarkesDelft University of Technology, Danny GroenewegenDelft University of Technology, Eelco VisserDelft University of Technology Link to publication DOI Pre-print Media Attached
	11:20 - 11:45 Talk		Reference Capabilities for Concurrency Control Research Track Elias CastegrenUppsala University, Tobias WrigstadUppsala University Link to publication DOI Pre-print Media Attached

	10:30 - 12:00: Lecture 5aSummer School at Leopardi Chair(s): Jan VitekNortheastern University

	10:30 - 12:00 Talk		Experimental Evaluation of Programming Systems Summer School S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern University File Attached

	11:45 - 13:30: LunchCatering at Ariosto + Manzoni

	11:45 - 13:30 Lunch		Lunch Catering

	13:30 - 15:20: Session 8Research Track at Auditorium Loyola Chair(s): Matthias KeilUniversity of Freiburg, Eric JulAlcatel-Lucent Bell Labs

	13:30 - 13:55 Talk		Composing Interfering Abstract Protocols Research Track Filipe MilitãoCarnegie Mellon University & Universidade Nova de Lisboa, Jonathan AldrichCarnegie Mellon University, Luís CairesFCT / Universidade Nova de Lisboa Link to publication DOI Pre-print Media Attached
	13:55 - 14:20 Talk		Fine-grained Language Composition: A Case Study Research Track Edd BarrettKing's College London, Carl Friedrich Bolz-TereickKing's College London , Lukas DiekmannKing's College London, Laurence TrattKing's College London Link to publication DOI Pre-print Media Attached
	14:20 - 14:45 Talk		One Way to Select Many Research Track Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc. Link to publication DOI Media Attached
	14:45 - 15:10 Talk		Staccato: A Bug Finder for Dynamic Configuration Updates Research Track John TomanUniversity of Washington, Dan GrossmanUniversity of Washington, USA Link to publication DOI Media Attached
	15:10 - 15:20		Adjourn Research Track

	13:40 - 15:20: Lecture 5bSummer School at Leopardi Chair(s): Jan VitekNortheastern University

	13:40 - 15:10 Talk		Experimental Evaluation of Programming Systems Summer School S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern University File Attached
	15:10 - 15:20		Adjourn Summer School

	15:20 - 16:20: Ice Cream SocialCatering at Manzoni

	15:20 - 16:20 Social Event		Social Catering

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	30		9:00	30		10:00		30	11:00	30	12:00		30	13:00	30		14:00	30	15:00		30	16:00	30		17:00	30	18:00	30
Alfieri			STOP Session 1					STOP Session 2									STOP Session 3						STOP Session 4		Summer School Welcome Session
Ariosto						CurryOn Catering Coffee break							CurryOn Catering Lunch								CurryOn Catering Coffee break
Belli			Doctoral Symposium Opening					Doctoral Symposium Session 1									Doctoral Symposium Session 2						Doctoral Symposium Session 3
Foscolo			LIVE Winter					LIVE Spring									LIVE Summer						LIVE Fall
Montale			PMLDC Invited talk				PMLDC Session 1: Programming Languages										PMLDC Session 2: Conflict-Free Replicated Data Types						PMLDC Session 3: Consistency

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	30		9:00		30		10:00		30	11:00	30	12:00		30	13:00		30		14:00	30	15:00		30	16:00	30	17:00		30		18:00	30	19:00	30	20:00	30	21:00	30	22:00	30	23:00	30
Alfieri					ICOOOLPS Session 1				ICOOOLPS Session 2										ICOOOLPS Session 3						ICOOOLPS Session 4					ICOOOLPS Session 5
Ariosto + Manzoni							CurryOn Catering Coffee break							CurryOn Catering Lunch									CurryOn Catering Coffee break
Auditorium Loyola			CurryOn Keynote						CurryOn Session 1b										CurryOn Session 2b						CurryOn Session 3b					CurryOn Keynote
Belli			PX Session 1						PX Session 2										PX Session 3						PX Session 4
Foscolo									CurryOn Session 1a										CurryOn Session 2a						CurryOn Session 3a
Mercati di Traiano																	CurryOn Curry On Party!
Quasimodo																	IWACO Session 1							IWACO Session 2				IWACO Session 3
Saba									VORTEX Session 1										VORTEX Session 2

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	30		9:00	30		10:00		30		11:00	30	12:00		30	13:00		30		14:00	30	15:00		30	16:00	30	17:00	30		18:00	30	19:00	30
Alfieri										JSTools Session 1									JSTools Session 2						JSTools Session 3
Ariosto + Manzoni						CurryOn Catering Coffee break								CurryOn Catering Lunch									CurryOn Catering Coffee break
Auditorium Loyola				CurryOn Keynote				CurryOn Session 4b											CurryOn Session 5b						CurryOn Session 6b				CurryOn Session 7b		CurryOn Keynote
Belli								FTfJP Invited talk			FTfJP Session 2								FTfJP Session 3						FTfJP Session 4
Foscolo								CurryOn Session 4a											CurryOn Session 5a						CurryOn Session 6a				CurryOn Session 7a
Manzoni																	CurryOn Catering Poster Session & Workshops Reception
Quasimodo			COP Opening and Keynote					COP Research Papers 1											COP Research Papers 2
Saba			GRACE Opening session					GRACE Grace											GRACE Contributed Papers						GRACE Discussion

Wed 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	30		9:00	30	10:00	30	11:00	30	12:00	30	13:00	30		14:00	30	15:00	30	16:00	30	17:00	30
Ariosto + Manzoni						Catering Coffee break				Catering Lunch							Catering Coffee break
Auditorium Loyola			Research Track Invited Talk				Research Track Session 1							Research Track Session 2				Research Track Session 3
Leopardi							Summer School Lecture 1						Summer School Lecture 2a					Summer School Lecture 2b

Thu 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00	30	10:00	30	11:00	30		12:00	30	13:00	30		14:00		30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30	22:00	30	23:00	30
Ariosto + Manzoni			Catering Coffee break				Catering Lunch									Catering Coffee break
Auditorium Loyola	Research Track DN Talk			Research Track Session 4								Research Track Session 5					Research Track Session 6
Leopardi				Summer School Lecture 3							Summer School Lecture 4a						Summer School Lecture 4b
Pinacoteca del Tesoriere														Catering Banquet

Fri 22 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00	30	10:00	30	11:00	30		12:00	30	13:00	30		14:00		30	15:00	30	16:00	30
Ariosto + Manzoni			Catering Coffee break				Catering Lunch
Auditorium Loyola	Research Track DN Talk			Research Track Session 7							Research Track Session 8
Leopardi				Summer School Lecture 5a								Summer School Lecture 5b
Manzoni														Catering Ice Cream Social

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45		9:00	15	30	45	10:00		15		30		45		11:00		15		30		45		12:00	15		30	45	13:00	15	30	45		14:00		15		30		45		15:00	15		30	45	16:00	15	30	45			17:00		15	30	45	18:00	15	30	45
Alfieri				STOP Opening remarks 08:45 - 08:55	STOP Types for Ruby 08:55 - 09:45						STOP Optional Typing in Dart: Purity and Practice 10:05 - 10:55						STOP Beyond Types: Extending the Gradual Guarantee 10:55 - 11:25				STOP Gradual Typing for Delimited Continuations 11:25 - 11:55				STOP Automating Gradual Typing 11:55 - 12:25										STOP Gradual types for real-world objects 13:50 - 14:40						STOP A Systematic Performance Evaluation of Gradually Typed Functions and Re ... 14:40 - 15:10								STOP From Optional to Gradual Typing via Transient Checks 16:00 - 16:30		STOP Closing remarks 16:30 - 16:40	ECOOP Summer School Welcome 16:45 - 16:55		ECOOP Summer School My twenty-five years of ECOOP 16:55 - 17:45					ECOOP Summer School Research in Academia and Industry 17:45 - 18:45
Ariosto									CurryOn Catering Coffee break 09:45 - 10:05																			CurryOn Catering Lunch 12:25 - 13:50																		CurryOn Catering Coffee break 15:20 - 16:00
Belli				ECOOP Doctoral Symposium Welcome 08:45 - 08:55	ECOOP Doctoral Symposium Lightning Talks 08:55 - 09:15		ECOOP Doctoral Symposium Live Programming Environments for Reactive MVU Applications 09:15 - 09:45				ECOOP Doctoral Symposium User-Centric Static Analysis 10:05 - 10:35				ECOOP Doctoral Symposium Domain-based Simulation Modelling to Enable Continuous Testing for Soft ... 10:35 - 11:05				ECOOP Doctoral Symposium Coffee break 11:05 - 11:25		ECOOP Doctoral Symposium Language Design for Validatable Information System Specifications 11:25 - 11:55				ECOOP Doctoral Symposium Compositional and Mechanically Verified Program Analyzers 11:55 - 12:25										ECOOP Doctoral Symposium Invited Talk: How to get your Ph.D. DONE 13:50 - 14:20				ECOOP Doctoral Symposium Concept Parameters as a New Mechanism of Generic Programming for C# Lan ... 14:20 - 14:50				ECOOP Doctoral Symposium Exploring optional security typing 14:50 - 15:20						ECOOP Doctoral Symposium Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages 16:00 - 16:30		ECOOP Doctoral Symposium Invited Talk: Papers vs. Artefacts 16:30 - 17:00				ECOOP Doctoral Symposium Invited Talk: PhD Reflections 17:00 - 17:30
Foscolo				LIVE The Promise of Live Programming 08:45 - 09:45							LIVE Language Hacking in a Live Programming Environment 10:05 - 10:25		LIVE Towards Live Language Development 10:25 - 10:45			LIVE Live Programming with Code Portals 10:45 - 11:05				LIVE Live end-user programming: a demo/manifesto 11:15 - 11:35			LIVE Discuss: New Interfaces for Programming 11:35 - 12:25												LIVE Live Programming by Example: Using Direct Manipulation for Live Program ... 13:50 - 14:10		LIVE Live Literals 14:10 - 14:30			LIVE Liveness for Verification 14:30 - 14:50			LIVE Live Lightning Talks 14:50 - 15:20						LIVE Leveraging live programming in the classroom — an experience report 16:00 - 16:50				LIVE Live Tuning: Expanding Live Programming Benefits to Non-Programmers 16:50 - 17:10			LIVE Sintr: Experimenting with liveness at scale 17:10 - 17:30		LIVE Discuss: Live Programming, Live Coding, and Intelligence Amplification 17:30 - 18:20
Montale				PMLDC Opening Remarks 08:45 - 09:00		PMLDC We Are All Distributed System Engineers 09:00 - 09:45				PMLDC Implicitly Distributing Pervasively Concurrent Programs 10:00 - 10:30				PMLDC Static Type Checking for the Kompics Component Model -- Kola - The Komp ... 10:30 - 11:00				PMLDC Towards Aggregate Programming in Scala 11:00 - 11:30				PMLDC Building Distributed Applications with Data and Time Frames 11:30 - 12:00				PMLDC Fractional Permissions for Race-Free Mutable References in a Dataflow I ... 12:00 - 12:30									PMLDC Tracking the Elephants in the System 13:50 - 14:20				PMLDC Join Decompositions for Efficient Synchronization of CRDTs after a Netw ... 14:20 - 14:50				PMLDC Integration Challenges of Pure Operation-based CRDTs in Redis 14:50 - 15:20						PMLDC The Consistency Babel 16:00 - 16:30		PMLDC Data-centric Consistency Policies: A Programming Model for Distributed ... 16:30 - 17:00				PMLDC On the Potential of Event Sourcing for Retroactive Actor-based Programming 17:00 - 17:30

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45	9:00		15	30	45	10:00			15	30		45			11:00			15	30		45	12:00		15		30	45	13:00	15		30	45		14:00	15		30			45		15:00	15		30	45	16:00	15	30	45		17:00		15	30		45	18:00		15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45	23:00	15	30	45
Alfieri						ICOOOLPS Welcome 09:10 - 09:15	ICOOOLPS Source Language Representation of Function Summaries in Static Analysis 09:15 - 09:45				ICOOOLPS Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrume ... 10:05 - 11:05									ICOOOLPS The Performance of Object Encodings in JavaScript 11:05 - 11:35				ICOOOLPS Virtual Machine Warm-up Blows Hot and Cold 11:35 - 12:05			ICOOOLPS Discussions 12:05 - 12:25										ICOOOLPS Growing an Abstract Grammar: Teaching Language Engineering 13:50 - 14:50								ICOOOLPS MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Langua ... 14:50 - 15:20						ICOOOLPS TruffleReloader: A Low-Overhead Language-Neutral Reloader 16:00 - 16:30		ICOOOLPS Sulong - Execution of LLVM-Based Languages on the JVM 16:30 - 17:00			ICOOOLPS Efficient Profiling of Actor-based Applications in Parallel and Distrib ... 17:00 - 17:30				ICOOOLPS Demo of Docking: Enabling Language Based Dynamic Coupling 17:40 - 18:05			ICOOOLPS Discussions and Wrap Up 18:05 - 18:30
Ariosto + Manzoni									CurryOn Catering Coffee break 09:45 - 10:05																				CurryOn Catering Lunch 12:25 - 13:50																			CurryOn Catering Coffee break 15:20 - 16:00
Auditorium Loyola				CurryOn Curry On opening remarks 08:45 - 09:00	CurryOn How To Win Big With Old Ideas 09:00 - 09:50						CurryOn Move Fast to Fix More Things 10:05 - 10:45							CurryOn Notes on Post-Post-Modern-Modern Programming 10:55 - 11:35							CurryOn A Type is Worth a Thousand Tests 11:45 - 12:25												CurryOn Building Scalable Stateful Services 13:50 - 14:30						CurryOn Data-driven Software security using Differential Privacy and Deep Learning 14:40 - 15:20								CurryOn Doing data science with Clojure: the ugly, the sad, the joyful 16:00 - 16:40				CurryOn Oden - A Functional Programming Language for the Go Ecosystem 16:50 - 17:30					CurryOn The Racket Manifesto 17:40 - 18:30
Belli				PX Introduction 08:45 - 09:00	PX How Live are Live Programming Systems? – Benchmarking the Response Time ... 09:00 - 09:45						PX Envision – Turning the IDE into a Visual Information System. 10:05 - 10:50						PX Satisfaction, Time Investment and Success in Students' Programming Exer ... 10:50 - 11:35							PX Towards Gaze Control in Programming Environments. 11:35 - 12:20													PX Towards Making a Computer Tutor for Children of All Ages - A Memo. 13:50 - 14:35					PX I sit down at my editor, and feel relaxed. 14:35 - 15:20									PX Exemplifying Moldable Development. 16:00 - 16:45			PX Evolving User Interfaces From Within Self-sustaining Programming Enviro ... 16:45 - 17:30
Foscolo											CurryOn The Functional Programming Languages Nomad 10:05 - 10:45							CurryOn Creating a Fun Game with Elm 10:55 - 11:35							CurryOn Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us 11:45 - 12:25												CurryOn Sieve: Cryptographically Enforced Access Control for User Data in Untru ... 13:50 - 14:30						CurryOn Rascal: the Swiss Army Knife of Meta Programming 14:40 - 15:20								CurryOn Why The Free Monad isn't Free 16:00 - 16:40				CurryOn Exercises in Programming Style 16:50 - 17:30
Mercati di Traiano																																		CurryOn Curry On Party! 19:30 - 23:00
Quasimodo																																		IWACO Frozen Realms: Confining effects for safer JavaScript plugins 13:50 - 14:20			IWACO Towards Enabling Low-Level Memory Optimisations at the High-Level with ... 14:20 - 14:50			IWACO Objects as Session-Typed Processes 14:50 - 15:20									IWACO Are Ownership Types Reaching the World Yet? 16:00 - 16:30		IWACO Kappa: Insights, Current Status and Future Work 16:30 - 17:00		IWACO Abstract Data Types in Object-Capability Systems 17:00 - 17:30				IWACO Closing Discussions 17:40 - 18:30
Saba											VORTEX Opening Remarks 10:05 - 10:10	VORTEX StaRVOOrS: A framework for static and runtime verification of data and ... 10:10 - 10:40			VORTEX Runtime Verification with Data 10:40 - 11:10						VORTEX Runtime Verification of Safe Advisories in the Next-Generation Airborne ... 11:10 - 11:40																VORTEX Extracting Runtime Monitors from Tests: An Overview and a way forward 13:50 - 14:20			VORTEX Runtime checks as nominal types 14:20 - 14:50					VORTEX The Early Bird Catches the Worm: first Verify, then Monitor! 14:50 - 15:19			VORTEX Closing Remarks 15:19 - 15:20

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45	9:00	15	30	45	10:00			15	30	45			11:00	15	30	45	12:00	15		30	45	13:00	15	30	45		14:00	15		30		45		15:00	15		30	45	16:00	15	30		45		17:00	15		30		45	18:00	15	30	45	19:00	15	30	45
Alfieri														JSTools Opening Remarks 10:45 - 10:50	JSTools So You Want to Build Memory Tooling For JavaScript? 10:50 - 11:30				JSTools Sound Type Inference for JavaScript 11:30 - 12:10											JSTools Invited Talk - Frozen Realms: Confining effects for safer JavaScript pl ... 13:50 - 14:20			JSTools JavaScript Verification 14:20 - 14:50				JSTools What Went Wrong? Automatic Triage of Precision Loss During Static Analy ... 14:50 - 15:20						JSTools Verification of Communication in Web Applications 16:00 - 16:40			JSTools Fishing for JavaScript Bugs at the Shallow End 16:40 - 17:20					JSTools Closing Remarks 17:20 - 17:30
Ariosto + Manzoni								CurryOn Catering Coffee break 09:45 - 10:05															CurryOn Catering Lunch 12:25 - 13:50																	CurryOn Catering Coffee break 15:20 - 16:00
Auditorium Loyola					CurryOn It's the End of the World as We Know It, and I Feel Fine 09:00 - 09:50					CurryOn Dartino - a managed language on micro-controllers? 10:05 - 10:45						CurryOn Redesigning Type Systems for Industry OO 10:55 - 11:35				CurryOn Static analysis for security at the Facebook scale 11:45 - 12:25										CurryOn Practical Demystification of CRDTs 13:50 - 14:30					CurryOn Distributed Iterative Computation in TensorFlow 14:40 - 15:20								CurryOn Distributed Configuration with Clojure 16:00 - 16:40					CurryOn Using Object Algebras To Design Embedded Domain Specific Languages 16:50 - 17:30					CurryOn A brief and incomplete history of programming languages 17:40 - 18:20				CurryOn Building an Open Source Research Lab 18:30 - 19:20
Belli										FTfJP Opening 10:05 - 10:10	FTfJP Java Generics are Turing Complete 10:10 - 11:00						FTfJP A Mechanical Soundness Proof for Subtyping Over Recursive Types 11:00 - 11:30		FTfJP A formal account of SSA in Java-like languages 11:30 - 12:00		FTfJP A Note on the Soundness of Difference Propagation 12:00 - 12:25									FTfJP Generating Concurrency Checks Automatically 13:50 - 14:20			FTfJP An Extended Buffered Memory Model With Full Reorderings 14:20 - 14:50				FTfJP Towards a Model of Corecursion with Default 14:50 - 15:20						FTfJP Tool Demonstration: The VeriFast Verification System for Java and C 16:00 - 16:30		FTfJP Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast 16:30 - 17:00				FTfJP Coupling Catch Clauses with Local Declarations 17:00 - 17:30			FTfJP Towards Modular Reasoning for Context-Oriented Programs 17:30 - 18:00			FTfJP Permission and Authority Revisited: Towards a Formalization 18:00 - 18:30
Foscolo										CurryOn Functional Programming and Foreign Language Interfaces: Essentials in D ... 10:05 - 10:45						CurryOn The Future of Programming will be Live 10:55 - 11:35				CurryOn From Unikernels to Databases to UIs: Truly full-stack apps in OCaml 11:45 - 12:25										<

ECOOP 2016 Program

Program Display Configuration

Sun 17 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 18 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 20 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 21 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 22 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 17 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

STOP

STOP

STOP

STOP

Summer School

CurryOn Catering

CurryOn Catering

CurryOn Catering

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

LIVE

LIVE

LIVE

LIVE

PMLDC

PMLDC

PMLDC

PMLDC

Mon 18 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

CurryOn Catering

CurryOn Catering

CurryOn Catering

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

PX

PX

PX

PX

CurryOn

CurryOn

CurryOn

CurryOn

IWACO

IWACO

IWACO

VORTEX

VORTEX

Tue 19 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

JSTools

JSTools

JSTools

CurryOn Catering

CurryOn Catering

CurryOn Catering

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

FTfJP

FTfJP

FTfJP

FTfJP

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn Catering

COP

COP

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 22 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 22 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change