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

Sun 18 Jun

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

08:30 - 08:45
OpeningISMM at Aula Master
Chair(s): Christoph Kirsch University of Salzburg
08:30
15m
Day opening
Opening
ISMM

08:30 - 10:30
P4: Programming the Network Data PlanePLDI Tutorials at Vertex WS215
08:30
2h
Other
P4: Programming the Network Data Plane
PLDI Tutorials
Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks
08:30 - 08:45
OpeningSOAP at Vertex WS216
08:30
15m
Day opening
Opening
SOAP

09:00 - 10:30
09:00
10m
Talk
Introduction
ECOOP Doctoral Symposium

09:10
20m
Talk
Lightning talks
ECOOP Doctoral Symposium

09:30
30m
Talk
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
ECOOP Doctoral Symposium
Daniel Welch Clemson University
10:00
30m
Talk
Enabling Modular Verification of Concurrent Programs
ECOOP Doctoral Symposium
09:15 - 09:30
OpeningMAPL at Vertex WS219
09:15
15m
Day opening
Introduction and Welcome
MAPL
Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs
09:30 - 10:30
Session 1: Garbage CollectionISMM at Aula Master
Chair(s): Hannes Payer Google
09:30
30m
Talk
NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
ISMM
Rodrigo Bruno INESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi Oliveira Feedzai, A: Paulo Ferreira INESC-ID / Instituto Superior Técnico, University of Lisbon
10:00
30m
Talk
Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
ISMM
09:30 - 10:30
Points-to AnalysisSOAP at Vertex WS216
09:30
20m
Talk
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
SOAP
Jihyeok Park KAIST, South Korea, Xavier Rival INRIA/CNRS/ENS Paris, Sukyoung Ryu KAIST
DOI File Attached
09:50
20m
Talk
A Datalog Model of Must-Alias Analysis
SOAP
George Balatsouras University of Athens, Kostas Ferles University of Texas at Austin, USA, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
DOI File Attached
10:10
20m
Talk
An Efficient Tunable Selective Points-to Analysis for Large Codebases
SOAP
Behnaz Hassanshahi Oracle Labs, Australia, Raghavendra Kagalavadi Oracle Labs, Australia, Paddy Krishnan , Bernhard Scholz University of Sydney, Australia, Yi Lu Oracle
DOI File Attached
09:30 - 10:30
KeynoteMAPL at Vertex WS219
09:30
60m
Talk
Programming by Examples: PL Meets ML
MAPL
Sumit Gulwani Microsoft Research
10:00 - 10:30
Morning talks 1ARRAY at Vertex WS218
Chair(s): Andreas Kloeckner University of Illinois at Urbana-Champaign
10:00
30m
Talk
Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
ARRAY
Florian Biermann IT University of Copenhagen, Peter Sestoft IT University of Copenhagen
DOI File Attached
10:30 - 11:00
10:30
30m
Coffee break
Break
ECOOP Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
ISMM Catering

