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

George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens

DOI File Attached

10:10 - 10:30
Talk

An Efficient Tunable Selective Points-to Analysis for Large Codebases

Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle

DOI File Attached

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

09:30 - 10:00
Talk

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

Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi OliveiraFeedzai, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon

10:00 - 10:30
Talk

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

Albert Mingkun Yang, Tobias WrigstadUppsala University

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

10:00 - 10:30
Talk

Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations

Florian BiermannIT University of Copenhagen, Peter SestoftIT University of Copenhagen

DOI File Attached

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

10:30 - 11:00
Coffee break

Break

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

10:30 - 11:00
Coffee break

Break

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

11:00 - 11:45
Talk

Static Analysis of Java ReflectionInvited Talk

Jingling XueUNSW Australia

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 AbadiGoogle, Michael IsardGoogle, Derek MurrayGoogle

11:30 - 12:00
Talk

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

Tim VieiraJohns Hopkins University, Matthew Francis-LandauThe Johns Hopkins University, Nathaniel Wesley Filardo, Farzad KhorasaniRice University, Jason EisnerThe Johns Hopkins University

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

11:00 - 11:30
Talk

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

Hanfeng ChenMcGill University, Wai-Mee Ching, Laurie HendrenMcGill University, Canada

DOI File Attached

11:30 - 12:00
Talk

Array Programming in Whiley

David PearceVictoria University of Wellington

DOI File Attached

12:00 - 12:30
Talk

Flexible Data Views: Design and Implementation

Leo OsvaldPurdue University, USA, Tiark RompfPurdue University

DOI File Attached

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

11:00 - 12:30
Other

P4: Programming the Network Data Plane

Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks

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 HicksUniversity of Maryland, College Park

11:45 - 12:30
Talk

Program synthesis

Armando Solar-LezamaMIT CSAIL

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 DolbyIBM Thomas J. Watson Research Center

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 BondOhio State University

11:00 - 11:30
Talk

A Marshalled Data Format for Pointers in Relocatable Data Blocks

Nick Vrvilo, Lechen YuRice University, Vivek SarkarRice University, USA

11:30 - 12:00
Talk

Flexible and Efficient Memory Object Metadata

Zhengyang LiuBeijing University of Posts and Telecommunications, John CriswellUniversity of Rochester

12:00 - 12:30
Talk

Shadow State Encoding for Efficient Monitoring of Block-level Properties

Kostyantyn VorobyovCEA LIST, France, Julien SignolesCEA LIST, 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üblerTU Darmstadt, Germany, Patrick MüllerTU Darmstadt, Germany, Ben HermannUniversity of Paderborn

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 TriantafyllouUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens

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 NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 13:30
Lunch

Lunch

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

13:30 - 14:00
Talk

Invited Talk: What Lies Beyond a PhD

Sarah NadiUniversity of Alberta

14:00 - 14:30
Talk

Verifiable, reusable, yet useful conditioning

Praveen NarayananIndiana University, USA

14:30 - 15:00
Talk

Improving Warmup in Meta-Traced Virtual Machines

Jasper SchulzKing's College London

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 RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg

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 ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech

14:30 - 15:00
Talk

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

Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland

15:00 - 15:30
Talk

Verified Perceptron Convergence Theorem

Charlie MurphyPrinceton University, Gordon StewartOhio University

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

14:00 - 14:45
Talk

WALA EverywhereInvited Talk

Julian DolbyIBM Thomas J. Watson Research Center

Media Attached

14:00 - 15:00: ARRAY 2017 - Invited talk at Vertex WS218
Chair(s): David PaduaUniversity of Illinois at Urbana-Champaign

14:00 - 15:00
Talk

Invited talk: APLicative Programming with Naperian Functors

Jeremy GibbonsDepartment of Computer Science, University of Oxford

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 YangCarnegie Mellon University

14:45 - 15:30
Talk

Giving good talks

Ben WiedermannHarvey Mudd College

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

14:00 - 14:30
Talk

Analyzing Memory Management Methods on Integrated CPU-GPU Systems

Mohammad DashtiUniversity of British Columbia, Alexandra (Sasha) FedorovaSimon Fraser University

