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

Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations

08:45 - 09:30: ISMM 2017 - Keynote at Aula Master
Chair(s): Ben L. Titzer

08:45 - 09:30
Talk

Xipeng Shen

09:00 - 10:00: ARRAY 2017 - Keynote at Vertex WS218
Chair(s): Andreas Kloeckner

09:00 - 10:00
Talk

Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics

P. Sadayappan

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

09:00 - 09:45
Talk

Hot, Classic, and Unrecognized Problems in Programming Languages

09:45 - 10:30
Talk

Kathryn S McKinley

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

09:00 - 09:10
Talk

Introduction

09:10 - 09:30
Talk

Lightning talks

09:30 - 10:00
Talk

Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software

Daniel Welch

10:00 - 10:30
Talk

Enabling Modular Verification of Concurrent Programs

Alan Weide

09:15 - 09:30: MAPL 2017 - Opening at Vertex WS219

09:15 - 09:30
Day opening

Introduction and Welcome

Tatiana Shpeisman, Justin Gottschlich

09:30 - 10:30: MAPL 2017 - Keynote at Vertex WS219

09:30 - 10:30
Talk

Programming by Examples: PL Meets ML

Sumit Gulwani

09:30 - 10:30: SOAP - Points-to Analysis at Vertex WS216

09:30 - 09:50
Talk

Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction

Jihyeok Park, Xavier Rival, Sukyoung Ryu

A Datalog Model of Must-Alias Analysis

09:50 - 10:10
Talk

George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis

An Efficient Tunable Selective Points-to Analysis for Large Codebases

10:10 - 10:30
Talk

Behnaz Hassanshahi, Raghavendra Kagalavadi, Paddy Krishnan, Bernhard Scholz, Yi Lu

NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications

09:30 - 10:30: ISMM 2017 - Session 1: Garbage Collection at Aula Master
Chair(s): Hannes Payer

09:30 - 10:00
Talk

Rodrigo Bruno, Luís Picciochi Oliveira, Paulo Ferreira

10:00 - 10:30
Talk

Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures

Albert Mingkun Yang, Tobias Wrigstad

10:00 - 10:30: ARRAY 2017 - Morning talks 1 at Vertex WS218
Chair(s): Andreas Kloeckner

10:00 - 10:30
Talk

Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations

Florian Biermann, Peter Sestoft

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

10:30 - 11:00
Coffee break

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

10:30 - 11:00
Coffee break

Static Analysis of Java ReflectionInvited Talk

11:00 - 11:45: SOAP - Invited Speaker - Jingling Xue at Vertex WS216

11:00 - 11:45
Talk

Jingling Xue

11:00 - 12:00: MAPL 2017 - Languages and Frameworks at Vertex WS219

11:00 - 11:30
Talk

A Computational Model for TensorFlow (An Introduction)

Martin Abadi, Michael Isard, Derek Murray

11:30 - 12:00
Talk

Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications

Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner

11:00 - 12:30: ARRAY 2017 - Morning talks 2 at Vertex WS218
Chair(s): Martin Elsman

11:00 - 11:30
Talk

An ELI-to-C Compiler: Design, Implementation and Performance

Hanfeng Chen, Wai-Mee Ching, Laurie Hendren

Array Programming in Whiley

11:30 - 12:00
Talk

David Pearce

Flexible Data Views: Design and Implementation

12:00 - 12:30
Talk

Leo Osvald, Tiark Rompf

P4: Programming the Network Data Plane

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

11:00 - 12:30
Other

Nate Foster, Cole Schlesinger, Calin Cascaval

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

11:00 - 11:45
Talk

What is research and how to do it? Thinking globally and acting locally.

Michael Hicks

11:45 - 12:30
Talk

Program synthesis

Armando Solar-Lezama

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

11:00 - 11:30
Talk

Invited Talk: The Story of WALA at Watson and Beyond

Julian Dolby

11:30 - 12:00
Talk

Analysis and Verification of Rich Typestate Properties for Complex Programs

Ashish Mishra

12:00 - 12:30
Talk

Efficient Run-Times for Sound Gradual Typing

Fabian Muehlboeck

11:00 - 12:30: ISMM 2017 - Session 2: Clever Data Tricks at Aula Master
Chair(s): Michael Bond

11:00 - 11:30
Talk

A Marshalled Data Format for Pointers in Relocatable Data Blocks

Nick Vrvilo, Lechen Yu, Vivek Sarkar

11:30 - 12:00
Talk

Flexible and Efficient Memory Object Metadata

Zhengyang Liu, John Criswell

12:00 - 12:30
Talk

Shadow State Encoding for Efficient Monitoring of Block-level Properties

Kostyantyn Vorobyov, Julien Signoles, Nikolai Kosmatov

11:45 - 12:30: SOAP - Modular Analysis at Vertex WS216

11:45 - 12:07
Talk

SootKeeper: Runtime Reusability for Modular Static Analysis

Florian Kübler, Patrick Müller, Ben Hermann

DOI Pre-print

12:07 - 12:30
Talk

Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses

Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis

DOI Pre-print File Attached

12:00 - 12:30: MAPL 2017 - Debugging, Analysis, and Verification at Vertex WS219

12:00 - 12:30
Talk

Debugging Probabilistic Programs

Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S McKinley

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

12:30 - 14:00
Lunch

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