11:00 - 12:30
Session 2: Clever Data TricksISMM at Aula Master
Chair(s): Michael D. Bond Ohio State University
11:00
30m
Talk
A Marshalled Data Format for Pointers in Relocatable Data Blocks
ISMM
Nick Vrvilo , Lechen Yu Rice University, Vivek Sarkar Rice University, USA
11:30
30m
Talk
Flexible and Efficient Memory Object Metadata
ISMM
Zhengyang Liu Beijing University of Posts and Telecommunications, John Criswell University of Rochester
12:00
30m
Talk
Shadow State Encoding for Efficient Monitoring of Block-level Properties
ISMM
11:00 - 12:30
11:00
45m
Talk
What is research and how to do it? Thinking globally and acting locally.
PLMW
Michael Hicks University of Maryland, College Park
11:45
45m
Talk
Program synthesis
PLMW
11:00 - 12:30
11:00
30m
Talk
Invited Talk: The Story of WALA at Watson and Beyond
ECOOP Doctoral Symposium
Julian Dolby IBM Thomas J. Watson Research Center
11:30
30m
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP Doctoral Symposium
12:00
30m
Talk
Efficient Run-Times for Sound Gradual Typing
ECOOP Doctoral Symposium
11:00 - 12:30
P4: Programming the Network Data Plane (cont'd)PLDI Tutorials at Vertex WS215
11:00
90m
Other
P4: Programming the Network Data Plane
PLDI Tutorials
Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks
11:00 - 11:45
Invited Speaker - Jingling XueSOAP at Vertex WS216
11:00
45m
Talk
Static Analysis of Java ReflectionInvited Talk
SOAP
Jingling Xue UNSW Australia
11:00 - 12:30
Morning talks 2ARRAY at Vertex WS218
Chair(s): Martin Elsman Department of Computer Science, University of Copenhagen
11:00
30m
Talk
An ELI-to-C Compiler: Design, Implementation and Performance
ARRAY
Hanfeng Chen McGill University, Wai-Mee Ching , Laurie Hendren McGill University, Canada
DOI File Attached
11:30
30m
Talk
Array Programming in Whiley
ARRAY
David J. Pearce Victoria University of Wellington
DOI File Attached
12:00
30m
Talk
Flexible Data Views: Design and Implementation
ARRAY
Leo Osvald Purdue University, USA, Tiark Rompf Purdue University
DOI File Attached
11:00 - 12:00
Languages and FrameworksMAPL at Vertex WS219
11:00
30m
Talk
A Computational Model for TensorFlow (An Introduction)
MAPL
Martin Abadi Google, Michael Isard Google, Derek Murray Google
11:30
30m
Talk
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
MAPL
Tim Vieira Johns Hopkins University, Matthew Francis-Landau The Johns Hopkins University, Nathaniel Wesley Filardo , Farzad Khorasani Rice University, Jason Eisner The Johns Hopkins University
12:00 - 12:30
Debugging, Analysis, and VerificationMAPL at Vertex WS219
12:00
30m
Talk
Debugging Probabilistic Programs
MAPL
Chandrakana Nandi University of Washington, USA, Dan Grossman University of Washington, Adrian Sampson Cornell University, Todd Mytkowicz , Kathryn S McKinley Microsoft Research
12:30 - 13:30
12:30
60m
Lunch
Lunch
ECOOP Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
ISMM Catering

13:30 - 15:00
13:30
30m
Talk
Invited Talk: What Lies Beyond a PhD
ECOOP Doctoral Symposium
Sarah Nadi University of Alberta
14:00
30m
Talk
Verifiable, reusable, yet useful conditioning
ECOOP Doctoral Symposium
Praveen Narayanan Indiana University, USA
14:30
30m
Talk
Improving Warmup in Meta-Traced Virtual Machines
ECOOP Doctoral Symposium
Jasper Schulz King's College London
14:00 - 15:30
Session 3: Hybrid Memory SystemsISMM at Aula Master
Chair(s): Ben L. Titzer Google
14:00
30m
Talk
Analyzing Memory Management Methods on Integrated CPU-GPU Systems
ISMM
Mohammad Dashti University of British Columbia, Alexandra (Sasha) Fedorova Simon Fraser University
14:30
30m
Talk
Continuous Checkpointing of HTM Transactions in NVM
ISMM
Ellis Giles Rice University, Kshitij Doshi Intel Corporation, Peter Varman Rice University
15:00
30m
Talk
RTHMS: A Tool for Data Placement on Hybrid Memory System
ISMM
Ivy Bo Peng KTH Royal Institute of Technology, Roberto Gioiosa Pacific Northwest National Laboratory, Gokcen Kestor Pacific Northwest National Laboratory, Stefano Markidis KTH Royal Institute of Technology, Pietro Cicotti San Diego Supercomputer Center, Erwin Laure KTH Royal Institute of Technology
14:00 - 15:30
14:00
45m
Talk
Preventing Information Flow by Construction
PLMW
Jean Yang Carnegie Mellon University
14:45
45m
Talk
Giving good talks
PLMW
Ben Wiedermann Harvey Mudd College
14:00 - 15:30
Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials at Vertex WS215
14:00
90m
Other
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg
14:00 - 14:45
Invited Speaker - Julian DolbySOAP at Vertex WS216
14:00
45m
Talk
WALA EverywhereInvited Talk
SOAP
Julian Dolby IBM Thomas J. Watson Research Center
Media Attached
14:00 - 15:00
Invited talkARRAY at Vertex WS218
Chair(s): David Padua University of Illinois at Urbana-Champaign
14:00
60m
Talk
Invited talk: APLicative Programming with Naperian Functors
ARRAY
Jeremy Gibbons Department of Computer Science, University of Oxford
Pre-print File Attached
14:00 - 15:30
Debugging, Analysis, and Verification 2MAPL at Vertex WS219
14:00
30m
Talk
Combining the Logical and the Probabilistic in Program Analysis
MAPL
Xin Zhang Georgia Tech, Xujie Si , Mayur Naik Georgia Tech
14:30
30m
Talk
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
MAPL
Ugur Koc University of Maryland, College Park, Parsa Saadatpanah University of Maryland, Jeffrey S. Foster University of Maryland, College Park, Adam Porter University of Maryland
15:00
30m
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie Murphy Princeton University, Gordon Stewart Ohio University
14:45 - 15:30
Soundness and PrecisionSOAP at Vertex WS216
14:45
22m
Talk
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
SOAP
Esben Andreasen Aarhus University, Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University
DOI File Attached
15:07
22m
Talk
On the Construction of Soundness Oracles
SOAP
Jens Dietrich Massey University, Li Sui Massey University, New Zealand, Shawn Rasheed Massey University, Amjed Tahir Massey University
DOI Media Attached
15:00 - 15:30
15:00
30m
Coffee break
Break
ECOOP Catering

15:00 - 15:30
Afternoon talks 1ARRAY at Vertex WS218
Chair(s): David Padua University of Illinois at Urbana-Champaign
15:00
30m
Talk
Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
ARRAY
DOI File Attached
15:30 - 16:00
15:30
30m
Coffee break
Break
ISMM Catering

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

16:00 - 17:30
Session 4: A Deeper LookISMM at Aula Master
Chair(s): Steve Blackburn Australian National University
16:00
30m
Talk
"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
ISMM
Vini Kanvar Indian Institute of Technology (IIT) Bombay, Uday P. Khedker
16:30
30m
Talk
A Refinement Hierarchy for Free List Memory Allocators
ISMM
Bin Fang East China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France
17:00
30m
Talk
Avoiding Consistency Exceptions Under Strong Memory Consistency Models
ISMM
Minjia Zhang Microsoft Research, Swarnendu Biswas University of Texas at Austin, Michael D. Bond Ohio State University
16:00 - 18:00
16:00
45m
Talk
Formal methods research: The what, the why and the how
PLMW
Roopsha Samanta Purdue University
16:45
60m
Other
Career paths in Computer Science
PLMW
Stephen N. Freund Williams College, Martin Huschenbett Jane Street, Kathryn S McKinley Microsoft Research, Roopsha Samanta Purdue University
16:00 - 18:00
Bug detection in JavaScript web apps using the SAFE framework (cont'd)PLDI Tutorials at Vertex WS215
16:00
26h
Other
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg
16:00 - 16:20
BenchmarkingSOAP at Vertex WS216
16:00
20m
Talk
Hermes: Assessment and Creation of Effective Test Corpora
SOAP
Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Ben Hermann University of Paderborn, Mira Mezini TU Darmstadt
DOI Pre-print File Attached
16:00 - 17:30
Afternoon talks 2ARRAY at Vertex WS218
Chair(s): P. Sadayappan Ohio State University
16:00
30m
Talk
Efficient Array Slicing on the Intel Xeon Phi Coprocessor
ARRAY
Benjamin Andreassen Norwegian University of Science and Technology, Jan Christian Norwegian University of Science and Technology, Lasse Natvig Norwegian University of Science and Technology
DOI File Attached
16:30
30m
Talk
Modular Array-based GPU Computing in a Dynamically-typed Language
ARRAY
Matthias Springer Tokyo Institute of Technology, Peter Wauligmann Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
DOI File Attached
17:00
30m
Talk
HPTT: A High-Performance Tensor Transposition C++ Library
ARRAY
DOI File Attached
16:00 - 16:45
Town Hall DiscussionMAPL at Vertex WS219
16:00
45m
Other
Town Hall Discussion
MAPL

16:20 - 18:00
Open DiscussionSOAP at Vertex WS216
16:20
1h40m
Meeting
Open Discussion
SOAP

16:30 - 18:00
16:30
90m
Talk
Introduction Session
ECOOP Summer School
Jan Vitek Northeastern University
16:45 - 17:00
ClosingMAPL at Vertex WS219
16:45
15m
Day closing
Concluding Remarks
MAPL
Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs
17:30 - 18:00
Closing / DiscussionARRAY at Vertex WS218
Chair(s): Martin Elsman Department of Computer Science, University of Copenhagen, Andreas Kloeckner University of Illinois at Urbana-Champaign, David Padua University of Illinois at Urbana-Champaign
17:30
30m
Day closing
Closing / Discussion
ARRAY

Mon 19 Jun

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

08:00 - 09:00
08:00
60m
Registration
Registration
DEBS Registration

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

09:00 - 10:30
Morning IICOOOLPS at Vertex WS216
Chair(s): Mario Wolczko Oracle Labs
09:00
10m
Talk
Workshop Welcome
ICOOOLPS
Mario Wolczko Oracle Labs
09:10
80m
Talk
We Software People are not Worthy - All Hail the Hardware Gods
ICOOOLPS
Sylvan Clebsch Imperial College London
09:00 - 10:30
Events Meet ProcessesDEBS Workshop at Vertex WS219
09:00
90m
DEBS Workshop
DEBS Workshop

09:05 - 10:00
Joint Keynote ­– Martin OderskyPLDI Invited Speakers at Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
PLDI Invited Speakers
Martin Odersky EPFL, Switzerland
Media Attached
09:05 - 10:00
Monday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
CurryOn Curry On Keynotes
Martin Odersky EPFL, Switzerland
10:00 - 10:30
10:00
30m
Other
1' Pitches of Monday
PLDI Research Papers

10:30 - 12:50
Monday - 10:30 - 12:50 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:30
40m
Talk
Flow Reloaded: New Challenges and New Opportunities
CurryOn Curry On Talks
11:20
40m
Talk
Moving Fast with High Reliability: Program Analysis at Uber
CurryOn Curry On Talks
12:10
40m
Talk
The Practice and Theory of TLA+
CurryOn Curry On Talks
10:30 - 10:50
10:30
20m
Coffee break
Break
PLDI Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
DEBS Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
ECOOP Catering

10:30 - 12:50
Monday - 10:30 - 12:50 - Sala AgoraCurryOn Curry On Talks at Sala Agora
10:30
40m
Talk
Impromptu: A Lightweight, dependently-typed async framework for Scala
CurryOn Curry On Talks
Jon Pretty Propensive Ltd
11:20
40m
Talk
Centrifuge : Data quality in Spark without the costs!
CurryOn Curry On Talks
Jonathan Winandy Univalence
12:10
40m
Talk
Angelina Ballerina Learns About Memory Allocation
CurryOn Curry On Talks
Allison McMillan Collective Idea
10:30 - 12:50
Monday - 10:30 - 12:50 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
10:30
40m
Talk
The Programmer's Guide to Ideology
CurryOn Curry On Talks
11:20
40m
Talk
Composable Caching in Swift
CurryOn Curry On Talks
Brandon Kase Pinterest
12:10
40m
Talk
Building Web Apps with Reason
CurryOn Curry On Talks
Brandon Dail Formidable Labs
10:50 - 12:30
Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering
Chair(s): Swarat Chaudhuri Rice University
10:50
25m
Talk
DemoMatch: API Discovery from Demonstrations
PLDI Research Papers
Kuat Yessenov MIT, Ivan Kuraj MIT CSAIL, USA, Armando Solar-Lezama MIT CSAIL
Media Attached
11:15
25m
Talk
Similarity of Binaries through re-Optimization
PLDI Research Papers
Yaniv David Technion, Nimrod Partush Technion, Eran Yahav Technion
11:40
25m
Talk
Synthesizing Program Input Grammars
PLDI Research Papers
Osbert Bastani Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Percy Liang Stanford University
Media Attached
12:05
25m
Talk
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
PLDI Research Papers
Daniel Huang Harvard University, Jean-Baptiste Tristan Oracle Labs, Greg Morrisett Cornell University
Media Attached
10:50 - 12:30
Compiler OptimizationsPLDI Research Papers at Aula Master
Chair(s): Uday Bondhugula Indian Institute of Science
10:50
25m
Talk
Cache Locality Optimization for Recursive Programs
PLDI Research Papers
Jonathan Lifflander , Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:15
25m
Talk
Fusing Effectful Comprehensions
PLDI Research Papers
Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research
11:40
25m
Talk
Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
PLDI Research Papers
Yufei Ding North Carolina State University, Lin Ning North Carolina State University, Hui Guan North Carolina State University, Xipeng Shen North Carolina State University
Media Attached
12:05
25m
Talk
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
PLDI Research Papers
David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, USA
Media Attached
11:00 - 12:30
Morning IIICOOOLPS at Vertex WS216
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
11:00
30m
Talk
dart2java: Running Dart in Java-based Environments
ICOOOLPS
Matthias Springer Tokyo Institute of Technology, Andrew Krieger University of California, Los Angeles, Stanislav Manilov University of Edinburgh, Hidehiko Masuhara Tokyo Institute of Technology
Link to publication DOI File Attached
11:30
30m
Talk
VM Wrapping - Fake it till you make it
ICOOOLPS
Johannes Henning Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI
Link to publication DOI File Attached
12:00
30m
Talk
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
ICOOOLPS
Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz
Link to publication DOI File Attached
11:00 - 12:30
Morning SessionIWACO at Vertex WS217
11:00
30m
Talk
Spencer: Tracing as a Service
IWACO
Stephan Brandauer Uppsala University
11:30
30m
Talk
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.
IWACO
Alex Potanin Victoria University of Wellington
12:00
30m
Talk
Reference Capabilities in Practice: Examining Real-World Pony Code
IWACO
Sylvan Clebsch Imperial College London
11:00 - 12:30
Events Meet ProcessesDEBS Workshop at Vertex WS219
11:00
90m
DEBS Workshop
DEBS Workshop

12:30 - 14:00
12:30
90m
Lunch
Lunch
DEBS Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
ECOOP Catering

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

12:50 - 14:00
12:50
70m
Lunch
Lunch
CurryOn Catering

14:00 - 15:40
Language ImplementationPLDI Research Papers at Actes, Civil Engineering
Chair(s): David F. Bacon Google
14:00
25m
Talk
Bringing the Web up to Speed with WebAssembly
PLDI Research Papers
Andreas Haas Google, Andreas Rossberg Google, Derek Schuff Google, Ben L. Titzer Google, Dan Gohman Mozilla, Luke Wagner Mozilla, Alon Zakai Mozilla, JF Bastien Apple, Michael Holman Microsoft
Media Attached
14:25
25m
Talk
Miniphases: Compilation using Modular and Efficient Tree Transformations
PLDI Research Papers
Dmytro Petrashko EPFL, Ondřej Lhoták University of Waterloo, Canada, Martin Odersky EPFL, Switzerland
Media Attached
14:50
25m
Talk
Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
PLDI Research Papers
Anthony Canino SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Media Attached
15:15
25m
Talk
Simple, fast and safe manual memory management
PLDI Research Papers
Piyus Kedia Indian Institute of Technology Delhi, Manuel Costa Microsoft Research, Matthew J. Parkinson Microsoft Research, UK, Kapil Vaswani Microsoft Research, Dimitrios Vytiniotis Microsoft Research, Cambridge
Media Attached
14:00 - 14:50
Monday - 14:00 - 14:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
14:00
50m
Talk
FP is Dead: Long Live FP
CurryOn Curry On Keynotes
14:00 - 15:40
Concurrency AnalysisPLDI Research Papers at Aula Master
Chair(s): Jeff Huang Texas A&M University
14:00
25m
Talk
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
PLDI Research Papers
Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania
14:25
25m
Talk
BigFoot: Static Check Placement for Dynamic Race Detection
PLDI Research Papers
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
14:50
25m
Talk
Dynamic Race Prediction in Linear Time
PLDI Research Papers
Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Marina Billes TU Darmstadt, Anders Møller Aarhus University, Michael Pradel TU Darmstadt
Media Attached
14:00 - 15:40
14:00
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal Ahmed Northeastern University, USA
14:00 - 15:30
Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd Barrett King's College London
14:00
60m
Talk
Can Compiler Magic Ever Be Explained?
ICOOOLPS
Eric Sedlar Oracle Labs, Thomas Wuerthinger Oracle Labs
15:00
30m
Talk
Code Generation in Serializers and Comparators of Apache Flink
ICOOOLPS
Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton Balassi Hungarian Academy of Sciences
Link to publication DOI File Attached
14:00 - 15:30
AfternoonJSTools at Vertex WS218
Chair(s): Christian Hammer University of Potsdam
14:00
30m
Talk
BCoz: Effective Performance Debugging for Web Applications
JSTools
John Vilk University of Massachusetts, Amherst
File Attached
14:30
30m
Talk
Repairing Event Race Errors by Controlling Nondeterminism
JSTools
Frank Tip Northeastern University
15:00
30m
Talk
Static Analysis of CommonJS Modules
JSTools
14:00 - 15:30
14:00
20m
Talk
Consistent Stream Processing
DEBS Doctoral Symposium
Lorenzo Affetti Politecnico di Milano
14:20
20m
Talk
A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
DEBS Doctoral Symposium
Guenter Hesse Hasso Plattner Institute, Christoph Matthies Hasso Plattner Institute, Benjamin Reissaus Hasso Plattner Institute
14:40
20m
Talk
Raphtory: Decentralised Streaming for Temporal Graphs
DEBS Doctoral Symposium
Benjamin Steer Queen Mary University London, Félix Cuadrado Queen Mary University of London, Richard Clegg Queen Mary University London
15:00
20m
Talk
Large-Scale Stream Graph Processing
DEBS Doctoral Symposium
Domagoj Margan Imperial College London
15:00 - 15:40
Monday - 15:00 - 15:40 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
15:00
40m
Talk
Clojure Transducers In The Wild
CurryOn Curry On Talks
Renzo Borgatti Mailonline
15:00 - 15:40
Monday - 15:00 - 15:40 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
15:00
40m
Talk
Don't Write Tests!
CurryOn Curry On Talks
John Hughes Chalmers University of Technology
15:00 - 15:40
Monday - 15:00 - 15:45 - Sala d'Actes CurryOn Curry On Talks at Sala d'Actes, Vertex Building
15:00
40m
Talk
Carpenters & Cartographers
CurryOn Curry On Talks
Valentin Kasas self-employed @ Kanaka
15:30 - 16:00
15:30
30m
Coffee break
Break
DEBS Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
ECOOP Catering

15:40 - 16:10
15:40
30m
Coffee break
Break
PLDI Catering

15:40 - 16:10
15:40
30m
Coffee break
Coffee break
CurryOn Catering

16:00 - 18:00
Afternoon IIICOOOLPS at Vertex WS216
Chair(s): Olivier Zendra
16:00
60m
Other
Panel: Do new Computing Environments lead to new Language Constructs?
ICOOOLPS
Eric Jul University of Oslo, Edd Barrett King's College London, Steve Blackburn Australian National University , Ben L. Titzer Google
17:00
30m
Talk
Diff Graphs for a fast Incremental Pointer Analysis
ICOOOLPS
Jakob Krainz Friedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen
Link to publication DOI File Attached
17:30
30m
Demonstration
A Formalization IDE Integrated with a Verifying Compiler
ICOOOLPS
Daniel Welch Clemson University, Blair Durkee Clemson University, Mike Kabbani Clemson University, Murali Sitaraman Clemson University
Link to publication DOI File Attached
16:00 - 18:00
Keynote SessionIWACO at Vertex WS217
16:00
45m
Talk
Adding Safe Manual Memory Management to .NET
IWACO
Dimitrios Vytiniotis Microsoft Research, Cambridge
16:00 - 18:00
Afternoon 2JSTools at Vertex WS218
16:00
30m
Talk
WebPol: Fine-grained Information Flow Policies for Web Browsers
JSTools
Christian Hammer University of Potsdam
16:00 - 17:30
16:00
20m
Talk
Property-based routing in clustered message brokers for CPS
DEBS Doctoral Symposium
Ole Meyer University of Duisburg-Essen, Julius Ollesch University of Duisburg-Essen, Stefan Gries University of Duisburg-Essen, Florian Blum University of Duisburg-Essen, Volker Gruhn University Duisburg-Essen
16:20
20m
Talk
An Embedded DSL Framework for Distributed Embedded Systems
DEBS Doctoral Symposium
Adrian Mizzi , Joshua Ellul University of Malta, Gordon Pace
16:40
20m
Talk
Loosely Coupled Approach for Web-Based Collaborative 3D Design
DEBS Doctoral Symposium
Caroline Desprat IRIT - University of Toulouse, Benoît Caudesaygues , Hervé Luga IRIT - Université Paul Sabatier Toulouse, Jean-Pierre Jessel IRIT - Université Paul Sabatier Toulouse
17:00
20m
Talk
Visualising complex event hierarchies using relevant domain ontologies
DEBS Doctoral Symposium
16:10 - 17:50
Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering
Chair(s): Michael Pradel TU Darmstadt
16:10
25m
Talk
Achieving High Coverage for Floating-point Code via Unconstrained Programming
PLDI Research Papers
Zhoulai Fu University of California, Davis, Zhendong Su University of California, Davis
Media Attached
16:35
25m
Talk
Instruction Punning: Lightweight Instrumentation for x86-64
PLDI Research Papers
Buddhika Chamith Indiana University, Luke Dalessandro Indiana University, Bo Joel Svensson Chalmers University of Technology, Sweden, Ryan R. Newton Indiana University
Media Attached
17:00
25m
Talk
Low Overhead Dynamic Binary Translation on ARM
PLDI Research Papers
Amanieu d'Antras University of Manchester, Cosmin Gorgovan University of Manchester, Jim Garside University of Manchester, Mikel Luján
Media Attached
17:25
25m
Talk
Skeletal Program Enumeration for Rigorous Compiler Testing
PLDI Research Papers
Qirun Zhang University of California, Davis, Chengnian Sun University of California, Davis, Zhendong Su University of California, Davis
Media Attached
16:10 - 18:30
Monday - 16:10 - 18:30 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
16:10
40m
Talk
How types can turn a SQL interpreter into a SQL compiler
CurryOn Curry On Talks
Tiark Rompf Purdue University
17:00
40m
Talk
Orchestrate ING with Petri Net
CurryOn Curry On Talks
17:50
40m
Talk
Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
CurryOn Curry On Talks
16:10 - 18:30
Monday - 16:10 - 18:30 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:10
40m
Talk
Winning the War on Error: Solving the Halting Problem and Curing Cancer
CurryOn Curry On Talks
Matthew Might University of Utah, USA
17:00
40m
Talk
Rust: Putting Ownership to Use
CurryOn Curry On Talks
Nicholas Matsakis Mozilla Corporation
16:10 - 17:50
Static AnalysisPLDI Research Papers at Aula Master
Chair(s): Loris D'Antoni University of Wisconsin–Madison
16:10
25m
Talk
Compositional Recurrence Analysis Revisited
PLDI Research Papers
Zachary Kincaid Princeton University, Jason Breck University of Wisconsin-Madison, Ashkan Forouhi Boroujeni University of Wisconsin-Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:35
25m
Talk
Context Transformations for Pointer Analysis
PLDI Research Papers
Rei Thiessen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada
Media Attached
17:00
25m
Talk
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
PLDI Research Papers
Tian Tan UNSW Australia, Yue Li UNSW Australia, Jingling Xue UNSW Australia
Pre-print Media Attached
17:25
25m
Talk
Static Deadlock Detection for Asynchronous C# Programs
PLDI Research Papers
Anirudh Santhiar Indian Institute of Science, Aditya Kanade Indian Institute of Science, Bangalore
Media Attached
16:10 - 17:50
16:10
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal Ahmed Northeastern University, USA
16:10 - 18:30
Monday - 16:10 - 18:30 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
16:10
40m
Talk
Profunctor Optics: Modular Data Accessors
CurryOn Curry On Talks
Jeremy Gibbons Department of Computer Science, University of Oxford
17:00
40m
Talk
Making decentralisation available for all
CurryOn Curry On Talks
Martin Kleppmann University of Cambridge
17:50
40m
Talk
Reactive Programming in the Browser with Scala.js and PureScript
CurryOn Curry On Talks
Luka Jacobowitz codecentric AG
17:55 - 18:50
Joint Keynote ­– Martin AbadiPLDI Invited Speakers at Auditorium, Vertex Building
17:55
55m
Talk
TensorFlow considered as a programming language
PLDI Invited Speakers
17:55 - 18:50
17:55
55m
Talk
PLDI Keynote - TensorFlow considered as a programming language
CurryOn Curry On Keynotes
19:30 - 22:00
Social Event with Curry On (dinner provided)PLDI Catering at Moritz Brewery
19:30
2h30m
Dinner
Dinner
PLDI Catering

Tue 20 Jun

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

08:00 - 09:00
08:00
60m
Registration
Registration
DEBS Registration

09:00 - 09:50
Curry-On Keynote – José ValimPLDI Invited Speakers at Auditorium, Vertex Building
09:00
50m
Talk
Elixir
PLDI Invited Speakers
José Valim Plataformatec
09:00 - 09:50
Tuesday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:00
50m
Talk
Idioms for building distributed fault-tolerant applications with Elixir
CurryOn Curry On Keynotes
José Valim Plataformatec
09:00 - 10:30
Sliding-Window Aggregation AlgorithmsDEBS Tutorials at Vertex WS206b
09:00
90m
Talk
Sliding-Window Aggregation Algorithms
DEBS Tutorials
Martin Hirzel IBM Research, Scott Schneider IBM Research, Kanat Tangwongsan Mahidol University International College
09:00 - 10:30
Session 1COP at Vertex WS216
09:00
15m
Day opening
Welcome
COP

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

09:00 - 10:30
AFTfJP at Vertex WS217
Chair(s): Radu Grigore University of Kent
09:30
20m
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
FTfJP
Irina Asavoae INRIA, Paris, France, Hoang Nga Nguyen Coventry University, Coventry, UK, Markus Roggenbach Swansea University, Swansea, UK, Siraj Ahmed Shaikh Coventry University, Coventry, UK
Pre-print
09:50
35m
Talk
Formal Analysis of Object-Oriented Mograms
FTfJP
Moussa Amrani University of Namur, Pierre Yves Schobbens University of Namur
10:25
5m
Talk
Towards a Java Subtyping Operad
FTfJP
Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
09:00 - 10:30
Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218
09:00
90m
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander Artikis University of Pireaus and NCSR "Demokritos", Alessandro Margara Politecnico di Milano, Martin Ugarte Université Libre de Bruxelles, Stijn Vansummeren Université Libre de Bruxelles, Matthias Weidlich Humboldt-Universtität zu Berlin
09:50 - 10:25
1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building
09:50
35m
Other
1' Pitches of Tuesday and Wednesday
PLDI Research Papers

10:25 - 12:45
Tuesday - 10:25 - 12:45 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:25
40m
Talk
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
CurryOn Curry On Talks
Daniel King Broad Institute
11:15
40m
Talk
Preventing Information Leaks by Construction
CurryOn Curry On Talks
Jean Yang Carnegie Mellon University
12:05
40m
Talk
The Sharp Edges of Leaky Abstraction
CurryOn Curry On Talks
Mark Allen Alert Logic
10:25 - 10:50
10:25
25m
Coffee break
Break
PLDI Catering

10:25 - 12:45
Tuesday - 10:25 - 12:45 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
10:25
40m
Talk
Grammar-based language modes for text editors
CurryOn Curry On Talks
11:15
40m
Talk
Scalable cross-references across languages
CurryOn Curry On Talks
Luke Zarko Google, Inc
12:05
40m
Talk
There are no BFT Fans Anymore... About Secure Eventual Consistency
CurryOn Curry On Talks
Ali Shoker HASLab/INESC TEC & University of Minho
10:30 - 11:00
10:30
30m
Coffee break
Break
DEBS Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
ECOOP Catering

10:50 - 12:30
SynthesisPLDI Research Papers at Actes, Civil Engineering
Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign
10:50
25m
Talk
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
PLDI Research Papers
Yu Feng University of Texas at Austin, USA, Ruben Martins , Jacob Van Geffen UT Austin, Işıl Dillig UT Austin, Swarat Chaudhuri Rice University
Media Attached
11:15
25m
Talk
Network Configuration Synthesis with Abstract Topologies
PLDI Research Papers
Ryan Beckett Princeton University, Ratul Mahajan Microsoft, Todd Millstein University of California, Los Angeles, Jitendra Padhye Microsoft, David Walker Princeton University
Media Attached
11:40
25m
Talk
Synthesizing Highly Expressive SQL Queries from Input-Output Examples
PLDI Research Papers
Chenglong Wang University of Washington, USA, Alvin Cheung University of Washington, Rastislav Bodík University of Washington
Media Attached
12:05
25m
Talk
Synthesizing Memory Models from Framework Sketches and Litmus Tests
PLDI Research Papers
James Bornholt University of Washington, Emina Torlak University of Washington, USA
Pre-print Media Attached
10:50 - 12:30
Static Analysis and SecurityPLDI Research Papers at Aula Master
Chair(s): Mayur Naik Georgia Tech
10:50
25m
Talk
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
PLDI Research Papers
Timos Antonopoulos Yale University, Paul Gazzillo Yale University, Michael Hicks University of Maryland, College Park, Eric Koskinen Yale University, Tachio Terauchi JAIST, Shiyi Wei University of Maryland, College Park
Media Attached
11:15
25m
Talk
Automatic Program Inversion using Symbolic Transducers
PLDI Research Papers
Qinheping Hu University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison
Media Attached
11:40
25m
Talk
Control-Flow Recovery from Partial Failure Reports
PLDI Research Papers
Peter Ohmann University of Wisconsin - Madison, Alexander L. Brooks University of Wisconsin, Madison, Loris D'Antoni University of Wisconsin–Madison, Ben Liblit University of Wisconsin–Madison
Pre-print Media Attached
12:05
25m
Talk
Rigorous Analysis of Software Countermeasures against Cache Attacks
PLDI Research Papers
Goran Doychev IMDEA Software Institute, Boris Köpf IMDEA Software Institute, Spain
Media Attached
10:50 - 12:30
10:50
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas Matsakis Mozilla Corporation
11:00 - 12:30
Data Streaming and its Application to Stream ProcessingDEBS Tutorials at Vertex WS206b
11:00
90m
Talk
Data Streaming and its Application to Stream Processing
DEBS Tutorials
Leonardo Querzoni Sapienza University Rome, Nicolo Rivetti Technion - Israel Institute of Technology
11:00 - 12:30
Morning SessionPMLDC at Vertex WS208
11:00
60m
Talk
Edge Compute: The First 5000 Years
PMLDC
12:00
30m
Talk
On the Design of Distributed Programming Models
PMLDC
Christopher Meiklejohn Université catholique de Louvain
File Attached
11:00 - 12:30
Session 2COP at Vertex WS216
11:00
30m
Talk
The Declarative Nature of Implicit Layer Activation
COP
Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI
11:30
30m
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
COP
Tetsuo Kamina Ritsumeikan University, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
12:00
30m
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
COP
Harumi Watanabe Tokai University, Nobuhiko Ogura Tokyo City University
11:00 - 12:30
BFTfJP at Vertex WS217
Chair(s): Santosh Nagarakatte Rutgers University, USA
11:00
20m
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
FTfJP
Youssef El Bakouny CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan Crolard CEDRIC - CNAM - Paris, France, Dani Mezher CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20
70m
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
FTfJP
Derek Dreyer MPI-SWS
11:00 - 12:30
Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218
11:00
90m
Talk
Complex Event Recognition Languages
DEBS Tutorials
Alexander Artikis University of Pireaus and NCSR "Demokritos", Alessandro Margara Politecnico di Milano, Martin Ugarte Université Libre de Bruxelles, Stijn Vansummeren Université Libre de Bruxelles, Matthias Weidlich Humboldt-Universtität zu Berlin
12:30 - 14:00
12:30
90m
Lunch
Lunch
DEBS Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
ECOOP Catering

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

12:35 - 13:50
12:35
75m
Lunch
Lunch
CurryOn Catering

13:50 - 15:30
Tuesday - 13:50 - 15:20 - Sala d'ActesCurryOn Curry On Talks at Sala d'Actes, Vertex Building
13:50
40m
Talk
Babelfish: Universal Code Parsing Server
CurryOn Curry On Talks
14:40
40m
Talk
Channels, Concurrency, and Cores: A new Concurrent ML implementation
CurryOn Curry On Talks
Andy Wingo Igalia, S.L.
14:00 - 15:40
Parallelization and ConcurrencyPLDI Research Papers at Actes, Civil Engineering
Chair(s): Milind Kulkarni Purdue University
14:00
25m
Talk
Synthesis of Divide and Conquer Parallelism for Loops
PLDI Research Papers
Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto
Media Attached
14:25
25m
Talk
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
PLDI Research Papers
Troels Henriksen DIKU, University of Copenhagen, Niels G. W. Serup DIKU, University of Copenhagen, Martin Elsman Department of Computer Science, University of Copenhagen, Fritz Henglein DIKU, Denmark, Cosmin Oancea DIKU, University of Copenhagen
Media Attached
14:50
25m
Talk
Gradual Synthesis for Static Parallelization
PLDI Research Papers
Grigory Fedyukovich UW CSE, Maaz Bin Safeer Ahmad UW / CSE, Rastislav Bodík University of Washington
Pre-print Media Attached
15:15
25m
Talk
Verifying invariants of lock-free data structures with rely-guarantee and refinement type
PLDI Research Papers
Colin Gordon Drexel University, Michael D. Ernst University of Washington, USA, Dan Grossman University of Washington, Matthew J. Parkinson Microsoft Research, UK
Pre-print Media Attached
14:00 - 15:40
Functional Programming and CorrectnessPLDI Research Papers at Aula Master
Chair(s): Francesco Logozzo Facebook
14:00
25m
Talk
Compiling without continuations
PLDI Research Papers
Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
14:25
25m
Talk
FunTAL: Reasonably Mixing a Functional Language with Assembly
PLDI Research Papers
Daniel Patterson Northeastern University, Jamie Perconti Northeastern University, Christos Dimoulas Harvard University, USA, Amal Ahmed Northeastern University, USA
Media Attached
14:50
25m
Talk
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
PLDI Research Papers
Shumo Chu University of Washington, USA, Konstantin Weitz University of Washington, USA, Alvin Cheung University of Washington, Dan Suciu University of Washington
Media Attached
15:15
25m
Talk
Levity Polymorphism
PLDI Research Papers
Richard A. Eisenberg Bryn Mawr College, USA, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
14:00 - 15:40
14:00
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas Matsakis Mozilla Corporation
14:00 - 15:30
Reflections on Almost Two Decades of Research into Stream ProcessingDEBS Tutorials at Vertex WS206b
14:00
90m
Talk
Reflections on Almost Two Decades of Research into Stream Processing
DEBS Tutorials
Kyumars Sheykh Esmaili Nokia Bell Labs
14:00 - 15:30
Afternoon SessionPMLDC at Vertex WS208
14:00
30m
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy , Heather Miller Ecole Polytechnique Federale de Lausanne
File Attached
14:30
30m
Talk
Multi-view data types for scalable concurrency in the multi-core era
PMLDC
Deepthi Devaki Akkoorath , José Brandão , Annette Bieniusa Technischen Universität Kaiserslautern, Carlos Baquero HASLab/INESC TEC & University of Minho
File Attached
15:00
30m
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes , Paulo Sérgio Almeida , Carlos Baquero HASLab/INESC TEC & University of Minho
File Attached
14:00 - 15:30
Session 3COP at Vertex WS216
14:00
30m
Talk
ContextROS: Context-Oriented Programming for the Robot Operating System
COP
Yuta Saeki Kyushu University, Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University
14:30
30m
Talk
IoT Robot Simulator and Framework for Context-Oriented Programming
COP
Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Nobuhiko Ogura Tokyo City University, Harumi Watanabe Tokai University, Akira Fukuda Kyushu University
15:00
30m
Talk
Peace COrP: Learning to solve conflicts between contexts
COP
Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Jorge H. Castro Universidad de los Andes
Media Attached File Attached
14:00 - 15:30
14:00
20m
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
FTfJP
Julia Belyakova Southern Federal University
Pre-print
14:20
35m
Talk
Tracing sharing in an imperative pure calculus
FTfJP
Paola Giannini Universita' del Piemonte Orientale, Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova
14:55
35m
Talk
Mutable WadlerFest DOT
FTfJP
Marianna Rapoport University of Waterloo, Ondřej Lhoták University of Waterloo, Canada
14:00 - 15:30
Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218
14:00
90m
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher Etzion Yezreel Valley College
15:30 - 16:00
15:30
30m
Coffee break
Coffee break
CurryOn Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
DEBS Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
ECOOP Catering

15:40 - 16:10
15:40
30m
Coffee break
Break
PLDI Catering

16:00 - 18:20
Tuesday - 16:00 - 18:20 - Sala AgoraCurryOn Curry On Talks at Actes, Informatics Building
16:00
40m
Talk
Computational Musicology, ????, Profit
CurryOn Curry On Talks
Chris Ford ThoughtWorks (UK) Ltd.
16:50
40m
Talk
Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
CurryOn Curry On Talks
Jurriaan Hage Utrecht University
17:40
40m
Talk
With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections
CurryOn Curry On Talks
Michael Steindorfer Delft University of Technology, Netherlands
16:00 - 18:20
Tuesday - 16:00 - 18:20 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:00
40m
Talk
Pony: 714 Days Later
CurryOn Curry On Talks
Sylvan Clebsch Imperial College London
16:50
40m
Talk
Finding and Preventing Bugs in JavaScript Bindings
CurryOn Curry On Talks
17:40
40m
Talk
Reflex: Reactive Programming at Facebook
CurryOn Curry On Talks
16:00 - 18:00
Session 4COP at Vertex WS216
16:00
2h
Other
Discussion
COP

16:00 - 18:00
DFTfJP at Vertex WS217
Chair(s): Radu Grigore University of Kent
16:00
20m
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro Margara Politecnico di Milano, Guido Salvaneschi TU Darmstadt
16:20
35m
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
16:55
35m
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide Ancona University of Genova, Angelo Ferrando , Luca Franceschini DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy
16:00 - 17:30
Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218
16:00
90m
Talk
Human Body Related Event Processing
DEBS Tutorials
Opher Etzion Yezreel Valley College
16:10 - 17:00
CorrectnessPLDI Research Papers at Actes, Civil Engineering
Chair(s): Joseph Devietti University of Pennsylvania
16:10
25m
Talk
Repairing Sequential Consistency in C/C++11
PLDI Research Papers
Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany, Jeehoon Kang Seoul National University, Chung-Kil Hur Seoul National University, Derek Dreyer MPI-SWS
Media Attached
16:35
25m
Talk
Taming Undefined Behavior in LLVM
PLDI Research Papers
Juneyoung Lee Seoul National University, Yoonseung Kim Seoul National University (South Korea), Youngju Song Seoul National University, Chung-Kil Hur Seoul National University, Sanjoy Das Azul Systems, David Majnemer Google, John Regehr University of Utah, Nuno P. Lopes Microsoft Research
Pre-print Media Attached
16:10 - 17:00
Verified ComputationPLDI Research Papers at Aula Master
Chair(s): Alvin Cheung University of Washington
16:10
25m
Talk
A Formally Verified Compiler for Lustre
PLDI Research Papers
Timothy Bourke INRIA, Lelio Brun ENS/Inria, Pierre-Evariste Dagand LIP6/CNRS , Xavier Leroy Inria, Marc Pouzet École normale supérieure, Lionel Rieg Collège de France
Media Attached
16:35
25m
Talk
Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bui Phi Diep Uppsala University, Yu-Fang Chen , Lukáš Holík , Ahmed Rezine , Philipp Ruemmer Uppsala University
Media Attached
17:00 - 18:00
Program Chair report and SIGPLAN Town Hall meetingPLDI Invited Speakers at Aula Master
17:00
60m
Program Chair report and SIGPLAN Town Hall meeting
PLDI Invited Speakers

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

18:30 - 19:20
Tuesday - 18:30 - 19:20 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
18:30
50m
Talk
Scripting with Lua
CurryOn Curry On Keynotes

Wed 21 Jun

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

08:00 - 09:00
08:00
60m
Registration
Registration
DEBS Registration

09:00 - 09:30
09:00
30m
Day opening
Welcome
DEBS Welcome

09:00 - 09:15
09:00
15m
Day opening
Opening
LCTES

09:15 - 10:15
Keynote 1LCTES at Vertex WS208
Chair(s): Zili Shao The Hong Kong Polytechnic University
09:15
60m
Talk
Static Analysis for Improving Software Performance, Safety and Security
LCTES
Jingling Xue UNSW Australia
09:30 - 10:30
Session 1: New DirectionsDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Annika Hinze University of Waikato
09:30
20m
Talk
Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper)
DEBS Research Papers
Suad Sejdovic FZI Research Center for Information Technology, Sven Euting FZI Research Center for Information Technology, Dominik Riemer FZI Research Center for Information Technology, York Sure-Vetter Karlsruhe Institute of Technology (KIT)
09:50
20m
Talk
Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper)
DEBS Research Papers
Aleksandar Antonic University of Zagreb, Martina Marjanovic University of Zagreb, Ivana Podnar Zarko University of Zagreb
10:10
20m
Talk
The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper)
DEBS Research Papers
Piyush Yadav Lero The Irish Software Research Centre Ireland, Umair Ulhassan Insight Centre for Data Analytics NUIG, Souleiman Hasan Insight Centre for Data Analytics NUIG, Edward Curry Insight Centre for Data Analytics NUIG
09:55 - 10:20
09:55
25m
Coffee break
Break
PLDI Catering