14:30 - 15:00
Talk

Continuous Checkpointing of HTM Transactions in NVM

Ellis GilesRice University, Kshitij DoshiIntel Corporation, Peter VarmanRice University

15:00 - 15:30
Talk

RTHMS: A Tool for Data Placement on Hybrid Memory System

Ivy Bo PengKTH Royal Institute of Technology, Roberto GioiosaPacific Northwest National Laboratory, Gokcen KestorPacific Northwest National Laboratory, Stefano MarkidisKTH Royal Institute of Technology, Pietro CicottiSan Diego Supercomputer Center, Erwin LaureKTH Royal Institute of Technology

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 AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University

DOI File Attached

15:07 - 15:30
Talk

On the Construction of Soundness Oracles

Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University

DOI Media Attached

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

15:00 - 15:30
Talk

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

Laurent PlagneEDF Lab, Kavoos BojnourdiEDF Lab

DOI File Attached

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

15:00 - 15:30
Coffee break

Break

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

15:30 - 16:00
Coffee break

Break

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

15:30 - 16:00
Talk

Compilation of Stream Programs for Heterogeneous Architectures

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 JulUniversity of Oslo

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. SadayappanOhio State University

16:00 - 16:30
Talk

Efficient Array Slicing on the Intel Xeon Phi Coprocessor

Benjamin AndreassenNorwegian University of Science and Technology, Jan ChristianNorwegian University of Science and Technology, Lasse NatvigNorwegian University of Science and Technology

DOI File Attached

16:30 - 17:00
Talk

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

Matthias SpringerTokyo Institute of Technology, Peter WauligmannTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology

DOI File Attached

17:00 - 17:30
Talk

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

Paul Springer, Tong SuRWTH Aachen, Paolo Bientinesi

DOI File Attached

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

16:00 - 16:20
Talk

Hermes: Assessment and Creation of Effective Test Corpora

Michael ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Ben HermannUniversity of Paderborn, Mira MeziniTU Darmstadt

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 RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg

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 SamantaPurdue University

16:45 - 17:45
Other

Career paths in Computer Science

Stephen FreundWilliams College, Martin HuschenbettJane Street, Kathryn S McKinleyMicrosoft Research, Roopsha SamantaPurdue University

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

16:00 - 16:30
Talk

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

Vini KanvarIndian Institute of Technology (IIT) Bombay, Uday P. Khedker

16:30 - 17:00
Talk

A Refinement Hierarchy for Free List Memory Allocators

Bin FangEast China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France

17:00 - 17:30
Talk

Avoiding Consistency Exceptions Under Strong Memory Consistency Models

Minjia ZhangMicrosoft Research, Swarnendu BiswasUniversity of Texas at Austin, Michael BondOhio State University

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 VitekNortheastern University

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

16:45 - 17:00
Day closing

Concluding Remarks

Tatiana ShpeismanIntel Labs, Justin GottschlichIntel Labs

17:30 - 18:00: ARRAY 2017 - Closing / Discussion at Vertex WS218
Chair(s): Martin ElsmanDepartment of Computer Science, University of Copenhagen, David PaduaUniversity of Illinois at Urbana-Champaign, Andreas KloecknerUniversity of Illinois at Urbana-Champaign

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

Registration

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 WolczkoOracle Labs

09:00 - 09:10
Talk

Workshop Welcome

Mario WolczkoOracle Labs

09:10 - 10:30
Talk

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

Sylvan ClebschImperial College London

09:00 - 09:05: PLDI Invited Speakers - Welcome at Auditorium, Vertex Building
Chair(s): Martin VechevDeepCode and ETH Zurich, Switzerland, Albert CohenINRIA

09:00 - 09:05
Day opening

Welcome

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 OderskyEPFL, Switzerland

Media Attached

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 OderskyEPFL, Switzerland

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

Break

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

10:30 - 10:50
Coffee break

Break

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

10:30 - 11:00
Coffee break

Break

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

10:30 - 11:10
Talk

Flow Reloaded: New Challenges and New Opportunities

Avik ChaudhuriFacebook

11:20 - 12:00
Talk

Moving Fast with High Reliability: Program Analysis at Uber