12:30 - 13:30
Lunch

Invited Talk: What Lies Beyond a PhD

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

13:30 - 14:00
Talk

Sarah Nadi

14:00 - 14:30
Talk

Verifiable, reusable, yet useful conditioning

Praveen Narayanan

14:30 - 15:00
Talk

Improving Warmup in Meta-Traced Virtual Machines

Jasper Schulz

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

14:00 - 15:30
Other

Bug detection in JavaScript web apps using the SAFE framework

Sukyoung Ryu, Alexander Jordan, Dongsun Kim

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

14:00 - 14:30
Talk

Combining the Logical and the Probabilistic in Program Analysis

Xin Zhang, Xujie Si, Mayur Naik

14:30 - 15:00
Talk

Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools

Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, Adam Porter

15:00 - 15:30
Talk

Verified Perceptron Convergence Theorem

Charlie Murphy, Gordon Stewart

14:00 - 14:45: SOAP - Invited Speaker - Julian Dolby at Vertex WS216

14:00 - 14:45
Talk

WALA EverywhereInvited Talk

Julian Dolby

Invited talk: APLicative Programming with Naperian Functors

14:00 - 15:00: ARRAY 2017 - Invited talk at Vertex WS218
Chair(s): David Padua

14:00 - 15:00
Talk

Jeremy Gibbons

Pre-print File Attached

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

14:00 - 14:45
Talk

Preventing Information Flow by Construction

Jean Yang

14:45 - 15:30
Talk

Giving good talks

Ben Wiedermann

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

14:00 - 14:30
Talk

Analyzing Memory Management Methods on Integrated CPU-GPU Systems

Mohammad Dashti, Alexandra (Sasha) Fedorova

14:30 - 15:00
Talk

Continuous Checkpointing of HTM Transactions in NVM

Ellis Giles, Kshitij Doshi, Peter Varman

15:00 - 15:30
Talk

RTHMS: A Tool for Data Placement on Hybrid Memory System

Ivy Bo Peng, Roberto Gioiosa, Gokcen Kestor, Stefano Markidis, Pietro Cicotti, Erwin Laure

14:45 - 15:30: SOAP - Soundness and Precision at Vertex WS216

14:45 - 15:07
Talk

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Esben Andreasen, Anders Møller, Benjamin Barslev Nielsen

On the Construction of Soundness Oracles

15:07 - 15:30
Talk

Jens Dietrich, Li Sui, Shawn Rasheed, Amjed Tahir

DOI Media Attached

15:00 - 15:30: ARRAY 2017 - Afternoon talks 1 at Vertex WS218
Chair(s): David Padua

15:00 - 15:30
Talk

Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations

Laurent Plagne, Kavoos Bojnourdi

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

15:00 - 15:30
Coffee break

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

15:30 - 16:00
Coffee break

Compilation of Stream Programs for Heterogeneous Architectures

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

15:30 - 16:00
Talk

Rajesh Thakur

16:00 - 16:30
Talk

Introspective Intrusion Detection for Popular Software Platforms

Byron Hawkins

16:30 - 17:00
Talk

Privacy-aware operator placement

Mirko Köhler

17:00 - 17:40
Talk

How to get your Ph.D. DONE

Eric Jul

17:40 - 17:50
Talk

Round up by the academic panel

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

16:00 - 16:30
Talk

Efficient Array Slicing on the Intel Xeon Phi Coprocessor

Benjamin Andreassen, Jan Christian, Lasse Natvig

Modular Array-based GPU Computing in a Dynamically-typed Language

16:30 - 17:00
Talk

Matthias Springer, Peter Wauligmann, Hidehiko Masuhara

HPTT: A High-Performance Tensor Transposition C++ Library

17:00 - 17:30
Talk

Paul Springer, Tong Su, Paolo Bientinesi

Hermes: Assessment and Creation of Effective Test Corpora

16:00 - 16:20: SOAP - Benchmarking at Vertex WS216

16:00 - 16:20
Talk

Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini

DOI Pre-print File Attached

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

16:00 - 18:00
Other

Bug detection in JavaScript web apps using the SAFE framework

Sukyoung Ryu, Alexander Jordan, Dongsun Kim

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

16:00 - 16:45
Talk

Formal methods research: The what, the why and the how

Roopsha Samanta

16:45 - 17:45
Other

Career paths in Computer Science

Stephen Freund, Martin Huschenbett, Kathryn S McKinley, Roopsha Samanta

16:00 - 17:30: ISMM 2017 - Session 4: A Deeper Look at Aula Master
Chair(s): Steve Blackburn

16:00 - 16:30
Talk

"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis

Vini Kanvar, Uday P. Khedker

16:30 - 17:00
Talk

A Refinement Hierarchy for Free List Memory Allocators

Bin Fang, Mihaela Sighireanu

17:00 - 17:30
Talk

Avoiding Consistency Exceptions Under Strong Memory Consistency Models

Minjia Zhang, Swarnendu Biswas, Michael Bond

16:00 - 16:45: MAPL 2017 - Town Hall Discussion at Vertex WS219

16:00 - 16:45
Other

Town Hall Discussion

16:20 - 18:00: SOAP - Open Discussion at Vertex WS216

16:20 - 18:00
Meeting

Open Discussion

