Program - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) /

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Program

Detailed Table Session Timeline Detailed Timeline

Switch Program View

You're viewing a filtered program.

Do you want to keep these filters active in the new view?

Get Calendar (iCal)

Filter Program | active: Thu22Jun2017,Mon192017

Dates

Sun 18 Jun 2017

Mon 19 Jun 2017

Tue 20 Jun 2017

Wed 21 Jun 2017

Thu 22 Jun 2017

Fri 23 Jun 2017

Thu

Jun

2017,Mon

2017

Rooms

Nothing to filter

Tracks

Nothing to filter

Badges

Nothing to filter

Your Program

Nothing to filter

Program Display Configuration

Time Zone

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

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

The GMT offsets shown reflect the offsets at the moment of the conference.

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 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 08:45	OpeningISMM at Aula Master Chair(s): Christoph Kirsch University of Salzburg

08:30 15m Day opening		Opening ISMM

08:30 - 10:30	P4: Programming the Network Data PlanePLDI Tutorials at Vertex WS215

08:30 2h Other		P4: Programming the Network Data Plane PLDI Tutorials Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks

08:30 - 08:45	OpeningSOAP at Vertex WS216

08:30 15m Day opening		Opening SOAP

08:45 - 09:30	KeynoteISMM at Aula Master Chair(s): Ben L. Titzer Google

08:45 45m Talk		Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations ISMM K: Xipeng Shen North Carolina State University

08:45 - 09:30	Invited Speaker - Sukyoung RyuSOAP at Vertex WS216

08:45 45m Talk		Journey to Find Bugs in JavaScript Web Applications in the WildInvited Talk SOAP Sukyoung Ryu KAIST File Attached

09:00 - 10:30	Session 1PLMW at Sala d'Actes, Vertex Building

09:00 45m Talk		Welcome PLMW
09:45 45m Talk		Hot, Classic, and Unrecognized Problems in Programming Languages PLMW Kathryn S McKinley Microsoft Research

09:00 - 10:30	Session 1ECOOP Doctoral Symposium at Vertex WS208

09:00 10m Talk		Introduction ECOOP Doctoral Symposium
09:10 20m Talk		Lightning talks ECOOP Doctoral Symposium
09:30 30m Talk		Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software ECOOP Doctoral Symposium Daniel Welch Clemson University
10:00 30m Talk		Enabling Modular Verification of Concurrent Programs ECOOP Doctoral Symposium Alan Weide

09:00 - 10:00	KeynoteARRAY at Vertex WS218 Chair(s): Andreas Kloeckner University of Illinois at Urbana-Champaign

09:00 60m Talk		Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics ARRAY P. Sadayappan Ohio State University

09:15 - 09:30	OpeningMAPL at Vertex WS219

09:15 15m Day opening		Introduction and Welcome MAPL Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs

09:30 - 10:30	Session 1: Garbage CollectionISMM at Aula Master Chair(s): Hannes Payer Google

09:30 30m Talk		NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications ISMM Rodrigo Bruno INESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi Oliveira Feedzai, A: Paulo Ferreira INESC-ID / Instituto Superior Técnico, University of Lisbon
10:00 30m Talk		Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures ISMM Albert Mingkun Yang , Tobias Wrigstad Uppsala University

09:30 - 10:30	Points-to AnalysisSOAP at Vertex WS216

09:30 20m Talk		Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction SOAP Jihyeok Park KAIST, South Korea, Xavier Rival INRIA/CNRS/ENS Paris, Sukyoung Ryu KAIST DOI File Attached
09:50 20m Talk		A Datalog Model of Must-Alias Analysis SOAP George Balatsouras University of Athens, Kostas Ferles University of Texas at Austin, USA, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens DOI File Attached
10:10 20m Talk		An Efficient Tunable Selective Points-to Analysis for Large Codebases SOAP Behnaz Hassanshahi Oracle Labs, Australia, Raghavendra Kagalavadi Oracle Labs, Australia, Paddy Krishnan , Bernhard Scholz University of Sydney, Australia, Yi Lu Oracle DOI File Attached

09:30 - 10:30	KeynoteMAPL at Vertex WS219

09:30 60m Talk		Programming by Examples: PL Meets ML MAPL Sumit Gulwani Microsoft Research

10:00 - 10:30	Morning talks 1ARRAY at Vertex WS218 Chair(s): Andreas Kloeckner University of Illinois at Urbana-Champaign

10:00 30m Talk		Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations ARRAY Florian Biermann IT University of Copenhagen, Peter Sestoft IT University of Copenhagen DOI File Attached

10:30 - 11:00	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

10:30 30m Coffee break		Break ECOOP Catering

10:30 - 11:00	Coffee BreakISMM Catering at ISMM-CoffeeBreaks

10:30 30m Coffee break		Break ISMM Catering

11:00 - 12:30	Session 2: Clever Data TricksISMM at Aula Master Chair(s): Michael D. Bond Ohio State University

11:00 30m Talk		A Marshalled Data Format for Pointers in Relocatable Data Blocks ISMM Nick Vrvilo , Lechen Yu Rice University, Vivek Sarkar Rice University, USA
11:30 30m Talk		Flexible and Efficient Memory Object Metadata ISMM Zhengyang Liu Beijing University of Posts and Telecommunications, John Criswell University of Rochester
12:00 30m Talk		Shadow State Encoding for Efficient Monitoring of Block-level Properties ISMM Kostyantyn Vorobyov CEA LIST, France, Julien Signoles CEA LIST, Nikolai Kosmatov

11:00 - 12:30	Session 2PLMW at Sala d'Actes, Vertex Building

11:00 45m Talk		What is research and how to do it? Thinking globally and acting locally. PLMW Michael Hicks University of Maryland, College Park
11:45 45m Talk		Program synthesis PLMW Armando Solar-Lezama MIT CSAIL

11:00 - 12:30	Session 2ECOOP Doctoral Symposium at Vertex WS208

11:00 30m Talk		Invited Talk: The Story of WALA at Watson and Beyond ECOOP Doctoral Symposium Julian Dolby IBM Thomas J. Watson Research Center
11:30 30m Talk		Analysis and Verification of Rich Typestate Properties for Complex Programs ECOOP Doctoral Symposium Ashish Mishra
12:00 30m Talk		Efficient Run-Times for Sound Gradual Typing ECOOP Doctoral Symposium Fabian Muehlboeck