Manu SridharanUber

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 PrettyPropensive Ltd

11:20 - 12:00
Talk

Centrifuge : Data quality in Spark without the costs!

Jonathan WinandyUnivalence

12:10 - 12:50
Talk

Angelina Ballerina Learns About Memory Allocation

Allison McMillanCollective Idea

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 PinaZalando SE

11:20 - 12:00
Talk

Composable Caching in Swift

Brandon KasePinterest

12:10 - 12:50
Talk

Building Web Apps with Reason

Brandon DailFormidable Labs

10:50 - 12:30: PLDI Research Papers - Compiler Optimizations at Aula Master
Chair(s): Uday BondhugulaIndian Institute of Science

10:50 - 11:15
Talk

Cache Locality Optimization for Recursive Programs

Jonathan Lifflander, Sriram KrishnamoorthyPacific Northwest National Laboratories

11:15 - 11:40
Talk

Fusing Effectful Comprehensions

Olli Saarikivi, Margus VeanesMicrosoft Research, Todd Mytkowicz, Madan MusuvathiMicrosoft Research

11:40 - 12:05
Talk

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

Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University

Media Attached

12:05 - 12:30
Talk

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

David MenendezRutgers University, Santosh NagarakatteRutgers University, USA

Media Attached

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

10:50 - 11:15
Talk

DemoMatch: API Discovery from Demonstrations

Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL

Media Attached

11:15 - 11:40
Talk

Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion

11:40 - 12:05
Talk

Synthesizing Program Input Grammars

Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University

Media Attached

12:05 - 12:30
Talk

Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling

Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University

Media Attached

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 DolbyIBM Thomas J. Watson Research Center

11:00 - 11:30
Talk

JaVerT: a logic-based tool for JavaScript Verification

José Santos

File Attached

11:30 - 12:00
Talk

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

Zheng Gao

12:00 - 12:30
Talk

Testing and Evolving TypeScript Declaration Files with Program Analysis

Anders MøllerAarhus University

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

11:00 - 11:30
Talk

dart2java: Running Dart in Java-based Environments

Matthias SpringerTokyo Institute of Technology, Andrew KriegerUniversity of California, Los Angeles, Stanislav ManilovUniversity of Edinburgh, Hidehiko MasuharaTokyo Institute of Technology

Link to publication DOI File Attached

11:30 - 12:00
Talk

VM Wrapping - Fake it till you make it

Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI

Link to publication DOI File Attached

12:00 - 12:30
Talk

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

Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz

Link to publication DOI File Attached

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

11:00 - 11:30
Talk

Spencer: Tracing as a Service

Stephan BrandauerUppsala University

11:30 - 12:00
Talk

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

Alex PotaninVictoria University of Wellington

12:00 - 12:30
Talk

Reference Capabilities in Practice: Examining Real-World Pony Code

Sylvan ClebschImperial College London

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 14:00
Lunch

Lunch

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

12:50 - 14:00
Lunch

Lunch

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

14:00 - 14:30
Talk

BCoz: Effective Performance Debugging for Web Applications

John VilkUniversity of Massachusetts, Amherst

File Attached

14:30 - 15:00
Talk

Repairing Event Race Errors by Controlling Nondeterminism

Frank TipNortheastern University

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 BarrettKing's College London

14:00 - 15:00
Talk

Can Compiler Magic Ever Be Explained?

Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs

15:00 - 15:30
Talk

Code Generation in Serializers and Comparators of Apache Flink

Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton BalassiHungarian Academy of Sciences

Link to publication DOI File Attached

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

14:00 - 14:30
Talk

Aliasing, Capabilities and Ownership in Rust

Felix Klock

14:30 - 15:00
Talk

Introducing Ownership Type Constraints to UML/OCL

Jagadeeswaran Thangaraj, Senthil Kumaran

File Attached

15:00 - 15:30
Talk

Towards Reasonable Ownership

Anya Helene BaggeUniversity of Bergen, Kristoffer Haugsbakk, Vadim ZaytsevRaincode, Belgium

File Attached

14:00 - 15:40: PLDI Research Papers - Concurrency Analysis at Aula Master
Chair(s): Jeff HuangTexas A&M University

