PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) /
PLDI 2017 Program
This is the PLDI 2017 program - see the full program for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM and all affiliated events.
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: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 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 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 - 14:00 | |||
12:30 90mLunch | Lunch ISMM Catering |
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 | 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 |
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: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
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:05 - 10:00 | |||
09:05 55mTalk | What to Leave Implicit PLDI Invited Speakers Martin Odersky EPFL, Switzerland Media Attached |
10:00 - 10:30 | |||
10:00 30mOther | 1' Pitches of Monday PLDI Research Papers |
10:30 - 10:50 | |||
10:30 20mCoffee break | Break Catering |
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 |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
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 |
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Catering |
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 - 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 |
17:55 - 18:50 | |||
17:55 55mTalk | TensorFlow considered as a programming language PLDI Invited Speakers Martin Abadi Google |
19:30 - 22:00 | |||
19:30 2h30mDinner | Dinner 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
09:00 - 09:50 | |||
09:00 50mTalk | Elixir PLDI Invited Speakers José Valim Plataformatec |
09:50 - 10:25 | |||
09:50 35mOther | 1' Pitches of Tuesday and Wednesday PLDI Research Papers |
10:25 - 10:50 | |||
10:25 25mCoffee break | Break 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 |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
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 |
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Catering |
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 |
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
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: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:55 - 10:20 | |||
09:55 25mCoffee break | Break 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: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 LCTES Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
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 LCTES Catering |
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
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 LCTES Catering |
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 LCTES Catering |
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: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 | |||
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 |
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
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: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 |
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: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 |