16:30 - 18:00: ECOOP Summer School - S1 at Vertex WS217

16:30 - 18:00
Talk

Introduction Session

Jan Vitek

16:45 - 17:00: MAPL 2017 - Closing at Vertex WS219

16:45 - 17:00
Day closing

Concluding Remarks

Tatiana Shpeisman, Justin Gottschlich

17:30 - 18:00: ARRAY 2017 - Closing / Discussion at Vertex WS218
Chair(s): Martin Elsman, David Padua, Andreas Kloeckner

17:30 - 18:00
Day closing

Closing / Discussion

Mon 19 Jun

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

08:00 - 09:00
Registration

We Software People are not Worthy - All Hail the Hardware Gods

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

09:00 - 10:30

DEBS Workshop

09:00 - 10:30: ICOOOLPS 2017 - Morning I at Vertex WS216
Chair(s): Mario Wolczko

09:00 - 09:10
Talk

Workshop Welcome

Mario Wolczko

09:10 - 10:30
Talk

Sylvan Clebsch

09:00 - 09:05: PLDI Invited Speakers - Welcome at Auditorium, Vertex Building
Chair(s): Martin Vechev, Albert Cohen

09:00 - 09:05
Day opening

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

09:05 - 10:00
Talk

What to Leave Implicit

Martin Odersky

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

09:05 - 10:00
Talk

What to Leave Implicit

Martin Odersky

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

10:00 - 10:30
Other

1' Pitches of Monday

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

10:30 - 11:00
Coffee break

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

10:30 - 10:50
Coffee break

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

10:30 - 11:00
Coffee break

Flow Reloaded: New Challenges and New Opportunities

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

10:30 - 11:10
Talk

Avik Chaudhuri

11:20 - 12:00
Talk

Moving Fast with High Reliability: Program Analysis at Uber

Manu Sridharan

12:10 - 12:50
Talk

The Practice and Theory of TLA+

Ron Pressler

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

10:30 - 11:10
Talk

Impromptu: A Lightweight, dependently-typed async framework for Scala

Jon Pretty

11:20 - 12:00
Talk

Centrifuge : Data quality in Spark without the costs!

Jonathan Winandy

12:10 - 12:50
Talk

Angelina Ballerina Learns About Memory Allocation

Allison McMillan

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

10:30 - 11:10
Talk

The Programmer's Guide to Ideology

Silvia Moura Pina

11:20 - 12:00
Talk

Composable Caching in Swift

Brandon Kase

12:10 - 12:50
Talk

Building Web Apps with Reason

Brandon Dail

10:50 - 12:30: PLDI Research Papers - Compiler Optimizations at Aula Master
Chair(s): Uday Bondhugula

10:50 - 11:15
Talk

Cache Locality Optimization for Recursive Programs

Jonathan Lifflander, Sriram Krishnamoorthy

11:15 - 11:40
Talk

Fusing Effectful Comprehensions

Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi

11:40 - 12:05
Talk

Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction

Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen

ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM

12:05 - 12:30
Talk

David Menendez, Santosh Nagarakatte

DemoMatch: API Discovery from Demonstrations

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

10:50 - 11:15
Talk

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama

Synthesizing Program Input Grammars

11:15 - 11:40
Talk

Yaniv David, Nimrod Partush, Eran Yahav

11:40 - 12:05
Talk

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling

12:05 - 12:30
Talk

Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett

JaVerT: a logic-based tool for JavaScript Verification

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

11:00 - 12:30

DEBS Workshop

11:00 - 12:30: JSTools 2017 - Morning at Vertex WS218
Chair(s): Julian Dolby

11:00 - 11:30
Talk

José Santos

To Type or Not to Type: Quantifying Detectable Bugs in JavaScript

11:30 - 12:00
Talk

Zheng Gao

12:00 - 12:30
Talk

Testing and Evolving TypeScript Declaration Files with Program Analysis

Anders Møller

11:00 - 12:30: ICOOOLPS 2017 - Morning II at Vertex WS216
Chair(s): Elisa Gonzalez Boix

11:00 - 11:30
Talk

dart2java: Running Dart in Java-based Environments

Matthias Springer, Andrew Krieger, Stanislav Manilov, Hidehiko Masuhara

VM Wrapping - Fake it till you make it

11:30 - 12:00
Talk

Johannes Henning, Tim Felgentreff, Robert Hirschfeld

A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability

12:00 - 12:30
Talk

Guido Chari, Diego Garbervetsky, Stefan Marr

Spencer: Tracing as a Service

11:00 - 12:30: IWACO 2017 - Morning Session at Vertex WS217

11:00 - 11:30
Talk

Stephan Brandauer

11:30 - 12:00
Talk

Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.

Alex Potanin

12:00 - 12:30
Talk

Reference Capabilities in Practice: Examining Real-World Pony Code

Sylvan Clebsch

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

12:30 - 14:00
Lunch

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

12:30 - 14:00
Lunch

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

12:30 - 14:00
Lunch

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

12:50 - 14:00
Lunch

BCoz: Effective Performance Debugging for Web Applications

14:00 - 15:30: JSTools 2017 - Afternoon at Vertex WS218
Chair(s): Christian Hammer

14:00 - 14:30
Talk

John Vilk

Repairing Event Race Errors by Controlling Nondeterminism

14:30 - 15:00
Talk

Frank Tip