14:00 - 14:25
Talk

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

Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania

14:25 - 14:50
Talk

BigFoot: Static Check Placement for Dynamic Race Detection

Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College

14:50 - 15:15
Talk

Dynamic Race Prediction in Linear Time

Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign

Media Attached

15:15 - 15:40
Talk

Systematic Black-Box Analysis of Collaborative Web Applications

Marina BillesTU Darmstadt, Anders MøllerAarhus University, Michael PradelTU Darmstadt

Media Attached

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

14:00 - 14:20
Talk

Consistent Stream Processing

Lorenzo AffettiPolitecnico di Milano

14:20 - 14:40
Talk

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

Guenter HesseHasso Plattner Institute, Christoph MatthiesHasso Plattner Institute, Benjamin ReissausHasso Plattner Institute

14:40 - 15:00
Talk

Raphtory: Decentralised Streaming for Temporal Graphs

Benjamin SteerQueen Mary University London, Félix CuadradoQueen Mary University of London, Richard CleggQueen Mary University London

15:00 - 15:20
Talk

Large-Scale Stream Graph Processing

Domagoj MarganImperial College London

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

14:00 - 14:25
Talk

Bringing the Web up to Speed with WebAssembly

Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft

Media Attached

14:25 - 14:50
Talk

Miniphases: Compilation using Modular and Efficient Tree Transformations

Dmytro PetrashkoEPFL, Ondřej LhotákUniversity of Waterloo, Canada, Martin OderskyEPFL, Switzerland

Media Attached

14:50 - 15:15
Talk

Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking

Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton

Media Attached

15:15 - 15:40
Talk

Simple, fast and safe manual memory management

Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge

Media Attached

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 GoetzOracle

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

14:00 - 15:40
Talk

Compiler Verification for a Multi-Language World

Amal AhmedNortheastern University, USA

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 HughesChalmers University of Technology

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 BorgattiMailonline

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 Kasasself-employed @ Kanaka

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

15:30 - 16:00
Coffee break

Break

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

15:30 - 16:00
Coffee break

Break

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

15:40 - 16:10
Coffee break

Break

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

WebPol: Fine-grained Information Flow Policies for Web Browsers

Christian HammerUniversity of Potsdam

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 JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle

17:00 - 17:30
Talk

Diff Graphs for a fast Incremental Pointer Analysis

Jakob KrainzFriedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen

Link to publication DOI File Attached

17:30 - 18:00
Demonstration

A Formalization IDE Integrated with a Verifying Compiler

Daniel WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University

Link to publication DOI File Attached

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

16:00 - 16:20
Talk

Property-based routing in clustered message brokers for CPS

Ole MeyerUniversity of Duisburg-Essen, Julius OlleschUniversity of Duisburg-Essen, Stefan GriesUniversity of Duisburg-Essen, Florian WesslingUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen

16:20 - 16:40
Talk

An Embedded DSL Framework for Distributed Embedded Systems

Adrian Mizzi, Joshua EllulUniversity of Malta, Gordon Pace

16:40 - 17:00
Talk

Loosely Coupled Approach for Web-Based Collaborative 3D Design

Caroline DespratIRIT - University of Toulouse, Benoît Caudesaygues, Hervé LugaIRIT - Université Paul Sabatier Toulouse, Jean-Pierre JesselIRIT - Université Paul Sabatier Toulouse

17:00 - 17:20
Talk

Visualising complex event hierarchies using relevant domain ontologies

Riley PerryUNSW, Cat KutayUNSW, Fethi RabhiUNSW

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

16:00 - 16:45
Talk

Adding Safe Manual Memory Management to .NET

Dimitrios VytiniotisMicrosoft Research, Cambridge

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

16:10 - 16:35
Talk

Achieving High Coverage for Floating-point Code via Unconstrained Programming

Zhoulai FuUniversity of California, Davis, Zhendong SuUniversity of California, Davis

Media Attached

16:35 - 17:00
Talk

Instruction Punning: Lightweight Instrumentation for x86-64

Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University

Media Attached

17:00 - 17:25
Talk

Low Overhead Dynamic Binary Translation on ARM

Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Lujan

