ECOOP 2016 (series) /
ECOOP 2016 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:45 | |||
08:45 10mDay opening | Opening remarks STOP | ||
08:55 50mTalk | Types for Ruby STOP Jeffrey S. Foster University of Maryland, College Park | ||
08:45 - 09:45 | |||
08:45 10mDay opening | Welcome Doctoral Symposium | ||
08:55 20mTalk | Lightning Talks Doctoral Symposium | ||
09:15 30mTalk | Live Programming Environments for Reactive MVU Applications Doctoral Symposium | ||
08:45 - 09:45 | |||
08:45 60mTalk | The Promise of Live Programming LIVE Sean McDirmid Microsoft Research Pre-print | ||
08:45 - 09:45 | |||
08:45 15mDay opening | Opening Remarks PMLDC | ||
09:00 45mTalk | We Are All Distributed System Engineers PMLDC Carl Lerche Independent Consultant | ||
09:45 - 10:05 | |||
09:45 20mCoffee break | Coffee break CurryOn Catering | ||
10:00 - 12:30 | |||
10:00 30m | Implicitly Distributing Pervasively Concurrent Programs PMLDC John A. Thywissen The University of Texas at Austin, Arthur Michener Peters The University of Texas at Austin, Texas, USA, William Cook UT Austin Link to publication DOI | ||
10:30 30m | Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language PMLDC Link to publication DOI File Attached | ||
11:00 30m | Towards Aggregate Programming in Scala PMLDC Link to publication DOI | ||
11:30 30m | Building Distributed Applications with Data and Time Frames PMLDC | ||
12:00 30m | Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language PMLDC | ||
10:05 - 12:25 | |||
10:05 50mTalk | Optional Typing in Dart: Purity and Practice STOP Gilad Bracha Google 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 Link to publication | ||
11:55 30mTalk | Automating Gradual Typing STOP Timothy Jones Victoria University of Wellington Link to publication File Attached | ||
10:05 - 12:25 | |||
10:05 30mTalk | User-Centric Static Analysis Doctoral Symposium | ||
10:35 30mTalk | Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry Doctoral Symposium | ||
11:05 20mCoffee break | Coffee break Doctoral Symposium | ||
11:25 30mTalk | Language Design for Validatable Information System Specifications Doctoral Symposium | ||
11:55 30mTalk | Compositional and Mechanically Verified Program Analyzers Doctoral Symposium | ||
10:05 - 12:25 | |||
10:05 20mTalk | Language Hacking in a Live Programming Environment LIVE Patrick Dubroy HARC / Y Combinator Research, Saketh Kasibatla Communications Design Group / UCLA, Meixian Li Communications Design Group / Y Combinator Research, Marko Röder HARC / Y Combinator Research, Alessandro Warth HARC / Y Combinator Research Pre-print | ||
10:25 20mTalk | Towards Live Language Development LIVE Pre-print | ||
10:45 20mTalk | Live Programming with Code Portals LIVE Alexander Breckel Institute of Software Engineering and Compiler Construction, Matthias Tichy Chalmers University of Technology Media Attached | ||
11:15 20mTalk | Live end-user programming: a demo/manifesto LIVE Pre-print | ||
11:35 50mOther | Discuss: New Interfaces for Programming LIVE Roly Perera University of {Glasgow, Edinburgh} | ||
12:25 - 13:50 | |||
12:25 85mLunch | Lunch CurryOn Catering | ||
13:50 - 15:20 | |||
13:50 50mTalk | 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 | ||
13:50 - 15:20 | |||
13:50 30mTalk | Invited Talk: How to get your Ph.D. DONE Doctoral Symposium Eric Jul Alcatel-Lucent Bell Labs | ||
14:20 30mTalk | Concept Parameters as a New Mechanism of Generic Programming for C# Language Doctoral Symposium | ||
14:50 30mTalk | Exploring optional security typing Doctoral Symposium | ||
13:50 - 15:20 | |||
13:50 20mTalk | Live Programming by Example: Using Direct Manipulation for Live Program Synthesis LIVE Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz Pre-print | ||
14:10 20mTalk | Live Literals LIVE Pre-print | ||
14:30 20mTalk | Liveness for Verification LIVE Pre-print Media Attached | ||
14:50 30mOther | Live Lightning Talks LIVE Jonathan Edwards CDG Labs | ||
13:50 - 15:20 | |||
13:50 30m | Tracking the Elephants in the System PMLDC | ||
14:20 30m | Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition PMLDC Vitor Enes , Carlos Baquero , Paulo Sérgio Almeida , Ali Shoker HASLab/INESC TEC & University of Minho Link to publication DOI Pre-print | ||
14:50 30m | Integration Challenges of Pure Operation-based CRDTs in Redis PMLDC Georges Younes , Ali Shoker HASLab/INESC TEC & University of Minho, Paulo Sérgio Almeida , Carlos Baquero | ||
15:20 - 16:00 | |||
15:20 40mCoffee break | Coffee break CurryOn Catering | ||
16:00 - 16:40 | |||
16:00 30m | From Optional to Gradual Typing via Transient Checks STOP | ||
16:30 10mDay closing | Closing remarks STOP | ||
16:00 - 17:30 | |||
16:00 30mTalk | Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages Doctoral Symposium | ||
16:30 30mTalk | Invited Talk: Papers vs. Artefacts Doctoral Symposium Philipp Haller KTH Royal Institute of Technology | ||
17:00 30mTalk | Invited Talk: PhD Reflections Doctoral Symposium Sebastian Erdweg TU Delft | ||
16:00 - 18:20 | |||
16:00 50mTalk | Leveraging live programming in the classroom — an experience report LIVE Alessandro Warth HARC / Y Combinator Research File Attached | ||
16:50 20mTalk | Live Tuning: Expanding Live Programming Benefits to Non-Programmers LIVE Jun Kato National Institute of Advanced Industrial Science and Technology, Japan, Masataka Goto National Institute of Advanced Industrial Science and Technology, Japan Pre-print | ||
17:10 20mTalk | Sintr: Experimenting with liveness at scale LIVE Pre-print | ||
17:30 50mOther | Discuss: Live Programming, Live Coding, and Intelligence Amplification LIVE Sean McDirmid Microsoft Research, Jun Kato National Institute of Advanced Industrial Science and Technology, Japan | ||
16:00 - 17:30 | |||
16:00 30m | The Consistency Babel PMLDC Rodrigo Rodrigues Instituto Superior Técnico, University of Lisboa & INESC-ID | ||
16:30 30m | Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency PMLDC Nosheen Zaza Università della Svizzera italiana, Nate Nystrom Universita della Svizzera italiana (USI) Link to publication DOI Pre-print | ||
17:00 30m | On the Potential of Event Sourcing for Retroactive Actor-based Programming PMLDC Link to publication DOI | ||
16:45 - 18:45 | |||
16:45 10mDay opening | Welcome Summer School | ||
16:55 50mTalk | My twenty-five years of ECOOP Summer School Jan Vitek Northeastern University File Attached | ||
17:45 60mTalk | Research in Academia and Industry Summer School | ||
Mon 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:50 | |||
08:45 15mDay opening | Curry On opening remarks CurryOn | ||
09:00 50mTalk | How To Win Big With Old Ideas CurryOn | ||
08:45 - 09:45 | Session 1PX at Belli Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
08:45 15mDay opening | Introduction PX | ||
09:00 45mTalk | How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments. PX Patrick Rein Hasso Plattner Institute, Stefan Lehmann Hasso-Plattner-Institute, Potsdam, Toni Mattis Hasso Plattner Institute, Robert Hirschfeld HPI | ||
09:10 - 09:45 | |||
09:10 5mDay opening | Welcome ICOOOLPS Stefan Marr Johannes Kepler University Linz | ||
09:15 30mTalk | 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 | ||
09:45 - 10:05 | |||
09:45 20mCoffee break | Coffee break CurryOn Catering | ||
10:05 - 12:25 | |||
10:05 60mTalk | Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation ICOOOLPS Lubomír Bulej Charles University Media Attached File Attached | ||
11:05 30mTalk | The Performance of Object Encodings in JavaScript ICOOOLPS Media Attached File Attached | ||
11:35 30mTalk | 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 20mOther | Discussions ICOOOLPS | ||
10:05 - 12:25 | |||
10:05 40mTalk | Move Fast to Fix More Things CurryOn | ||
10:55 40mTalk | Notes on Post-Post-Modern-Modern Programming CurryOn | ||
11:45 40mTalk | A Type is Worth a Thousand Tests CurryOn | ||
10:05 - 12:30 | Session 2PX at Belli Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
10:05 45mDemonstration | Envision – Turning the IDE into a Visual Information System. PX | ||
10:50 45mTalk | Satisfaction, Time Investment and Success in Students' Programming Exercise. PX | ||
11:35 45mTalk | Towards Gaze Control in Programming Environments. PX | ||
10:05 - 12:25 | |||
10:05 40mTalk | The Functional Programming Languages Nomad CurryOn | ||
10:55 40mTalk | Creating a Fun Game with Elm CurryOn | ||
11:45 40mTalk | Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us CurryOn Ron Pressler Parallel Universe | ||
10:05 - 12:25 | |||
10:05 5mDay opening | Opening Remarks VORTEX Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University | ||
10:10 30m | StaRVOOrS: A framework for static and runtime verification of data and control properties. VORTEX Gerardo Schneider University of Gothenburg | ||
10:40 30m | Runtime Verification with Data VORTEX Martin Leucker University of Lübeck | ||
11:10 30m | Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System VORTEX Jean-Baptiste Jeannin Carnegie Mellon University | ||
12:25 - 13:50 | |||
12:25 85mLunch | Lunch CurryOn Catering | ||
13:50 - 15:20 | |||
13:50 60mTalk | Growing an Abstract Grammar: Teaching Language Engineering ICOOOLPS Theo D'Hondt Vrije Universiteit Brussel Media Attached | ||
14:50 30mTalk | 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 | ||
13:50 - 15:20 | |||
13:50 40mTalk | Building Scalable Stateful Services CurryOn Caitie McCaffrey Twitter | ||
14:40 40mTalk | Data-driven Software security using Differential Privacy and Deep Learning CurryOn | ||
13:50 - 15:20 | Session 3PX at Belli Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
13:50 45mTalk | Towards Making a Computer Tutor for Children of All Ages - A Memo. PX Yoshiki Ohshima Viewpoints Research Institute, Alessandro Warth HARC / Y Combinator Research, Bert Freudenberg , Aran Lunzer , Alan Kay University of California at Los Angeles, USA | ||
14:35 45mDemonstration | I sit down at my editor, and feel relaxed. PX | ||
13:50 - 15:20 | |||
13:50 40mTalk | Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds CurryOn Frank Wang MIT CSAIL | ||
14:40 40mTalk | Rascal: the Swiss Army Knife of Meta Programming CurryOn | ||
13:50 - 15:20 | |||
13:50 30mTalk | Frozen Realms: Confining effects for safer JavaScript plugins IWACO Mark Miller Google Inc. | ||
14:20 30m | Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations IWACO Juliana Franco Imperial College London, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London Pre-print | ||
14:50 30mTalk | Objects as Session-Typed Processes IWACO | ||
13:50 - 15:20 | |||
13:50 30m | Extracting Runtime Monitors from Tests: An Overview and a way forward VORTEX Abigail Cauchi , Luke Chircop , Christian Colombo , Adrian Francalanza , Mark Micallef , Gordon Pace University of Malta | ||
14:20 30m | Runtime checks as nominal types VORTEX | ||
14:50 29m | The Early Bird Catches the Worm: first Verify, then Monitor! VORTEX | ||
15:19 1mDay closing | Closing Remarks VORTEX Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University | ||
15:20 - 16:00 | |||
15:20 40mCoffee break | Coffee break CurryOn Catering | ||
16:00 - 17:30 | |||
16:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||
16:00 - 17:30 | |||
16:00 40mTalk | Doing data science with Clojure: the ugly, the sad, the joyful CurryOn Simon Belak GoOpti | ||
16:50 40mTalk | Oden - A Functional Programming Language for the Go Ecosystem CurryOn Oskar Wickström None (this is a free time project) | ||
16:00 - 17:30 | Session 4PX at Belli Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology | ||
16:00 45mTalk | Exemplifying Moldable Development. PX Andrei Chiş University of Bern, Switzerland, Tudor Gîrba CompuGroup Medical Schweiz AG, Juraj Kubelka University of Chile, Oscar Nierstrasz University of Bern, Switzerland, Stefan Reichhart , Aliaksei Syrel University of Bern DOI Pre-print | ||
16:45 45mTalk | Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs. PX | ||
16:00 - 17:30 | |||
16:00 40mTalk | Why The Free Monad isn't Free CurryOn Kelley Robinson Sharethrough | ||
16:50 40mTalk | Exercises in Programming Style CurryOn | ||
16:00 - 17:30 | |||
16:00 30mTalk | Are Ownership Types Reaching the World Yet? IWACO Patrick Lam University of Waterloo, Canada File Attached | ||
16:30 30m | Kappa: Insights, Current Status and Future Work IWACO Pre-print | ||
17:00 30m | Abstract Data Types in Object-Capability Systems IWACO James Noble Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Mark Miller Google Inc., Toby Murray University of Melbourne, Alex Potanin Victoria University of Wellington Pre-print File Attached | ||
17:40 - 18:30 | |||
17:40 25mDemonstration | Demo of Docking: Enabling Language Based Dynamic Coupling ICOOOLPS | ||
18:05 25mDay closing | Discussions and Wrap Up ICOOOLPS | ||
17:40 - 18:30 | |||
17:40 50mTalk | The Racket Manifesto CurryOn | ||
17:40 - 18:30 | |||
17:40 50m | Closing Discussions IWACO Paley Li Northeastern University | ||
19:30 - 23:00 | |||
19:30 3h30mSocial Event | Curry On Party! CurryOn | ||
Tue 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:45 | |||
08:45 15mDay opening | Opening COP | ||
09:00 45mTalk | Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty. COP James Noble Victoria University of Wellington | ||
08:45 - 09:45 | |||
08:45 60mDay opening | Overview of the Grace project and language GRACE | ||
09:00 - 09:50 | |||
09:00 50mTalk | It's the End of the World as We Know It, and I Feel Fine CurryOn | ||
09:45 - 10:05 | |||
09:45 20mCoffee break | Coffee break CurryOn Catering | ||
10:05 - 12:25 | |||
10:05 40mTalk | Dartino - a managed language on micro-controllers? CurryOn | ||
10:55 40mTalk | Redesigning Type Systems for Industry OO CurryOn Ross Tate Cornell University | ||
11:45 40mTalk | Static analysis for security at the Facebook scale CurryOn | ||
10:05 - 11:00 | |||
10:05 5mDay opening | Opening FTfJP Vladimir Klebanov Karlsruhe Institute of Technology | ||
10:10 50mTalk | Java Generics are Turing Complete FTfJP Radu Grigore University of Oxford | ||
10:05 - 12:25 | |||
10:05 40mTalk | Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing CurryOn Jörgen Brandt Humboldt-Universität zu Berlin | ||
10:55 40mTalk | The Future of Programming will be Live CurryOn | ||
11:45 40mTalk | From Unikernels to Databases to UIs: Truly full-stack apps in OCaml CurryOn Sean Grove None | ||
10:05 - 12:25 | |||
10:05 45mTalk | Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor COP Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Robert Hirschfeld HPI | ||
10:50 50mTalk | Consistent Unanticipated Adaptation for Context-Dependent Applications COP Nguonly Taing , Markus Wutzler , Thomas Springer , Nicolás Cardozo Universidad de los Andes, Alexander Schill | ||
11:40 45mTalk | Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy COP | ||
10:05 - 12:25 | |||
10:05 40m | Experience teaching with Grace GRACE | ||
10:45 70m | Recent changes and language design issues in Grace GRACE Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Victoria University of Wellington | ||
11:55 30m | The Recurring Rainfall Problem GRACE Shriram Krishnamurthi Brown University | ||
10:45 - 12:25 | |||
10:45 5mDay 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 | ||
11:00 - 12:25 | |||
11:00 30mTalk | A Mechanical Soundness Proof for Subtyping Over Recursive Types FTfJP DOI Pre-print File Attached | ||
11:30 30mTalk | A formal account of SSA in Java-like languages FTfJP | ||
12:00 25mTalk | A Note on the Soundness of Difference Propagation FTfJP Jens Dietrich Massey University, New Zealand, Nicholas Hollingum The University of Sydney, Bernhard Scholz University of Sydney, Australia | ||
12:25 - 13:50 | |||
12:25 85mLunch | Lunch CurryOn Catering | ||
13:50 - 15:20 | |||
13:50 30mTalk | Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins JSTools Mark Miller Google Inc. | ||
14:20 30m | JavaScript Verification JSTools Philippa Gardner Imperial College London | ||
14:50 30m | What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript JSTools Alexander Jordan Oracle Labs, Australia | ||
13:50 - 15:20 | |||
13:50 40mTalk | Practical Demystification of CRDTs CurryOn | ||
14:40 40mTalk | Distributed Iterative Computation in TensorFlow CurryOn | ||
13:50 - 15:20 | |||
13:50 30mTalk | Generating Concurrency Checks Automatically FTfJP Jonathan Hoyland Royal Holloway University of London, Matthew Hague Royal Holloway University of London | ||
14:20 30mTalk | An Extended Buffered Memory Model With Full Reorderings FTfJP | ||
14:50 30mTalk | Towards a Model of Corecursion with Default FTfJP | ||
13:50 - 15:20 | |||
13:50 40mTalk | On the chemistry of typestate-oriented actors CurryOn Silvia Crafa Università di Padova, Italy | ||
14:40 40mTalk | Become a Polyglot by learning Java! CurryOn | ||
13:50 - 15:20 | |||
13:50 30mTalk | A Context-Oriented Software Architecture COP Kim Mens Université Catholique de Louvain, Belgium, Nicolás Cardozo Universidad de los Andes, Benoît Duhoux | ||
14:20 30mTalk | Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android COP | ||
14:50 30mTalk | Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP COP | ||
13:50 - 15:20 | |||
13:50 30mTalk | Grace in Spoofax: Readable Specification and Implementation in One GRACE Link to publication File Attached | ||
14:20 30m | Traitorous Traits GRACE File Attached | ||
14:50 30m | Tooling matters – Why Grace needs a good IDE GRACE Michael Kölling University of Kent | ||
15:20 - 16:00 | |||
15:20 40mCoffee break | Coffee break CurryOn Catering | ||
16:00 - 17:30 | |||
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 Max Schaefer Semmle | ||
17:20 10mDay closing | Closing Remarks JSTools Julian Dolby IBM Thomas J. Watson Research Center | ||
16:00 - 17:30 | |||
16:00 40mTalk | Distributed Configuration with Clojure CurryOn Renzo Borgatti Mailonline | ||
16:50 40mTalk | Using Object Algebras To Design Embedded Domain Specific Languages CurryOn Julien Richard-Foy Zengularity | ||
16:00 - 18:30 | |||
16:00 30mDemonstration | Tool Demonstration: The VeriFast Verification System for Java and C FTfJP Bart Jacobs iMinds - Distrinet, KU Leuven | ||
16:30 30mTalk | Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast FTfJP Bart Jacobs iMinds - Distrinet, KU Leuven | ||
17:00 30mTalk | Coupling Catch Clauses with Local Declarations FTfJP | ||
17:30 30mTalk | Towards Modular Reasoning for Context-Oriented Programs FTfJP | ||
18:00 30mTalk | Permission and Authority Revisited: Towards a Formalization FTfJP Sophia Drossopoulou Imperial College London, James Noble Victoria University of Wellington, Mark Miller Google Inc., Toby Murray University of Melbourne | ||
16:00 - 17:30 | |||
16:00 40mTalk | What is programming? CurryOn Juan Lulkin Klarna | ||
16:50 40mTalk | Are We Ready for Secure Languages? CurryOn | ||
16:00 - 17:30 | |||
16:00 90m | Next steps with Grace GRACE | ||
17:30 - 18:30 | |||
17:30 60mSocial Event | Poster Session & Workshops Reception CurryOn Catering | ||
17:40 - 18:20 | |||
17:40 40mTalk | A brief and incomplete history of programming languages CurryOn | ||
17:40 - 18:20 | |||
17:40 40mTalk | To Macros and Beyond!: How macros changed Scala, and what's coming next CurryOn Eugene Burmako EPFL | ||
18:30 - 19:20 | |||
18:30 50mTalk | Building an Open Source Research Lab CurryOn | ||
Wed 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 20 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 10:00 | Invited TalkResearch Track at Auditorium Loyola Chair(s): Camil Demetrescu Sapienza University of Rome | ||
08:45 15m | Welcome address Research Track | ||
09:00 60mTalk | The Elements of Decision Alignment: Large programs as complex organizations Research Track Mark Miller Google Inc. Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 12:00 | |||
10:30 25mTalk | Higher-Order Demand-Driven Program Analysis Research Track Link to publication DOI Media Attached | ||
10:55 25mTalk | Interprocedural Type Specialization of JavaScript Programs Without Type Analysis Research Track Link to publication DOI Media Attached | ||
11:20 25mTalk | Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic Research Track Link to publication DOI Pre-print Media Attached | ||
11:45 15m | Awards Research Track | ||
10:30 - 12:00 | |||
10:30 90mTalk | 28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand Summer School File Attached | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 90mTalk | Building a Research Program for Scripting Languages Summer School | ||
13:45 - 15:00 | Session 2Research Track at Auditorium Loyola Chair(s): James Noble Victoria University of Wellington | ||
13:45 25mTalk | C++ const and Immutability: An Empirical Study of Writes-Through-const Research Track Link to publication DOI Pre-print Media Attached | ||
14:10 25mTalk | Formal Language Recognition with the Java Type Checker Research Track Link to publication DOI | ||
14:35 25mTalk | Towards Ontology-Based Program Analysis Research Track Link to publication DOI Media Attached | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 16:45 | |||
15:30 25mTalk | Making an Embedded DBMS JIT-friendly Research Track CF Bolz-Tereick King's College London , Darya Melicher Carnegie Mellon University, Laurence Tratt King's College London Link to publication DOI Pre-print Media Attached | ||
15:55 25mTalk | QL: Object-oriented Queries on Relational Data Research Track Link to publication DOI Pre-print | ||
16:20 25mTalk | Transactional Tasks: Parallelism in Software Transactions Research Track Janwillem Swalens Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication DOI Pre-print Media Attached | ||
15:30 - 17:00 | |||
15:30 90mTalk | Building a Research Program for Scripting Languages Summer School | ||
Thu 21 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Half a Life in Software (Senior DN Prize Lecture) Research Track Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 11:45 | |||
10:30 25mTalk | A Calculus for Variational Programming Research Track Sheng Chen University of Louisiana at Lafayette, Martin Erwig Oregon State University, Eric Walkingshaw Oregon State University Link to publication DOI Media Attached | ||
10:55 25mTalk | A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Research Track Atsushi Ohori Tohoku University, Katsuhiro Ueno Tohoku University, Tomohiro Sasaki Tohoku University, Daisuke Kikuchi Tohoku University and Hitachi Solutions East Japan, Ltd. Link to publication DOI Pre-print Media Attached | ||
11:20 25mTalk | Transforming programs between APIs with Many-to-Many Mappings Research Track Chenglong Wang University of Washington, Jiajun Jiang Peking University, Jun Li Peking University, Yingfei Xiong Peking University, Xiangyu Luo Peking University, Lu Zhang Peking University, Zhenjiang Hu National Institute of Informatics Link to publication DOI Pre-print Media Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | Gradual Type Systems Summer School Jeremy G. Siek Indiana University File Attached | ||
11:45 - 13:30 | |||
11:45 1h45mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 90mTalk | A JIT Compiler (almost) for Free Summer School File Attached | ||
13:45 - 15:00 | |||
13:45 25mTalk | LJGS: Gradual Security Types for Object-Oriented Languages Research Track Link to publication DOI Media Attached | ||
14:10 25mTalk | Lightweight session programming in Scala Research Track Link to publication DOI Media Attached | ||
14:35 25mTalk | Trace Typing: An Approach for Evaluating Retrofitted Type Systems Research Track Esben Andreasen Aarhus University, Colin Gordon Drexel University, Satish Chandra Samsung Research America, Manu Sridharan Samsung Research America, Frank Tip Samsung Research America, Koushik Sen University of California, Berkeley Link to publication DOI Pre-print Media Attached | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 16:45 | |||
15:30 25mTalk | Object Inheritance without Classes Research Track Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington, Kim Bruce Pomona College Link to publication DOI Pre-print Media Attached | ||
15:55 25mTalk | Program Tailoring: Slicing by Sequential Criteria Research Track Yue Li UNSW Australia, Tian Tan UNSW Australia, Yifei Zhang UNSW Australia, Jingling Xue UNSW Australia Link to publication DOI Pre-print Media Attached | ||
16:20 25mTalk | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Research Track Casper Bach TU Delft, Pierre Neron French Network and Information Security Agency (ANSSI), Andrew Tolmach Portland State University, Eelco Visser Delft University of Technology Link to publication DOI Pre-print Media Attached | ||
15:30 - 17:00 | |||
15:30 90mTalk | A JIT Compiler (almost) for Free Summer School File Attached | ||
19:30 - 23:00 | |||
19:30 3h30mDinner | ECOOP Banquet Catering | ||
Fri 22 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 22 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Synthesis and Verification for All (Junior DN Prize Lecture) Research Track Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering | ||
10:30 - 11:45 | Session 7Research Track at Auditorium Loyola Chair(s): Julian Dolby IBM Thomas J. Watson Research Center | ||
10:30 25mTalk | Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Research Track Johannes Späth Fraunhofer SIT, Lisa Nguyen Quang Do Fraunhofer IEM, Karim Ali TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI Pre-print Media Attached | ||
10:55 25mTalk | IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs Research Track Daco Harkes Delft University of Technology, Danny Groenewegen Delft University of Technology, Eelco Visser Delft University of Technology Link to publication DOI Pre-print Media Attached | ||
11:20 25mTalk | Reference Capabilities for Concurrency Control Research Track Link to publication DOI Pre-print Media Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | Experimental Evaluation of Programming Systems Summer School File Attached | ||
11:45 - 13:30 | |||
11:45 1h45mLunch | Lunch Catering | ||
13:30 - 15:20 | Session 8Research Track at Auditorium Loyola Chair(s): Matthias Keil University of Freiburg, Eric Jul Alcatel-Lucent Bell Labs | ||
13:30 25mTalk | Composing Interfering Abstract Protocols Research Track Filipe Militão Carnegie Mellon University & Universidade Nova de Lisboa, Jonathan Aldrich Carnegie Mellon University, Luís Caires FCT / Universidade Nova de Lisboa Link to publication DOI Pre-print Media Attached | ||
13:55 25mTalk | Fine-grained Language Composition: A Case Study Research Track Edd Barrett King's College London, CF Bolz-Tereick King's College London , Lukas Diekmann King's College London, Laurence Tratt King's College London Link to publication DOI Pre-print Media Attached | ||
14:20 25mTalk | One Way to Select Many Research Track Link to publication DOI Media Attached | ||
14:45 25mTalk | Staccato: A Bug Finder for Dynamic Configuration Updates Research Track Link to publication DOI Media Attached | ||
15:10 10m | Adjourn Research Track | ||
13:40 - 15:20 | |||
13:40 90mTalk | Experimental Evaluation of Programming Systems Summer School File Attached | ||
15:10 10m | Adjourn Summer School | ||