10:15 - 10:50
10:15
35m
Coffee break
Break
LCTES Catering

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

10:30 - 11:00
10:30
30m
Coffee break
Break
DEBS Catering

10:50 - 12:30
Session 1: Compiler Optimization for Embedded SystemsLCTES at Vertex WS208
Chair(s): Yi Wang Shenzhen University
10:50
25m
Talk
AOT Vs. JIT: Impact of Profile Data on Code Quality
LCTES
April W. Wade University of Kansas, Prasad Kulkarni University of Kansas, Michael Jantz University of Tennessee
11:15
25m
Talk
Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
LCTES
Ben Taylor Lancaster University, UK, Vicent Sanz Marco Lancaster University, Zheng Wang Lancaster University
11:40
25m
Talk
Auto-Vectorization for Image Processing DSLs
LCTES
Oliver Reiche Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Christof Kobylko , Frank Hannig Friedrich-Alexander University Erlangen-Nürnberg (FAU), Jürgen Teich
12:05
25m
Talk
Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
LCTES
Sheng-Yu Fu , Ding-Yong Hong Institute of Information Science, Academia Sinica, Ping Yu Department of Computer Science and Information Engineering, National Taiwan University, Jan-Jan Wu Institute of Information Science, Academia Sinica, Wei-Chung Hsu Dept. Computer Science & Information Engineering, National Taiwan University
11:00 - 12:30
Session 2: High Performance and DistributionDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Guido Salvaneschi TU Darmstadt
11:00
25m
Talk
Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper)
DEBS Research Papers
Ruben Mayer University of Stuttgart, Muhammad Adnan Tariq University of Stuttgart, Kurt Rothermel Universitaet Stuttgart
11:25
25m
Talk
Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper)
DEBS Research Papers
Kanat Tangwongsan Mahidol University International College, Martin Hirzel IBM Research, Scott Schneider IBM Research
11:50
20m
Talk
Hardware Accelerated Application Integration Processing. (Industry Paper)
DEBS Research Papers
Daniel Ritter SAP SE, Jonas Dann SAP SE, Norman May SAP SE, Stefanie Rinderle-Ma University of Vienna
12:10
20m
Talk
Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
DEBS Research Papers
Benjamin Erb Ulm University, Germany , Dominik Meißner Institute of Distributed Systems, Ulm University, Jakob Pietron Ulm University, Frank Kargl Ulm University
12:00 - 12:30
12:00
15m
Awards
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
PLDI Research Papers