Media Attached

17:25 - 17:50
Talk

Skeletal Program Enumeration for Rigorous Compiler Testing

Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis

Media Attached

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

16:10 - 16:50
Talk

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

Matthew MightUniversity of Utah, USA

17:00 - 17:40
Talk

Rust: Putting Ownership to Use

Nicholas MatsakisMozilla Corporation

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 RompfPurdue University

17:00 - 17:40
Talk

Orchestrate ING with Petri Net

Adil AkhterING

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 GibbonsDepartment of Computer Science, University of Oxford

17:00 - 17:40
Talk

Making decentralisation available for all

Martin KleppmannUniversity of Cambridge

17:50 - 18:30
Talk

Reactive Programming in the Browser with Scala.js and PureScript

Luka Jacobowitzcodecentric AG

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

16:10 - 17:50
Talk

Compiler Verification for a Multi-Language World

Amal AhmedNortheastern University, USA

16:10 - 17:50: PLDI Research Papers - Static Analysis at Aula Master
Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison

16:10 - 16:35
Talk

Compositional Recurrence Analysis Revisited

Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin-Madison, Ashkan Forouhi BoroujeniUniversity of Wisconsin-Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.

Media Attached

16:35 - 17:00
Talk

Context Transformations for Pointer Analysis

Rei ThiessenUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada

Media Attached

17:00 - 17:25
Talk

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

Tian TanUNSW Australia, Yue LiUNSW Australia, Jingling XueUNSW Australia

Pre-print Media Attached

17:25 - 17:50
Talk

Static Deadlock Detection for Asynchronous C# Programs

Anirudh SanthiarIndian Institute of Science, Aditya KanadeIndian Institute of Science, Bangalore

Media Attached

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

17:55 - 18:50
Talk

TensorFlow considered as a programming language

Martin AbadiGoogle

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 AbadiGoogle

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

Registration

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

09:30 - 09:50
Talk

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

Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK

Pre-print

09:50 - 10:25
Talk

Formal Analysis of Object-Oriented Mograms

Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur

10:25 - 10:30
Talk

Towards a Java Subtyping Operad

Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt

Pre-print

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

09:00 - 10:30
Talk

Complex Event Recognition Languages

Alexander ArtikisUniversity of Pireaus and NCSR "Demokritos", Alessandro MargaraPolitecnico di Milano, Martin UgarteUniversité Libre de Bruxelles, Stijn VansummerenUniversité Libre de Bruxelles, Matthias WeidlichHumboldt-Universtität zu Berlin

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

09:00 - 09:50
Talk

Elixir

José ValimPlataformatec

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

09:00 - 09:15
Day opening

Welcome

09:15 - 10:15
Talk

Keynote on Context-Oriented Language Engineering

Tijs van der StormCWI & University of Groningen

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 HirzelIBM Research, Scott SchneiderIBM Research, Kanat TangwongsanMahidol University International College

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é ValimPlataformatec

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

Break

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

10:25 - 11:05
Talk

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

Daniel KingBroad Institute

11:15 - 11:55
Talk

Preventing Information Leaks by Construction

Jean YangCarnegie Mellon University

12:05 - 12:45
Talk

The Sharp Edges of Leaky Abstraction

Mark AllenAlert Logic

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 ThomasKx Systems

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 PopescuCERN

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 ZarkoGoogle, Inc

12:05 - 12:45
Talk

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

Ali ShokerHASLab/INESC TEC & University of Minho

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

10:30 - 11:00
Coffee break

Break

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

10:30 - 11:00
Coffee break

Break

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

10:50 - 12:30
Talk

Rust: Ownership in practice

Nicholas MatsakisMozilla Corporation

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

10:50 - 11:15
Talk

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

Timos AntonopoulosYale University, Paul GazzilloYale University, Michael HicksUniversity of Maryland, College Park, Eric KoskinenYale University, Tachio TerauchiJAIST, Shiyi WeiUniversity of Maryland, College Park

Media Attached

11:15 - 11:40
Talk

Automatic Program Inversion using Symbolic Transducers

Qinheping HuUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison

Media Attached

11:40 - 12:05
Talk