15:00 - 15:30
Talk

Static Analysis of CommonJS Modules

Max Schlüter

14:00 - 15:30: ICOOOLPS 2017 - Afternoon I at Vertex WS216
Chair(s): Edd Barrett

14:00 - 15:00
Talk

Can Compiler Magic Ever Be Explained?

Eric Sedlar, Thomas Wuerthinger

15:00 - 15:30
Talk

Code Generation in Serializers and Comparators of Apache Flink

Gábor Horváth, Norbert Pataki, Márton Balassi

Aliasing, Capabilities and Ownership in Rust

14:00 - 15:30: IWACO 2017 - Afternoon Session at Vertex WS217

14:00 - 14:30
Talk

Felix Klock

14:30 - 15:00
Talk

Introducing Ownership Type Constraints to UML/OCL

Jagadeeswaran Thangaraj, Senthil Kumaran

Towards Reasonable Ownership

15:00 - 15:30
Talk

Anya Helene Bagge, Kristoffer Haugsbakk, Vadim Zaytsev

BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs

14:00 - 15:40: PLDI Research Papers - Concurrency Analysis at Aula Master
Chair(s): Jeff Huang

14:00 - 14:25
Talk

Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti

14:25 - 14:50
Talk

BigFoot: Static Check Placement for Dynamic Race Detection

Dustin Rhodes, Cormac Flanagan, Stephen Freund

14:50 - 15:15
Talk

Dynamic Race Prediction in Linear Time

Dileep Kini, Umang Mathur, Mahesh Viswanathan

Systematic Black-Box Analysis of Collaborative Web Applications

15:15 - 15:40
Talk

Marina Billes, Anders Møller, Michael Pradel

Consistent Stream Processing

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

14:00 - 14:20
Talk

Lorenzo Affetti

14:20 - 14:40
Talk

A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context

Guenter Hesse, Christoph Matthies, Benjamin Reissaus

14:40 - 15:00
Talk

Raphtory: Decentralised Streaming for Temporal Graphs

Benjamin Steer, Félix Cuadrado, Richard Clegg

15:00 - 15:20
Talk

Large-Scale Stream Graph Processing

Domagoj Margan

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

14:00 - 14:25
Talk

Bringing the Web up to Speed with WebAssembly

Andreas Haas, Andreas Rossberg, Derek Schuff, Ben L. Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman

Miniphases: Compilation using Modular and Efficient Tree Transformations

14:25 - 14:50
Talk

Dmytro Petrashko, Ondřej Lhoták, Martin Odersky

Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking

14:50 - 15:15
Talk

Anthony Canino, Yu David Liu

Simple, fast and safe manual memory management

15:15 - 15:40
Talk

Piyus Kedia, Manuel Costa, Matthew Parkinson, Kapil Vaswani, Dimitrios Vytiniotis

Compiler Verification for a Multi-Language World

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

14:00 - 14:50
Talk

FP is Dead: Long Live FP

Brian Goetz

14:00 - 15:40: ECOOP Summer School - S2A at Sala Agora

14:00 - 15:40
Talk

Amal Ahmed

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

15:00 - 15:40
Talk

Don't Write Tests!

John Hughes

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

15:00 - 15:40
Talk

Clojure Transducers In The Wild

Renzo Borgatti

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

15:00 - 15:40
Talk

Carpenters & Cartographers

Valentin Kasas

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

15:30 - 16:00
Coffee break

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

15:30 - 16:00
Coffee break

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

15:40 - 16:10
Coffee break

WebPol: Fine-grained Information Flow Policies for Web Browsers

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

15:40 - 16:10
Coffee break

Coffee break

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

16:00 - 16:30
Talk

Christian Hammer

16:00 - 18:00: ICOOOLPS 2017 - Afternoon II at Vertex WS216
Chair(s): Olivier Zendra

16:00 - 17:00
Other

Panel: Do new Computing Environments lead to new Language Constructs?

Eric Jul, Edd Barrett, Steve Blackburn, Ben L. Titzer

17:00 - 17:30
Talk

Diff Graphs for a fast Incremental Pointer Analysis

Jakob Krainz, Michael Philippsen

A Formalization IDE Integrated with a Verifying Compiler

17:30 - 18:00
Demonstration

Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman

Property-based routing in clustered message brokers for CPS

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

16:00 - 16:20
Talk

Ole Meyer, Julius Ollesch, Stefan Gries, Florian Wessling, Volker Gruhn

16:20 - 16:40
Talk

An Embedded DSL Framework for Distributed Embedded Systems

Adrian Mizzi, Joshua Ellul, Gordon Pace

16:40 - 17:00
Talk

Loosely Coupled Approach for Web-Based Collaborative 3D Design

Caroline Desprat, Benoît Caudesaygues, Hervé Luga, Jean-Pierre Jessel

17:00 - 17:20
Talk

Visualising complex event hierarchies using relevant domain ontologies

Riley Perry, Cat Kutay, Fethi Rabhi

16:00 - 18:00: IWACO 2017 - Keynote Session at Vertex WS217

16:00 - 16:45
Talk

Adding Safe Manual Memory Management to .NET

Dimitrios Vytiniotis

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

16:10 - 16:35
Talk

Achieving High Coverage for Floating-point Code via Unconstrained Programming

Zhoulai Fu, Zhendong Su

