PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) /
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 08:45 | |||
08:30 15mDay opening | Opening ISMM |
08:30 - 10:30 | |||
08:30 2hOther | 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 | |||
08:30 15mDay opening | Opening SOAP |
08:45 - 09:30 | |||
08:45 45mTalk | Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations ISMM |
08:45 - 09:30 | |||
08:45 45mTalk | Journey to Find Bugs in JavaScript Web Applications in the WildInvited Talk SOAP Sukyoung Ryu KAIST File Attached |
09:00 - 10:30 | |||
09:00 45mTalk | Welcome PLMW | ||
09:45 45mTalk | Hot, Classic, and Unrecognized Problems in Programming Languages PLMW Kathryn S McKinley Microsoft Research |
09:00 - 10:30 | |||
09:00 10mTalk | Introduction ECOOP Doctoral Symposium | ||
09:10 20mTalk | Lightning talks ECOOP Doctoral Symposium | ||
09:30 30mTalk | 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 30mTalk | Enabling Modular Verification of Concurrent Programs ECOOP Doctoral Symposium |
09:00 - 10:00 | |||
09:00 60mTalk | Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics ARRAY P. Sadayappan Ohio State University |
09:15 - 09:30 | |||
09:15 15mDay opening | Introduction and Welcome MAPL |
09:30 - 10:30 | |||
09:30 30mTalk | 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 30mTalk | Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures ISMM |
09:30 - 10:30 | |||
09:30 20mTalk | Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction SOAP DOI File Attached | ||
09:50 20mTalk | 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 20mTalk | 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 | |||
09:30 60mTalk | 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 30mTalk | Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations ARRAY DOI File Attached |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ECOOP Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ISMM Catering |
11:00 - 12:30 | |||
11:00 30mTalk | A Marshalled Data Format for Pointers in Relocatable Data Blocks ISMM | ||
11:30 30mTalk | Flexible and Efficient Memory Object Metadata ISMM Zhengyang Liu Beijing University of Posts and Telecommunications, John Criswell University of Rochester | ||
12:00 30mTalk | Shadow State Encoding for Efficient Monitoring of Block-level Properties ISMM |
11:00 - 12:30 | |||
11:00 45mTalk | What is research and how to do it? Thinking globally and acting locally. PLMW Michael Hicks University of Maryland, College Park | ||
11:45 45mTalk | Program synthesis PLMW Armando Solar-Lezama MIT CSAIL |
11:00 - 12:30 | |||
11:00 30mTalk | Invited Talk: The Story of WALA at Watson and Beyond ECOOP Doctoral Symposium Julian Dolby IBM Thomas J. Watson Research Center | ||
11:30 30mTalk | Analysis and Verification of Rich Typestate Properties for Complex Programs ECOOP Doctoral Symposium | ||
12:00 30mTalk | Efficient Run-Times for Sound Gradual Typing ECOOP Doctoral Symposium |
11:00 - 12:30 | |||
11:00 90mOther | 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 | |||
11:00 45mTalk | 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 30mTalk | An ELI-to-C Compiler: Design, Implementation and Performance ARRAY DOI File Attached | ||
11:30 30mTalk | Array Programming in Whiley ARRAY David J. Pearce Victoria University of Wellington DOI File Attached | ||
12:00 30mTalk | Flexible Data Views: Design and Implementation ARRAY DOI File Attached |
11:00 - 12:00 | |||
11:00 30mTalk | A Computational Model for TensorFlow (An Introduction) MAPL | ||
11:30 30mTalk | Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications MAPL Tim Vieira Johns Hopkins University, Matthew Francis-Landau The Johns Hopkins University, Nathaniel Wesley Filardo , Farzad Khorasani Rice University, Jason Eisner The Johns Hopkins University |
11:45 - 12:30 | |||
11:45 22mTalk | SootKeeper: Runtime Reusability for Modular Static Analysis SOAP Florian Kübler TU Darmstadt, Germany, Patrick Müller TU Darmstadt, Germany, Ben Hermann University of Paderborn DOI Pre-print | ||
12:07 22mTalk | Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses SOAP Anastasios Antoniadis , Konstantinos Triantafyllou University of Athens, Greece, Yannis Smaragdakis University of Athens DOI Pre-print File Attached |
12:00 - 12:30 | |||
12:00 30mTalk | 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 60mLunch | Lunch ECOOP Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ISMM Catering |
13:30 - 15:00 | |||
13:30 30mTalk | Invited Talk: What Lies Beyond a PhD ECOOP Doctoral Symposium Sarah Nadi University of Alberta | ||
14:00 30mTalk | Verifiable, reusable, yet useful conditioning ECOOP Doctoral Symposium Praveen Narayanan Indiana University, USA | ||
14:30 30mTalk | Improving Warmup in Meta-Traced Virtual Machines ECOOP Doctoral Symposium Jasper Schulz King's College London |
14:00 - 15:30 | |||
14:00 30mTalk | Analyzing Memory Management Methods on Integrated CPU-GPU Systems ISMM | ||
14:30 30mTalk | Continuous Checkpointing of HTM Transactions in NVM ISMM | ||
15:00 30mTalk | 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 45mTalk | Preventing Information Flow by Construction PLMW Jean Yang Carnegie Mellon University | ||
14:45 45mTalk | Giving good talks PLMW Ben Wiedermann Harvey Mudd College |
14:00 - 15:30 | |||
14:00 90mOther | Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials |
14:00 - 14:45 | |||
14:00 45mTalk | WALA EverywhereInvited Talk SOAP Julian Dolby IBM Thomas J. Watson Research Center Media Attached |
14:00 - 15:00 | |||
14:00 60mTalk | 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 | |||
14:00 30mTalk | Combining the Logical and the Probabilistic in Program Analysis MAPL | ||
14:30 30mTalk | 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 30mTalk | Verified Perceptron Convergence Theorem MAPL |
14:45 - 15:30 | |||
14:45 22mTalk | 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 22mTalk | 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 30mCoffee 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 30mTalk | Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations ARRAY DOI File Attached |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ISMM Catering |
15:30 - 17:50 | |||
15:30 30mTalk | Compilation of Stream Programs for Heterogeneous Architectures ECOOP Doctoral Symposium | ||
16:00 30mTalk | Introspective Intrusion Detection for Popular Software Platforms ECOOP Doctoral Symposium | ||
16:30 30mTalk | Privacy-aware operator placement ECOOP Doctoral Symposium | ||
17:00 40mTalk | How to get your Ph.D. DONE ECOOP Doctoral Symposium Eric Jul University of Oslo | ||
17:40 10mTalk | 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 30mTalk | "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis ISMM | ||
16:30 30mTalk | 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 30mTalk | 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 45mTalk | Formal methods research: The what, the why and the how PLMW Roopsha Samanta Purdue University | ||
16:45 60mOther | 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 26hOther | Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials |
16:00 - 16:20 | |||
16:00 20mTalk | 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 | |||
16:00 30mTalk | 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 30mTalk | 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 30mTalk | HPTT: A High-Performance Tensor Transposition C++ Library ARRAY DOI File Attached |
16:00 - 16:45 | |||
16:00 45mOther | Town Hall Discussion MAPL |
16:20 - 18:00 | |||
16:20 1h40mMeeting | Open Discussion SOAP |
16:30 - 18:00 | |||
16:30 90mTalk | Introduction Session ECOOP Summer School Jan Vitek Northeastern University |
16:45 - 17:00 | |||
16:45 15mDay closing | Concluding Remarks MAPL |
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 30mDay closing | Closing / Discussion ARRAY |
Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | 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 5mDay opening | Welcome PLDI Invited Speakers |
09:00 - 10:30 | |||
09:00 10mTalk | Workshop Welcome ICOOOLPS Mario Wolczko Oracle Labs | ||
09:10 80mTalk | We Software People are not Worthy - All Hail the Hardware Gods ICOOOLPS Sylvan Clebsch Imperial College London |
09:00 - 10:30 | |||
09:00 90m | DEBS Workshop DEBS Workshop |
09:05 - 10:00 | |||
09:05 55mTalk | What to Leave Implicit PLDI Invited Speakers Martin Odersky EPFL, Switzerland Media Attached |
09:05 - 10:00 | |||
09:05 55mTalk | What to Leave Implicit CurryOn Curry On Keynotes Martin Odersky EPFL, Switzerland |
10:00 - 10:30 | |||
10:00 30mOther | 1' Pitches of Monday PLDI Research Papers |
10:30 - 12:50 | |||
10:30 40mTalk | Flow Reloaded: New Challenges and New Opportunities CurryOn Curry On Talks Avik Chaudhuri Facebook | ||
11:20 40mTalk | Moving Fast with High Reliability: Program Analysis at Uber CurryOn Curry On Talks Manu Sridharan Uber | ||
12:10 40mTalk | The Practice and Theory of TLA+ CurryOn Curry On Talks |
10:30 - 10:50 | |||
10:30 20mCoffee break | Break PLDI Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break DEBS Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ECOOP Catering |
10:30 - 12:50 | |||
10:30 40mTalk | Impromptu: A Lightweight, dependently-typed async framework for Scala CurryOn Curry On Talks Jon Pretty Propensive Ltd | ||
11:20 40mTalk | Centrifuge : Data quality in Spark without the costs! CurryOn Curry On Talks Jonathan Winandy Univalence | ||
12:10 40mTalk | Angelina Ballerina Learns About Memory Allocation CurryOn Curry On Talks Allison McMillan Collective Idea |
10:30 - 12:50 | |||
10:30 40mTalk | The Programmer's Guide to Ideology CurryOn Curry On Talks Silvia Moura Pina Zalando SE | ||
11:20 40mTalk | Composable Caching in Swift CurryOn Curry On Talks Brandon Kase Pinterest | ||
12:10 40mTalk | 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 25mTalk | DemoMatch: API Discovery from Demonstrations PLDI Research Papers Media Attached | ||
11:15 25mTalk | Similarity of Binaries through re-Optimization PLDI Research Papers | ||
11:40 25mTalk | 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 25mTalk | 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 25mTalk | Cache Locality Optimization for Recursive Programs PLDI Research Papers | ||
11:15 25mTalk | Fusing Effectful Comprehensions PLDI Research Papers Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research | ||
11:40 25mTalk | 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 25mTalk | ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM PLDI Research Papers Media Attached |
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
11:00 30mTalk | Spencer: Tracing as a Service IWACO Stephan Brandauer Uppsala University | ||
11:30 30mTalk | Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. IWACO Alex Potanin Victoria University of Wellington | ||
12:00 30mTalk | Reference Capabilities in Practice: Examining Real-World Pony Code IWACO Sylvan Clebsch Imperial College London |
11:00 - 12:30 | |||
11:00 30mTalk | JaVerT: a logic-based tool for JavaScript Verification JSTools File Attached | ||
11:30 30mTalk | To Type or Not to Type: Quantifying Detectable Bugs in JavaScript JSTools | ||
12:00 30mTalk | Testing and Evolving TypeScript Declaration Files with Program Analysis JSTools Anders Møller Aarhus University |
11:00 - 12:30 | |||
11:00 90m | DEBS Workshop DEBS Workshop |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch DEBS Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ECOOP Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch PLDI Catering |
12:50 - 14:00 | |||
12:50 70mLunch | Lunch CurryOn Catering |
14:00 - 14:50 | |||
14:00 50mTalk | FP is Dead: Long Live FP CurryOn Curry On Keynotes Brian Goetz Oracle |
14:00 - 15:40 | |||
14:00 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | Systematic Black-Box Analysis of Collaborative Web Applications PLDI Research Papers Media Attached |
14:00 - 15:40 | |||
14:00 1h40mTalk | Compiler Verification for a Multi-Language World ECOOP Summer School Amal Ahmed Northeastern University, USA |
14:00 - 15:30 | |||
14:00 60mTalk | Can Compiler Magic Ever Be Explained? ICOOOLPS | ||
15:00 30mTalk | 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 | |||
14:00 30mTalk | Aliasing, Capabilities and Ownership in Rust IWACO | ||
14:30 30mTalk | Introducing Ownership Type Constraints to UML/OCL IWACO File Attached | ||
15:00 30mTalk | Towards Reasonable Ownership IWACO File Attached |
14:00 - 15:30 | |||
14:00 30mTalk | BCoz: Effective Performance Debugging for Web Applications JSTools John Vilk University of Massachusetts, Amherst File Attached | ||
14:30 30mTalk | Repairing Event Race Errors by Controlling Nondeterminism JSTools Frank Tip Northeastern University | ||
15:00 30mTalk | Static Analysis of CommonJS Modules JSTools |
14:00 - 15:30 | |||
14:00 20mTalk | Consistent Stream Processing DEBS Doctoral Symposium Lorenzo Affetti Politecnico di Milano | ||
14:20 20mTalk | 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 20mTalk | 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 20mTalk | Large-Scale Stream Graph Processing DEBS Doctoral Symposium Domagoj Margan Imperial College London |
15:00 - 15:40 | |||
15:00 40mTalk | Clojure Transducers In The Wild CurryOn Curry On Talks Renzo Borgatti Mailonline |
15:00 - 15:40 | |||
15:00 40mTalk | Don't Write Tests! CurryOn Curry On Talks John Hughes Chalmers University of Technology |
15:00 - 15:40 | |||
15:00 40mTalk | Carpenters & Cartographers CurryOn Curry On Talks Valentin Kasas self-employed @ Kanaka |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break DEBS Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ECOOP Catering |
15:40 - 16:10 | |||
15:40 30mCoffee break | Break PLDI Catering |
15:40 - 16:10 | |||
15:40 30mCoffee break | Coffee break CurryOn Catering |
16:00 - 18:00 | |||
16:00 60mOther | 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 30mTalk | Diff Graphs for a fast Incremental Pointer Analysis ICOOOLPS Link to publication DOI File Attached | ||
17:30 30mDemonstration | 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 | |||
16:00 45mTalk | Adding Safe Manual Memory Management to .NET IWACO Dimitrios Vytiniotis Microsoft Research, Cambridge |
16:00 - 18:00 | |||
16:00 30mTalk | WebPol: Fine-grained Information Flow Policies for Web Browsers JSTools Christian Hammer University of Potsdam |
16:00 - 17:30 | |||
16:00 20mTalk | 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 20mTalk | An Embedded DSL Framework for Distributed Embedded Systems DEBS Doctoral Symposium | ||
16:40 20mTalk | 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 20mTalk | 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 25mTalk | Achieving High Coverage for Floating-point Code via Unconstrained Programming PLDI Research Papers Media Attached | ||
16:35 25mTalk | 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 25mTalk | 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 25mTalk | 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 | |||
16:10 40mTalk | How types can turn a SQL interpreter into a SQL compiler CurryOn Curry On Talks Tiark Rompf Purdue University | ||
17:00 40mTalk | Orchestrate ING with Petri Net CurryOn Curry On Talks Adil Akhter ING | ||
17:50 40mTalk | Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API CurryOn Curry On Talks |
16:10 - 18:30 | |||
16:10 40mTalk | Winning the War on Error: Solving the Halting Problem and Curing Cancer CurryOn Curry On Talks Matthew Might University of Utah, USA | ||
17:00 40mTalk | 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 25mTalk | 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 25mTalk | Context Transformations for Pointer Analysis PLDI Research Papers Media Attached | ||
17:00 25mTalk | Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata PLDI Research Papers Pre-print Media Attached | ||
17:25 25mTalk | Static Deadlock Detection for Asynchronous C# Programs PLDI Research Papers Media Attached |
16:10 - 17:50 | |||
16:10 1h40mTalk | Compiler Verification for a Multi-Language World ECOOP Summer School Amal Ahmed Northeastern University, USA |
16:10 - 18:30 | |||
16:10 40mTalk | Profunctor Optics: Modular Data Accessors CurryOn Curry On Talks Jeremy Gibbons Department of Computer Science, University of Oxford | ||
17:00 40mTalk | Making decentralisation available for all CurryOn Curry On Talks Martin Kleppmann University of Cambridge | ||
17:50 40mTalk | Reactive Programming in the Browser with Scala.js and PureScript CurryOn Curry On Talks Luka Jacobowitz codecentric AG |
17:55 - 18:50 | |||
17:55 55mTalk | TensorFlow considered as a programming language PLDI Invited Speakers Martin Abadi Google |
17:55 - 18:50 | |||
17:55 55mTalk | PLDI Keynote - TensorFlow considered as a programming language CurryOn Curry On Keynotes Martin Abadi Google |
19:30 - 22:00 | |||
19:30 2h30mDinner | Dinner PLDI Catering |
Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration DEBS Registration |
09:00 - 09:50 | |||
09:00 50mTalk | Elixir PLDI Invited Speakers José Valim Plataformatec |
09:00 - 09:50 | |||
09:00 50mTalk | Idioms for building distributed fault-tolerant applications with Elixir CurryOn Curry On Keynotes José Valim Plataformatec |
09:00 - 10:30 | |||
09:00 90mTalk | Sliding-Window Aggregation Algorithms DEBS Tutorials Martin Hirzel IBM Research, Scott Schneider IBM Research, Kanat Tangwongsan Mahidol University International College |
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome COP | ||
09:15 60mTalk | Keynote on Context-Oriented Language Engineering COP | ||
10:15 15mOther | Discussion COP |
09:00 - 10:30 | |||
09:30 20mTalk | 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 35mTalk | Formal Analysis of Object-Oriented Mograms FTfJP | ||
10:25 5mTalk | Towards a Java Subtyping Operad FTfJP Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt Pre-print |
09:00 - 10:30 | |||
09:00 90mTalk | 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 | |||
09:50 35mOther | 1' Pitches of Tuesday and Wednesday PLDI Research Papers |
10:25 - 12:45 | |||
10:25 40mTalk | The Joy of Vector Programming: Why Vector Programming Matters CurryOn Curry On Talks Dave Thomas Kx Systems | ||
11:15 40mTalk | Helping communities & products thrive by fostering empathy CurryOn Curry On Talks | ||
12:05 40mTalk | The CernVM File System - Beyond Static Content Distribution CurryOn Curry On Talks Radu Popescu CERN |
10:25 - 12:45 | |||
10:25 40mTalk | Building Tools and Languages for Terabyte Scale Biology: A Call to Action CurryOn Curry On Talks Daniel King Broad Institute | ||
11:15 40mTalk | Preventing Information Leaks by Construction CurryOn Curry On Talks Jean Yang Carnegie Mellon University | ||
12:05 40mTalk | The Sharp Edges of Leaky Abstraction CurryOn Curry On Talks Mark Allen Alert Logic |
10:25 - 10:50 | |||
10:25 25mCoffee break | Break PLDI Catering |
10:25 - 12:45 | |||
10:25 40mTalk | Grammar-based language modes for text editors CurryOn Curry On Talks | ||
11:15 40mTalk | Scalable cross-references across languages CurryOn Curry On Talks Luke Zarko Google, Inc | ||
12:05 40mTalk | 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 30mCoffee break | Break DEBS Catering |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ECOOP Catering |
10:50 - 12:30 | |||
10:50 25mTalk | 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 25mTalk | Automatic Program Inversion using Symbolic Transducers PLDI Research Papers Media Attached | ||
11:40 25mTalk | 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 25mTalk | Rigorous Analysis of Software Countermeasures against Cache Attacks PLDI Research Papers Media Attached |
10:50 - 12:30 | |||
10:50 1h40mTalk | Rust: Ownership in practice ECOOP Summer School Nicholas Matsakis Mozilla Corporation |
11:00 - 12:30 | |||
11:00 90mTalk | 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 | |||
11:00 60mTalk | Edge Compute: The First 5000 Years PMLDC Tyler McMullen Fastly | ||
12:00 30mTalk | On the Design of Distributed Programming Models PMLDC Christopher Meiklejohn Université catholique de Louvain File Attached |
11:00 - 12:30 | |||
11:00 30mTalk | The Declarative Nature of Implicit Layer Activation COP Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI | ||
11:30 30mTalk | 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 30mTalk | Petri-Net Based Testing Environment for Context-Oriented Programming COP |
11:00 - 12:30 | |||
11:00 20mTalk | 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 70mTalk | Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) FTfJP Derek Dreyer MPI-SWS |
11:00 - 12:30 | |||
11:00 90mTalk | 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 90mLunch | Lunch DEBS Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ECOOP Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch PLDI Catering |
12:35 - 13:50 | |||
12:35 75mLunch | Lunch CurryOn Catering |
13:50 - 15:30 | |||
13:50 40mTalk | Modular Composition of Reactive Applications CurryOn Curry On Talks Mira Mezini TU Darmstadt | ||
14:40 40mTalk | On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems CurryOn Curry On Talks Sztefan Edwards nVisium LLC |
13:50 - 15:30 | |||
13:50 40mTalk | Machine learning systems with privacy and for privacy: TensorFlow & PATE-G CurryOn Curry On Talks Martín Abadi Google | ||
14:40 40mTalk | Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow CurryOn Curry On Talks Peter Hawkins Google |
13:50 - 15:30 | |||
13:50 40mTalk | Babelfish: Universal Code Parsing Server CurryOn Curry On Talks Santiago M. Mola source{d} | ||
14:40 40mTalk | Channels, Concurrency, and Cores: A new Concurrent ML implementation CurryOn Curry On Talks Andy Wingo Igalia, S.L. |
14:00 - 15:40 | Functional Programming and CorrectnessPLDI Research Papers at Aula Master Chair(s): Francesco Logozzo Facebook | ||
14:00 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | Levity Polymorphism PLDI Research Papers Media Attached |
14:00 - 15:40 | |||
14:00 1h40mTalk | Rust: Ownership in practice ECOOP Summer School Nicholas Matsakis Mozilla Corporation |
14:00 - 15:30 | |||
14:00 90mTalk | Reflections on Almost Two Decades of Research into Stream Processing DEBS Tutorials Kyumars Sheykh Esmaili Nokia Bell Labs |
14:00 - 15:30 | |||
14:00 30mTalk | Monotonicity Types for Distributed Dataflow PMLDC File Attached | ||
14:30 30mTalk | 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 30mTalk | The Single-Writer Principle in CRDT Composition PMLDC File Attached |
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 20mTalk | Generic Approach to Certified Static Checking of Module-like Constructs FTfJP Julia Belyakova Southern Federal University Pre-print | ||
14:20 35mTalk | 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 35mTalk | Mutable WadlerFest DOT FTfJP |
14:00 - 15:30 | |||
14:00 90mTalk | Human Body Related Event Processing DEBS Tutorials Opher Etzion Yezreel Valley College |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break CurryOn Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break DEBS Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ECOOP Catering |
15:40 - 16:10 | |||
15:40 30mCoffee break | Break PLDI Catering |
16:00 - 18:20 | |||
16:00 40mTalk | Computational Musicology, ????, Profit CurryOn Curry On Talks Chris Ford ThoughtWorks (UK) Ltd. | ||
16:50 40mTalk | Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler CurryOn Curry On Talks Jurriaan Hage Utrecht University | ||
17:40 40mTalk | 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 | |||
16:00 40mTalk | Pony: 714 Days Later CurryOn Curry On Talks Sylvan Clebsch Imperial College London | ||
16:50 40mTalk | Finding and Preventing Bugs in JavaScript Bindings CurryOn Curry On Talks | ||
17:40 40mTalk | Reflex: Reactive Programming at Facebook CurryOn Curry On Talks Julien Verlaguet Facebook |
16:00 - 18:20 | |||
16:00 40mTalk | Scope Graphs: A Fresh Look at Name Binding in Programming Languages CurryOn Curry On Talks Eelco Visser Delft University of Technology Media Attached File Attached | ||
16:50 40mTalk | Making Science Reproducible with Functional Programming Concepts CurryOn Curry On Talks Martin Kavalar Nextjournal | ||
17:40 40mTalk | Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs CurryOn Curry On Talks Julia Nguyen Indiegogo |
16:00 - 18:00 | |||
16:00 60mTalk | Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything. PMLDC Philippe Dobbelaere Nokia Bell Labs |
16:00 - 18:00 | |||
16:00 2hOther | Discussion COP |
16:00 - 18:00 | |||
16:00 20mTalk | Consistency Types for Safe and Efficient Distributed Programming FTfJP | ||
16:20 35mTalk | 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 35mTalk | 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 | |||
16:00 90mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 | |||
17:00 60m | Program Chair report and SIGPLAN Town Hall meeting PLDI Invited Speakers |
17:30 - 20:00 | |||
17:30 2h30m | Reception and SRC posters PLDI Student Research Competition |
18:30 - 19:20 | |||
18:30 50mTalk | Scripting with Lua CurryOn Curry On Keynotes Roberto Ierusalimschy PUC-Rio |
Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration DEBS Registration |
09:00 - 09:55 | |||
09:00 55mTalk | Probabilistic Programming and Inference Compilation, or, How I Learned to Stop Worrying and Love Deep Networks PLDI Invited Speakers Frank Wood University of Oxford Media Attached |
09:00 - 09:30 | |||
09:00 30mDay opening | Welcome DEBS Welcome |
09:00 - 09:15 | |||
09:00 15mDay opening | Opening LCTES |
09:15 - 10:15 | |||
09:15 60mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 25mCoffee break | Break PLDI Catering |
10:15 - 10:50 | |||
10:15 35mCoffee break | Break LCTES Catering |
10:20 - 12:00 | |||
10:20 1h40m | SRC presentations PLDI Student Research Competition |
10:30 - 11:00 | |||
10:30 30mCoffee 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 |
12:00 - 12:30 | |||
12:00 15mAwards | Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards PLDI Research Papers | ||
12:15 15mDay closing | Closing PLDI Research Papers Albert Cohen INRIA |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch DEBS Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ECOOP Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch LCTES Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch PLDI Catering |
14:00 - 15:00 | |||
14:00 60mTalk | Challenges to Achieving High Availability at Scale ECOOP Invited Speakers Wolfram Schulte Microsoft Media Attached |
14:00 - 15:00 | |||
14:00 60mTalk | Challenges to Achieving High Availability at Scale DEBS Invited Speakers Wolfram Shulte Facebook |
14:00 - 15:00 | |||
14:00 60mOther | Accepted posters and posters for all the accepted papers will be presented in this session LCTES |
15:00 - 15:30 | |||
15:00 30mCoffee break | Break DEBS Catering |
15:00 - 15:30 | |||
15:00 30mCoffee break | Break ECOOP Catering |
15:00 - 15:30 | |||
15:00 30mCoffee break | Break LCTES Catering |
15:30 - 17:10 | |||
15:30 1h40mTalk | Kotlin: the ins and outs of designing a commercial language ECOOP Summer School Andrey Breslav JetBrains Pre-print |
15:30 - 16:30 | |||
15:30 60mTalk | 10 Years Time Award DEBS 10 Years Time Award |
16:30 - 17:00 | |||
16:30 30mDemonstration | DEBS Demos and Posters DEBS Posters & Demos |
17:00 - 20:00 | |||
17:00 3hDemonstration | DEBS Demos and Posters DEBS Posters & Demos |
Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | 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 60mTalk | Composing Software in an Age of Dissonance ECOOP Invited Speakers Gilad Bracha Google Media Attached |
09:00 - 10:00 | |||
09:00 60mTalk | 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 | |||
09:00 60mTalk | Design versus Performance: From Giotto via the Embedded Machine to Selfie LCTES Christoph Kirsch University of Salzburg File Attached |
09:00 - 10:00 | |||
09:00 60mOther | 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 | |||
09:00 15mDay opening | Introduction to DeepSpec DSW | ||
09:15 45mTalk | Building Faith in Experts: Applying Formal Verification to Cryptography DSW Dominic Rizzo Google |
09:00 - 10:00 | |||
09:00 60mOther | WALA Hack-A-Thon PLDI Tutorials |
09:00 - 10:00 | |||
09:00 60mOther | Building your own modular static analyzer with Facebook Infer PLDI Tutorials |
10:00 - 10:30 | |||
10:00 30mCoffee break | Break DEBS Catering |
10:00 - 10:30 | |||
10:00 30mCoffee break | Break ECOOP Catering |
10:00 - 10:30 | |||
10:00 30mCoffee break | Break LCTES Catering |
10:30 - 12:10 | |||
10:30 1h40mTalk | 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 25mTalk | 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 25mTalk | 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 20mTalk | Kafka versus RabbitMQ. (Industry Paper) DEBS Research Papers | ||
11:40 20mTalk | An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper) DEBS Research Papers |
10:30 - 12:10 | |||
10:30 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | OSEK-V: Application-Specific RTOS Instantiation in Hardware LCTES |
10:30 - 12:10 | |||
10:30 70mTalk | Keynote: Incrementalizing the Rust Compiler IC | ||
11:40 30mTalk | IncAL: A DSL for Incremental Program Analysis with Lattices IC 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 30mTalk | Correct-by-Construction Generation of Fast Code for Elliptic Curves DSW Adam Chlipala Massachusetts Institute of Technology, USA | ||
11:00 30mTalk | Introduction to verification using the VST DSW Lennart Beringer Princeton University | ||
11:30 40mTalk | Using formal tools to develop high-assurance software for autonomous ground vehicles DSW Aleksey Nogin HRL Laboratories, LLC |
10:30 - 12:10 | |||
10:30 1h40mOther | 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 | |||
10:30 1h40mOther | WALA Hack-A-Thon PLDI Tutorials |
10:30 - 12:10 | Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219 | ||
10:30 1h40mOther | Building your own modular static analyzer with Facebook Infer PLDI Tutorials |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch DEBS Catering |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch ECOOP Catering |
12:10 - 13:40 | |||
12:10 90mLunch | Lunch LCTES Catering |
13:40 - 15:20 | |||
13:40 1h40mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 | |||
13:40 30mTalk | Automated Incrementalization through Synthesis IC File Attached | ||
14:15 30mTalk | IceDust Calculation Strategy Composition Performance in Web Applications IC File Attached | ||
14:50 30mTalk | Automatic Incrementalization of Functional Reports IC 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 40mTalk | Verifying concurrent C programs with the Verified Software Toolchain DSW Andrew W. Appel Princeton | ||
14:20 40mTalk | Challenges in Analysing Virtualisation Stacks DSW Michael Tautschnig Amazon Web Services |
13:40 - 15:20 | |||
13:40 1h40mOther | WALA Hack-A-Thon PLDI Tutorials |
13:40 - 15:20 | |||
13:40 1h40mOther | Polyhedral Compilation PLDI Tutorials |
15:20 - 15:50 | |||
15:20 30mCoffee break | Break DEBS Catering |
15:20 - 15:50 | |||
15:20 30mCoffee break | Break ECOOP Catering |
15:30 - 17:00 | Academic hypervisor project; closing discussionDSW at Vertex WS216 Chair(s): Lennart Beringer Princeton University | ||
15:30 45mTalk | CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems DSW Zhong Shao Yale University | ||
16:15 45mDay 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 25mTalk | Modelling homogeneous generative meta-programming ECOOP Research Papers Link to publication Media Attached | ||
16:15 25mTalk | 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 25mTalk | μ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 25mTalk | Strong Normalization for Dependent Object Types (DOT) ECOOP Research Papers Link to publication Media Attached |
15:50 - 17:30 | |||
15:50 1h40mTalk | Declarative Language Definition ECOOP Summer School Eelco Visser Delft University of Technology Media Attached File Attached |
15:50 - 17:30 | |||
15:50 1h40mTalk | 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 | |||
15:50 30mTalk | Incremental Relational Lenses IC File Attached | ||
16:25 30mTalk | 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 30mTalk | Tuning Data and Control Structures for Incremental Computation IC Kyle Headley University of Colorado Boulder File Attached |
15:50 - 17:00 | |||
15:50 70mOther | WALA Hack-A-Thon PLDI Tutorials |
15:50 - 17:00 | |||
15:50 70mOther | Polyhedral Compilation PLDI Tutorials |
17:30 - 19:00 | |||
17:30 90m | Business Meeting DEBS Business Meeting |
20:00 - 23:00 | |||
20:00 3hDinner | Banquet DEBS Banquet |
Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | 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 60mTalk | Retargeting Gradual Typing ECOOP Invited Speakers Ross Tate Cornell University Media Attached |
09:00 - 10:00 | |||
09:00 60mTalk | The Customer Experience Case: The Needle in the Haystack DEBS Invited Speakers Sergi Zapater Zhilabs, SL |
09:00 - 10:00 | |||
09:00 60mOther | 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 60mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials |
09:00 - 10:00 | |||
09:00 60mOther | 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 | |||
09:00 10mDay 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 | |||
09:00 60mOther | 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 | |||
09:10 50mTalk | The ROSE Compiler Framework WCIRE Louis-Noël Pouchet Colorado State University |
10:00 - 10:30 | |||
10:00 30mCoffee break | Break DEBS Catering |
10:00 - 10:30 | |||
10:00 30mCoffee 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 25mTalk | Relaxed Linear References for Lock-free Programming ECOOP Research Papers Link to publication Media Attached | ||
10:55 25mTalk | A Generic Approach to Flow-Sensitive Polymorphic Effects ECOOP Research Papers Colin Gordon Drexel University Link to publication Pre-print Media Attached | ||
11:20 25mTalk | 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 25mTalk | 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 | |||
10:30 1h40mTalk | Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication |
10:30 - 12:10 | Session 5: Learning, Automation and IntegrationDEBS Research Papers at Sala d'Actes, Vertex Building Chair(s): Martin Hirzel IBM Research | ||
10:30 25mTalk | 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 25mTalk | 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 20mTalk | 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 20mTalk | 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 | |||
10:30 1h40mOther | 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 1h40mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials |
10:30 - 12:10 | |||
10:30 1h40mOther | 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 | |||
10:30 50mTalk | The Spoofax Language Workbench WCIRE Eelco Visser Delft University of Technology Link to publication | ||
11:20 50mTalk | Peeking into a polyhedral compiler through the Periscop toolkit WCIRE Oleksandr Zinenko Inria |
10:30 - 12:10 | |||
10:30 1h40mOther | 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 90mLunch | Lunch DEBS Catering |
12:10 - 13:40 | |||
12:10 90mLunch | 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 25mTalk | IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition ECOOP Research Papers Link to publication DOI Media Attached | ||
14:05 25mTalk | 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 25mTalk | EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse ECOOP Research Papers Link to publication Media Attached | ||
14:55 25mTalk | Data exploration through dot-driven development ECOOP Research Papers Tomas Petricek Alan Turing Institute Link to publication Media Attached |
13:40 - 15:20 | |||
13:40 1h40mTalk | Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication |
13:40 - 14:10 | |||
13:40 30mTalk | 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 1h40mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials |
13:40 - 15:20 | |||
13:40 1h40mOther | 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 | |||
13:40 50mTalk | JetBrains Meta Programming System (MPS) WCIRE Oscar Rodriguez JetBrains Link to publication | ||
14:30 50mTalk | Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG WCIRE Chandan Reddy INRIA |
13:40 - 15:20 | |||
13:40 1h40mOther | 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 |
15:20 - 15:50 | |||
15:20 30mCoffee break | Break DEBS Catering |
15:20 - 15:50 | |||
15:20 30mCoffee break | Break ECOOP Catering |
15:50 - 17:05 | |||
15:50 25mTalk | 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 25mTalk | 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 25mTalk | 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 75mTalk | What You Need to Know about Performance Evaluation ECOOP Summer School Jan Vitek Northeastern University Pre-print |
15:50 - 16:30 | |||
15:50 40mDay 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 70mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials |
15:50 - 17:00 | |||
15:50 70mOther | 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 | |||
15:50 40mOther | 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 | |||
15:50 70mOther | 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 |