11:00 - 12:30	P4: Programming the Network Data Plane (cont'd)PLDI Tutorials at Vertex WS215

11:00 90m Other		P4: Programming the Network Data Plane PLDI Tutorials Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks

11:00 - 11:45	Invited Speaker - Jingling XueSOAP at Vertex WS216

11:00 45m Talk		Static Analysis of Java ReflectionInvited Talk SOAP Jingling Xue UNSW Australia

11:00 - 12:30	Morning talks 2ARRAY at Vertex WS218 Chair(s): Martin Elsman Department of Computer Science, University of Copenhagen

11:00 30m Talk		An ELI-to-C Compiler: Design, Implementation and Performance ARRAY Hanfeng Chen McGill University, Wai-Mee Ching , Laurie Hendren McGill University, Canada DOI File Attached
11:30 30m Talk		Array Programming in Whiley ARRAY David J. Pearce Victoria University of Wellington DOI File Attached
12:00 30m Talk		Flexible Data Views: Design and Implementation ARRAY Leo Osvald Purdue University, USA, Tiark Rompf Purdue University DOI File Attached

11:00 - 12:00	Languages and FrameworksMAPL at Vertex WS219

11:00 30m Talk		A Computational Model for TensorFlow (An Introduction) MAPL Martin Abadi Google, Michael Isard Google, Derek Murray Google
11:30 30m Talk		Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications MAPL Tim Vieira Johns Hopkins University, Matthew Francis-Landau The Johns Hopkins University, Nathaniel Wesley Filardo , Farzad Khorasani Rice University, Jason Eisner The Johns Hopkins University

11:45 - 12:30	Modular AnalysisSOAP at Vertex WS216

11:45 22m Talk		SootKeeper: Runtime Reusability for Modular Static Analysis SOAP Florian Kübler TU Darmstadt, Germany, Patrick Müller TU Darmstadt, Germany, Ben Hermann University of Paderborn DOI Pre-print
12:07 22m Talk		Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses SOAP Anastasios Antoniadis , Konstantinos Triantafyllou University of Athens, Greece, Yannis Smaragdakis University of Athens DOI Pre-print File Attached

12:00 - 12:30	Debugging, Analysis, and VerificationMAPL at Vertex WS219

12:00 30m Talk		Debugging Probabilistic Programs MAPL Chandrakana Nandi University of Washington, USA, Dan Grossman University of Washington, Adrian Sampson Cornell University, Todd Mytkowicz , Kathryn S McKinley Microsoft Research

12:30 - 13:30	LunchECOOP Catering at ECOOP-CoffeeBreaks

12:30 60m Lunch		Lunch ECOOP Catering

12:30 - 14:00	LunchISMM Catering at ISMM-CoffeeBreaks

12:30 90m Lunch		Lunch ISMM Catering

13:30 - 15:00	Session 3ECOOP Doctoral Symposium at Vertex WS208

13:30 30m Talk		Invited Talk: What Lies Beyond a PhD ECOOP Doctoral Symposium Sarah Nadi University of Alberta
14:00 30m Talk		Verifiable, reusable, yet useful conditioning ECOOP Doctoral Symposium Praveen Narayanan Indiana University, USA
14:30 30m Talk		Improving Warmup in Meta-Traced Virtual Machines ECOOP Doctoral Symposium Jasper Schulz King's College London

14:00 - 15:30	Session 3: Hybrid Memory SystemsISMM at Aula Master Chair(s): Ben L. Titzer Google

14:00 30m Talk		Analyzing Memory Management Methods on Integrated CPU-GPU Systems ISMM Mohammad Dashti University of British Columbia, Alexandra (Sasha) Fedorova Simon Fraser University
14:30 30m Talk		Continuous Checkpointing of HTM Transactions in NVM ISMM Ellis Giles Rice University, Kshitij Doshi Intel Corporation, Peter Varman Rice University
15:00 30m Talk		RTHMS: A Tool for Data Placement on Hybrid Memory System ISMM Ivy Bo Peng KTH Royal Institute of Technology, Roberto Gioiosa Pacific Northwest National Laboratory, Gokcen Kestor Pacific Northwest National Laboratory, Stefano Markidis KTH Royal Institute of Technology, Pietro Cicotti San Diego Supercomputer Center, Erwin Laure KTH Royal Institute of Technology

14:00 - 15:30	Session 3PLMW at Sala d'Actes, Vertex Building

14:00 45m Talk		Preventing Information Flow by Construction PLMW Jean Yang Carnegie Mellon University
14:45 45m Talk		Giving good talks PLMW Ben Wiedermann Harvey Mudd College

14:00 - 15:30	Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials at Vertex WS215

14:00 90m Other		Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg

14:00 - 14:45	Invited Speaker - Julian DolbySOAP at Vertex WS216

14:00 45m Talk		WALA EverywhereInvited Talk SOAP Julian Dolby IBM Thomas J. Watson Research Center Media Attached

14:00 - 15:00	Invited talkARRAY at Vertex WS218 Chair(s): David Padua University of Illinois at Urbana-Champaign

14:00 60m Talk		Invited talk: APLicative Programming with Naperian Functors ARRAY Jeremy Gibbons Department of Computer Science, University of Oxford Pre-print File Attached

14:00 - 15:30	Debugging, Analysis, and Verification 2MAPL at Vertex WS219

14:00 30m Talk		Combining the Logical and the Probabilistic in Program Analysis MAPL Xin Zhang Georgia Tech, Xujie Si , Mayur Naik Georgia Tech
14:30 30m Talk		Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools MAPL Ugur Koc University of Maryland, College Park, Parsa Saadatpanah University of Maryland, Jeffrey S. Foster University of Maryland, College Park, Adam Porter University of Maryland
15:00 30m Talk		Verified Perceptron Convergence Theorem MAPL Charlie Murphy Princeton University, Gordon Stewart Ohio University

14:45 - 15:30	Soundness and PrecisionSOAP at Vertex WS216

14:45 22m Talk		Systematic Approaches for Increasing Soundness and Precision of Static Analyzers SOAP Esben Andreasen Aarhus University, Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University DOI File Attached
15:07 22m Talk		On the Construction of Soundness Oracles SOAP Jens Dietrich Massey University, Li Sui Massey University, New Zealand, Shawn Rasheed Massey University, Amjed Tahir Massey University DOI Media Attached

15:00 - 15:30	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

15:00 30m Coffee break		Break ECOOP Catering

15:00 - 15:30	Afternoon talks 1ARRAY at Vertex WS218 Chair(s): David Padua University of Illinois at Urbana-Champaign

15:00 30m Talk		Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations ARRAY Laurent Plagne EDF Lab, Kavoos Bojnourdi EDF Lab DOI File Attached

15:30 - 16:00	Coffee BreakISMM Catering at ISMM-CoffeeBreaks

15:30 30m Coffee break		Break ISMM Catering

15:30 - 17:50	Session 4ECOOP Doctoral Symposium at Vertex WS208

15:30 30m Talk		Compilation of Stream Programs for Heterogeneous Architectures ECOOP Doctoral Symposium Rajesh Thakur
16:00 30m Talk		Introspective Intrusion Detection for Popular Software Platforms ECOOP Doctoral Symposium Byron Hawkins
16:30 30m Talk		Privacy-aware operator placement ECOOP Doctoral Symposium Mirko Köhler
17:00 40m Talk		How to get your Ph.D. DONE ECOOP Doctoral Symposium Eric Jul University of Oslo
17:40 10m Talk		Round up by the academic panel ECOOP Doctoral Symposium

16:00 - 17:30	Session 4: A Deeper LookISMM at Aula Master Chair(s): Steve Blackburn Australian National University

16:00 30m Talk		"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis ISMM Vini Kanvar Indian Institute of Technology (IIT) Bombay, Uday P. Khedker
16:30 30m Talk		A Refinement Hierarchy for Free List Memory Allocators ISMM Bin Fang East China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France
17:00 30m Talk		Avoiding Consistency Exceptions Under Strong Memory Consistency Models ISMM Minjia Zhang Microsoft Research, Swarnendu Biswas University of Texas at Austin, Michael D. Bond Ohio State University

16:00 - 18:00	Session 4PLMW at Sala d'Actes, Vertex Building

16:00 45m Talk		Formal methods research: The what, the why and the how PLMW Roopsha Samanta Purdue University
16:45 60m Other		Career paths in Computer Science PLMW Stephen N. Freund Williams College, Martin Huschenbett Jane Street, Kathryn S McKinley Microsoft Research, Roopsha Samanta Purdue University

16:00 - 18:00	Bug detection in JavaScript web apps using the SAFE framework (cont'd)PLDI Tutorials at Vertex WS215

16:00 26h Other		Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg

16:00 - 16:20	BenchmarkingSOAP at Vertex WS216

16:00 20m Talk		Hermes: Assessment and Creation of Effective Test Corpora SOAP Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Ben Hermann University of Paderborn, Mira Mezini TU Darmstadt DOI Pre-print File Attached

16:00 - 17:30	Afternoon talks 2ARRAY at Vertex WS218 Chair(s): P. Sadayappan Ohio State University

16:00 30m Talk		Efficient Array Slicing on the Intel Xeon Phi Coprocessor ARRAY Benjamin Andreassen Norwegian University of Science and Technology, Jan Christian Norwegian University of Science and Technology, Lasse Natvig Norwegian University of Science and Technology DOI File Attached
16:30 30m Talk		Modular Array-based GPU Computing in a Dynamically-typed Language ARRAY Matthias Springer Tokyo Institute of Technology, Peter Wauligmann Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology DOI File Attached
17:00 30m Talk		HPTT: A High-Performance Tensor Transposition C++ Library ARRAY Paul Springer , Tong Su RWTH Aachen, Paolo Bientinesi DOI File Attached

16:00 - 16:45	Town Hall DiscussionMAPL at Vertex WS219

16:00 45m Other		Town Hall Discussion MAPL

16:20 - 18:00	Open DiscussionSOAP at Vertex WS216

16:20 1h40m Meeting		Open Discussion SOAP

16:30 - 18:00	S1ECOOP Summer School at Vertex WS217

16:30 90m Talk		Introduction Session ECOOP Summer School Jan Vitek Northeastern University

16:45 - 17:00	ClosingMAPL at Vertex WS219

16:45 15m Day closing		Concluding Remarks MAPL Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs

17:30 - 18:00	Closing / DiscussionARRAY at Vertex WS218 Chair(s): Martin Elsman Department of Computer Science, University of Copenhagen, Andreas Kloeckner University of Illinois at Urbana-Champaign, David Padua University of Illinois at Urbana-Champaign

17:30 30m Day closing		Closing / Discussion ARRAY

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

08:00 - 09:00	RegistrationDEBS Registration at DEBS-Registration

08:00 60m Registration		Registration DEBS Registration

09:00 - 09:05	WelcomePLDI Invited Speakers at Auditorium, Vertex Building Chair(s): Albert Cohen INRIA, Martin Vechev DeepCode and ETH Zurich, Switzerland

09:00 5m Day opening		Welcome PLDI Invited Speakers

09:00 - 10:30	Morning IICOOOLPS at Vertex WS216 Chair(s): Mario Wolczko Oracle Labs

09:00 10m Talk		Workshop Welcome ICOOOLPS Mario Wolczko Oracle Labs
09:10 80m Talk		We Software People are not Worthy - All Hail the Hardware Gods ICOOOLPS Sylvan Clebsch Imperial College London

09:00 - 10:30	Events Meet ProcessesDEBS Workshop at Vertex WS219

09:00 90m		DEBS Workshop DEBS Workshop

09:05 - 10:00	Joint Keynote – Martin OderskyPLDI Invited Speakers at Auditorium, Vertex Building

09:05 55m Talk		What to Leave Implicit PLDI Invited Speakers Martin Odersky EPFL, Switzerland Media Attached

09:05 - 10:00	Monday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building

09:05 55m Talk		What to Leave Implicit CurryOn Curry On Keynotes Martin Odersky EPFL, Switzerland

10:00 - 10:30	1' pitches of the dayPLDI Research Papers at Auditorium, Vertex Building

10:00 30m Other		1' Pitches of Monday PLDI Research Papers

10:30 - 12:50	Monday - 10:30 - 12:50 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building

10:30 40m Talk		Flow Reloaded: New Challenges and New Opportunities CurryOn Curry On Talks Avik Chaudhuri Facebook
11:20 40m Talk		Moving Fast with High Reliability: Program Analysis at Uber CurryOn Curry On Talks Manu Sridharan Uber
12:10 40m Talk		The Practice and Theory of TLA+ CurryOn Curry On Talks Ron Pressler

10:30 - 10:50	Coffee BreakPLDI Catering at Coffee Breaks area

10:30 20m Coffee break		Break PLDI Catering

10:30 - 11:00	CoffeeDEBS Catering at DEBS-CoffeeBreaks

10:30 30m Coffee break		Break DEBS Catering

10:30 - 11:00	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

10:30 30m Coffee break		Break ECOOP Catering

10:30 - 12:50	Monday - 10:30 - 12:50 - Sala AgoraCurryOn Curry On Talks at Sala Agora

10:30 40m Talk		Impromptu: A Lightweight, dependently-typed async framework for Scala CurryOn Curry On Talks Jon Pretty Propensive Ltd
11:20 40m Talk		Centrifuge : Data quality in Spark without the costs! CurryOn Curry On Talks Jonathan Winandy Univalence
12:10 40m Talk		Angelina Ballerina Learns About Memory Allocation CurryOn Curry On Talks Allison McMillan Collective Idea

10:30 - 12:50	Monday - 10:30 - 12:50 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building

10:30 40m Talk		The Programmer's Guide to Ideology CurryOn Curry On Talks Silvia Moura Pina Zalando SE
11:20 40m Talk		Composable Caching in Swift CurryOn Curry On Talks Brandon Kase Pinterest
12:10 40m Talk		Building Web Apps with Reason CurryOn Curry On Talks Brandon Dail Formidable Labs

10:50 - 12:30	Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering Chair(s): Swarat Chaudhuri Rice University

10:50 25m Talk		DemoMatch: API Discovery from Demonstrations PLDI Research Papers Kuat Yessenov MIT, Ivan Kuraj MIT CSAIL, USA, Armando Solar-Lezama MIT CSAIL Media Attached
11:15 25m Talk		Similarity of Binaries through re-Optimization PLDI Research Papers Yaniv David Technion, Nimrod Partush Technion, Eran Yahav Technion
11:40 25m Talk		Synthesizing Program Input Grammars PLDI Research Papers Osbert Bastani Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Percy Liang Stanford University Media Attached
12:05 25m Talk		Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling PLDI Research Papers Daniel Huang Harvard University, Jean-Baptiste Tristan Oracle Labs, Greg Morrisett Cornell University Media Attached

10:50 - 12:30	Compiler OptimizationsPLDI Research Papers at Aula Master Chair(s): Uday Bondhugula Indian Institute of Science

10:50 25m Talk		Cache Locality Optimization for Recursive Programs PLDI Research Papers Jonathan Lifflander , Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:15 25m Talk		Fusing Effectful Comprehensions PLDI Research Papers Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research
11:40 25m Talk		Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction PLDI Research Papers Yufei Ding North Carolina State University, Lin Ning North Carolina State University, Hui Guan North Carolina State University, Xipeng Shen North Carolina State University Media Attached
12:05 25m Talk		ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM PLDI Research Papers David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, USA Media Attached

11:00 - 12:30	Morning IIICOOOLPS at Vertex WS216 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

11:00 30m Talk		dart2java: Running Dart in Java-based Environments ICOOOLPS Matthias Springer Tokyo Institute of Technology, Andrew Krieger University of California, Los Angeles, Stanislav Manilov University of Edinburgh, Hidehiko Masuhara Tokyo Institute of Technology Link to publication DOI File Attached
11:30 30m Talk		VM Wrapping - Fake it till you make it ICOOOLPS Johannes Henning Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI Link to publication DOI File Attached
12:00 30m Talk		A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability ICOOOLPS Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz Link to publication DOI File Attached

11:00 - 12:30	Morning SessionIWACO at Vertex WS217

11:00 30m Talk		Spencer: Tracing as a Service IWACO Stephan Brandauer Uppsala University
11:30 30m Talk		Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. IWACO Alex Potanin Victoria University of Wellington
12:00 30m Talk		Reference Capabilities in Practice: Examining Real-World Pony Code IWACO Sylvan Clebsch Imperial College London

11:00 - 12:30	MorningJSTools at Vertex WS218 Chair(s): Julian Dolby IBM Thomas J. Watson Research Center

11:00 30m Talk		JaVerT: a logic-based tool for JavaScript Verification JSTools José Fragoso Santos File Attached
11:30 30m Talk		To Type or Not to Type: Quantifying Detectable Bugs in JavaScript JSTools Zheng Gao
12:00 30m Talk		Testing and Evolving TypeScript Declaration Files with Program Analysis JSTools Anders Møller Aarhus University

11:00 - 12:30	Events Meet ProcessesDEBS Workshop at Vertex WS219

11:00 90m		DEBS Workshop DEBS Workshop

12:30 - 14:00	LunchDEBS Catering at DEBS-CoffeeBreaks

12:30 90m Lunch		Lunch DEBS Catering

12:30 - 14:00	LunchECOOP Catering at ECOOP-CoffeeBreaks

12:30 90m Lunch		Lunch ECOOP Catering

12:30 - 14:00	Lunch (provided)PLDI Catering at Lunch area

12:30 90m Lunch		Lunch PLDI Catering

12:50 - 14:00	LunchCurryOn Catering at CurryOn-CoffeeBreaks

12:50 70m Lunch		Lunch CurryOn Catering

14:00 - 15:40	Language ImplementationPLDI Research Papers at Actes, Civil Engineering Chair(s): David F. Bacon Google

14:00 25m Talk		Bringing the Web up to Speed with WebAssembly PLDI Research Papers Andreas Haas Google, Andreas Rossberg Google, Derek Schuff Google, Ben L. Titzer Google, Dan Gohman Mozilla, Luke Wagner Mozilla, Alon Zakai Mozilla, JF Bastien Apple, Michael Holman Microsoft Media Attached
14:25 25m Talk		Miniphases: Compilation using Modular and Efficient Tree Transformations PLDI Research Papers Dmytro Petrashko EPFL, Ondřej Lhoták University of Waterloo, Canada, Martin Odersky EPFL, Switzerland Media Attached
14:50 25m Talk		Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking PLDI Research Papers Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton Media Attached
15:15 25m Talk		Simple, fast and safe manual memory management PLDI Research Papers Piyus Kedia Indian Institute of Technology Delhi, Manuel Costa Microsoft Research, Matthew J. Parkinson Microsoft Research, UK, Kapil Vaswani Microsoft Research, Dimitrios Vytiniotis Microsoft Research, Cambridge Media Attached

14:00 - 14:50	Monday - 14:00 - 14:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building

14:00 50m Talk		FP is Dead: Long Live FP CurryOn Curry On Keynotes Brian Goetz Oracle

14:00 - 15:40	Concurrency AnalysisPLDI Research Papers at Aula Master Chair(s): Jeff Huang Texas A&M University

14:00 25m Talk		BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs PLDI Research Papers Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania
14:25 25m Talk		BigFoot: Static Check Placement for Dynamic Race Detection PLDI Research Papers Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
14:50 25m Talk		Dynamic Race Prediction in Linear Time PLDI Research Papers Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign Media Attached
15:15 25m Talk		Systematic Black-Box Analysis of Collaborative Web Applications PLDI Research Papers Marina Billes TU Darmstadt, Anders Møller Aarhus University, Michael Pradel TU Darmstadt Media Attached

14:00 - 15:40	S2AECOOP Summer School at Sala Agora

14:00 1h40m Talk		Compiler Verification for a Multi-Language World ECOOP Summer School Amal Ahmed Northeastern University, USA

14:00 - 15:30	Afternoon IICOOOLPS at Vertex WS216 Chair(s): Edd Barrett King's College London

14:00 60m Talk		Can Compiler Magic Ever Be Explained? ICOOOLPS Eric Sedlar Oracle Labs, Thomas Wuerthinger Oracle Labs
15:00 30m Talk		Code Generation in Serializers and Comparators of Apache Flink 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, Márton Balassi Hungarian Academy of Sciences Link to publication DOI File Attached

14:00 - 15:30	Afternoon SessionIWACO at Vertex WS217

14:00 30m Talk		Aliasing, Capabilities and Ownership in Rust IWACO Felix Klock
14:30 30m Talk		Introducing Ownership Type Constraints to UML/OCL IWACO Jagadeeswaran Thangaraj , Senthil Kumaran File Attached
15:00 30m Talk		Towards Reasonable Ownership IWACO Anya Helene Bagge University of Bergen, Kristoffer Haugsbakk , Vadim Zaytsev Raincode, Belgium File Attached

14:00 - 15:30	AfternoonJSTools at Vertex WS218 Chair(s): Christian Hammer University of Potsdam

14:00 30m Talk		BCoz: Effective Performance Debugging for Web Applications JSTools John Vilk University of Massachusetts, Amherst File Attached
14:30 30m Talk		Repairing Event Race Errors by Controlling Nondeterminism JSTools Frank Tip Northeastern University
15:00 30m Talk		Static Analysis of CommonJS Modules JSTools Max Schlüter

14:00 - 15:30	Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219

14:00 20m Talk		Consistent Stream Processing DEBS Doctoral Symposium Lorenzo Affetti Politecnico di Milano
14:20 20m Talk		A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context DEBS Doctoral Symposium Guenter Hesse Hasso Plattner Institute, Christoph Matthies Hasso Plattner Institute, Benjamin Reissaus Hasso Plattner Institute
14:40 20m Talk		Raphtory: Decentralised Streaming for Temporal Graphs DEBS Doctoral Symposium Benjamin Steer Queen Mary University London, Félix Cuadrado Queen Mary University of London, Richard Clegg Queen Mary University London
15:00 20m Talk		Large-Scale Stream Graph Processing DEBS Doctoral Symposium Domagoj Margan Imperial College London

15:00 - 15:40	Monday - 15:00 - 15:40 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building

15:00 40m Talk		Clojure Transducers In The Wild CurryOn Curry On Talks Renzo Borgatti Mailonline

15:00 - 15:40	Monday - 15:00 - 15:40 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building

15:00 40m Talk		Don't Write Tests! CurryOn Curry On Talks John Hughes Chalmers University of Technology

15:00 - 15:40	Monday - 15:00 - 15:45 - Sala d'Actes CurryOn Curry On Talks at Sala d'Actes, Vertex Building

15:00 40m Talk		Carpenters & Cartographers CurryOn Curry On Talks Valentin Kasas self-employed @ Kanaka

15:30 - 16:00	CoffeeDEBS Catering at DEBS-CoffeeBreaks

15:30 30m Coffee break		Break DEBS Catering

15:30 - 16:00	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

15:30 30m Coffee break		Break ECOOP Catering

15:40 - 16:10	Coffee BreakPLDI Catering at Coffee Breaks area

15:40 30m Coffee break		Break PLDI Catering

15:40 - 16:10	Coffee breakCurryOn Catering at CurryOn-CoffeeBreaks

15:40 30m Coffee break		Coffee break CurryOn Catering

16:00 - 18:00	Afternoon IIICOOOLPS at Vertex WS216 Chair(s): Olivier Zendra

16:00 60m Other		Panel: Do new Computing Environments lead to new Language Constructs? ICOOOLPS Eric Jul University of Oslo, Edd Barrett King's College London, Steve Blackburn Australian National University , Ben L. Titzer Google
17:00 30m Talk		Diff Graphs for a fast Incremental Pointer Analysis ICOOOLPS Jakob Krainz Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen Link to publication DOI File Attached
17:30 30m Demonstration		A Formalization IDE Integrated with a Verifying Compiler ICOOOLPS Daniel Welch Clemson University, Blair Durkee Clemson University, Mike Kabbani Clemson University, Murali Sitaraman Clemson University Link to publication DOI File Attached

16:00 - 18:00	Keynote SessionIWACO at Vertex WS217

16:00 45m Talk		Adding Safe Manual Memory Management to .NET IWACO Dimitrios Vytiniotis Microsoft Research, Cambridge

16:00 - 18:00	Afternoon 2JSTools at Vertex WS218

16:00 30m Talk		WebPol: Fine-grained Information Flow Policies for Web Browsers JSTools Christian Hammer University of Potsdam

16:00 - 17:30	Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219

16:00 20m Talk		Property-based routing in clustered message brokers for CPS DEBS Doctoral Symposium Ole Meyer University of Duisburg-Essen, Julius Ollesch University of Duisburg-Essen, Stefan Gries University of Duisburg-Essen, Florian Blum University of Duisburg-Essen, Volker Gruhn University Duisburg-Essen
16:20 20m Talk		An Embedded DSL Framework for Distributed Embedded Systems DEBS Doctoral Symposium Adrian Mizzi , Joshua Ellul University of Malta, Gordon Pace
16:40 20m Talk		Loosely Coupled Approach for Web-Based Collaborative 3D Design DEBS Doctoral Symposium Caroline Desprat IRIT - University of Toulouse, Benoît Caudesaygues , Hervé Luga IRIT - Université Paul Sabatier Toulouse, Jean-Pierre Jessel IRIT - Université Paul Sabatier Toulouse
17:00 20m Talk		Visualising complex event hierarchies using relevant domain ontologies DEBS Doctoral Symposium Riley Perry UNSW, Cat Kutay UNSW, Fethi Rabhi UNSW

16:10 - 17:50	Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering Chair(s): Michael Pradel TU Darmstadt

16:10 25m Talk		Achieving High Coverage for Floating-point Code via Unconstrained Programming PLDI Research Papers Zhoulai Fu University of California, Davis, Zhendong Su University of California, Davis Media Attached
16:35 25m Talk		Instruction Punning: Lightweight Instrumentation for x86-64 PLDI Research Papers Buddhika Chamith Indiana University, Luke Dalessandro Indiana University, Bo Joel Svensson Chalmers University of Technology, Sweden, Ryan R. Newton Indiana University Media Attached
17:00 25m Talk		Low Overhead Dynamic Binary Translation on ARM PLDI Research Papers Amanieu d'Antras University of Manchester, Cosmin Gorgovan University of Manchester, Jim Garside University of Manchester, Mikel Luján Media Attached
17:25 25m Talk		Skeletal Program Enumeration for Rigorous Compiler Testing PLDI Research Papers Qirun Zhang University of California, Davis, Chengnian Sun University of California, Davis, Zhendong Su University of California, Davis Media Attached

16:10 - 18:30	Monday - 16:10 - 18:30 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building

16:10 40m Talk		How types can turn a SQL interpreter into a SQL compiler CurryOn Curry On Talks Tiark Rompf Purdue University
17:00 40m Talk		Orchestrate ING with Petri Net CurryOn Curry On Talks Adil Akhter ING
17:50 40m Talk		Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API CurryOn Curry On Talks Manuel Chakravarty

16:10 - 18:30	Monday - 16:10 - 18:30 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building

16:10 40m Talk		Winning the War on Error: Solving the Halting Problem and Curing Cancer CurryOn Curry On Talks Matthew Might University of Utah, USA
17:00 40m Talk		Rust: Putting Ownership to Use CurryOn Curry On Talks Nicholas Matsakis Mozilla Corporation

16:10 - 17:50	Static AnalysisPLDI Research Papers at Aula Master Chair(s): Loris D'Antoni University of Wisconsin–Madison

16:10 25m Talk		Compositional Recurrence Analysis Revisited PLDI Research Papers Zachary Kincaid Princeton University, Jason Breck University of Wisconsin-Madison, Ashkan Forouhi Boroujeni University of Wisconsin-Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. Media Attached
16:35 25m Talk		Context Transformations for Pointer Analysis PLDI Research Papers Rei Thiessen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada Media Attached
17:00 25m Talk		Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata PLDI Research Papers Tian Tan UNSW Australia, Yue Li UNSW Australia, Jingling Xue UNSW Australia Pre-print Media Attached
17:25 25m Talk		Static Deadlock Detection for Asynchronous C# Programs PLDI Research Papers Anirudh Santhiar Indian Institute of Science, Aditya Kanade Indian Institute of Science, Bangalore Media Attached

16:10 - 17:50	S2BECOOP Summer School at Sala Agora

16:10 1h40m Talk		Compiler Verification for a Multi-Language World ECOOP Summer School Amal Ahmed Northeastern University, USA

16:10 - 18:30	Monday - 16:10 - 18:30 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building

16:10 40m Talk		Profunctor Optics: Modular Data Accessors CurryOn Curry On Talks Jeremy Gibbons Department of Computer Science, University of Oxford
17:00 40m Talk		Making decentralisation available for all CurryOn Curry On Talks Martin Kleppmann University of Cambridge
17:50 40m Talk		Reactive Programming in the Browser with Scala.js and PureScript CurryOn Curry On Talks Luka Jacobowitz codecentric AG

17:55 - 18:50	Joint Keynote – Martin AbadiPLDI Invited Speakers at Auditorium, Vertex Building

17:55 55m Talk		TensorFlow considered as a programming language PLDI Invited Speakers Martin Abadi Google

17:55 - 18:50	Monday - 17:50 - 18:30 - PLDICurryOn Curry On Keynotes at Auditorium, Vertex Building

17:55 55m Talk		PLDI Keynote - TensorFlow considered as a programming language CurryOn Curry On Keynotes Martin Abadi Google

19:30 - 22:00	Social Event with Curry On (dinner provided)PLDI Catering at Moritz Brewery

19:30 2h30m Dinner		Dinner PLDI Catering

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

08:00 - 09:00	RegistrationDEBS Registration at DEBS-Registration

08:00 60m Registration		Registration DEBS Registration

09:00 - 09:50	Curry-On Keynote – José ValimPLDI Invited Speakers at Auditorium, Vertex Building

09:00 50m Talk		Elixir PLDI Invited Speakers José Valim Plataformatec

09:00 - 09:50	Tuesday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building

09:00 50m Talk		Idioms for building distributed fault-tolerant applications with Elixir CurryOn Curry On Keynotes José Valim Plataformatec

09:00 - 10:30	Sliding-Window Aggregation AlgorithmsDEBS Tutorials at Vertex WS206b

09:00 90m Talk		Sliding-Window Aggregation Algorithms DEBS Tutorials Martin Hirzel IBM Research, Scott Schneider IBM Research, Kanat Tangwongsan Mahidol University International College

09:00 - 10:30	Session 1COP at Vertex WS216

09:00 15m Day opening		Welcome COP
09:15 60m Talk		Keynote on Context-Oriented Language Engineering COP S: Tijs van der Storm CWI & University of Groningen
10:15 15m Other		Discussion COP

09:00 - 10:30	AFTfJP at Vertex WS217 Chair(s): Radu Grigore University of Kent

09:30 20m Talk		Software Model Checking: A Promising Approach to Verify Mobile App Security FTfJP Irina Asavoae INRIA, Paris, France, Hoang Nga Nguyen Coventry University, Coventry, UK, Markus Roggenbach Swansea University, Swansea, UK, Siraj Ahmed Shaikh Coventry University, Coventry, UK Pre-print
09:50 35m Talk		Formal Analysis of Object-Oriented Mograms FTfJP Moussa Amrani University of Namur, Pierre Yves Schobbens University of Namur
10:25 5m Talk		Towards a Java Subtyping Operad FTfJP Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt Pre-print

09:00 - 10:30	Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218

09:00 90m Talk		Complex Event Recognition Languages DEBS Tutorials Alexander Artikis University of Pireaus and NCSR "Demokritos", Alessandro Margara Politecnico di Milano, Martin Ugarte Université Libre de Bruxelles, Stijn Vansummeren Université Libre de Bruxelles, Matthias Weidlich Humboldt-Universtität zu Berlin

09:50 - 10:25	1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building

09:50 35m Other		1' Pitches of Tuesday and Wednesday PLDI Research Papers

10:25 - 12:45	Tuesday - 10:25 - 12:45 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building

10:25 40m Talk		The Joy of Vector Programming: Why Vector Programming Matters CurryOn Curry On Talks Dave Thomas Kx Systems
11:15 40m Talk		Helping communities & products thrive by fostering empathy CurryOn Curry On Talks Erik Romijn
12:05 40m Talk		The CernVM File System - Beyond Static Content Distribution CurryOn Curry On Talks Radu Popescu CERN

10:25 - 12:45	Tuesday - 10:25 - 12:45 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building

10:25 40m Talk		Building Tools and Languages for Terabyte Scale Biology: A Call to Action CurryOn Curry On Talks Daniel King Broad Institute
11:15 40m Talk		Preventing Information Leaks by Construction CurryOn Curry On Talks Jean Yang Carnegie Mellon University
12:05 40m Talk		The Sharp Edges of Leaky Abstraction CurryOn Curry On Talks Mark Allen Alert Logic

10:25 - 10:50	Coffee BreakPLDI Catering at Coffee Breaks area

10:25 25m Coffee break		Break PLDI Catering

10:25 - 12:45	Tuesday - 10:25 - 12:45 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building

10:25 40m Talk		Grammar-based language modes for text editors CurryOn Curry On Talks Marijn Haverbeke
11:15 40m Talk		Scalable cross-references across languages CurryOn Curry On Talks Luke Zarko Google, Inc
12:05 40m Talk		There are no BFT Fans Anymore... About Secure Eventual Consistency CurryOn Curry On Talks Ali Shoker HASLab/INESC TEC & University of Minho

10:30 - 11:00	CoffeeDEBS Catering at DEBS-CoffeeBreaks

10:30 30m Coffee break		Break DEBS Catering

10:30 - 11:00	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

10:30 30m Coffee break		Break ECOOP Catering

10:50 - 12:30	SynthesisPLDI Research Papers at Actes, Civil Engineering Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign

10:50 25m Talk		Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples PLDI Research Papers Yu Feng University of Texas at Austin, USA, Ruben Martins , Jacob Van Geffen UT Austin, Işıl Dillig UT Austin, Swarat Chaudhuri Rice University Media Attached
11:15 25m Talk		Network Configuration Synthesis with Abstract Topologies PLDI Research Papers Ryan Beckett Princeton University, Ratul Mahajan Microsoft, Todd Millstein University of California, Los Angeles, Jitendra Padhye Microsoft, David Walker Princeton University Media Attached
11:40 25m Talk		Synthesizing Highly Expressive SQL Queries from Input-Output Examples PLDI Research Papers Chenglong Wang University of Washington, USA, Alvin Cheung University of Washington, Rastislav Bodík University of Washington Media Attached
12:05 25m Talk		Synthesizing Memory Models from Framework Sketches and Litmus Tests PLDI Research Papers James Bornholt University of Washington, Emina Torlak University of Washington, USA Pre-print Media Attached

10:50 - 12:30	Static Analysis and SecurityPLDI Research Papers at Aula Master Chair(s): Mayur Naik Georgia Tech

10:50 25m Talk		Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels PLDI Research Papers Timos Antonopoulos Yale University, Paul Gazzillo Yale University, Michael Hicks University of Maryland, College Park, Eric Koskinen Yale University, Tachio Terauchi JAIST, Shiyi Wei University of Maryland, College Park Media Attached
11:15 25m Talk		Automatic Program Inversion using Symbolic Transducers PLDI Research Papers Qinheping Hu University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison Media Attached
11:40 25m Talk		Control-Flow Recovery from Partial Failure Reports PLDI Research Papers Peter Ohmann University of Wisconsin - Madison, Alexander L. Brooks University of Wisconsin, Madison, Loris D'Antoni University of Wisconsin–Madison, Ben Liblit University of Wisconsin–Madison Pre-print Media Attached
12:05 25m Talk		Rigorous Analysis of Software Countermeasures against Cache Attacks PLDI Research Papers Goran Doychev IMDEA Software Institute, Boris Köpf IMDEA Software Institute, Spain Media Attached

10:50 - 12:30	S3AECOOP Summer School at Sala Agora

10:50 1h40m Talk		Rust: Ownership in practice ECOOP Summer School Nicholas Matsakis Mozilla Corporation

11:00 - 12:30	Data Streaming and its Application to Stream ProcessingDEBS Tutorials at Vertex WS206b

11:00 90m Talk		Data Streaming and its Application to Stream Processing DEBS Tutorials Leonardo Querzoni Sapienza University Rome, Nicolo Rivetti Technion - Israel Institute of Technology

11:00 - 12:30	Morning SessionPMLDC at Vertex WS208

11:00 60m Talk		Edge Compute: The First 5000 Years PMLDC Tyler McMullen Fastly
12:00 30m Talk		On the Design of Distributed Programming Models PMLDC Christopher Meiklejohn Université catholique de Louvain File Attached

11:00 - 12:30	Session 2COP at Vertex WS216

11:00 30m Talk		The Declarative Nature of Implicit Layer Activation COP Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
11:30 30m Talk		Push-based Reactive Layer Activation in Context-Oriented Programming COP Tetsuo Kamina Ritsumeikan University, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
12:00 30m Talk		Petri-Net Based Testing Environment for Context-Oriented Programming COP Harumi Watanabe Tokai University, Nobuhiko Ogura Tokyo City University

11:00 - 12:30	BFTfJP at Vertex WS217 Chair(s): Santosh Nagarakatte Rutgers University, USA

11:00 20m Talk		A Coq-based synthesis of Scala programs which are correct-by-construction FTfJP Youssef El Bakouny CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan Crolard CEDRIC - CNAM - Paris, France, Dani Mezher CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon Pre-print
11:20 70m Talk		Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) FTfJP Derek Dreyer MPI-SWS

11:00 - 12:30	Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218

11:00 90m Talk		Complex Event Recognition Languages DEBS Tutorials Alexander Artikis University of Pireaus and NCSR "Demokritos", Alessandro Margara Politecnico di Milano, Martin Ugarte Université Libre de Bruxelles, Stijn Vansummeren Université Libre de Bruxelles, Matthias Weidlich Humboldt-Universtität zu Berlin

12:30 - 14:00	LunchDEBS Catering at DEBS-CoffeeBreaks

12:30 90m Lunch		Lunch DEBS Catering

12:30 - 14:00	LunchECOOP Catering at ECOOP-CoffeeBreaks

12:30 90m Lunch		Lunch ECOOP Catering

12:30 - 14:00	Lunch (provided)PLDI Catering at Lunch area

12:30 90m Lunch		Lunch PLDI Catering

12:35 - 13:50	LunchCurryOn Catering at CurryOn-CoffeeBreaks

12:35 75m Lunch		Lunch CurryOn Catering

13:50 - 15:30	Tuesday - 13:50 - 15:20 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building

13:50 40m Talk		Modular Composition of Reactive Applications CurryOn Curry On Talks Mira Mezini TU Darmstadt
14:40 40m Talk		On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems CurryOn Curry On Talks Sztefan Edwards nVisium LLC

13:50 - 15:30	Tuesday - 13:50 - 15:20 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building

13:50 40m Talk		Machine learning systems with privacy and for privacy: TensorFlow & PATE-G CurryOn Curry On Talks Martín Abadi Google
14:40 40m Talk		Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow CurryOn Curry On Talks Peter Hawkins Google

13:50 - 15:30	Tuesday - 13:50 - 15:20 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building

13:50 40m Talk		Babelfish: Universal Code Parsing Server CurryOn Curry On Talks Santiago M. Mola source{d}
14:40 40m Talk		Channels, Concurrency, and Cores: A new Concurrent ML implementation CurryOn Curry On Talks Andy Wingo Igalia, S.L.

14:00 - 15:40	Parallelization and ConcurrencyPLDI Research Papers at Actes, Civil Engineering Chair(s): Milind Kulkarni Purdue University

14:00 25m Talk		Synthesis of Divide and Conquer Parallelism for Loops PLDI Research Papers Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto Media Attached
14:25 25m Talk		Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates PLDI Research Papers Troels Henriksen DIKU, University of Copenhagen, Niels G. W. Serup DIKU, University of Copenhagen, Martin Elsman Department of Computer Science, University of Copenhagen, Fritz Henglein DIKU, Denmark, Cosmin Oancea DIKU, University of Copenhagen Media Attached
14:50 25m Talk		Gradual Synthesis for Static Parallelization PLDI Research Papers Grigory Fedyukovich UW CSE, Maaz Bin Safeer Ahmad UW / CSE, Rastislav Bodík University of Washington Pre-print Media Attached
15:15 25m Talk		Verifying invariants of lock-free data structures with rely-guarantee and refinement type PLDI Research Papers Colin Gordon Drexel University, Michael D. Ernst University of Washington, USA, Dan Grossman University of Washington, Matthew J. Parkinson Microsoft Research, UK Pre-print Media Attached

14:00 - 15:40	Functional Programming and CorrectnessPLDI Research Papers at Aula Master Chair(s): Francesco Logozzo Facebook

14:00 25m Talk		Compiling without continuations PLDI Research Papers Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, Cambridge Media Attached
14:25 25m Talk		FunTAL: Reasonably Mixing a Functional Language with Assembly PLDI Research Papers Daniel Patterson Northeastern University, Jamie Perconti Northeastern University, Christos Dimoulas Harvard University, USA, Amal Ahmed Northeastern University, USA Media Attached
14:50 25m Talk		HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics PLDI Research Papers Shumo Chu University of Washington, USA, Konstantin Weitz University of Washington, USA, Alvin Cheung University of Washington, Dan Suciu University of Washington Media Attached
15:15 25m Talk		Levity Polymorphism PLDI Research Papers Richard A. Eisenberg Bryn Mawr College, USA, Simon Peyton Jones Microsoft Research, Cambridge Media Attached

14:00 - 15:40	S3BECOOP Summer School at Sala Agora

14:00 1h40m Talk		Rust: Ownership in practice ECOOP Summer School Nicholas Matsakis Mozilla Corporation

14:00 - 15:30	Reflections on Almost Two Decades of Research into Stream ProcessingDEBS Tutorials at Vertex WS206b

14:00 90m Talk		Reflections on Almost Two Decades of Research into Stream Processing DEBS Tutorials Kyumars Sheykh Esmaili Nokia Bell Labs

14:00 - 15:30	Afternoon SessionPMLDC at Vertex WS208

14:00 30m Talk		Monotonicity Types for Distributed Dataflow PMLDC Kevin Clancy , Heather Miller Ecole Polytechnique Federale de Lausanne File Attached
14:30 30m Talk		Multi-view data types for scalable concurrency in the multi-core era PMLDC Deepthi Devaki Akkoorath , José Brandão , Annette Bieniusa Technischen Universität Kaiserslautern, Carlos Baquero HASLab/INESC TEC & University of Minho File Attached
15:00 30m Talk		The Single-Writer Principle in CRDT Composition PMLDC Vitor Enes , Paulo Sérgio Almeida , Carlos Baquero HASLab/INESC TEC & University of Minho File Attached

14:00 - 15:30	Session 3COP at Vertex WS216

14:00 30m Talk		ContextROS: Context-Oriented Programming for the Robot Operating System COP Yuta Saeki Kyushu University, Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University
14:30 30m Talk		IoT Robot Simulator and Framework for Context-Oriented Programming COP Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Nobuhiko Ogura Tokyo City University, Harumi Watanabe Tokai University, Akira Fukuda Kyushu University
15:00 30m Talk		Peace COrP: Learning to solve conflicts between contexts COP Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Jorge H. Castro Universidad de los Andes Media Attached File Attached

14:00 - 15:30	CFTfJP at Vertex WS217 Chair(s): Martin Berger

14:00 20m Talk		Generic Approach to Certified Static Checking of Module-like Constructs FTfJP Julia Belyakova Southern Federal University Pre-print
14:20 35m Talk		Tracing sharing in an imperative pure calculus FTfJP Paola Giannini Universita' del Piemonte Orientale, Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova
14:55 35m Talk		Mutable WadlerFest DOT FTfJP Marianna Rapoport University of Waterloo, Ondřej Lhoták University of Waterloo, Canada

14:00 - 15:30	Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218

14:00 90m Talk		Human Body Related Event Processing DEBS Tutorials Opher Etzion Yezreel Valley College

15:30 - 16:00	Coffee breakCurryOn Catering at CurryOn-CoffeeBreaks

15:30 30m Coffee break		Coffee break CurryOn Catering

15:30 - 16:00	CoffeeDEBS Catering at DEBS-CoffeeBreaks

15:30 30m Coffee break		Break DEBS Catering

15:30 - 16:00	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

15:30 30m Coffee break		Break ECOOP Catering

15:40 - 16:10	Coffee BreakPLDI Catering at Coffee Breaks area

15:40 30m Coffee break		Break PLDI Catering

16:00 - 18:20	Tuesday - 16:00 - 18:20 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building

16:00 40m Talk		Computational Musicology, ????, Profit CurryOn Curry On Talks Chris Ford ThoughtWorks (UK) Ltd.
16:50 40m Talk		Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler CurryOn Curry On Talks Jurriaan Hage Utrecht University
17:40 40m Talk		With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections CurryOn Curry On Talks Michael Steindorfer Delft University of Technology, Netherlands

16:00 - 18:20	Tuesday - 16:00 - 18:20 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building

16:00 40m Talk		Pony: 714 Days Later CurryOn Curry On Talks Sylvan Clebsch Imperial College London
16:50 40m Talk		Finding and Preventing Bugs in JavaScript Bindings CurryOn Curry On Talks Deian Stefan
17:40 40m Talk		Reflex: Reactive Programming at Facebook CurryOn Curry On Talks Julien Verlaguet Facebook

16:00 - 18:20	Tuesday - 16:00 - 18:20 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building

16:00 40m Talk		Scope Graphs: A Fresh Look at Name Binding in Programming Languages CurryOn Curry On Talks Eelco Visser Delft University of Technology Media Attached File Attached
16:50 40m Talk		Making Science Reproducible with Functional Programming Concepts CurryOn Curry On Talks Martin Kavalar Nextjournal
17:40 40m Talk		Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs CurryOn Curry On Talks Julia Nguyen Indiegogo

16:00 - 18:00	Evening SessionPMLDC at Vertex WS208

16:00 60m Talk		Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything. PMLDC Philippe Dobbelaere Nokia Bell Labs

16:00 - 18:00	Session 4COP at Vertex WS216

16:00 2h Other		Discussion COP

16:00 - 18:00	DFTfJP at Vertex WS217 Chair(s): Radu Grigore University of Kent

16:00 20m Talk		Consistency Types for Safe and Efficient Distributed Programming FTfJP Alessandro Margara Politecnico di Milano, Guido Salvaneschi TU Darmstadt
16:20 35m Talk		Correctness of Partial Escape Analysis for Multithreading Optimization FTfJP Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
16:55 35m Talk		Parametric trace expressions for runtime verification of Java-like programs FTfJP Davide Ancona University of Genova, Angelo Ferrando , Luca Franceschini DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy

16:00 - 17:30	Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218

16:00 90m Talk		Human Body Related Event Processing DEBS Tutorials Opher Etzion Yezreel Valley College

16:10 - 17:00	CorrectnessPLDI Research Papers at Actes, Civil Engineering Chair(s): Joseph Devietti University of Pennsylvania

16:10 25m Talk		Repairing Sequential Consistency in C/C++11 PLDI Research Papers Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany, Jeehoon Kang Seoul National University, Chung-Kil Hur Seoul National University, Derek Dreyer MPI-SWS Media Attached
16:35 25m Talk		Taming Undefined Behavior in LLVM PLDI Research Papers Juneyoung Lee Seoul National University, Yoonseung Kim Seoul National University (South Korea), Youngju Song Seoul National University, Chung-Kil Hur Seoul National University, Sanjoy Das Azul Systems, David Majnemer Google, John Regehr University of Utah, Nuno P. Lopes Microsoft Research Pre-print Media Attached

16:10 - 17:00	Verified ComputationPLDI Research Papers at Aula Master Chair(s): Alvin Cheung University of Washington

16:10 25m Talk		A Formally Verified Compiler for Lustre PLDI Research Papers Timothy Bourke INRIA, Lelio Brun ENS/Inria, Pierre-Evariste Dagand LIP6/CNRS , Xavier Leroy Inria, Marc Pouzet École normale supérieure, Lionel Rieg Collège de France Media Attached
16:35 25m Talk		Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) PLDI Research Papers Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bui Phi Diep Uppsala University, Yu-Fang Chen , Lukáš Holík , Ahmed Rezine , Philipp Ruemmer Uppsala University Media Attached

