Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 13 JunDisplayed time zone: Tijuana, Baja California change
Mon 13 Jun
Displayed time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:50 - 09:00 | |||
08:50 10mDay opening | Opening Remarks LCTES | ||
09:00 - 10:00 | |||
09:00 60mTalk | How Should We Program Non-volatile Memory? Tutorials File Attached | ||
09:00 - 10:00 | |||
09:00 60mTalk | RyuJIT: Open Source JIT Compiler for .NET Tutorials Carol Eidt Microsoft Link to publication | ||
09:00 - 10:00 | |||
09:00 15mDay opening | Opening remarks FMS | ||
09:15 45mTalk | Privacy and Algorithmic Accountability FMS Anupam Dutta Carnegie Mellon University | ||
09:00 - 10:00 | |||
09:00 60mTalk | Smart Embedded Computing through Self-Awareness LCTES File Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | How Should We Program Non-volatile Memory? Tutorials File Attached | ||
10:30 - 12:00 | |||
10:30 90mTalk | RyuJIT: Open Source JIT Compiler for .NET Tutorials Carol Eidt Microsoft Link to publication | ||
10:30 - 12:00 | |||
10:30 45mTalk | Report on the NSF Workshop on Formal Methods for Security FMS | ||
11:15 45mTalk | Ironclad: Full Verification of Complex Systems FMS | ||
10:30 - 12:00 | Session 1: Dynamic Translation and Iterative CompilationLCTES at Sierra Madre North Chair(s): Alastair Reid | ||
10:30 30mTalk | Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator LCTES | ||
11:00 30mTalk | Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems LCTES Forrest Robinson University of Kansas, USA, Michael Jantz University of Tennessee, USA, Prasad Kulkarni University of Kansas | ||
11:30 30mTalk | A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach LCTES Ricardo Nobre FEUP, Universidade do Porto, João M. P. Cardoso University of Porto, Portugal, Luiz G. A. Martins | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 90mTalk | String Analysis for Vulnerability Detection and Repair Tutorials | ||
13:30 - 15:00 | |||
13:30 90mTalk | One VM to Rule Them All, One VM to Bind Them Tutorials Christian Wimmer Oracle Labs Link to publication | ||
13:30 - 15:00 | |||
13:30 45mTalk | Scalable Security Analysis of Android Apps FMS Gogul Balakrishnan Google | ||
14:15 45mTalk | Verifying Constant-Time Implementations FMS Michael Emmi IMDEA Software Institute | ||
13:30 - 15:00 | Session 2: Loop and Dataflow AnalysisLCTES at Sierra Madre North Chair(s): Che-Wei Chang Chang Gung University, Taiwan | ||
13:30 30mTalk | Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences LCTES | ||
14:00 30mTalk | Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization LCTES | ||
14:30 30mTalk | Generalized Cache Tiling for Dataflow Programs LCTES | ||
15:30 - 17:00 | |||
15:30 90mTalk | String Analysis for Vulnerability Detection and Repair Tutorials | ||
15:30 - 17:00 | |||
15:30 90mTalk | One VM to Rule Them All, One VM to Bind Them Tutorials Christian Wimmer Oracle Labs Link to publication | ||
15:30 - 17:00 | |||
15:30 45mOther | Breakout Sessions FMS | ||
16:15 45mOther | Panel Discussion FMS | ||
Tue 14 JunDisplayed time zone: Tijuana, Baja California change
Tue 14 Jun
Displayed time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Welcome message PLMW@PLDI | ||
08:45 30mTalk | Research is a Social Process PLMW@PLDI Media Attached | ||
09:15 45mTalk | Keynote: “Love, Marriage, and Happiness” PLMW@PLDI Media Attached | ||
08:50 - 10:10 | |||
08:50 10mTalk | Opening Remarks ISMM Christine H. Flood Red Hat | ||
09:00 70mTalk | Keynote talk: Rethinking Memory System Design ISMM Onur Mutlu ETH Zurich Media Attached | ||
09:00 - 10:00 | |||
09:00 10mDay opening | Opening Remarks SOAP | ||
09:10 50mTalk | Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution SOAP | ||
09:00 - 10:00 | |||
09:00 60mTalk | Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
09:00 - 10:00 | |||
09:00 60mTalk | PROSE: Programming using Examples Tutorials | ||
09:00 - 10:00 | |||
09:00 10mDay opening | Opening and Welcome X10 | ||
09:10 50mTalk | Introduction to (Resilient) X10 and APGAS -- slides are attached X10 File Attached | ||
09:00 - 10:00 | |||
09:00 60mTalk | Invited talk: Lessons Learned in Array Programming: from ZPL to Chapel ARRAY File Attached | ||
09:00 - 10:00 | |||
09:00 60mTalk | Achieving Yield, Density and Performance Effective DRAM LCTES Bruce Childers University of Pittsburgh | ||
10:30 - 12:00 | |||
10:30 25mTalk | Fighting Software Inefficiency Through Automated Bug Detection PLMW@PLDI Shan Lu University of Chicago Media Attached | ||
10:55 25mTalk | The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations PLMW@PLDI Steve Blackburn Australian National University Media Attached | ||
11:20 25mTalk | Approximate Computing: it's better than good, it's good enough! PLMW@PLDI Michael Carbin MIT Media Attached | ||
10:30 - 12:00 | |||
10:30 20mTalk | Towards Cross-Platform Cross-Language Analysis with Soot SOAP Steven Arzt TU Darmstadt, Germany, Tobias Kussmaul TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
10:50 20mTalk | Iceberg: A Tool for Static Analysis of Java Critical Sections SOAP | ||
11:10 20mTalk | Toward an Automated Benchmark Management System SOAP Lisa Nguyen Quang Do Fraunhofer IEM, Michael Eichberg TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
11:30 30mTalk | Invited Talk: Probabilistic Learning from Big Code SOAP Martin Vechev ETH Zurich | ||
10:30 - 12:00 | |||
10:30 90mTalk | Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTalk | PROSE: Programming using Examples Tutorials | ||
10:30 - 12:00 | |||
10:30 30mTalk | Control Structure Overloading in X10 X10 Link to publication DOI File Attached | ||
11:00 30mTalk | A Memory Model for X10 X10 Link to publication DOI File Attached | ||
11:30 30mTalk | Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS X10 Link to publication DOI File Attached | ||
10:30 - 12:00 | Session 4: Worst-Case Analysis and Error HandlingLCTES at Sierra Madre North Chair(s): João M. P. Cardoso University of Porto, Portugal | ||
10:30 30mTalk | Symbolic Execution for Memory Consumption Analysis LCTES Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore, Rasool Maghareh | ||
11:00 30mTalk | TIC: A Scalable Model Checking Based Approach to WCET Estimation LCTES Ravindra Metta Tata Research Development and Design Centre, Martin Becker TU Munich, Prasad Bokil , R. Venkatesh , Samarjit Chakraborty | ||
11:30 30mTalk | Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling LCTES | ||
10:30 - 12:10 | |||
10:30 25mTalk | Block-Free Concurrent GC: Stack Scanning and Copying ISMM | ||
10:55 25mTalk | Characterizing Emerging Heterogeneous Memory ISMM | ||
11:20 25mTalk | Hardware Support for Protective and Collaborative Cache Sharing ISMM Raj Parihar University of Rochester, Jacob Brock University of Rochester, Chen Ding University of Rochester, Michael Huang University of Rochester | ||
11:45 25mTalk | Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures ISMM | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
12:45 - 13:30 | |||
12:45 45mSocial Event | Mentoring PLMW@PLDI | ||
13:30 - 15:00 | |||
13:30 15mTalk | Professional Communication PLMW@PLDI Matthew Might University of Utah, USA Media Attached | ||
13:45 15mTalk | The Secrets PLMW@PLDI Jason Mars University of Michigan Media Attached | ||
14:00 15mTalk | Getting People to Listen PLMW@PLDI Mary Hall University of Utah Media Attached | ||
14:15 45mOther | Panel: Career Paths PLMW@PLDI M: Mary Hall University of Utah, John Davis Pure Storage Inc, Shan Shan Huang Logicblox, Milind Kulkarni Purdue University Media Attached | ||
13:30 - 15:00 | Session IIISOAP at San Miguel East Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
13:30 50mTalk | Invited Talk: Machine-code analysis and transformation at GrammaTech SOAP Matt Noonan GrammaTech, Inc | ||
14:20 20mTalk | On The Unsoundness of Static Analysis for Android GUIs SOAP | ||
14:40 20mTalk | Verifying Precise Floating-Point Optimizations in LLVM SOAP | ||
13:30 - 15:00 | |||
13:30 90mTalk | Dynamic analysis of JavaScript with Jalangi Tutorials Manu Sridharan Samsung Research America, Koushik Sen University of California, Berkeley, Liang Gong University of California, Berkeley | ||
13:30 - 15:00 | |||
13:30 90mTalk | Cross-platform analysis of mobile apps using the WALA framework Tutorials | ||
13:30 - 15:00 | |||
13:30 60mTalk | Keynote: Tracking and Constraining Work Stealing Schedulers X10 File Attached | ||
14:30 30mTalk | Resilient X10 over MPI User Level Failure Mitigation X10 A: Sara S. Hamouda Australian National University, A: Benjamin Herta , A: Josh Milthorpe IBM Research, A: David Grove IBM Research, A: Olivier Tardieu IBM Research Link to publication DOI Pre-print File Attached | ||
13:30 - 15:00 | |||
13:30 60mTalk | Invited talk: Notation for Parallel Thoughts ARRAY | ||
14:30 25mTalk | The Key to a Data Parallel Compiler ARRAY | ||
13:30 - 15:00 | Session 5: Computation PartitioningLCTES at Sierra Madre North Chair(s): Joxan Jaffar National University of Singapore | ||
13:30 30mTalk | Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems LCTES | ||
14:00 30mTalk | Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture LCTES | ||
14:30 30mTalk | A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors LCTES | ||
13:30 - 15:10 | Non-traditional and Datacenter Scale Memory SystemISMM at Sierra Madre South Chair(s): Steve Heller Two Sigma | ||
13:30 25mTalk | Understanding and Improving JVM GC Work Stealing at the Data Center Scale ISMM Wessam Hassanein Google | ||
13:55 25mTalk | Persistence Programming Models for Non-Volatile Memory ISMM | ||
14:20 25mTalk | CBufs: Efficient, System-Wide Memory Management and Sharing ISMM Yuxin Ren he George washington university, Gabriel Parmer The George Washington University, A: Gedare Bloom Howard University, Teo Georgiev The George Washington University | ||
14:45 25mTalk | A bounded memory allocator for software-defined global address spaces ISMM Fabrice Rastello INRIA, France, Albert Cohen INRIA, Francois Gindraud Joseph Fourier University, France;, Francois Broquedis Universite Joseph Fourier - Grenoble 1 | ||
15:30 - 17:00 | |||
15:30 25mTalk | What’s Next for Program Synthesis PLMW@PLDI Media Attached | ||
15:55 25mTalk | Programming-language Runtime Systems in Datacenters PLMW@PLDI Lingjia Tang University of Michigan Media Attached | ||
16:20 25mTalk | Programming with Estimates PLMW@PLDI James Bornholt University of Washington Media Attached | ||
15:30 - 17:00 | |||
15:30 45mTalk | Invited Talk: Toward Gamification of Proofs about Programs SOAP Sorin Lerner University of California, San Diego | ||
16:15 45mTalk | Invited Talk: Falcon: Towards an industrial strength heap analyzer SOAP Xiao Xiao SourceBrella Inc. | ||
15:30 - 17:00 | |||
15:30 90mTalk | Dynamic analysis of JavaScript with Jalangi Tutorials Manu Sridharan Samsung Research America, Koushik Sen University of California, Berkeley, Liang Gong University of California, Berkeley | ||
15:30 - 17:00 | |||
15:30 90mTalk | Cross-platform analysis of mobile apps using the WALA framework Tutorials | ||
15:30 - 17:00 | |||
15:30 30mTalk | ActorX10: An Actor Library for X10 X10 A: Sascha Roloff , A: Alexander Pöppl , A: Tobias Schwarzer , A: Stefan Wildermann , A: Michael Bader , A: Michael Glaß , A: Frank Hannig , A: Jürgen Teich Link to publication DOI File Attached | ||
16:00 20mTalk | SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations X10 Link to publication DOI File Attached | ||
16:20 20mTalk | A Case for Distributed Work-Stealing in Regular Applications X10 Link to publication DOI File Attached | ||
16:40 20mDay closing | Closing Remarks X10 | ||
15:30 - 17:00 | |||
15:30 25mTalk | Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB ARRAY | ||
15:55 25mTalk | Extending C++ with Co-Array semantics ARRAY | ||
16:20 25mTalk | SSA-based MATLAB-to-C Compilation and Optimization ARRAY | ||
16:45 15mTalk | TTC: A Tensor Transposition Compiler for Multiple Architectures ARRAY | ||
15:30 - 17:00 | |||
15:30 - 17:10 | |||
15:30 25mTalk | Rust as a Language for High Performance GC Implementation ISMM Yi Lin Australian National University, Steve Blackburn Australian National University , Tony Hosking Australian National University, Data61, and Purdue University, Michael Norrish NICTA | ||
15:55 25mTalk | Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future ISMM Man Cao Ohio State University, Jake Roemer Ohio State University, Aritra Sengupta Ohio State University, Michael D. Bond Ohio State University | ||
16:20 25mTalk | Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM) ISMM | ||
16:45 25mTalk | Liveness-Based Garbage Collection for Lazy Languages ISMM | ||
17:00 - 17:45 | |||
17:00 45mOther | Panel: What I Wish I Knew When I Started Grad School PLMW@PLDI M: Ben Wiedermann Harvey Mudd College, Sam Blackshear Facebook, Alvin Cheung University of Washington, Ravi Chugh University of Chicago, Cindy Rubio-González University of California, Davis, Jean Yang Carnegie Mellon University Media Attached | ||
Wed 15 JunDisplayed time zone: Tijuana, Baja California change
Wed 15 Jun
Displayed time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:45 - 09:00 | Chair's Welcome and Distinguished Paper AnnouncementsInvited Speakers at Grand Ballroom San Rafael & Santa Ynez Chair(s): Chandra Krintz UC Santa Barbara, Emery D. Berger University of Massachusetts, Amherst | ||
09:00 - 10:00 | |||
09:00 60mTalk | Programming Languages and Technical Disruption Invited Speakers | ||
10:30 - 12:00 | Verification IResearch Papers at Grand Ballroom San Rafael Chair(s): Isil Dillig University of Texas, Austin | ||
10:30 30mTalk | Data-Driven Precondition Inference with Learned Features Research Papers Saswat Padhi University of California, Los Angeles, Rahul Sharma Stanford University, Todd Millstein University of California, Los Angeles Media Attached | ||
11:00 30mTalk | Cartesian Hoare Logic for Verifying k-Safety Properties Research Papers Media Attached | ||
11:30 30mTalk | Verifying Bit Manipulations of Floating-Point Research Papers Media Attached | ||
10:30 - 12:00 | Down to the Metal IResearch Papers at Grand Ballroom Santa Ynez Chair(s): Stephen McCamant University of Minnesota | ||
10:30 30mTalk | Into the depths of C: elaborating the de facto standards Research Papers Kayvan Memarian University of Cambridge, Justus Matthiesen University of Cambridge, James Lingard University of Cambridge (when this work was done), Kyndylan Nienhuis University of Cambridge, David Chisnall University of Cambridge, Robert N. M. Watson University of Cambridge, Peter Sewell University of Cambridge Link to publication Media Attached | ||
11:00 30mTalk | Living on the edge: Rapid-toggling probes with cross modification on x86 Research Papers Buddhika Chamith , Bo Joel Svensson Indiana University, Luke Dalessandro Indiana University, Ryan R. Newton Indiana University Pre-print Media Attached | ||
11:30 30mTalk | Polymorphic Type Inference for Machine Code Research Papers Pre-print Media Attached | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
13:30 - 15:00 | Energy & PerformanceResearch Papers at Grand Ballroom San Rafael Chair(s): Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) | ||
13:30 30mTalk | Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses Research Papers Changwan Hong , Wenlei Bao , Albert Cohen INRIA, Sriram Krishnamoorthy Pacific Northwest National Laboratories, Louis-Noël Pouchet Ohio State University, J. Ramanujam Louisiana State University, Fabrice Rastello INRIA, France, P. Sadayappan Ohio State University Media Attached | ||
14:00 30mTalk | GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing Research Papers Link to publication Media Attached | ||
14:30 30mTalk | Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Research Papers Michael A. Laurenzano University of Michigan, Parker Hill , Mehrzad Samadi University of Michigan, Scott Mahlke University of Michigan, Jason Mars University of Michigan, Lingjia Tang University of Michigan Media Attached | ||
13:30 - 15:00 | Testing & DebuggingResearch Papers at Grand Ballroom Santa Ynez Chair(s): Benjamin Zorn Microsoft Research | ||
13:30 30mTalk | Coverage-Directed Differential Testing of JVM Implementations Research Papers Yuting Chen Shanghai Jiao Tong University, Ting Su East China Normal University, Chengnian Sun University of California at Davis, USA, Zhendong Su University of California, Davis, Jianjun Zhao Shanghai Jiao Tong University Media Attached | ||
14:00 30mTalk | Exposing Errors Related to Weak Memory in GPU Applications Research Papers Pre-print Media Attached | ||
14:30 30mTalk | Lightweight Computation Tree Tracing for Lazy Functional Languages Research Papers Media Attached | ||
15:30 - 17:00 | Parsing & CompilationResearch Papers at Grand Ballroom San Rafael Chair(s): Michelle Strout The University of Arizona | ||
15:30 30mTalk | Automatic Storage Optimization for Arrays [TOPLAS] Research Papers Somashekaracharya G Bhaskaracharya Indian Institute of Science and National Instruments, Uday Bondhugula Indian Institute of Science, Albert Cohen INRIA Media Attached | ||
16:00 30mTalk | Polyhedral AST generation is more than scanning polyhedra [TOPLAS] Research Papers Media Attached | ||
16:30 30mTalk | On the Complexity and Performance of Parsing with Derivatives Research Papers Michael D. Adams University of Utah, Celeste Hollenbeck University of Utah, Matthew Might University of Utah, USA Pre-print Media Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | Configuration Synthesis for Programmable Analog Devices with Arco Research Papers Sara Achour Massachusetts Institute of Technology, USA, Rahul Sarpeshkar MIT, Martin C. Rinard Massachusetts Institute of Technology, USA Media Attached | ||
16:00 30mTalk | From Datalog to Flix: A Declarative Language for Fixed Points on Lattices Research Papers Magnus Madsen University of Waterloo, Ming-Ho Yee University of Waterloo, Ondřej Lhoták University of Waterloo DOI Media Attached | ||
16:30 30mTalk | Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Research Papers Leonard Truong UC Berkeley / Intel Labs, Raj Barik Intel Labs, Ehsan Totoni Intel Labs, Hai Liu Intel Labs, Chick Markley UC Berkeley, Armando Fox UC Berkeley, Tatiana Shpeisman Intel Labs Media Attached | ||
17:00 - 18:00 | |||
17:00 60mMeeting | Program Chair's Report and SIGPLAN Town Hall Meeting Invited Speakers | ||
18:00 - 20:00 | |||
18:00 2h | Poster Reception Catering | ||
Thu 16 JunDisplayed time zone: Tijuana, Baja California change
Thu 16 Jun
Displayed time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
09:00 - 10:00 | |||
09:00 60mTalk | Programming a Warehouse-scale Computer Invited Speakers | ||
10:30 - 12:00 | |||
10:30 30mTalk | Accepting Blame for Safe Tunneled Exceptions Research Papers Yizhou Zhang Cornell University, Guido Salvaneschi TU Darmstadt, Quinn Beightol Cornell, Barbara Liskov MIT, Andrew C. Myers Cornell University Link to publication DOI Media Attached | ||
11:00 30mTalk | Occurrence Typing Modulo Theories Research Papers Pre-print Media Attached | ||
11:30 30mTalk | Refinement Types for TypeScript Research Papers Panagiotis Vekris University of California, San Diego, Benjamin Cosman University of California, San Diego, Ranjit Jhala University of California, San Diego Media Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Research Papers Stefan Heule Stanford University, Eric Schkufza VMware Research Group, Rahul Sharma Stanford University, Alex Aiken Stanford University DOI Pre-print Media Attached | ||
11:00 30mTalk | Remix: Online Detection and Repair of Cache Contention for the JVM Research Papers Ariel Eizenberg University of Pennsylvania, Shiliang Hu Intel Corporation, Gilles Pokam Intel Corporation, Joseph Devietti University of Pennsylvania Media Attached | ||
11:30 30mTalk | Statistical Similarity of Binaries Research Papers Media Attached | ||
12:00 - 13:30 | |||
12:00 90m | Lunch Catering | ||
13:30 - 15:00 | Software-Defined NetworkingResearch Papers at Grand Ballroom San Rafael Chair(s): Todd Millstein University of California, Los Angeles | ||
13:30 30mTalk | Event-driven Network Programming Research Papers Jedidiah McClurg University of Colorado Boulder, Hossein Hojjat Cornell University, Nate Foster Cornell University, Pavol Cerny University of Colorado Boulder Pre-print Media Attached | ||
14:00 30mTalk | Temporal NetKAT Research Papers Ryan Beckett Princeton University, Michael Greenberg Pomona College, David Walker Princeton University Media Attached | ||
14:30 30mTalk | SDNRacer: Concurrency Analysis for Software-Defined Networks Research Papers Ahmed Elhassany ETH Zürich, Jeremie Miserez ETH Zürich, Pavol Bielik ETH Zurich, Switzerland, Laurent Vanbever ETH Zürich, Martin Vechev ETH Zurich Media Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | MapReduce Program Synthesis Research Papers Media Attached | ||
14:00 30mTalk | Programmatic and Direct Manipulation, Together at Last Research Papers Ravi Chugh University of Chicago, Brian Hempel University of Chicago, Mitchell Spradlin University of Chicago, Jacob Albers University of Chicago Pre-print Media Attached | ||
14:30 30mTalk | Fast Synthesis of Fast Collections Research Papers Calvin Loncaric University of Washington, Emina Torlak University of Washington, Michael D. Ernst University of Washington Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTalk | Presentation Session Student Research Competition | ||
15:30 - 17:00 | |||
15:30 30mTalk | Just-in-Time Static Type Checking for Dynamic Languages Research Papers Brianna M. Ren University of Maryland, College Park, Jeffrey S. Foster University of Maryland, College Park Media Attached | ||
16:00 30mTalk | Types from data: Making structured data first-class citizens in F# Research Papers Tomas Petricek University of Cambridge, UK, Don Syme Microsoft, Gustavo Guerra Microsoft Corporation, London Pre-print Media Attached | ||
16:30 30mTalk | Automatically Learning Shape Specifications Research Papers He Zhu Purdue University, Gustavo Petri LIAFA, Université Paris Diderot, Suresh Jagannathan Purdue University Media Attached | ||
15:30 - 17:00 | Verifying SystemsResearch Papers at Grand Ballroom Santa Ynez Chair(s): Santosh Nagarakatte Rutgers University | ||
15:30 30mTalk | Rehearsal: A Configuration Verification Tool for Puppet Research Papers Rian Shambaugh University of Massachusetts Amherst, Aaron Weiss University of Massachusetts Amherst, Arjun Guha University of Massachusetts, Amherst Pre-print Media Attached | ||
16:00 30mTalk | Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Research Papers Hao Chen Yale University, Xiongnan (Newman) Wu Yale University, Zhong Shao Yale University, Joshua Lockerman Yale University, Ronghui Gu Yale University Pre-print Media Attached | ||
16:30 30mTalk | Verified Peephole Optimizations for CompCert Research Papers Eric Mullen University of Washington, Daryl Zuniga University of Washington, Zachary Tatlock University of Washington, Seattle, Dan Grossman University of Washington, USA Pre-print Media Attached | ||
15:30 - 17:00 | |||
15:30 90mTalk | Presentation Session Student Research Competition | ||
17:00 - 18:00 | Parallelism IResearch Papers at Grand Ballroom San Rafael Chair(s): Tony Hosking Australian National University, Data61, and Purdue University | ||
17:00 30mTalk | Higher-Order and Tuple-Based Massively-Parallel Prefix Sums Research Papers Sepideh Maleki Texas State University, Annie Yang Texas State University, Martin Burtscher Texas State University Pre-print Media Attached | ||
17:30 30mTalk | A Distributed OpenCL Framework using Redundant Computation and Data Replication Research Papers Junghyun Kim Seoul National University, Gangwon Jo Seoul National University, Jaehoon Jung Seoul National University, Jungwon Kim Oak Ridge National Laboratory, Jaejin Lee Seoul National University Media Attached | ||
17:00 - 18:00 | |||
17:00 30mTalk | Synthesizing Transformations on Hierarchically Structured Data Research Papers Navid Yaghmazadeh University of Texas, Austin, Christian Klinger University of Texas, Austin, Isil Dillig University of Texas, Austin, Swarat Chaudhuri Rice University Media Attached | ||
17:30 30mTalk | Program Synthesis from Polymorphic Refinement Types Research Papers Media Attached | ||
18:15 - 21:30 | |||
18:15 3h15m | Banquet Catering | ||
Fri 17 JunDisplayed time zone: Tijuana, Baja California change
Fri 17 Jun
Displayed time zone: Tijuana, Baja California change
08:00 - 08:45 | |||
08:00 45m | Breakfast Catering | ||
08:45 - 09:00 | SRC Awards, PLDI’17 IntroductionInvited Speakers at Grand Ballroom Santa Ynez Chair(s): Albert Cohen INRIA, Ben Hardekopf UC Santa Barbara | ||
09:00 - 10:00 | |||
09:00 30mTalk | Cardinalities and Universal Quantifiers for Verifying Parameterized Systems Research Papers Nikolaj Bjørner Microsoft Research, Klaus Gleissenthall Technische Universität München, Andrey Rybalchenko Microsoft Research Media Attached | ||
09:30 30mTalk | Ivy: Safety Verification by Interactive Generalization Research Papers Oded Padon Tel Aviv University, Kenneth L. McMillan Microsoft Research, Aurojit Panda , Mooly Sagiv Tel Aviv University, Sharon Shoham Media Attached | ||
09:00 - 10:00 | |||
09:00 30mTalk | Idle Time Garbage Collection Scheduling Research Papers Ulan Degenbaev Google, Jochen Eisinger Google, Manfred Ernst Google, Ross McIlroy Google, Hannes Payer Google Media Attached | ||
09:30 30mTalk | Assessing the Limits of Program-Specific Garbage Collection Performance Research Papers Nicholas Jacek UMass Amherst, Meng-Chieh Chiu UMass Amherst, Benjamin Marlin UMass Amherst, Eliot Moss University of Massachusetts Amherst Media Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Transactional Data Structure Libraries Research Papers Alexander Spiegelman Technion - Israel institute of technology, Guy Golan-Gueta Yahoo Labs, Idit Keidar Technion - Israel institute of technology Media Attached | ||
11:00 30mTalk | FlexVec: Auto-Vectorization for Irregular Loops Research Papers Media Attached | ||
11:30 30mTalk | Verified Lifting of Stencil Computations Research Papers Shoaib Kamil MIT CSAIL, USA, Alvin Cheung University of Washington, Shachar Itzhaky MIT CSAIL, Armando Solar-Lezama MIT Media Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Precise, Dynamic Information Flow for Database-Backed Applications Research Papers Jean Yang Carnegie Mellon University, Travis Hance Dropbox, Thomas H. Austin , Armando Solar-Lezama MIT, Cormac Flanagan UC Santa Cruz, Stephen Chong Harvard University Link to publication Media Attached | ||
11:00 30mTalk | End-to-End Verification of Information-Flow Security for C and Assembly Programs Research Papers Pre-print Media Attached | ||
11:30 30mTalk | A Design and Verification Methodology for Secure Isolated Regions Research Papers Rohit Sinha University of California, Berkeley, Manuel Costa Microsoft Research, Akash Lal Microsoft Research India, Nuno P. Lopes Microsoft Research, Sriram Rajamani Microsoft Research, Sanjit Seshia UC Berkeley, Kapil Vaswani Microsoft Research Media Attached | ||