Control-Flow Recovery from Partial Failure Reports

Peter OhmannUniversity of Wisconsin - Madison, Alexander L. BrooksUniversity of Wisconsin, Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Ben LiblitUniversity of Wisconsin–Madison

Pre-print Media Attached

12:05 - 12:30
Talk

Rigorous Analysis of Software Countermeasures against Cache Attacks

Goran DoychevIMDEA Software Institute, Boris KöpfIMDEA Software Institute, Spain

Media Attached

10:50 - 12:30: PLDI Research Papers - Synthesis at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign

10:50 - 11:15
Talk

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

Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University

Media Attached

11:15 - 11:40
Talk

Network Configuration Synthesis with Abstract Topologies

Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University

Media Attached

11:40 - 12:05
Talk

Synthesizing Highly Expressive SQL Queries from Input-Output Examples

Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington

Media Attached

12:05 - 12:30
Talk

Synthesizing Memory Models from Framework Sketches and Litmus Tests

James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA

Pre-print Media Attached

11:00 - 12:30: FTfJP 2017 - B at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA

11:00 - 11:20
Talk

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

Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon

Pre-print

11:20 - 12:30
Talk

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

Derek DreyerMPI-SWS

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

11:00 - 12:30
Talk

Complex Event Recognition Languages

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 QuerzoniSapienza University Rome, Nicolo RivettiTechnion - Israel Institute of Technology

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

11:00 - 12:00
Talk

Edge Compute: The First 5000 Years

Tyler McMullenFastly

12:00 - 12:30
Talk

On the Design of Distributed Programming Models

Christopher MeiklejohnUniversité catholique de Louvain

File Attached

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

11:00 - 11:30
Talk

The Declarative Nature of Implicit Layer Activation

Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI

11:30 - 12:00
Talk

Push-based Reactive Layer Activation in Context-Oriented Programming

Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology

12:00 - 12:30
Talk

Petri-Net Based Testing Environment for Context-Oriented Programming

Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 14:00
Lunch

Lunch

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

12:35 - 13:50
Lunch

Lunch

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

13:50 - 14:30
Talk

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

Martín AbadiGoogle

14:40 - 15:20
Talk

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

Peter HawkinsGoogle

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 MeziniTU Darmstadt

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 EdwardsnVisium LLC

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. Molasource{d}

14:40 - 15:20
Talk

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

Andy WingoIgalia, S.L.

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

14:00 - 14:30
Talk

Monotonicity Types for Distributed Dataflow

Kevin Clancy, Heather MillerEcole Polytechnique Federale de Lausanne

File Attached

14:30 - 15:00
Talk

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

Deepthi Devaki Akkoorath, José Brandão, Annette BieniusaTechnischen Universität Kaiserslautern, Carlos BaqueroHASLab/INESC TEC & University of Minho

File Attached

15:00 - 15:30
Talk

The Single-Writer Principle in CRDT Composition

Vitor Enes, Paulo Sérgio Almeida, Carlos BaqueroHASLab/INESC TEC & University of Minho

File Attached

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

14:00 - 14:20
Talk

Generic Approach to Certified Static Checking of Module-like Constructs

Julia BelyakovaSouthern Federal University

Pre-print

14:20 - 14:55
Talk

Tracing sharing in an imperative pure calculus

Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova

14:55 - 15:30
Talk

Mutable WadlerFest DOT

Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada

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

14:00 - 14:25
Talk

Compiling without continuations

Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge

Media Attached

14:25 - 14:50
Talk

FunTAL: Reasonably Mixing a Functional Language with Assembly

Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA

Media Attached

14:50 - 15:15
Talk

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington

Media Attached

15:15 - 15:40
Talk

Levity Polymorphism

Richard A. EisenbergBryn Mawr College, USA, Simon Peyton JonesMicrosoft Research, Cambridge

Media Attached

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

14:00 - 15:30
Talk

Human Body Related Event Processing

Opher EtzionYezreel Valley College

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

14:00 - 14:25
Talk

Synthesis of Divide and Conquer Parallelism for Loops

Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto

Media Attached

14:25 - 14:50
Talk

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

Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen

Media Attached

14:50 - 15:15
Talk