17:00 - 18:00	Program Chair report and SIGPLAN Town Hall meetingPLDI Invited Speakers at Aula Master

17:00 60m		Program Chair report and SIGPLAN Town Hall meeting PLDI Invited Speakers

17:30 - 20:00	Reception and SRC posters (finger food provided)PLDI Student Research Competition at Lunch area

17:30 2h30m		Reception and SRC posters PLDI Student Research Competition

18:30 - 19:20	Tuesday - 18:30 - 19:20 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building

18:30 50m Talk		Scripting with Lua CurryOn Curry On Keynotes Roberto Ierusalimschy PUC-Rio

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

08:00 - 09:00	RegistrationDEBS Registration at DEBS-Registration

08:00 60m Registration		Registration DEBS Registration

09:00 - 09:55	Frank WoodPLDI Invited Speakers at Auditorium, Vertex Building

09:00 55m Talk		Probabilistic Programming and Inference Compilation, or, How I Learned to Stop Worrying and Love Deep Networks PLDI Invited Speakers Frank Wood University of Oxford Media Attached

09:00 - 09:30	WelcomeDEBS Welcome at Sala d'Actes, Vertex Building

09:00 30m Day opening		Welcome DEBS Welcome

09:00 - 09:15	OpeningLCTES at Vertex WS208