Instruction Punning: Lightweight Instrumentation for x86-64

16:35 - 17:00
Talk

Buddhika Chamith, Luke Dalessandro, Bo Joel Svensson, Ryan R. Newton

Low Overhead Dynamic Binary Translation on ARM

17:00 - 17:25
Talk

Amanieu d'Antras, Cosmin Gorgovan, Jim Garside, Mikel Lujan

Skeletal Program Enumeration for Rigorous Compiler Testing

17:25 - 17:50
Talk

Qirun Zhang, Chengnian Sun, Zhendong Su

Winning the War on Error: Solving the Halting Problem and Curing Cancer

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

16:10 - 16:50
Talk

Matthew Might

17:00 - 17:40
Talk

Rust: Putting Ownership to Use

Nicholas Matsakis

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

16:10 - 16:50
Talk

How types can turn a SQL interpreter into a SQL compiler

Tiark Rompf

17:00 - 17:40
Talk

Orchestrate ING with Petri Net

Adil Akhter

17:50 - 18:30
Talk

Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API

Manuel Chakravarty

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

16:10 - 16:50
Talk

Profunctor Optics: Modular Data Accessors

Jeremy Gibbons

17:00 - 17:40
Talk

Making decentralisation available for all

Martin Kleppmann

17:50 - 18:30
Talk

Reactive Programming in the Browser with Scala.js and PureScript

Luka Jacobowitz

16:10 - 17:50: ECOOP Summer School - S2B at Sala Agora

16:10 - 17:50
Talk

Compiler Verification for a Multi-Language World

Amal Ahmed

16:10 - 17:50: PLDI Research Papers - Static Analysis at Aula Master
Chair(s): Loris D'Antoni

16:10 - 16:35
Talk

Compositional Recurrence Analysis Revisited

Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas Reps

Context Transformations for Pointer Analysis

16:35 - 17:00
Talk

Rei Thiessen, Ondřej Lhoták

Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata

17:00 - 17:25
Talk

Tian Tan, Yue Li, Jingling Xue

Static Deadlock Detection for Asynchronous C# Programs

17:25 - 17:50
Talk

Anirudh Santhiar, Aditya Kanade

TensorFlow considered as a programming language

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

17:55 - 18:50
Talk

Martin Abadi

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

17:55 - 18:50
Talk

PLDI Keynote - TensorFlow considered as a programming language

Martin Abadi

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

19:30 - 22:00
Dinner

Dinner

Tue 20 Jun

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

08:00 - 09:00
Registration

Software Model Checking: A Promising Approach to Verify Mobile App Security

09:00 - 10:30: FTfJP 2017 - A at Vertex WS217
Chair(s): Radu Grigore

09:30 - 09:50
Talk

Irina Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Formal Analysis of Object-Oriented Mograms

09:50 - 10:25
Talk

Moussa Amrani, Pierre Yves Schobbens

10:25 - 10:30
Talk

Towards a Java Subtyping Operad

Moez A. AbdelGawad

Complex Event Recognition Languages

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

09:00 - 10:30
Talk

Alexander Artikis, Alessandro Margara, Martin Ugarte, Stijn Vansummeren, Matthias Weidlich

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

09:00 - 09:50
Talk

Elixir

José Valim

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

09:00 - 09:15
Day opening

Keynote on Context-Oriented Language Engineering

09:15 - 10:15
Talk

Tijs van der Storm

10:15 - 10:30
Other

Discussion

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

09:00 - 10:30
Talk

Sliding-Window Aggregation Algorithms

Martin Hirzel, Scott Schneider, Kanat Tangwongsan

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

09:00 - 09:50
Talk

Idioms for building distributed fault-tolerant applications with Elixir

José Valim

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

09:50 - 10:25
Other

1' Pitches of Tuesday and Wednesday

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

10:25 - 10:50
Coffee break

Building Tools and Languages for Terabyte Scale Biology: A Call to Action

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

10:25 - 11:05
Talk

Daniel King

11:15 - 11:55
Talk

Preventing Information Leaks by Construction

Jean Yang

12:05 - 12:45
Talk

The Sharp Edges of Leaky Abstraction

Mark Allen

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

10:25 - 11:05
Talk

The Joy of Vector Programming: Why Vector Programming Matters

Dave Thomas

11:15 - 11:55
Talk

Helping communities & products thrive by fostering empathy

Erik Romijn

12:05 - 12:45
Talk

The CernVM File System - Beyond Static Content Distribution

Radu Popescu

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

10:25 - 11:05
Talk

Grammar-based language modes for text editors

Marijn Haverbeke

11:15 - 11:55
Talk

Scalable cross-references across languages

Luke Zarko

12:05 - 12:45
Talk

There are no BFT Fans Anymore... About Secure Eventual Consistency

Ali Shoker

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

10:30 - 11:00
Coffee break

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

10:30 - 11:00
Coffee break

Rust: Ownership in practice

10:50 - 12:30: ECOOP Summer School - S3A at Sala Agora

10:50 - 12:30
Talk

Nicholas Matsakis

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

10:50 - 11:15
Talk

Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Automatic Program Inversion using Symbolic Transducers

11:15 - 11:40
Talk

Qinheping Hu, Loris D'Antoni

Control-Flow Recovery from Partial Failure Reports

11:40 - 12:05
Talk