Gradual Synthesis for Static Parallelization

Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington

Pre-print Media Attached

15:15 - 15:40
Talk

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

Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK

Pre-print Media Attached

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

14:00 - 15:30
Talk

Reflections on Almost Two Decades of Research into Stream Processing

Kyumars Sheykh EsmailiNokia Bell Labs

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

14:00 - 15:40
Talk

Rust: Ownership in practice

Nicholas MatsakisMozilla Corporation

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 SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University

14:30 - 15:00
Talk

IoT Robot Simulator and Framework for Context-Oriented Programming

Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University

15:00 - 15:30
Talk

Peace COrP: Learning to solve conflicts between contexts

Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland, Jorge H. CastroUniversidad de los Andes

Media Attached File Attached

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

15:30 - 16:00
Coffee break

Break

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

15:30 - 16:00
Coffee break

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

Break

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

16:00 - 16:20
Talk

Consistency Types for Safe and Efficient Distributed Programming

Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt

16:20 - 16:55
Talk

Correctness of Partial Escape Analysis for Multithreading Optimization

Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen FreundWilliams College

16:55 - 17:30
Talk

Parametric trace expressions for runtime verification of Java-like programs

Davide AnconaUniversity of Genova, Angelo Ferrando, Luca FranceschiniDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy

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 DobbelaereNokia Bell Labs

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 EtzionYezreel Valley College

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 ClebschImperial College London

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 VerlaguetFacebook

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 FordThoughtWorks (UK) Ltd.

16:50 - 17:30
Talk

Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler

Jurriaan HageUtrecht University

17:40 - 18:20
Talk

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

Michael SteindorferDelft University of Technology, Netherlands

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 VisserDelft University of Technology

Media Attached File Attached

16:50 - 17:30
Talk

Making Science Reproducible with Functional Programming Concepts

Martin KavalarNextjournal

17:40 - 18:20
Talk

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

Julia NguyenIndiegogo

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

16:10 - 16:35
Talk

Repairing Sequential Consistency in C/C++11

Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS

Media Attached

16:35 - 17:00
Talk

Taming Undefined Behavior in LLVM

Juneyoung LeeSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Chung-Kil HurSeoul National University, Sanjoy DasAzul Systems, David MajnemerGoogle, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research

Media Attached

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

16:10 - 16:35
Talk

A Formally Verified Compiler for Lustre

Timothy BourkeINRIA, Lélio BrunENS/Inria, Pierre-Evariste DagandLIP6/CNRS , Xavier LeroyInria, Marc PouzetÉcole normale supérieure, Lionel RiegCollège de France

Media Attached

16:35 - 17:00
Talk

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

Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Phi-Diep BuiUppsala University, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp RuemmerUppsala University

Media Attached

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

17:00 - 18:00

Program Chair report and SIGPLAN Town Hall meeting

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 IerusalimschyPUC-Rio

Wed 21 Jun

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

08:00 - 09:00
Registration

Registration

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

09:00 - 09:55
Talk

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

Frank WoodUniversity of Oxford

Media Attached

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

Welcome

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

09:15 - 10:15
Talk

Static Analysis for Improving Software Performance, Safety and Security

Jingling XueUNSW Australia

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

09:30 - 09:50
Talk

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

Suad SejdovicFZI Research Center for Information Technology, Sven EutingFZI Research Center for Information Technology, Dominik RiemerFZI Research Center for Information Technology, York Sure-VetterKarlsruhe Institute of Technology (KIT)

09:50 - 10:10
Talk

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

Aleksandar AntonicUniversity of Zagreb, Martina MarjanovicUniversity of Zagreb, Ivana Podnar ZarkoUniversity of Zagreb

10:10 - 10:30
Talk

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

Piyush YadavLero The Irish Software Research Centre Ireland, Umair UlhassanInsight Centre for Data Analytics NUIG, Souleiman HasanInsight Centre for Data Analytics NUIG, Edward CurryInsight Centre for Data Analytics NUIG

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

09:55 - 10:20
Coffee break

Break

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

10:15 - 10:50
Coffee break

Break

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 GrossmanUniversity of Washington

10:20 - 10:45
Talk

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