09:00 15m Day opening		Opening LCTES

09:15 - 10:15	Keynote 1LCTES at Vertex WS208 Chair(s): Zili Shao The Hong Kong Polytechnic University

09:15 60m Talk		Static Analysis for Improving Software Performance, Safety and Security LCTES Jingling Xue UNSW Australia

09:30 - 10:30	Session 1: New DirectionsDEBS Research Papers at Sala d'Actes, Vertex Building Chair(s): Annika Hinze University of Waikato

09:30 20m Talk		Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper) DEBS Research Papers Suad Sejdovic FZI Research Center for Information Technology, Sven Euting FZI Research Center for Information Technology, Dominik Riemer FZI Research Center for Information Technology, York Sure-Vetter Karlsruhe Institute of Technology (KIT)
09:50 20m Talk		Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper) DEBS Research Papers Aleksandar Antonic University of Zagreb, Martina Marjanovic University of Zagreb, Ivana Podnar Zarko University of Zagreb
10:10 20m Talk		The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper) DEBS Research Papers Piyush Yadav Lero The Irish Software Research Centre Ireland, Umair Ulhassan Insight Centre for Data Analytics NUIG, Souleiman Hasan Insight Centre for Data Analytics NUIG, Edward Curry Insight Centre for Data Analytics NUIG