Peter Ohmann, Alexander L. Brooks, Loris D'Antoni, Ben Liblit

Rigorous Analysis of Software Countermeasures against Cache Attacks

12:05 - 12:30
Talk

Goran Doychev, Boris Köpf

Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples

10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering
Chair(s): Sasa Misailovic

10:50 - 11:15
Talk

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri

Network Configuration Synthesis with Abstract Topologies

11:15 - 11:40
Talk

Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walker

Synthesizing Highly Expressive SQL Queries from Input-Output Examples

11:40 - 12:05
Talk

Chenglong Wang, Alvin Cheung, Rastislav Bodik

Synthesizing Memory Models from Framework Sketches and Litmus Tests

12:05 - 12:30
Talk

James Bornholt, Emina Torlak

A Coq-based synthesis of Scala programs which are correct-by-construction

11:00 - 12:30: FTfJP 2017 - B at Vertex WS217
Chair(s): Santosh Nagarakatte

11:00 - 11:20
Talk

Youssef El Bakouny, Tristan Crolard, Dani Mezher

Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)

11:20 - 12:30
Talk

Derek Dreyer

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

11:00 - 12:30
Talk

Complex Event Recognition Languages

Alexander Artikis, Alessandro Margara, Martin Ugarte, Stijn Vansummeren, Matthias Weidlich

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

11:00 - 12:30
Talk

Data Streaming and its Application to Stream Processing

Leonardo Querzoni, Nicolo Rivetti

11:00 - 12:30: PMLDC 2017 - Morning Session at Vertex WS208

11:00 - 12:00
Talk

Edge Compute: The First 5000 Years

Tyler McMullen

12:00 - 12:30
Talk

On the Design of Distributed Programming Models

Christopher Meiklejohn

The Declarative Nature of Implicit Layer Activation

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

11:00 - 11:30
Talk

Stefan Ramson, Jens Lincke, Robert Hirschfeld

11:30 - 12:00
Talk

Push-based Reactive Layer Activation in Context-Oriented Programming

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

12:00 - 12:30
Talk

Petri-Net Based Testing Environment for Context-Oriented Programming

Harumi Watanabe, Nobuhiko Ogura

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

12:30 - 14:00
Lunch

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

12:30 - 14:00
Lunch

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

12:30 - 14:00
Lunch

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

12:35 - 13:50
Lunch

Machine learning systems with privacy and for privacy: TensorFlow & PATE-G

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

13:50 - 14:30
Talk

Martín Abadi

14:40 - 15:20
Talk

Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow

Peter Hawkins

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

13:50 - 14:30
Talk

Modular Composition of Reactive Applications

Mira Mezini

14:40 - 15:20
Talk

On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems

Sztefan Edwards

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

13:50 - 14:30
Talk

Babelfish: Universal Code Parsing Server

Santiago M. Mola

14:40 - 15:20
Talk

Channels, Concurrency, and Cores: A new Concurrent ML implementation

Andy Wingo

14:00 - 15:30: PMLDC 2017 - Afternoon Session at Vertex WS208

14:00 - 14:30
Talk

Monotonicity Types for Distributed Dataflow

Kevin Clancy, Heather Miller

Multi-view data types for scalable concurrency in the multi-core era

14:30 - 15:00
Talk

Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero

The Single-Writer Principle in CRDT Composition

15:00 - 15:30
Talk

Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero

Generic Approach to Certified Static Checking of Module-like Constructs

14:00 - 15:30: FTfJP 2017 - C at Vertex WS217
Chair(s): Martin Berger

14:00 - 14:20
Talk

Julia Belyakova

Tracing sharing in an imperative pure calculus

14:20 - 14:55
Talk

Paola Giannini, Marco Servetto, Elena Zucca

14:55 - 15:30
Talk

Mutable WadlerFest DOT

Marianna Rapoport, Ondřej Lhoták

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

14:00 - 14:25
Talk

Compiling without continuations

Luke Maurer, Paul Downen, Zena M. Ariola, Simon Peyton Jones

FunTAL: Reasonably Mixing a Functional Language with Assembly

14:25 - 14:50
Talk

Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

14:50 - 15:15
Talk

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Richard A. Eisenberg, Simon Peyton Jones

15:15 - 15:40
Talk

Levity Polymorphism

Human Body Related Event Processing

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

14:00 - 15:30
Talk

Opher Etzion

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

14:00 - 14:25
Talk

Synthesis of Divide and Conquer Parallelism for Loops

Azadeh Farzan, Victor Nicolet

Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates

14:25 - 14:50
Talk

Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin Oancea

Gradual Synthesis for Static Parallelization

14:50 - 15:15
Talk

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodik

Verifying invariants of lock-free data structures with rely-guarantee and refinement type

15:15 - 15:40
Talk

Colin Gordon, Michael D. Ernst, Dan Grossman, Matthew Parkinson

Reflections on Almost Two Decades of Research into Stream Processing

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

14:00 - 15:30
Talk

Kyumars Sheykh Esmaili

14:00 - 15:40: ECOOP Summer School - S3B at Sala Agora

14:00 - 15:40
Talk

Rust: Ownership in practice

Nicholas Matsakis

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

14:00 - 14:30
Talk

ContextROS: Context-Oriented Programming for the Robot Operating System