12:15
15m
Day closing
Closing
PLDI Research Papers
12:30 - 14:00
12:30
90m
Lunch
Lunch
DEBS Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
ECOOP Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
LCTES Catering

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

15:00 - 15:30
15:00
30m
Coffee break
Break
DEBS Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
ECOOP Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
LCTES Catering

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

15:30 - 17:10
Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded SystemsLCTES at Vertex WS208
Chair(s): Bernhard Scholz University of Sydney, Australia
15:30
25m
Talk
Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
LCTES
Weiwen Jiang Chongqing University, Edwin Sha Chongqing University, Qingfeng Zhuge Chongqing University, China, Hailiang Dong Chongqing University, Xianzhang Chen Chongqing University
15:55
25m
Talk
Integrated IoT Programming with Selective Abstraction
LCTES
Gyeongmin Lee POSTECH, Seonyeong Heo POSTECH, Bongjun Kim POSTECH, Jong Kim POSTECH, Hanjun Kim POSTECH
16:20
25m
Talk
Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
LCTES
Min Zhang East China Normal University, Yunhui Ying
16:45
25m
Talk
Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
LCTES
Wenguang Zheng , Hui Wu University of New South Wales, Australia, Chuanyao Nie The University of New South Wales
16:30 - 17:00
Demos and Poster IntroductionDEBS Posters & Demos at Sala d'Actes, Vertex Building
16:30
30m
Demonstration
DEBS Demos and Posters
DEBS Posters & Demos

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