09:55 - 10:20	Coffee BreakPLDI Catering at Coffee Breaks area

09:55 25m Coffee break		Break PLDI Catering

10:15 - 10:50	Coffee BreakLCTES Catering at LCTES-CoffeeBreaks

10:15 35m Coffee break		Break LCTES Catering

10:20 - 12:00	Systems and PerformancePLDI Research Papers at Auditorium, Vertex Building Chair(s): Dan Grossman University of Washington

10:20 25m Talk		Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes PLDI Research Papers Scott Schneider IBM Research, Kun-Lung Wu IBM Research Media Attached
10:45 25m Talk		Practical Partial Evaluation for High-Performance Dynamic Language Runtimes PLDI Research Papers Thomas Wuerthinger Oracle Labs, Christian Wimmer , Christian Humer Oracle Labs, Switzerland, Andreas Woess Oracle Labs, Lukas Stadler Oracle Labs, Austria, Chris Seaton Oracle Labs, Gilles Duboscq Oracle Labs, Doug Simon Oracle Labs, Matthias Grimmer Oracle Labs, Austria Media Attached
11:10 25m Talk		Responsive Parallel Computation: Bridging Competitive and Cooperative Threading PLDI Research Papers Stefan K. Muller , Umut A. Acar Carnegie Mellon University, Robert Harper CWI Media Attached
11:35 25m Talk		StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data PLDI Research Papers Konstantinos Mamouras University of Pennsylvania, Mukund Raghothaman University of Pennsylvania, Rajeev Alur University of Pennsylvania, Zachary G. Ives University of Pennsylvania, Sanjeev Khanna University of Pennsylvania Media Attached

