Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 13 JunDisplayed time zone: Tijuana, Baja California change
Sat 13 Jun
Displayed time zone: Tijuana, Baja California change
08:15 - 09:00 | |||
08:15 45mBreak | Breakfast Catering | ||
09:00 - 11:00 | |||
09:00 2hTalk | Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics Tutorials Link to publication | ||
09:00 - 11:00 | |||
09:00 2hTalk | A Semantics-Directed Approach to Program Termination Tutorials Link to publication | ||
09:00 - 11:00 | |||
09:00 60mTalk | INVITED TALK: Array Notation for Everybody ARRAY David Padua University of Illinois at Urbana-Champaign | ||
10:00 30mTalk | Loo.py: From Fortran to performance via transformation and substitution rules ARRAY Andreas Kloeckner University of Illinois at Urbana-Champaign | ||
10:30 30mTalk | Techniques for Efficient MATLAB-to-C Compilation ARRAY | ||
11:00 - 11:20 | |||
11:00 20mCoffee break | Morning Break Catering | ||
11:20 - 12:30 | |||
11:20 70mTalk | Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics Tutorials Link to publication | ||
11:20 - 12:30 | |||
11:20 70mTalk | A Semantics-Directed Approach to Program Termination Tutorials Link to publication | ||
11:20 - 12:30 | |||
11:20 30mTalk | Compiling APL to Accelerate Through a Typed Array Intermediate Language ARRAY | ||
11:50 30mTalk | Velociraptor: A compiler toolkit for array-based languages targeting CPUs and GPUs ARRAY | ||
12:20 10mOther | Morning Wrapup ARRAY | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics Tutorials | ||
14:00 - 15:30 | |||
14:00 90mTalk | RASCAL: Program Analysis and Transformation with Rascal Tutorials Mark Hills East Carolina University, Paul Klint , Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven Link to publication | ||
14:00 - 15:30 | |||
14:00 30mTalk | Performance Search Engine Driven by Prior Knowledge of Optimization ARRAY | ||
14:30 30mTalk | High-Level Accelerated Array Programming in the Web Browser ARRAY | ||
15:00 30mTalk | Accelerating Information Experts through Compiler Design ARRAY | ||
15:30 - 16:00 | |||
15:30 30mBreak | Afternoon Break Catering | ||
16:00 - 18:00 | |||
16:00 2hTalk | CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics Tutorials | ||
16:00 - 18:00 | |||
16:00 2hTalk | RASCAL: Program Analysis and Transformation with Rascal Tutorials Mark Hills East Carolina University, Paul Klint , Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven Link to publication | ||
16:00 - 18:00 | |||
16:00 30mTalk | Fusing Convolution Kernels through Tiling ARRAY | ||
16:30 30mTalk | Array programming in Pascal ARRAY | ||
17:00 30mTalk | Abstract Expressionism for Parallel Performance ARRAY | ||
17:30 30mOther | Afternoon Wrapup ARRAY | ||
Sun 14 JunDisplayed time zone: Tijuana, Baja California change
Sun 14 Jun
Displayed time zone: Tijuana, Baja California change
08:15 - 09:00 | |||
08:15 45mBreak | Breakfast Catering | ||
09:00 - 11:00 | |||
09:00 2hTalk | PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
09:00 - 11:00 | |||
09:00 10mDay opening | Opening remarks SOAP | ||
09:10 50mTalk | Static Analysis for Android: GUIs, Callbacks, and Beyond SOAP | ||
10:00 20mTalk | Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis SOAP | ||
10:20 20mTalk | Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions SOAP | ||
10:40 20mTalk | Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code SOAP | ||
09:00 - 11:00 | |||
09:00 15mDay opening | Opening and Welcome X10 | ||
09:15 75mTalk | Introduction to X10 X10 Olivier Tardieu IBM Research Link to publication | ||
10:30 30mTalk | The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications X10 Sara S. Hamouda Australian National University, Josh Milthorpe IBM Research, Peter Strazdins Australian National University, Vijay Saraswat IBM TJ Watson Research Center Link to publication | ||
09:00 - 11:00 | |||
09:00 5mTalk | Opening and Welcome PLOOC | ||
09:05 40mTalk | Bug Localization with Statistical Models PLOOC Pavol Bielik ETH Zurich, Svetoslav Karaivanov ETH Zurich, P: Veselin Raychev ETH Zurich, Martin Vechev ETH Zurich, Christine Zeller ETH Zurich | ||
09:45 40mTalk | AutomataTutor and what I learned from building an online teaching tool PLOOC P: Loris D'Antoni University of Pennsylvania, Rajeev Alur University of Pennsylvania, Dileep Kini University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign, Sumit Gulwani Microsoft Research, Bjoern Hartmann UC Berkeley, Matthew Weaver University of Pennsylvania | ||
10:25 35mTalk | Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM PLOOC | ||
11:00 - 11:20 | |||
11:00 20mCoffee break | Morning Break Catering | ||
11:20 - 12:30 | |||
11:20 70mTalk | PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
11:20 - 12:30 | |||
11:20 60mTalk | Static Analysis of JavaScript: Insights and Challenges SOAP Ben Hardekopf UC Santa Barbara | ||
11:20 - 12:30 | |||
11:20 30mTalk | Revisiting Loop Transformations with X10 Clocks X10 Link to publication | ||
11:50 30mTalk | Local Parallel Iteration in X10 X10 Josh Milthorpe IBM Research Link to publication | ||
11:20 - 12:30 | |||
11:30 40mTalk | The Hint Mechanism in Code Hunt PLOOC P: Daniel Perelman University of Washington, USA, Judith Bishop Microsoft Research, Sumit Gulwani Microsoft Research, Dan Grossman University of Washington | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | Machine Learning for Code Analytics Tutorials Link to publication | ||
14:00 - 15:30 | |||
14:00 90mTalk | Doop Framework 101 Tutorials Link to publication | ||
14:00 - 15:30 | |||
14:00 30mTalk | Evaluating Call Graph Construction for JVM-hosted Language Implementations SOAP | ||
14:30 30mTalk | Droidel: A General Approach to Android Framework Modeling SOAP | ||
15:00 30mTalk | Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform SOAP | ||
14:00 - 15:30 | |||
14:00 30mTalk | Cutting Out the Middleman: OS-Level Support for X10 Activities X10 Manuel Mohr Karlsruhe Institute of Technology, Sebastian Buchwald Karlsruhe Institute of Technology, Andreas Zwinkau Karlsruhe Institute of Technology, Christoph Erhardt Friedrich-Alexander University of Erlangen-Nürnberg, Benjamin Oechslein Friedrich-Alexander University of Erlangen-Nürnberg, Jens Schedel Friedrich-Alexander University of Erlangen-Nürnberg, Daniel Lohmann Friedrich-Alexander University of Erlangen-Nürnberg Link to publication | ||
14:30 30mTalk | Optimization of X10 Programs with ROSE Compiler Infrastructure X10 Michihiro Horie IBM Research - Tokyo, Mikio Takeuchi IBM Research - Tokyo, Kiyokuni Kawachiya IBM Research - Tokyo, David Grove IBM Research Link to publication | ||
15:00 30mTalk | The APGAS Library: Resilient Parallel and Distributed Programming in Java 8 X10 Olivier Tardieu IBM Research Link to publication | ||
14:00 - 15:30 | |||
14:00 40mTalk | Functional Programming For All! Scaling a MOOC for Students and Professionals Alike PLOOC P: Heather Miller Ecole Polytechnique Federale de Lausanne, Philipp Haller KTH Royal Institute of Technology, Lukas Rytz Typesafe, Martin Odersky Ecole Polytechnique Federale de Lausanne | ||
14:40 40mTalk | CPSGrader: Formal Methods for Lab-Based MOOCs PLOOC P: Sanjit Seshia UC Berkeley, Alexandre Donze University of California, Berkeley, Jeff Jensen Momentum Machines, Garvit Juniwal UC Berkeley | ||
14:00 - 15:30 | |||
14:00 90mTalk | AutoTune:Autotuning programs with OpenTuner Tutorials Saman Amarasinghe MIT, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Jeffrey Bosboom MIT CSAIL, Shoaib Kamil MIT CSAIL, USA Link to publication | ||
15:30 - 16:00 | |||
15:30 30mBreak | Afternoon Break Catering | ||
16:00 - 18:00 | |||
16:00 2hTalk | Machine Learning for Code Analytics Tutorials Link to publication | ||
16:00 - 18:00 | |||
16:00 2hTalk | Doop Framework 101 Tutorials Link to publication | ||
16:00 - 18:00 | |||
16:00 60mTalk | Jalangi: A Dynamic Analyses Framework for JavaScript SOAP Koushik Sen University of California, Berkeley | ||
16:00 - 18:00 | |||
16:00 30mTalk | Towards an Efficient Fault-Tolerance Scheme for GLB X10 Link to publication | ||
16:30 30mTalk | Scalable Parallel Numerical Constraint Solver Using Global Load Balancing X10 Daisuke Ishii Tokyo Institute of Technology, Kazuki Yoshizoe Japan Science and Technology Agency, Toyotaro Suzumura IBM Research / University College Dublin / JST Link to publication | ||
16:00 - 18:00 | |||
16:00 40mTalk | Personalized Mathematical Word Problem Generation PLOOC P: Alex Polozov University of Washington, Eleanor O'Rourke University of Washington, Adam Smith University of Washington, Luke Zettlemoyer University of Washington, Sumit Gulwani Microsoft Research, Zoran Popovic University of Washington | ||
16:40 40mTalk | Making Proof Tutors out of Proof Assistants PLOOC | ||
17:20 40mTalk | OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale PLOOC Elena Glassman MIT, Jeremy Scott MIT, P: Rishabh Singh Microsoft Research, Philip Guo University of Rochester, Robert Miller MIT | ||
16:00 - 18:00 | |||
16:00 2hTalk | AutoTune:Autotuning programs with OpenTuner Tutorials Saman Amarasinghe MIT, Jason Ansel Massachusetts Institute of Technology, Kalyan Veeramachaneni Massachusetts Institute of Technology, Jeffrey Bosboom MIT CSAIL, Shoaib Kamil MIT CSAIL, USA Link to publication | ||
18:00 - 19:15 | |||
18:00 75mTalk | Turing Lecture FCRC Plenary Speakers | ||
19:30 - 21:00 | |||
19:30 90m | Welcome Reception and Poster Session Research Papers | ||
Mon 15 JunDisplayed time zone: Tijuana, Baja California change
Mon 15 Jun
Displayed time zone: Tijuana, Baja California change
08:15 - 09:00 | |||
08:15 45mBreak | Breakfast Catering | ||
09:00 - 11:00 | Distinguished PapersResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Steve Blackburn Australian National University | ||
09:00 15mDay opening | Opening and Welcome Research Papers | ||
09:15 25mTalk | Automatically Improving Accuracy for Floating Point Expressions Research Papers Pavel Panchekha University of Washington, Alex Sanchez-Stern University of Washington, James R. Wilcox University of Washington, Zachary Tatlock University of Washington, Seattle Media Attached | ||
09:40 25mTalk | Diagnosing Type Errors with Class Research Papers Danfeng Zhang Cornell University, Andrew Myers , Dimitrios Vytiniotis Microsoft Research, Cambridge, Simon Peyton Jones Microsoft Research, Cambridge Media Attached | ||
10:05 25mTalk | Provably Correct Peephole Optimizations with Alive Research Papers Nuno P. Lopes Microsoft Research, David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, John Regehr University of Utah Pre-print Media Attached | ||
10:30 20mTalk | One Minute Madness Research Papers | ||
11:00 - 11:20 | |||
11:00 20mCoffee break | Morning Break Catering | ||
11:20 - 12:30 | |||
11:20 70mTalk | Interdisciplinarity: A View from Theory of Computation FCRC Plenary Speakers Andrew Yao Tsinghua University | ||
12:30 - 14:00 | |||
12:30 90mLunch | SIGPLAN Awards Luncheon Research Papers Jan Vitek Northeastern University | ||
14:00 - 15:40 | VerificationResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Zachary Tatlock University of Washington, Seattle | ||
14:00 25mTalk | Mechanized Verification of Fine-grained Concurrent Programs Research Papers Ilya Sergey IMDEA Software Institute, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute Link to publication Media Attached | ||
14:25 25mTalk | Verification of Producer-Consumer Synchronization in GPU Programs Research Papers Media Attached | ||
14:50 25mTalk | Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO Research Papers Peter Gammie NICTA, Tony Hosking Australian National University, Data61, and Purdue University, Kai Engelhardt UNSW and NICTA Link to publication Media Attached | ||
15:15 25mTalk | Verifying Read-Copy-Update in a Logic for Weak Memory Research Papers Joseph Tassarotti Carnegie Mellon University, Derek Dreyer MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany Media Attached | ||
14:00 - 15:40 | CorrectnessResearch Papers at PLDI Main RED (Portland 256) Chair(s): Jens Palsberg University of California, Los Angeles | ||
14:00 25mTalk | Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack Research Papers Media Attached | ||
14:25 25mTalk | Automatic Error Elimination by Multi-Application Code Transfer Research Papers Stelios Sidiroglou-Douskos MIT CSAIL, Eric Lahtinen MIT CSAIL, Fan Long MIT CSAIL, Martin C. Rinard MIT Media Attached | ||
14:50 25mTalk | Light: Replay via Tightly Bounded Recording Research Papers Peng Liu Purdue University, Xiangyu Zhang Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Yunhui Zheng IBM Research Media Attached | ||
15:15 25mTalk | Many-Core Compiler Fuzzing Research Papers Nathan Chong University College London, Alastair F. Donaldson Imperial College London, Andrei Lascu Imperial College London, Christopher Lidbury Imperial College London Media Attached | ||
15:40 - 16:00 | |||
15:40 20mBreak | Afternoon Break Catering | ||
16:00 - 17:40 | Concurrency IResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Santosh Nagarakatte Rutgers University | ||
16:00 25mTalk | Asynchronous Programming, Analysis and Testing with State Machines Research Papers Pantazis Deligiannis Imperial College London, Alastair F. Donaldson Imperial College London, Jeroen Ketema , Akash Lal Microsoft Research India, Paul Thomson Imperial College London Media Attached | ||
16:25 25mTalk | Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Research Papers Jeff Huang Texas A&M University Media Attached | ||
16:50 25mTalk | Synthesizing racy tests Research Papers Malavika Samak Indian Institute of Science, Bangalore, Murali Krishna Ramanathan Indian Institute of Science, Bangalore, Suresh Jagannathan Purdue University Media Attached | ||
17:15 25mTalk | The Push/Pull model of transactions Research Papers Media Attached | ||
16:00 - 17:15 | OptimizationResearch Papers at PLDI Main RED (Portland 256) Chair(s): Michelle Strout Colorado State University | ||
16:00 25mTalk | LaminarIR: Compile-Time Queues for Structured Streams Research Papers Yousun Ko Yonsei University, Bernd Burgstaller Yonsei University, Bernhard Scholz The University of Sydney Media Attached | ||
16:25 25mTalk | Optimizing Off-Chip Accesses in Multicores Research Papers Wei Ding Pennsylvania State University, Xulong Tang Penn State, Mahmut Taylan Kandemir Pennsylvania State University, Yuanrui Zhang Intel, Emre Kultursay Pennsylvania State University Media Attached | ||
16:50 25mTalk | Improving Compiler Scalability: Optimizing Large Programs at Small Price Research Papers Media Attached | ||
17:15 - 17:40 | TOPLASResearch Papers at PLDI Main RED (Portland 256) Chair(s): Michelle Strout Colorado State University | ||
17:15 25mTalk | Verification of a Cryptographic Primitive: SHA-256 Research Papers | ||
Tue 16 JunDisplayed time zone: Tijuana, Baja California change
Tue 16 Jun
Displayed time zone: Tijuana, Baja California change
08:15 - 09:00 | |||
08:15 45mBreak | Breakfast Catering | ||
08:45 - 09:10 | |||
08:45 25mTalk | One Minute Madness Research Papers | ||
09:15 - 10:55 | Concurrency IIResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Suresh Jagannathan Purdue University | ||
09:15 25mTalk | Composing Concurrency Control Research Papers Ofri Ziv Tel Aviv University, Alex Aiken Stanford University, Guy Golan-Gueta Yahoo Labs, G. Ramalingam Microsoft Research, Mooly Sagiv Tel Aviv University Media Attached | ||
09:40 25mTalk | Dynamic Partial Order Reduction for Relaxed Memory Models Research Papers Media Attached | ||
10:05 25mTalk | Monitoring Refinement via Symbolic Reasoning Research Papers Michael Emmi , Constantin Enea LIAFA, Université Paris Diderot, Jad Hamza LIAFA, Université Paris Diderot Media Attached | ||
10:30 25mTalk | Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications Research Papers Stephen Longfield Cornell University, Brittany Nkounkou Cornell University, Rajit Manohar Cornell University, Ross Tate Cornell University Media Attached | ||
11:00 - 11:20 | |||
11:00 20mCoffee break | Morning Break Catering | ||
11:20 - 12:30 | |||
11:20 70mTalk | Hardware Neural Networks: From Inflated Expectations to Plateau of Productivity FCRC Plenary Speakers Olivier Temam INRIA | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:40 | AnalysisResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Yannis Smaragdakis University of Athens | ||
14:00 25mTalk | DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Research Papers Media Attached File Attached | ||
14:25 25mTalk | Exploring and Enforcing Security Guarantees via Program Dependence Graphs Research Papers Andrew Johnson Harvard University, Lucas Waye Harvard University, Scott Moore Harvard University, Stephen Chong Harvard University Media Attached | ||
14:50 25mTalk | Making Numerical Program Analysis Fast Research Papers Media Attached | ||
15:15 25mTalk | Tree Dependence Analysis Research Papers Yusheng Weijiang Purdue University, Shruthi Balakrishna Purdue University, Jianqiao Liu Purdue University, Milind Kulkarni Purdue University Media Attached | ||
14:00 - 15:40 | |||
14:00 25mTalk | A Formal C Memory Model Supporting Integer-Pointer Casts Research Papers Jeehoon Kang Seoul National University, Chung-Kil Hur Seoul National University, William Mansky University of Pennsylvania, Dmitri Garbuzov University of Pennsylvania, Steve Zdancewic , Viktor Vafeiadis MPI-SWS, Germany Media Attached | ||
14:25 25mTalk | Defining the undefinedness of C Research Papers Chris Hathhorn University of Missouri, Chucky Ellison University of Illinois, Grigore Roşu University of Illinois at Urbana-Champaign Media Attached | ||
14:50 25mTalk | KJS: A Complete Formal Semantics of JavaScript Research Papers Daejun Park University of Illinois at Urbana-Champaign, Andrei Stefanescu University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign Media Attached | ||
15:15 25mTalk | Verdi: A Framework for Formally Verifying Distributed System Implementations Research Papers James R. Wilcox University of Washington, Doug Woos University of Washington, Pavel Panchekha University of Washington, Zachary Tatlock University of Washington, Seattle, Xi Wang University of Washington, Michael D. Ernst University of Washington, Thomas Anderson University of Washington Media Attached | ||
15:40 - 16:00 | |||
15:40 20mBreak | Afternoon Break Catering | ||
16:00 - 18:00 | PLDI Chairs' Report and SIGPLAN Townhall MeetingResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): David Grove IBM Research | ||
16:00 30mTalk | PLDI Chairs' Report Research Papers David Grove IBM Research, Steve Blackburn Australian National University , Eric Eide University of Utah, John Regehr University of Utah File Attached | ||
16:30 60mMeeting | ACM SIGPLAN Townhall Meeting Research Papers Jan Vitek Northeastern University | ||
16:00 - 18:00 | Student Research Competition TalksStudent Research Competition at PLDI Main RED (Portland 256) Chair(s): Işıl Dillig University of Texas, Austin | ||
18:30 - 22:00 | |||
18:30 3h30m | PLDI Banquet Research Papers | ||
Wed 17 JunDisplayed time zone: Tijuana, Baja California change
Wed 17 Jun
Displayed time zone: Tijuana, Baja California change
08:15 - 09:00 | |||
08:15 45mBreak | Breakfast Catering | ||
08:30 - 09:00 | |||
08:30 30mTalk | One Minute Madness Research Papers | ||
09:00 - 09:15 | Student Research Competition AwardsStudent Research Competition at PLDI Main BLUE (Portland 254-255) | ||
09:00 15mAwards | Student Research Competition Awards Session Student Research Competition Işıl Dillig University of Texas, Austin | ||
09:15 - 10:55 | Semantics IIResearch Papers at PLDI Main RED (Portland 256) Chair(s): Robert Bruce Findler Northwestern University | ||
09:15 25mTalk | Declarative Programming over Eventually Consistent Data Stores Research Papers KC Sivaramakrishnan University of Cambridge, Gowtham Kaki Purdue University, Suresh Jagannathan Purdue University Media Attached | ||
09:40 25mTalk | Blame and coercion: Together again for the first time Research Papers Jeremy G. Siek Indiana University, Peter Thiemann University of Freiburg, Philip Wadler University of Edinburgh Media Attached | ||
10:05 25mTalk | Lightweight, Flexible Object-Oriented Generics Research Papers Yizhou Zhang Cornell University, Andrew Myers , Barbara Liskov MIT, Guido Salvaneschi TU Darmstadt, Matt Loring Cornell University Media Attached | ||
10:30 25mTalk | Relatively Complete Counterexamples for Higher-Order Programs Research Papers Media Attached | ||
11:00 - 11:20 | |||
11:00 20mCoffee break | Morning Break Catering | ||
11:20 - 12:30 | |||
11:20 70mTalk | The F# Path to Relaxation FCRC Plenary Speakers Don Syme Microsoft | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:40 | |||
14:00 25mTalk | Automatic Induction Proofs of Data-Structures in Imperative Programs Research Papers Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore, Minh-Thai Trinh National University of Singapore Media Attached | ||
14:25 25mTalk | Compositional Certified Resource Bounds Research Papers Link to publication Media Attached | ||
14:50 25mTalk | Peer-to-peer Affine Commitment using Bitcoin Research Papers Media Attached | ||
15:15 25mTalk | Termination and Non-Termination Specification Inference Research Papers Ton Chanh Le National University of Singapore, Shengchao Qin Teesside University, Wei-Ngan Chin National University of Singapore Media Attached | ||
15:40 - 16:00 | |||
15:40 20mBreak | Afternoon Break Catering | ||
16:00 - 17:40 | Synthesis IIResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Işıl Dillig University of Texas, Austin | ||
16:00 25mTalk | Concurrency Debugging with Differential Schedule Projections Research Papers Nuno Machado INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon Lucia Carnegie Mellon University, Luís Rodrigues Universidade de Lisboa, Instituto Superior Técnico, INESC-ID Media Attached | ||
16:25 25mTalk | Synthesis of Machine Code from Semantics Research Papers Venkatesh Srinivasan University of Wisconsin - Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. Media Attached | ||
16:50 25mTalk | Synthesis of ranking functions using extremal counterexamples Research Papers Laure Gonnord University of Lyon & LIP, France, David Monniaux CNRS, VERIMAG, Gabriel Radanne Université Denis Diderot Paris 7, PPS Media Attached | ||
17:15 25mTalk | Type-and-Example-Directed Program Synthesis Research Papers Media Attached | ||
16:00 - 17:40 | |||
16:00 25mTalk | Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises Research Papers Stefan Marr Inria, France, Chris Seaton Oracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille Media Attached | ||
16:25 25mTalk | Finding Counterexamples from Parsing Conflicts Research Papers Media Attached | ||
16:50 25mTalk | Interactive Parser Synthesis by Example Research Papers Alan Leung University of California, San Diego, John Sarracino University of California, San Diego, Sorin Lerner University of California, San Diego Media Attached | ||
17:15 25mTalk | A Simpler, Safer Programming and Execution Model for Intermittent Systems Research Papers Media Attached | ||