Thu 22 Jun

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

08:00 - 09:00
08:00
60m
Registration
Registration
DEBS Registration

09:00 - 10:00
Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric Jul University of Oslo
09:00
60m
Talk
Composing Software in an Age of Dissonance
ECOOP Invited Speakers
Media Attached
09:00 - 10:00
09:00
60m
Talk
Blockchain: Distributed Event-based Processing in a Data-Centric World
DEBS Invited Speakers
Richard Hull IBM T. J. Watson Research Center
09:00 - 10:00
Keynote 2LCTES at Vertex WS208
Chair(s): Vijay Nagarajan University of Edinburgh, UK
09:00
60m
Talk
Design versus Performance: From Giotto via the Embedded Machine to Selfie
LCTES
Christoph Kirsch University of Salzburg
File Attached
09:00 - 10:00
Refinement Types for Program Verification and SynthesisPLDI Tutorials at Vertex WS215
09:00
60m
Other
Refinement Types for Program Verification and Synthesis
PLDI Tutorials
Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA
Media Attached
09:00 - 10:00
Intro & industry perspective on cryptoDSW at Vertex WS216
Chair(s): Andrew W. Appel Princeton
09:00
15m
Day opening
Introduction to DeepSpec
DSW
Lennart Beringer Princeton University, Adam Chlipala Massachusetts Institute of Technology, USA
09:15
45m
Talk
Building Faith in Experts: Applying Formal Verification to Cryptography
DSW
09:00 - 10:00
WALA Hack-A-ThonPLDI Tutorials at Vertex WS218
09:00
60m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta
09:00 - 10:00
Building your own modular static analyzer with Facebook InferPLDI Tutorials at Vertex WS219
09:00
60m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook
10:00 - 10:30
10:00
30m
Coffee break
Break
DEBS Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
LCTES Catering