Yuta Saeki, Ikuta Tanigawa, Kenji Hisazumi, Akira Fukuda

14:30 - 15:00
Talk

IoT Robot Simulator and Framework for Context-Oriented Programming

Ikuta Tanigawa, Kenji Hisazumi, Nobuhiko Ogura, Harumi Watanabe, Akira Fukuda

15:00 - 15:30
Talk

Peace COrP: Learning to solve conflicts between contexts

Nicolás Cardozo, Ivana Dusparic, Jorge H. Castro

Media Attached File Attached

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

15:30 - 16:00
Coffee break

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

15:30 - 16:00
Coffee break

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

15:30 - 16:00
Coffee break

Coffee break

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

15:40 - 16:10
Coffee break

Consistency Types for Safe and Efficient Distributed Programming

16:00 - 18:00: FTfJP 2017 - D at Vertex WS217
Chair(s): Radu Grigore

16:00 - 16:20
Talk

Alessandro Margara, Guido Salvaneschi

16:20 - 16:55
Talk

Correctness of Partial Escape Analysis for Multithreading Optimization

Dustin Rhodes, Cormac Flanagan, Stephen Freund

16:55 - 17:30
Talk

Parametric trace expressions for runtime verification of Java-like programs

Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi

16:00 - 18:00: PMLDC 2017 - Evening Session at Vertex WS208

16:00 - 17:00
Talk

Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything.

Philippe Dobbelaere

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

16:00 - 17:30
Talk

Human Body Related Event Processing

Opher Etzion

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

16:00 - 18:00
Other

Discussion

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

16:00 - 16:40
Talk

Pony: 714 Days Later

Sylvan Clebsch

16:50 - 17:30
Talk

Finding and Preventing Bugs in JavaScript Bindings

Deian Stefan

17:40 - 18:20
Talk

Reflex: Reactive Programming at Facebook

Julien Verlaguet

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

16:00 - 16:40
Talk

Computational Musicology, ????, Profit

Chris Ford

16:50 - 17:30
Talk

Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler

Jurriaan Hage

17:40 - 18:20
Talk

With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections

Michael Steindorfer

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

16:00 - 16:40
Talk

Scope Graphs: A Fresh Look at Name Binding in Programming Languages

Eelco Visser

Media Attached File Attached

16:50 - 17:30
Talk

Making Science Reproducible with Functional Programming Concepts

Martin Kavalar

17:40 - 18:20
Talk

Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs

Julia Nguyen

16:10 - 17:00: PLDI Research Papers - Correctness at Actes, Civil Engineering
Chair(s): Joseph Devietti

16:10 - 16:35
Talk

Repairing Sequential Consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer

Taming Undefined Behavior in LLVM

16:35 - 17:00
Talk

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes

A Formally Verified Compiler for Lustre

16:10 - 17:00: PLDI Research Papers - Verified Computation at Aula Master
Chair(s): Alvin Cheung

16:10 - 16:35
Talk

Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg

Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)

16:35 - 17:00
Talk

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Phi-Diep Bui, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Ruemmer

Program Chair report and SIGPLAN Town Hall meeting

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

17:00 - 18:00

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

17:30 - 20:00

Reception and SRC posters

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

18:30 - 19:20
Talk

Scripting with Lua

Roberto Ierusalimschy

Wed 21 Jun

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

08:00 - 09:00
Registration

Probabilistic Programming and Inference Compilation, or, How I Learned to Stop Worrying and Love Deep Networks

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

09:00 - 09:55
Talk

Frank Wood

09:00 - 09:15: LCTES 2017 - Opening at Vertex WS208

09:00 - 09:15
Day opening

Opening

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

09:00 - 09:30
Day opening

Static Analysis for Improving Software Performance, Safety and Security

09:15 - 10:15: LCTES 2017 - Keynote 1 at Vertex WS208
Chair(s): Zili Shao

09:15 - 10:15
Talk

Jingling Xue

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

09:30 - 09:50
Talk

Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper)

Suad Sejdovic, Sven Euting, Dominik Riemer, York Sure-Vetter

09:50 - 10:10
Talk

Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper)

Aleksandar Antonic, Martina Marjanovic, Ivana Podnar Zarko

10:10 - 10:30
Talk

The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper)

Piyush Yadav, Umair Ulhassan, Souleiman Hasan, Edward Curry

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

09:55 - 10:20
Coffee break

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

10:15 - 10:50
Coffee break

Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes

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

10:20 - 12:00

SRC presentations

10:20 - 12:00: PLDI Research Papers - Systems and Performance at Auditorium, Vertex Building
Chair(s): Dan Grossman

10:20 - 10:45
Talk

Scott Schneider, Kun-Lung Wu

Practical Partial Evaluation for High-Performance Dynamic Language Runtimes

10:45 - 11:10
Talk

Thomas Wuerthinger, Christian Wimmer, Christian Humer, Andreas Woess, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer

Responsive Parallel Computation: Bridging Competitive and Cooperative Threading

11:10 - 11:35
Talk

Stefan K. Muller, Umut Acar, Robert Harper

StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data

11:35 - 12:00
Talk

Konstantinos Mamouras, Mukund Raghotaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna

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

10:30 - 11:00
Coffee break

AOT Vs. JIT: Impact of Profile Data on Code Quality