Scott SchneiderIBM Research, Kun-Lung WuIBM Research

Media Attached

10:45 - 11:10
Talk

Practical Partial Evaluation for High-Performance Dynamic Language Runtimes

Thomas WuerthingerOracle Labs, Christian Wimmer, Christian HumerOracle Labs, Switzerland, Andreas WoessOracle Labs, Lukas StadlerOracle Labs, Austria, Chris SeatonOracle Labs, Gilles DuboscqOracle Labs, Doug SimonOracle Labs, Matthias GrimmerOracle Labs, Austria

Media Attached

11:10 - 11:35
Talk

Responsive Parallel Computation: Bridging Competitive and Cooperative Threading

Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert HarperCWI

Media Attached

11:35 - 12:00
Talk

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

Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania

Media Attached

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

10:30 - 11:00
Coffee break

Break

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

10:50 - 11:15
Talk

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

April W. WadeUniversity of Kansas, Prasad KulkarniUniversity of Kansas, Michael JantzUniversity of Tennessee

11:15 - 11:40
Talk

Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems

Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Zheng WangLancaster University

11:40 - 12:05
Talk

Auto-Vectorization for Image Processing DSLs

Oliver ReicheFriedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Christof Kobylko, Frank HannigFriedrich-Alexander University Erlangen-Nürnberg (FAU), 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 HongInstitute of Information Science, Academia Sinica, Yu-Ping LiuDepartment of Computer Science and Information Engineering, National Taiwan University, Jan-Jan WuInstitute of Information Science, Academia Sinica, Wei-Chung HsuDept. Computer Science & Information Engineering, National Taiwan University

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

11:00 - 11:25
Talk

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

Ruben MayerUniversity of Stuttgart, Muhammad Adnan TariqUniversity of Stuttgart, Kurt RothermelUniversitaet Stuttgart

11:25 - 11:50
Talk

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

Kanat TangwongsanMahidol University International College, Martin HirzelIBM Research, Scott SchneiderIBM Research

11:50 - 12:10
Talk

Hardware Accelerated Application Integration Processing. (Industry Paper)

Daniel RitterSAP SE, Jonas DannSAP SE, Norman MaySAP SE, Stefanie Rinderle-MaUniversity of Vienna

12:10 - 12:30
Talk

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

Benjamin ErbUlm University, Germany , Dominik MeißnerInstitute of Distributed Systems, Ulm University, Jakob PietronUlm University, Frank KarglUlm University

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 CohenINRIA

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 14:00
Lunch

Lunch

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

12:30 - 14:00
Lunch

Lunch

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

14:00 - 15:00
Talk

Challenges to Achieving High Availability at Scale

Wolfram ShulteFacebook

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

14:00 - 15:00
Talk

Challenges to Achieving High Availability at Scale

Wolfram SchulteMicrosoft

Media Attached

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

14:00 - 15:00
Other

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

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

15:00 - 15:30
Coffee break

Break

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

15:00 - 15:30
Coffee break

Break

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

15:00 - 15:30
Coffee break

Break

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

15:30 - 15:55
Talk

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

Mikaël MayerEPFL, Switzerland, Jad HamzaLIAFA, Université Paris Diderot, Viktor KuncakEPFL, Switzerland

Link to publication Media Attached File Attached

15:55 - 16:20
Talk

Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University

Link to publication Media Attached File Attached

16:20 - 16:45
Talk

Mailbox Abstractions for Static Analysis of Actor Programs

Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel

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 HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University

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 BreslavJetBrains

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 ScholzUniversity of Sydney, Australia

15:30 - 15:55
Talk

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

Weiwen JiangChongqing University, Edwin ShaChongqing University, Qingfeng ZhugeChongqing University, China, Hailiang DongChongqing University, Xianzhang ChenChongqing University

15:55 - 16:20
Talk

Integrated IoT Programming with Selective Abstraction

Gyeongmin LeePOSTECH, Seonyeong HeoPOSTECH, Bongjun KimPOSTECH, Jong KimPOSTECH, Hanjun KimPOSTECH

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 WuUniversity of New South Wales, Australia, Chuanyao NieThe University of New South Wales

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