10:30 - 12:10
Specification and VerificationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Doug Lea State University of New York, Oswego
10:30
25m
Talk
Concurrent Data Structures Linked in Time
ECOOP Research Papers
Germán Andrés Delbianco IMDEA Software Institute, Ilya Sergey University College London, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute
Link to publication Media Attached
10:55
25m
Talk
Contracts in the Wild: A Study of Java Programs
ECOOP Research Papers
Jens Dietrich Massey University, David J. Pearce Victoria University of Wellington, Kamil Jezek University of West Bohemia, Pilsen, CZ, Premek Brada University of West Bohemia
Link to publication Pre-print Media Attached
11:20
25m
Talk
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
ECOOP Research Papers
Jan-Oliver Kaiser MPI-SWS, Hoang-Hai Dang MPI-SWS, Derek Dreyer MPI-SWS, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Link to publication Media Attached
11:45
25m
Talk
Promising Compilation to ARMv8 POP
ECOOP Research Papers
Anton Podkopaev St. Petersburg University, JetBrains, Ori Lahav MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany
Link to publication Media Attached
10:30 - 12:10
10:30
1h40m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan Vitek Northeastern University
Pre-print
10:30 - 12:10
Session 3: Publish/SubscribeDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Mohammad Sadoghi Purdue
10:30
25m
Talk
PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper)
DEBS Research Papers
Pooya Salehi Technical University of Munich, Kaiwen Zhang TU Munich, Hans-Arno Jacobsen University of Toronto
10:55
25m
Talk
Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper)
DEBS Research Papers
Sukanya Bhowmik University of Stuttgart, Muhammad Adnan Tariq University of Stuttgart, Alexander Balogh University of Stuttgart, Kurt Rothermel Universitaet Stuttgart
11:20
20m
Talk
Kafka versus RabbitMQ. (Industry Paper)
DEBS Research Papers
Philippe Dobbelaere Nokia Bell Labs, Kyumars Sheykh Esmaili Nokia Bell Labs
11:40
20m
Talk
An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper)
DEBS Research Papers
Kyoungho An RTI, Shweta Khare Vanderbilt University, Anirüddhā Gokhālé Vanderbilt University
10:30 - 12:10
Session 3: Non-Volatile Memory/Processor and RTOSLCTES at Vertex WS208
Chair(s): Hanjun Kim POSTECH
10:30
25m
Talk
Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
LCTES
Yi Wang Shenzhen University, Mingxu Zhang Shenzhen University, Jing Yang Harbin Institute of Technology
10:55
25m
Talk
Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
LCTES
Xianzhong Ding Shandong University, Zhiyong Zhang Shandong University, Zhiping Jia Shandong University, Lei Ju Shandong University, Mengying Zhao Shandong University, Huawei Huang The University of Aizu
11:20
25m
Talk
A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
LCTES
Chen Pan , Mimi Xie Oklahoma State University, Yongpan Liu Tsinghua University, Yanzhi Wang Syracuse University, Jason Xue City University of Hong Kong, China, Yiran Chen University of Pittsburgh, Jingtong Hu Oklahoma State University
11:45
25m
Talk
OSEK-V: Application-Specific RTOS Instantiation in Hardware
LCTES
Christian Dietrich , Daniel Lohmann Friedrich-Alexander-Universität, Germany
10:30 - 12:10
Incremental computing 1: Keynote + Research talkIC at Vertex WS215
10:30
70m
Talk
Keynote: Incrementalizing the Rust Compiler
IC
K: Nicholas Matsakis Mozilla Corporation
11:40
30m
Talk
IncAL: A DSL for Incremental Program Analysis with Lattices
IC
Tamás Szabó itemis AG / TU Delft, Markus Völter itemis/independent, Sebastian Erdweg TU Delft
File Attached
10:30 - 12:10
Academic crypto projects; industry perspective on formal-methods integrationDSW at Vertex WS216
Chair(s): Zhong Shao Yale University
10:30
30m
Talk
Correct-by-Construction Generation of Fast Code for Elliptic Curves
DSW
Adam Chlipala Massachusetts Institute of Technology, USA
11:00
30m
Talk
Introduction to verification using the VST
DSW
Lennart Beringer Princeton University
11:30
40m
Talk
Using formal tools to develop high-assurance software for autonomous ground vehicles
DSW
Aleksey Nogin HRL Laboratories, LLC
10:30 - 12:10
Refinement Types for Program Verification and Synthesis (cont'd)PLDI Tutorials at Vertex WS217
10:30
1h40m
Other
Refinement Types for Program Verification and Synthesis
PLDI Tutorials
Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA
Media Attached
10:30 - 12:10
WALA Hack-A-Thon (2)PLDI Tutorials at Vertex WS218
10:30
1h40m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta
10:30 - 12:10
Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219
10:30
1h40m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook
12:10 - 13:40
12:10
90m
Lunch
Lunch
DEBS Catering

12:10 - 13:40
12:10
90m
Lunch
Lunch
ECOOP Catering

12:10 - 13:40
12:10
90m
Lunch
Lunch
LCTES Catering

13:40 - 15:20
ImplementationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Tobias Wrigstad Uppsala University
13:40
25m
Talk
Parallelizing Julia with a Non-invasive DSL
ECOOP Research Papers
Todd A. Anderson , Hai Liu Intel Labs, Lindsey Kuper Intel Labs, Ehsan Totoni Intel Labs, Jan Vitek Northeastern University, Tatiana Shpeisman Intel Labs
Link to publication Media Attached
14:05
25m
Talk
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
ECOOP Research Papers
Baptiste Saleil , Marc Feeley Université de Montréal
Link to publication Media Attached
14:30
25m
Talk
Compiling tree transforms to operate on packed representations
ECOOP Research Papers
Michael Vollmer Indiana University, USA, Sarah Spall Indiana University, Buddhika Chamith Indiana University, Laith Sakka , Milind Kulkarni Purdue University, Sam Tobin-Hochstadt Indiana University, Ryan R. Newton Indiana University
Link to publication Media Attached
14:55
25m
Talk
An Empirical Study on Deoptimization in the Graal Compiler
ECOOP Research Papers
Yudi Zheng University of Lugano, Lubomír Bulej Charles University, Walter Binder University of Lugano
Link to publication Media Attached
13:40 - 15:20
13:40
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco Visser Delft University of Technology
Media Attached File Attached
13:40 - 15:20
Session 4: Reliability and SecurityDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Roy Friedman Technion - Israel institute of technology
13:40
25m
Talk
Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper)
DEBS Research Papers
Nikos Zacheilas Athens University of Economics and Business, Vana Kalogeraki Athens University of Economics and Business, Vincenzo Gulisano Chalmers University of Technology, Yiannis Nikolakopoulos Chalmers University of Technology, Marina Papatriantafilou Chalmers University of Technology, Philippas Tsigas Chalmers University of Technology
14:05
25m
Talk
SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
DEBS Research Papers
Aurélien Havet Université de Neuchâtel, Rafael Pires Université de Neuchâtel, Pascal Felber Université de Neuchâtel, Marcelo Pasin Université de Neuchâtel, Romain Rouvoy University Lille 1 and INRIA, Valerio Schiavoni University of Neuchatel
14:30
25m
Talk
FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper)
DEBS Research Papers
Lorenzo Affetti Politecnico di Milano, Alessandro Margara Politecnico di Milano, Gianpaolo Cugola Politecnico di Milano
14:55
25m
Talk
A Prototype for Credit Card Fraud Management. (Industry Paper)
DEBS Research Papers
Alexander Artikis University of Pireaus and NCSR "Demokritos", Nikos Katzouris NCSR Demokritos, Ivo Correia Feedzai, Chris Baber The University of Birmingham, Natan Morar The University of Birmingham, Inna Skarbovsky IBM Haifa Research Lab, Fabiana Fournier IBM Haifa Research Lab, Georgios Paliouras Institute of Informatics & Telecommunications, NCSR "Demokritos"
13:40 - 15:20
Incremental computing 2: Research talksIC at Vertex WS215
13:40
30m
Talk
Automated Incrementalization through Synthesis
IC
Rohin Shah University of California, Berkeley, Rastislav Bodík University of Washington
File Attached
14:15
30m
Talk
IceDust Calculation Strategy Composition Performance in Web Applications
IC
Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology
File Attached
14:50
30m
Talk
Automatic Incrementalization of Functional Reports
IC
Ken Friis Larsen DIKU, University of Copenhagen, Fritz Henglein DIKU, Denmark
File Attached
13:40 - 15:00
Academic C-verification project; industry perspective on hypervisorsDSW at Vertex WS216
Chair(s): Adam Chlipala Massachusetts Institute of Technology, USA
13:40
40m
Talk
Verifying concurrent C programs with the Verified Software Toolchain
DSW
Andrew W. Appel Princeton
14:20
40m
Talk
Challenges in Analysing Virtualisation Stacks
DSW
Michael Tautschnig Amazon Web Services
13:40 - 15:20
WALA Hack-A-Thon (3)PLDI Tutorials at Vertex WS218
13:40
1h40m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta
13:40 - 15:20
Polyhedral CompilationPLDI Tutorials at Vertex WS219
13:40
1h40m
Other
Polyhedral Compilation
PLDI Tutorials
15:20 - 15:50
15:20
30m
Coffee break
Break
DEBS Catering