10:50 - 12:30: LCTES 2017 - Session 1: Compiler Optimization for Embedded Systems at Vertex WS208
Chair(s): Yi Wang

10:50 - 11:15
Talk

April W. Wade, Prasad Kulkarni, Michael Jantz

11:15 - 11:40
Talk

Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems

Ben Taylor, Vicent Sanz Marco, Zheng Wang

11:40 - 12:05
Talk

Auto-Vectorization for Image Processing DSLs

Oliver Reiche, Christof Kobylko, Frank Hannig, Jürgen Teich

12:05 - 12:30
Talk

Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions

Sheng-Yu Fu, Ding-Yong Hong, Yu-Ping Liu, Jan-Jan Wu, Wei-Chung Hsu

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

11:00 - 11:25
Talk

Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper)

Ruben Mayer, Muhammad Adnan Tariq, Kurt Rothermel

11:25 - 11:50
Talk

Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper)

Kanat Tangwongsan, Martin Hirzel, Scott Schneider

11:50 - 12:10
Talk

Hardware Accelerated Application Integration Processing. (Industry Paper)

Daniel Ritter, Jonas Dann, Norman May, Stefanie Rinderle-Ma

12:10 - 12:30
Talk

Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)

Benjamin Erb, Dominik Meißner, Jakob Pietron, Frank Kargl

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

12:00 - 12:15
Awards

Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards

12:15 - 12:30
Day closing

Closing

Albert Cohen

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

12:30 - 14:00
Lunch

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

12:30 - 14:00
Lunch

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

12:30 - 14:00
Lunch

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

12:30 - 14:00
Lunch

Challenges to Achieving High Availability at Scale

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

14:00 - 15:00
Talk

Wolfram Shulte

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

14:00 - 15:00
Talk

Challenges to Achieving High Availability at Scale

Wolfram Schulte

Accepted posters and posters for all the accepted papers will be presented in this session

14:00 - 15:00: LCTES 2017 - Poster Session at Vertex WS217

14:00 - 15:00
Other

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

15:00 - 15:30
Coffee break

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

15:00 - 15:30
Coffee break

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

15:00 - 15:30
Coffee break

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

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

15:30 - 15:55
Talk

Mikaël Mayer, Jad Hamza, Viktor Kuncak

Link to publication Media Attached File Attached

15:55 - 16:20
Talk

Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Shiyou Huang, Jeff Huang

Link to publication Media Attached File Attached

16:20 - 16:45
Talk

Mailbox Abstractions for Static Analysis of Actor Programs

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Link to publication Pre-print Media Attached

16:45 - 17:10
Talk

What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective

Jeff Huang, Arun Krishnakumar Rajagopalan

Link to publication Media Attached File Attached

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

15:30 - 16:30
Talk

10 Years Time Award

15:30 - 17:10: ECOOP Summer School - S4 at Aula Master

15:30 - 17:10
Talk

Kotlin: the ins and outs of designing a commercial language

Andrey Breslav

Pre-print File Attached

15:30 - 17:10: LCTES 2017 - Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems at Vertex WS208
Chair(s): Bernhard Scholz

15:30 - 15:55
Talk

Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance

Weiwen Jiang, Edwin Sha, Qingfeng Zhuge, Hailiang Dong, Xianzhang Chen

15:55 - 16:20
Talk

Integrated IoT Programming with Selective Abstraction

Gyeongmin Lee, Seonyeong Heo, Bongjun Kim, Jong Kim, Hanjun Kim

16:20 - 16:45
Talk

Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems

Min Zhang, Yunhui Ying

16:45 - 17:10
Talk

Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems

Wenguang Zheng, Hui Wu, Chuanyao Nie

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

16:30 - 17:00
Demonstration

DEBS Demos and Posters

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

17:00 - 20:00
Demonstration

DEBS Demos and Posters

Thu 22 Jun

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

08:00 - 09:00
Registration

Building your own modular static analyzer with Facebook Infer

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

09:00 - 10:00
Other

Dino Distefano, Peter O'Hearn, Sam Blackshear

09:00 - 10:00: ECOOP Invited Speakers - Dahl-Nygaard Senior Prize at Auditorium, Vertex Building
Chair(s): Eric Jul

09:00 - 10:00
Talk

Composing Software in an Age of Dissonance

Gilad Bracha

Lennart Beringer, Adam Chlipala

09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216
Chair(s): Andrew Appel

09:00 - 09:15
Day opening

Introduction to DeepSpec

09:15 - 10:00
Talk

Building Faith in Experts: Applying Formal Verification to Cryptography

Dominic Rizzo

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

09:00 - 10:00
Talk

Blockchain: Distributed Event-based Processing in a Data-Centric World

Richard Hull

09:00 - 10:00: LCTES 2017 - Keynote 2 at Vertex WS208
Chair(s): Vijay Nagarajan

09:00 - 10:00
Talk

Design versus Performance: From Giotto via the Embedded Machine to Selfie

Christoph Kirsch

Refinement Types for Program Verification and Synthesis

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

09:00 - 10:00
Other

Niki Vazou, Nadia Polikarpova, Ranjit Jhala

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

09:00 - 10:00
Other

WALA Hack-A-Thon

Julian Dolby, Karim Ali

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

10:00 - 10:30
Coffee break

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

10:00 - 10:30
Coffee break

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

10:00 - 10:30
Coffee break