10:20 - 12:00	SRC presentationsPLDI Student Research Competition at Vertex WS217

10:20 1h40m		SRC presentations PLDI Student Research Competition

10:30 - 11:00	CoffeeDEBS Catering at DEBS-CoffeeBreaks

10:30 30m Coffee break		Break DEBS Catering

10:50 - 12:30	Session 1: Compiler Optimization for Embedded SystemsLCTES at Vertex WS208 Chair(s): Yi Wang Shenzhen University

10:50 25m Talk		AOT Vs. JIT: Impact of Profile Data on Code Quality LCTES April W. Wade University of Kansas, Prasad Kulkarni University of Kansas, Michael Jantz University of Tennessee
11:15 25m Talk		Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems LCTES Ben Taylor Lancaster University, UK, Vicent Sanz Marco Lancaster University, Zheng Wang Lancaster University
11:40 25m Talk		Auto-Vectorization for Image Processing DSLs LCTES Oliver Reiche Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Christof Kobylko , Frank Hannig Friedrich-Alexander University Erlangen-Nürnberg (FAU), Jürgen Teich
12:05 25m Talk		Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions LCTES Sheng-Yu Fu , Ding-Yong Hong Institute of Information Science, Academia Sinica, Ping Yu Department of Computer Science and Information Engineering, National Taiwan University, Jan-Jan Wu Institute of Information Science, Academia Sinica, Wei-Chung Hsu Dept. Computer Science & Information Engineering, National Taiwan University

11:00 - 12:30	Session 2: High Performance and DistributionDEBS Research Papers at Sala d'Actes, Vertex Building Chair(s): Guido Salvaneschi TU Darmstadt

11:00 25m Talk		Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper) DEBS Research Papers Ruben Mayer University of Stuttgart, Muhammad Adnan Tariq University of Stuttgart, Kurt Rothermel Universitaet Stuttgart
11:25 25m Talk		Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) DEBS Research Papers Kanat Tangwongsan Mahidol University International College, Martin Hirzel IBM Research, Scott Schneider IBM Research
11:50 20m Talk		Hardware Accelerated Application Integration Processing. (Industry Paper) DEBS Research Papers Daniel Ritter SAP SE, Jonas Dann SAP SE, Norman May SAP SE, Stefanie Rinderle-Ma University of Vienna
12:10 20m Talk		Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper) DEBS Research Papers Benjamin Erb Ulm University, Germany , Echo Meißner Institute of Distributed Systems, Ulm University, Jakob Pietron Ulm University, Frank Kargl Ulm University

12:00 - 12:30	AwardsPLDI Research Papers at Auditorium, Vertex Building

12:00 15m Awards		Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards PLDI Research Papers
12:15 15m Day closing		Closing PLDI Research Papers Albert Cohen INRIA

12:30 - 14:00	LunchDEBS Catering at DEBS-CoffeeBreaks

12:30 90m Lunch		Lunch DEBS Catering

12:30 - 14:00	LunchECOOP Catering at ECOOP-CoffeeBreaks

12:30 90m Lunch		Lunch ECOOP Catering

12:30 - 14:00	LunchLCTES Catering at LCTES-CoffeeBreaks

12:30 90m Lunch		Lunch LCTES Catering

12:30 - 14:00	Lunch with ECOOP,LCTES (provided) + SRC AwardsPLDI Catering at Lunch area

12:30 90m Lunch		Lunch PLDI Catering

14:00 - 15:00	KeynoteECOOP Invited Speakers at Auditorium, Vertex Building Chair(s): Peter Müller ETH Zurich

14:00 60m Talk		Challenges to Achieving High Availability at Scale ECOOP Invited Speakers Wolfram Schulte Microsoft Media Attached

14:00 - 15:00	KeynoteDEBS Invited Speakers at Sala d'Actes, Vertex Building

14:00 60m Talk		Challenges to Achieving High Availability at Scale DEBS Invited Speakers Wolfram Shulte Facebook

14:00 - 15:00	Poster SessionLCTES at Vertex WS217

14:00 60m Other		Accepted posters and posters for all the accepted papers will be presented in this session LCTES

15:00 - 15:30	CoffeeDEBS Catering at DEBS-CoffeeBreaks

15:00 30m Coffee break		Break DEBS Catering

15:00 - 15:30	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

15:00 30m Coffee break		Break ECOOP Catering

15:00 - 15:30	Coffee BreakLCTES Catering at LCTES-CoffeeBreaks

15:00 30m Coffee break		Break LCTES Catering

15:30 - 17:10	Analysis and SynthesisECOOP Research Papers at Auditorium, Vertex Building Chair(s): Anders Møller Aarhus University

15:30 25m Talk		Proactive Synthesis of Recursive Tree-to-String Functions from Examples ECOOP Research Papers Mikaël Mayer EPFL, Switzerland, Jad Hamza LIAFA, Université Paris Diderot, Viktor Kunčak EPFL, Switzerland Link to publication Media Attached
15:55 25m Talk		Speeding Up Maximal Causality Reduction with Static Dependency Analysis ECOOP Research Papers Shiyou Huang Texas A&M University, Jeff Huang Texas A&M University Link to publication Media Attached
16:20 25m Talk		Mailbox Abstractions for Static Analysis of Actor Programs ECOOP Research Papers Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel Link to publication Pre-print Media Attached
16:45 25m Talk		What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective ECOOP Research Papers Jeff Huang Texas A&M University, Arun Krishnakumar Rajagopalan Texas A&M University Link to publication Media Attached

15:30 - 17:10	S4ECOOP Summer School at Aula Master

15:30 1h40m Talk		Kotlin: the ins and outs of designing a commercial language ECOOP Summer School Andrey Breslav JetBrains Pre-print

15:30 - 16:30	DEBS 10 Years Time AwardDEBS 10 Years Time Award at Sala d'Actes, Vertex Building

15:30 60m Talk		10 Years Time Award DEBS 10 Years Time Award

15:30 - 17:10	Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded SystemsLCTES at Vertex WS208 Chair(s): Bernhard Scholz University of Sydney, Australia

15:30 25m Talk		Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance LCTES Weiwen Jiang Chongqing University, Edwin Sha Chongqing University, Qingfeng Zhuge Chongqing University, China, Hailiang Dong Chongqing University, Xianzhang Chen Chongqing University
15:55 25m Talk		Integrated IoT Programming with Selective Abstraction LCTES Gyeongmin Lee POSTECH, Seonyeong Heo POSTECH, Bongjun Kim POSTECH, Jong Kim POSTECH, Hanjun Kim POSTECH
16:20 25m Talk		Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems LCTES Min Zhang East China Normal University, Yunhui Ying
16:45 25m Talk		Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems LCTES Wenguang Zheng , Hui Wu University of New South Wales, Australia, Chuanyao Nie The University of New South Wales

16:30 - 17:00	Demos and Poster IntroductionDEBS Posters & Demos at Sala d'Actes, Vertex Building

16:30 30m Demonstration		DEBS Demos and Posters DEBS Posters & Demos

17:00 - 20:00	DEBS Poster & Demo ReceptionDEBS Posters & Demos at Coffee Breaks area

17:00 3h Demonstration		DEBS Demos and Posters DEBS Posters & Demos

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

08:00 - 09:00	RegistrationDEBS Registration at DEBS-Registration

08:00 60m Registration		Registration DEBS Registration

09:00 - 10:00	Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building Chair(s): Eric Jul University of Oslo

09:00 60m Talk		Composing Software in an Age of Dissonance ECOOP Invited Speakers Gilad Bracha Google Media Attached

09:00 - 10:00	KeynoteDEBS Invited Speakers at Sala d'Actes, Vertex Building

09:00 60m Talk		Blockchain: Distributed Event-based Processing in a Data-Centric World DEBS Invited Speakers Richard Hull IBM T. J. Watson Research Center

09:00 - 10:00	Keynote 2LCTES at Vertex WS208 Chair(s): Vijay Nagarajan University of Edinburgh, UK

09:00 60m Talk		Design versus Performance: From Giotto via the Embedded Machine to Selfie LCTES Christoph Kirsch University of Salzburg File Attached

09:00 - 10:00	Refinement Types for Program Verification and SynthesisPLDI Tutorials at Vertex WS215

09:00 60m Other		Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA Media Attached

09:00 - 10:00	Intro & industry perspective on cryptoDSW at Vertex WS216 Chair(s): Andrew W. Appel Princeton

09:00 15m Day opening		Introduction to DeepSpec DSW Lennart Beringer Princeton University, Adam Chlipala Massachusetts Institute of Technology, USA
09:15 45m Talk		Building Faith in Experts: Applying Formal Verification to Cryptography DSW Dominic Rizzo Google

09:00 - 10:00	WALA Hack-A-ThonPLDI Tutorials at Vertex WS218

09:00 60m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

09:00 - 10:00	Building your own modular static analyzer with Facebook InferPLDI Tutorials at Vertex WS219

09:00 60m Other		Building your own modular static analyzer with Facebook Infer PLDI Tutorials Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook

10:00 - 10:30	CoffeeDEBS Catering at DEBS-CoffeeBreaks

10:00 30m Coffee break		Break DEBS Catering

10:00 - 10:30	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

10:00 30m Coffee break		Break ECOOP Catering

10:00 - 10:30	Coffee BreakLCTES Catering at LCTES-CoffeeBreaks

10:00 30m Coffee break		Break LCTES Catering

10:30 - 12:10	Specification and VerificationECOOP Research Papers at Auditorium, Vertex Building Chair(s): Doug Lea State University of New York, Oswego