15:20 - 15:50
15:20
30m
Coffee break
Break
ECOOP Catering

15:30 - 17:00
Academic hypervisor project; closing discussionDSW at Vertex WS216
Chair(s): Lennart Beringer Princeton University
15:30
45m
Talk
CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
DSW
Zhong Shao Yale University
16:15
45m
Day closing
Closing discussion
DSW

15:50 - 17:30
Calculi and SemanticsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Colin Gordon Drexel University
15:50
25m
Talk
Modelling homogeneous generative meta-programming
ECOOP Research Papers
Martin Berger , Laurence Tratt King's College London, Christian Urban King's College London
Link to publication Media Attached
16:15
25m
Talk
Mixing Metaphors: Actors as Channels and Channels as Actors
ECOOP Research Papers
Simon Fowler The University of Edinburgh, Sam Lindley University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK
Link to publication Pre-print Media Attached
16:40
25m
Talk
μPuppet: A Declarative Subset of the Puppet Configuration Language
ECOOP Research Papers
Weili Fu University of Edinburgh, Roly Perera University of Edinburgh, UK / University of Glasgow, UK, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK
Link to publication Media Attached
17:05
25m
Talk
Strong Normalization for Dependent Object Types (DOT)
ECOOP Research Papers
Fei Wang , Tiark Rompf Purdue University
Link to publication Media Attached
15:50 - 17:30
15:50
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco Visser Delft University of Technology
Media Attached File Attached
15:50 - 17:30
15:50
1h40m
Talk
The DEBS 2017 Grand Challenge
DEBS Grand Challenge
Vincenzo Gulisano Chalmers University of Technology, Roman Katerinenko AGT International, Zbigniew Jerzak SAP Research, Martin Strohbach AGT International, Holger Ziekow HS Furtwangen
15:50 - 17:30
Incremental computing 3: Research talksIC at Vertex WS215
15:50
30m
Talk
Incremental Relational Lenses
IC
Rudi Horn University of Edinburgh, James Cheney University of Edinburgh, UK
File Attached
16:25
30m
Talk
Privacy-aware Distributed Incremental Computation
IC
Mirko Köhler Technical University of Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg TU Delft, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt
File Attached
17:00
30m
Talk
Tuning Data and Control Structures for Incremental Computation
IC
Kyle Headley University of Colorado Boulder
File Attached
15:50 - 17:00
WALA Hack-A-Thon (4)PLDI Tutorials at Vertex WS218
15:50
70m
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta
15:50 - 17:00
Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219
15:50
70m
Other
Polyhedral Compilation
PLDI Tutorials
17:30 - 19:00
17:30
90m
Business Meeting
DEBS Business Meeting