10:30 25m Talk		Concurrent Data Structures Linked in Time ECOOP Research Papers Germán Andrés Delbianco IMDEA Software Institute, Ilya Sergey University College London, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute Link to publication Media Attached
10:55 25m Talk		Contracts in the Wild: A Study of Java Programs ECOOP Research Papers Jens Dietrich Massey University, David J. Pearce Victoria University of Wellington, Kamil Jezek University of West Bohemia, Pilsen, CZ, Premek Brada University of West Bohemia Link to publication Pre-print Media Attached
11:20 25m Talk		Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris ECOOP Research Papers Jan-Oliver Kaiser MPI-SWS, Hoang-Hai Dang MPI-SWS, Derek Dreyer MPI-SWS, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany Link to publication Media Attached
11:45 25m Talk		Promising Compilation to ARMv8 POP ECOOP Research Papers Anton Podkopaev St. Petersburg University, JetBrains, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany Link to publication Media Attached

10:30 - 12:10	S5AECOOP Summer School at Aula Master

10:30 1h40m Talk		What You Need to Know about Performance Evaluation ECOOP Summer School Jan Vitek Northeastern University Pre-print

10:30 - 12:10	Session 3: Publish/SubscribeDEBS Research Papers at Sala d'Actes, Vertex Building Chair(s): Mohammad Sadoghi Purdue

10:30 25m Talk		PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper) DEBS Research Papers Pooya Salehi Technical University of Munich, Kaiwen Zhang TU Munich, Hans-Arno Jacobsen University of Toronto
10:55 25m Talk		Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper) DEBS Research Papers Sukanya Bhowmik University of Stuttgart, Muhammad Adnan Tariq University of Stuttgart, Alexander Balogh University of Stuttgart, Kurt Rothermel Universitaet Stuttgart
11:20 20m Talk		Kafka versus RabbitMQ. (Industry Paper) DEBS Research Papers Philippe Dobbelaere Nokia Bell Labs, Kyumars Sheykh Esmaili Nokia Bell Labs
11:40 20m Talk		An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper) DEBS Research Papers Kyoungho An RTI, Shweta Khare Vanderbilt University, Anirüddhā Gokhālé Vanderbilt University

10:30 - 12:10	Session 3: Non-Volatile Memory/Processor and RTOSLCTES at Vertex WS208 Chair(s): Hanjun Kim POSTECH

10:30 25m Talk		Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks LCTES Yi Wang Shenzhen University, Mingxu Zhang Shenzhen University, Jing Yang Harbin Institute of Technology
10:55 25m Talk		Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance LCTES Xianzhong Ding Shandong University, Zhiyong Zhang Shandong University, Zhiping Jia Shandong University, Lei Ju Shandong University, Mengying Zhao Shandong University, Huawei Huang The University of Aizu
11:20 25m Talk		A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting LCTES Chen Pan , Mimi Xie Oklahoma State University, Yongpan Liu Tsinghua University, Yanzhi Wang Syracuse University, Jason Xue City University of Hong Kong, China, Yiran Chen University of Pittsburgh, Jingtong Hu Oklahoma State University
11:45 25m Talk		OSEK-V: Application-Specific RTOS Instantiation in Hardware LCTES Christian Dietrich , Daniel Lohmann Friedrich-Alexander-Universität, Germany

10:30 - 12:10	Incremental computing 1: Keynote + Research talkIC at Vertex WS215

10:30 70m Talk		Keynote: Incrementalizing the Rust Compiler IC K: Nicholas Matsakis Mozilla Corporation
11:40 30m Talk		IncAL: A DSL for Incremental Program Analysis with Lattices IC Tamás Szabó itemis AG / TU Delft, Markus Völter itemis/independent, Sebastian Erdweg TU Delft File Attached

10:30 - 12:10	Academic crypto projects; industry perspective on formal-methods integrationDSW at Vertex WS216 Chair(s): Zhong Shao Yale University

10:30 30m Talk		Correct-by-Construction Generation of Fast Code for Elliptic Curves DSW Adam Chlipala Massachusetts Institute of Technology, USA
11:00 30m Talk		Introduction to verification using the VST DSW Lennart Beringer Princeton University
11:30 40m Talk		Using formal tools to develop high-assurance software for autonomous ground vehicles DSW Aleksey Nogin HRL Laboratories, LLC

10:30 - 12:10	Refinement Types for Program Verification and Synthesis (cont'd)PLDI Tutorials at Vertex WS217

10:30 1h40m Other		Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA Media Attached

10:30 - 12:10	WALA Hack-A-Thon (2)PLDI Tutorials at Vertex WS218

10:30 1h40m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

10:30 - 12:10	Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219

10:30 1h40m Other		Building your own modular static analyzer with Facebook Infer PLDI Tutorials Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook

12:10 - 13:40	LunchDEBS Catering at DEBS-CoffeeBreaks

12:10 90m Lunch		Lunch DEBS Catering

12:10 - 13:40	LunchECOOP Catering at ECOOP-CoffeeBreaks

12:10 90m Lunch		Lunch ECOOP Catering

12:10 - 13:40	LunchLCTES Catering at LCTES-CoffeeBreaks

12:10 90m Lunch		Lunch LCTES Catering

13:40 - 15:20	ImplementationECOOP Research Papers at Auditorium, Vertex Building Chair(s): Tobias Wrigstad Uppsala University

13:40 25m Talk		Parallelizing Julia with a Non-invasive DSL ECOOP Research Papers Todd A. Anderson , Hai Liu Intel Labs, Lindsey Kuper Intel Labs, Ehsan Totoni Intel Labs, Jan Vitek Northeastern University, Tatiana Shpeisman Intel Labs Link to publication Media Attached
14:05 25m Talk		Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis ECOOP Research Papers Baptiste Saleil , Marc Feeley Université de Montréal Link to publication Media Attached
14:30 25m Talk		Compiling tree transforms to operate on packed representations ECOOP Research Papers Michael Vollmer Indiana University, USA, Sarah Spall Indiana University, Buddhika Chamith Indiana University, Laith Sakka , Milind Kulkarni Purdue University, Sam Tobin-Hochstadt Indiana University, Ryan R. Newton Indiana University Link to publication Media Attached
14:55 25m Talk		An Empirical Study on Deoptimization in the Graal Compiler ECOOP Research Papers Yudi Zheng University of Lugano, Lubomír Bulej Charles University, Walter Binder University of Lugano Link to publication Media Attached

13:40 - 15:20	S5BECOOP Summer School at Aula Master

13:40 1h40m Talk		Declarative Language Definition ECOOP Summer School Eelco Visser Delft University of Technology Media Attached File Attached

13:40 - 15:20	Session 4: Reliability and SecurityDEBS Research Papers at Sala d'Actes, Vertex Building Chair(s): Roy Friedman Technion - Israel institute of technology

13:40 25m Talk		Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper) DEBS Research Papers Nikos Zacheilas Athens University of Economics and Business, Vana Kalogeraki Athens University of Economics and Business, Vincenzo Gulisano Chalmers University of Technology, Yiannis Nikolakopoulos Chalmers University of Technology, Marina Papatriantafilou Chalmers University of Technology, Philippas Tsigas Chalmers University of Technology
14:05 25m Talk		SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper) DEBS Research Papers Aurélien Havet Université de Neuchâtel, Rafael Pires Université de Neuchâtel, Pascal Felber Université de Neuchâtel, Marcelo Pasin Université de Neuchâtel, Romain Rouvoy University Lille 1 and INRIA, Valerio Schiavoni University of Neuchatel
14:30 25m Talk		FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper) DEBS Research Papers Lorenzo Affetti Politecnico di Milano, Alessandro Margara Politecnico di Milano, Gianpaolo Cugola Politecnico di Milano
14:55 25m Talk		A Prototype for Credit Card Fraud Management. (Industry Paper) DEBS Research Papers Alexander Artikis University of Pireaus and NCSR "Demokritos", Nikos Katzouris NCSR Demokritos, Ivo Correia Feedzai, Chris Baber The University of Birmingham, Natan Morar The University of Birmingham, Inna Skarbovsky IBM Haifa Research Lab, Fabiana Fournier IBM Haifa Research Lab, Georgios Paliouras Institute of Informatics & Telecommunications, NCSR "Demokritos"

13:40 - 15:20	Incremental computing 2: Research talksIC at Vertex WS215

13:40 30m Talk		Automated Incrementalization through Synthesis IC Rohin Shah University of California, Berkeley, Rastislav Bodík University of Washington File Attached
14:15 30m Talk		IceDust Calculation Strategy Composition Performance in Web Applications IC Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology File Attached
14:50 30m Talk		Automatic Incrementalization of Functional Reports IC Ken Friis Larsen DIKU, University of Copenhagen, Fritz Henglein DIKU, Denmark File Attached

13:40 - 15:00	Academic C-verification project; industry perspective on hypervisorsDSW at Vertex WS216 Chair(s): Adam Chlipala Massachusetts Institute of Technology, USA

13:40 40m Talk		Verifying concurrent C programs with the Verified Software Toolchain DSW Andrew W. Appel Princeton
14:20 40m Talk		Challenges in Analysing Virtualisation Stacks DSW Michael Tautschnig Amazon Web Services

13:40 - 15:20	WALA Hack-A-Thon (3)PLDI Tutorials at Vertex WS218

13:40 1h40m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

13:40 - 15:20	Polyhedral CompilationPLDI Tutorials at Vertex WS219

13:40 1h40m Other		Polyhedral Compilation PLDI Tutorials Tobias Grosser ETH Zurich, Oleksandr Zinenko Inria

15:20 - 15:50	CoffeeDEBS Catering at DEBS-CoffeeBreaks

15:20 30m Coffee break		Break DEBS Catering

15:20 - 15:50	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

15:20 30m Coffee break		Break ECOOP Catering

15:30 - 17:00	Academic hypervisor project; closing discussionDSW at Vertex WS216 Chair(s): Lennart Beringer Princeton University

15:30 45m Talk		CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems DSW Zhong Shao Yale University
16:15 45m Day closing		Closing discussion DSW

15:50 - 17:30	Calculi and SemanticsECOOP Research Papers at Auditorium, Vertex Building Chair(s): Colin Gordon Drexel University

15:50 25m Talk		Modelling homogeneous generative meta-programming ECOOP Research Papers Martin Berger , Laurence Tratt King's College London, Christian Urban King's College London Link to publication Media Attached
16:15 25m Talk		Mixing Metaphors: Actors as Channels and Channels as Actors ECOOP Research Papers Simon Fowler The University of Edinburgh, Sam Lindley University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK Link to publication Pre-print Media Attached
16:40 25m Talk		μPuppet: A Declarative Subset of the Puppet Configuration Language ECOOP Research Papers Weili Fu University of Edinburgh, Roly Perera University of Edinburgh, UK / University of Glasgow, UK, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK Link to publication Media Attached
17:05 25m Talk		Strong Normalization for Dependent Object Types (DOT) ECOOP Research Papers Fei Wang , Tiark Rompf Purdue University Link to publication Media Attached

15:50 - 17:30	S5CECOOP Summer School at Aula Master

15:50 1h40m Talk		Declarative Language Definition ECOOP Summer School Eelco Visser Delft University of Technology Media Attached File Attached

15:50 - 17:30	Grand ChallengeDEBS Grand Challenge at Sala d'Actes, Vertex Building

15:50 1h40m Talk		The DEBS 2017 Grand Challenge DEBS Grand Challenge Vincenzo Gulisano Chalmers University of Technology, Roman Katerinenko AGT International, Zbigniew Jerzak SAP Research, Martin Strohbach AGT International, Holger Ziekow HS Furtwangen

15:50 - 17:30	Incremental computing 3: Research talksIC at Vertex WS215

15:50 30m Talk		Incremental Relational Lenses IC Rudi Horn University of Edinburgh, James Cheney University of Edinburgh, UK File Attached
16:25 30m Talk		Privacy-aware Distributed Incremental Computation IC Mirko Köhler Technical University of Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg TU Delft, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt File Attached
17:00 30m Talk		Tuning Data and Control Structures for Incremental Computation IC Kyle Headley University of Colorado Boulder File Attached

15:50 - 17:00	WALA Hack-A-Thon (4)PLDI Tutorials at Vertex WS218

15:50 70m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

15:50 - 17:00	Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219

15:50 70m Other		Polyhedral Compilation PLDI Tutorials Tobias Grosser ETH Zurich, Oleksandr Zinenko Inria

17:30 - 19:00	Business MeetingDEBS Business Meeting at Sala d'Actes, Vertex Building

17:30 90m		Business Meeting DEBS Business Meeting

20:00 - 23:00	BanquetDEBS Banquet at DEBS-Banquet

20:00 3h Dinner		Banquet DEBS Banquet

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

08:00 - 09:00	RegistrationDEBS Registration at DEBS-Registration

08:00 60m Registration		Registration DEBS Registration

09:00 - 10:00	Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building Chair(s): Eric Jul University of Oslo

09:00 60m Talk		Retargeting Gradual Typing ECOOP Invited Speakers Ross Tate Cornell University Media Attached

09:00 - 10:00	KeynoteDEBS Invited Speakers at Sala d'Actes, Vertex Building

09:00 60m Talk		The Customer Experience Case: The Needle in the Haystack DEBS Invited Speakers Sergi Zapater Zhilabs, SL

09:00 - 10:00	Graal: High Performance Compilation for Managed LanguagesPLDI Tutorials at Vertex WS208

09:00 60m Other		Graal: High Performance Compilation for Managed Languages PLDI Tutorials Christian Wimmer

09:00 - 10:00	Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216

09:00 60m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

09:00 - 10:00	Engineering Static Analyzers with SouffléPLDI Tutorials at Vertex WS217

09:00 60m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

09:00 - 09:10	OpeningWCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

09:00 10m Day opening		Opening Remarks WCIRE Louis-Noël Pouchet Colorado State University, Milind Kulkarni Purdue University, Samuel Midkiff School of Electrical and Computer Engineering, Purdue University

09:00 - 10:00	Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219

09:00 60m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

09:10 - 10:00	Session 1WCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

09:10 50m Talk		The ROSE Compiler Framework WCIRE Louis-Noël Pouchet Colorado State University

10:00 - 10:30	CoffeeDEBS Catering at DEBS-CoffeeBreaks

10:00 30m Coffee break		Break DEBS Catering

10:00 - 10:30	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

10:00 30m Coffee break		Break ECOOP Catering

10:30 - 12:10	Types and EffectsECOOP Research Papers at Auditorium, Vertex Building Chair(s): Philipp Haller KTH Royal Institute of Technology

10:30 25m Talk		Relaxed Linear References for Lock-free Programming ECOOP Research Papers Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University Link to publication Media Attached
10:55 25m Talk		A Generic Approach to Flow-Sensitive Polymorphic Effects ECOOP Research Papers Colin Gordon Drexel University Link to publication Pre-print Media Attached
11:20 25m Talk		A Co-contextual Type Checker for Featherweight Java ECOOP Research Papers Edlira Kuci TU Darmstadt, Germany, Sebastian Erdweg TU Delft, Oliver Bračevac TU Darmstadt, Andi Bejleri TU Darmstadt, Germany, Mira Mezini TU Darmstadt Link to publication Media Attached
11:45 25m Talk		A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP Research Papers Alceste Scalas Imperial College London, Ornela Dardha University of Glasgow, Raymond Hu Imperial College London, Nobuko Yoshida Imperial College London Link to publication Media Attached

10:30 - 12:10	S6AECOOP Summer School at Aula Master

10:30 1h40m Talk		Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication

10:30 - 12:10	Session 5: Learning, Automation and IntegrationDEBS Research Papers at Sala d'Actes, Vertex Building Chair(s): Martin Hirzel IBM Research

10:30 25m Talk		Event Forecasting with Pattern Markov Chains. (Research Paper) DEBS Research Papers Elias Alevizos NCSR Demokritos, Institute of Informatics and Telecommunications, Alexander Artikis University of Pireaus and NCSR "Demokritos", Georgios Paliouras Institute of Informatics & Telecommunications, NCSR "Demokritos"
10:55 25m Talk		Automatic Learning of Predictive CEP Rules: Bridging the Gap between Data Mining and Complex Event Processing. (Research Paper) DEBS Research Papers Raef Mousheimish DAVID lab, University of Versailles, Yehia Taher DAVID - UVSQ, Karine Zeitouni University of Versailles-Saint-Quentin
11:20 20m Talk		An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) DEBS Research Papers Jürgen Thanhofer-Pilisch Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Rick Rabiser Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Thomas Krismayer Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Michael Vierhauser University of Notre Dame, Paul Grünbacher , Stefan Wallner Primetals Technologies Austria GmbH, Klaus Seyerlehner Primetals Technologies Austria GmbH, Helmut Zeisel Primetals Technologies Austria GmbH
11:40 20m Talk		Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper) DEBS Research Papers Shima Zahmatkesh Politecnico di Milano, Emanuele Della Valle DEIB, Politecnico di Milano, Daniele Dell'Aglio IFI, University of Zurich

10:30 - 12:10	Graal: High Performance Compilation for Managed Languages (cont'd)PLDI Tutorials at Vertex WS208

10:30 1h40m Other		Graal: High Performance Compilation for Managed Languages PLDI Tutorials Christian Wimmer

10:30 - 12:10	Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216

10:30 1h40m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

10:30 - 12:10	Engineering Static Analyzers with Soufflé (2)PLDI Tutorials at Vertex WS217

10:30 1h40m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

10:30 - 12:10	Session 2WCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

10:30 50m Talk		The Spoofax Language Workbench WCIRE Eelco Visser Delft University of Technology Link to publication
11:20 50m Talk		Peeking into a polyhedral compiler through the Periscop toolkit WCIRE Oleksandr Zinenko Inria

10:30 - 12:10	Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219

10:30 1h40m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

12:10 - 13:40	LunchDEBS Catering at DEBS-CoffeeBreaks

12:10 90m Lunch		Lunch DEBS Catering

12:10 - 13:40	LunchECOOP Catering at ECOOP-CoffeeBreaks

12:10 90m Lunch		Lunch ECOOP Catering

13:40 - 15:20	Language and Library DesignECOOP Research Papers at Auditorium, Vertex Building Chair(s): Sophia Drossopoulou Imperial College London

13:40 25m Talk		IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition ECOOP Research Papers Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology Link to publication DOI Media Attached
14:05 25m Talk		Mixed Messages: Measuring Conformance and Non-Interference in TypeScript ECOOP Research Papers Jack Williams University of Edinburgh, J. Garrett Morris University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK, Jakub Zalewski Link to publication Media Attached
14:30 25m Talk		EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse ECOOP Research Papers Weixin Zhang University of Hong Kong, Bruno C. d. S. Oliveira The University of Hong Kong Link to publication Media Attached
14:55 25m Talk		Data exploration through dot-driven development ECOOP Research Papers Tomas Petricek Alan Turing Institute Link to publication Media Attached

13:40 - 15:20	S6BECOOP Summer School at Aula Master

13:40 1h40m Talk		Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication

13:40 - 14:10	DEBS 2018 AddressDEBS 2018 Address at Sala d'Actes, Vertex Building

13:40 30m Talk		DEBS 2018 Address DEBS 2018 Address

13:40 - 15:20	Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216

13:40 1h40m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

13:40 - 15:20	Engineering Static Analyzers with Soufflé (3)PLDI Tutorials at Vertex WS217

13:40 1h40m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

13:40 - 15:20	Session 3WCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

13:40 50m Talk		JetBrains Meta Programming System (MPS) WCIRE Oscar Rodriguez JetBrains Link to publication
14:30 50m Talk		Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG WCIRE Chandan Reddy INRIA

13:40 - 15:20	Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219

13:40 1h40m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

14:10 - 15:20	Session 6: Models and Analysis for Understanding Distributed and Event-Based SystemsDEBS Research Papers at Sala d'Actes, Vertex Building Chair(s): Alessandro Margara Politecnico di Milano

14:10 23m Talk		DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper) DEBS Research Papers Fabrice Starks University of Oslo, Thomas Plagemann University of Oslo, Stein Kristiansen University of Oslo
14:33 23m Talk		Performance Modeling of Stream Joins. (Research Paper) DEBS Research Papers Vincenzo Gulisano Chalmers University of Technology, Alessandro Vittorio Papadopoulos Mälardalen University, Yiannis Nikolakopoulos Chalmers University of Technology, Marina Papatriantafilou Chalmers University of Technology, Philippas Tsigas Chalmers University of Technology
14:56 23m Talk		One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper) DEBS Research Papers Arnon Lazerson Technion, Moshe Gabel Technion, Daniel Keren Haifa University, Assaf Schuster Technion

15:20 - 15:50	CoffeeDEBS Catering at DEBS-CoffeeBreaks

15:20 30m Coffee break		Break DEBS Catering

15:20 - 15:50	Coffee BreakECOOP Catering at ECOOP-CoffeeBreaks

15:20 30m Coffee break		Break ECOOP Catering

15:50 - 17:05	SecurityECOOP Research Papers at Auditorium, Vertex Building Chair(s): Peter Müller ETH Zurich

15:50 25m Talk		Type Abstraction for Relaxed Noninterference ECOOP Research Papers Raimil Cruz University of Chile, Tamara Rezk Inria, Bernard Serpette Inria, Éric Tanter University of Chile Link to publication Media Attached
16:15 25m Talk		EvilPickles: DoS attacks based on Object-Graph Engineering ECOOP Research Papers Jens Dietrich Massey University, Kamil Jezek University of West Bohemia, Pilsen, CZ, Shawn Rasheed Massey University, Amjed Tahir Massey University, Alex Potanin Victoria University of Wellington Link to publication Pre-print Media Attached
16:40 25m Talk		A Capability-Based Module System for Authority Control ECOOP Research Papers Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University Link to publication

15:50 - 17:05	S6CECOOP Summer School at Aula Master

15:50 75m Talk		What You Need to Know about Performance Evaluation ECOOP Summer School Jan Vitek Northeastern University Pre-print

15:50 - 16:30	ClosingDEBS Closing at Sala d'Actes, Vertex Building

15:50 40m Day closing		Closing DEBS Closing

15:50 - 17:00	Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216

15:50 70m Other		Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich

15:50 - 17:00	Engineering Static Analyzers with Soufflé (4)PLDI Tutorials at Vertex WS217

15:50 70m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

15:50 - 16:30	DiscussionWCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

15:50 40m Other		Open Discussion: Building Infrastructure for Research and Education WCIRE Milind Kulkarni Purdue University, Samuel Midkiff School of Electrical and Computer Engineering, Purdue University, Louis-Noël Pouchet Colorado State University

15:50 - 17:00	Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219

15:50 70m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

Get Calendar (iCal)

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

Session Calendar (ical)

session-calendar.ics

Detailed Event Calendar (ical)

event-calendar.ics

xWed 2 Apr 03:48

Park Güell

Mare Nostrum

Sagrada Familia

Arena

Station

Sunset

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Program

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

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

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

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

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

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

Park Güell

Mare Nostrum

Sagrada Familia

Arena

Station

Sunset

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Program

Switch Program View

Program Display Configuration

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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

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

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

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

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

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