20:00 - 23:00
20:00
3h
Dinner
Banquet
DEBS Banquet

Fri 23 Jun

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

08:00 - 09:00
08:00
60m
Registration
Registration
DEBS Registration

09:00 - 10:00
Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric Jul University of Oslo
09:00
60m
Talk
Retargeting Gradual Typing
ECOOP Invited Speakers
Ross Tate Cornell University
Media Attached
09:00 - 10:00
Graal: High Performance Compilation for Managed LanguagesPLDI Tutorials at Vertex WS208
09:00
60m
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
09:00 - 10:00
Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216
09:00
60m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich
09:00 - 10:00
Engineering Static Analyzers with SouffléPLDI Tutorials at Vertex WS217
09:00
60m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London
09:00 - 09:10
OpeningWCIRE at Vertex WS218
Chair(s): Milind Kulkarni Purdue University
09:00
10m
Day opening
Opening Remarks
WCIRE
Louis-Noël Pouchet Colorado State University, Milind Kulkarni Purdue University, Samuel Midkiff School of Electrical and Computer Engineering, Purdue University
09:00 - 10:00
Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219
09:00
60m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication
09:10 - 10:00
Session 1WCIRE at Vertex WS218
Chair(s): Milind Kulkarni Purdue University
09:10
50m
Talk
The ROSE Compiler Framework
WCIRE
Louis-Noël Pouchet Colorado State University
10:00 - 10:30
10:00
30m
Coffee break
Break
DEBS Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP Catering

10:30 - 12:10
Types and EffectsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Philipp Haller KTH Royal Institute of Technology
10:30
25m
Talk
Relaxed Linear References for Lock-free Programming
ECOOP Research Papers
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Link to publication Media Attached
10:55
25m
Talk
A Generic Approach to Flow-Sensitive Polymorphic Effects
ECOOP Research Papers
Colin Gordon Drexel University
Link to publication Pre-print Media Attached
11:20
25m
Talk
A Co-contextual Type Checker for Featherweight Java
ECOOP Research Papers
Edlira Kuci TU Darmstadt, Germany, Sebastian Erdweg TU Delft, Oliver Bračevac TU Darmstadt, Andi Bejleri TU Darmstadt, Germany, Mira Mezini TU Darmstadt
Link to publication Media Attached
11:45
25m
Talk
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
ECOOP Research Papers
Alceste Scalas Imperial College London, Ornela Dardha University of Glasgow, Raymond Hu Imperial College London, Nobuko Yoshida Imperial College London
Link to publication Media Attached
10:30 - 12:10
Session 5: Learning, Automation and IntegrationDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Martin Hirzel IBM Research
10:30
25m
Talk
Event Forecasting with Pattern Markov Chains. (Research Paper)
DEBS Research Papers
Elias Alevizos NCSR Demokritos, Institute of Informatics and Telecommunications, Alexander Artikis University of Pireaus and NCSR "Demokritos", Georgios Paliouras Institute of Informatics & Telecommunications, NCSR "Demokritos"
10:55
25m
Talk
Automatic Learning of Predictive CEP Rules: Bridging the Gap between Data Mining and Complex Event Processing. (Research Paper)
DEBS Research Papers
Raef Mousheimish DAVID lab, University of Versailles, Yehia Taher DAVID - UVSQ, Karine Zeitouni University of Versailles-Saint-Quentin
11:20
20m
Talk
An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper)
DEBS Research Papers
Jürgen Thanhofer-Pilisch Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Rick Rabiser Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Thomas Krismayer Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Michael Vierhauser University of Notre Dame, Paul Grünbacher , Stefan Wallner Primetals Technologies Austria GmbH, Klaus Seyerlehner Primetals Technologies Austria GmbH, Helmut Zeisel Primetals Technologies Austria GmbH
11:40
20m
Talk
Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper)
DEBS Research Papers
Shima Zahmatkesh Politecnico di Milano, Emanuele Della Valle DEIB, Politecnico di Milano, Daniele Dell'Aglio IFI, University of Zurich
10:30 - 12:10
Graal: High Performance Compilation for Managed Languages (cont'd)PLDI Tutorials at Vertex WS208
10:30
1h40m
Other
Graal: High Performance Compilation for Managed Languages
PLDI Tutorials
10:30 - 12:10
Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216
10:30
1h40m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich
10:30 - 12:10
Engineering Static Analyzers with Soufflé (2)PLDI Tutorials at Vertex WS217
10:30
1h40m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London
10:30 - 12:10
Session 2WCIRE at Vertex WS218
Chair(s): Milind Kulkarni Purdue University
10:30
50m
Talk
The Spoofax Language Workbench
WCIRE
Eelco Visser Delft University of Technology
Link to publication
11:20
50m
Talk
Peeking into a polyhedral compiler through the Periscop toolkit
WCIRE
10:30 - 12:10
Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219
10:30
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication
12:10 - 13:40
12:10
90m
Lunch
Lunch
DEBS Catering

12:10 - 13:40
12:10
90m
Lunch
Lunch
ECOOP Catering

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

13:40 - 15:20
Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216
13:40
1h40m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich
13:40 - 15:20
Engineering Static Analyzers with Soufflé (3)PLDI Tutorials at Vertex WS217
13:40
1h40m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London
13:40 - 15:20
Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219
13:40
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication
14:10 - 15:20
Session 6: Models and Analysis for Understanding Distributed and Event-Based SystemsDEBS Research Papers at Sala d'Actes, Vertex Building
Chair(s): Alessandro Margara Politecnico di Milano
14:10
23m
Talk
DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper)
DEBS Research Papers
Fabrice Starks University of Oslo, Thomas Plagemann University of Oslo, Stein Kristiansen University of Oslo
14:33
23m
Talk
Performance Modeling of Stream Joins. (Research Paper)
DEBS Research Papers
Vincenzo Gulisano Chalmers University of Technology, Alessandro Vittorio Papadopoulos Mälardalen University, Yiannis Nikolakopoulos Chalmers University of Technology, Marina Papatriantafilou Chalmers University of Technology, Philippas Tsigas Chalmers University of Technology
14:56
23m
Talk
One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
DEBS Research Papers
Arnon Lazerson Technion, Moshe Gabel Technion, Daniel Keren Haifa University, Assaf Schuster Technion
15:20 - 15:50
15:20
30m
Coffee break
Break
DEBS Catering

15:20 - 15:50
15:20
30m
Coffee break
Break
ECOOP Catering

15:50 - 17:05
15:50
25m
Talk
Type Abstraction for Relaxed Noninterference
ECOOP Research Papers
Raimil Cruz University of Chile, Tamara Rezk Inria, Bernard Serpette Inria, Éric Tanter University of Chile
Link to publication Media Attached
16:15
25m
Talk
EvilPickles: DoS attacks based on Object-Graph Engineering
ECOOP Research Papers
Jens Dietrich Massey University, Kamil Jezek University of West Bohemia, Pilsen, CZ, Shawn Rasheed Massey University, Amjed Tahir Massey University, Alex Potanin Victoria University of Wellington
Link to publication Pre-print Media Attached
16:40
25m
Talk
A Capability-Based Module System for Authority Control
ECOOP Research Papers
Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
Link to publication
15:50 - 17:05
15:50
75m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan Vitek Northeastern University
Pre-print
15:50 - 16:30
15:50
40m
Day closing
Closing
DEBS Closing

15:50 - 17:00
Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216
15:50
70m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf Purdue University, Kunle Olukotun Stanford University, Markus Püschel ETH Zurich
15:50 - 17:00
Engineering Static Analyzers with Soufflé (4)PLDI Tutorials at Vertex WS217
15:50
70m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London
15:50 - 16:30
DiscussionWCIRE at Vertex WS218
Chair(s): Milind Kulkarni Purdue University
15:50
40m
Other
Open Discussion: Building Infrastructure for Research and Education
WCIRE
Milind Kulkarni Purdue University, Samuel Midkiff School of Electrical and Computer Engineering, Purdue University, Louis-Noël Pouchet Colorado State University
15:50 - 17:00
Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219
15:50
70m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication