Program - PLDI 2016

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

08:00 - 08:45	BreakfastCatering at Rosa/Cruz Foyer

08:00 45m		Breakfast Catering

08:50 - 09:00	Opening RemarksLCTES at Sierra Madre North

08:50 10m Day opening		Opening Remarks LCTES

09:00 - 10:00	How Should We Program Non-volatile Memory?Tutorials at Santa Cruz East

09:00 60m Talk		How Should We Program Non-volatile Memory? Tutorials Dhruva Chakrabarti , Haris Volos , Indrajit Roy File Attached

09:00 - 10:00	RyuJIT: Open Source JIT Compiler for .NETTutorials at Santa Cruz West

09:00 60m Talk		RyuJIT: Open Source JIT Compiler for .NET Tutorials Carol Eidt Microsoft Link to publication

09:00 - 10:00	Invited Talks Session IFMS at Santa Rosa East

09:00 15m Day opening		Opening remarks FMS
09:15 45m Talk		Privacy and Algorithmic Accountability FMS Anupam Dutta Carnegie Mellon University

PLDI 2016 Program

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change

Tue 14 Jun
Displayed time zone: Tijuana, Baja California change

Wed 15 Jun
Displayed time zone: Tijuana, Baja California change

Thu 16 Jun
Displayed time zone: Tijuana, Baja California change

Fri 17 Jun
Displayed time zone: Tijuana, Baja California change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

09:00 - 10:00	LCTES Keynote #1LCTES at Sierra Madre North Chair(s): Tei-Wei Kuo Academia Sinica, Taiwan

09:00 60m Talk		Smart Embedded Computing through Self-Awareness LCTES Nikil Dutt File Attached

10:30 - 12:00	How Should We Program Non-volatile Memory?Tutorials at Santa Cruz East

10:30 90m Talk		How Should We Program Non-volatile Memory? Tutorials Dhruva Chakrabarti , Haris Volos , Indrajit Roy File Attached

10:30 - 12:00	Invited Talks Session IIFMS at Santa Rosa East

10:30 45m Talk		Report on the NSF Workshop on Formal Methods for Security FMS Stephen Chong Harvard University, Joshua Guttman Worcester Polytechnic Institute
11:15 45m Talk		Ironclad: Full Verification of Complex Systems FMS Bryan Parno

10:30 - 12:00	Session 1: Dynamic Translation and Iterative CompilationLCTES at Sierra Madre North Chair(s): Alastair Reid

10:30 30m Talk		Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator LCTES Tom Spink University of Edinburgh, Harry Wagstaff , Björn Franke University of Edinburgh
11:00 30m Talk		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 30m Talk		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	LunchCatering at Plaza del Sol

12:00 90m		Lunch Catering

13:30 - 15:00	String Analysis for Vulnerability Detection and RepairTutorials at Santa Cruz East

13:30 90m Talk		String Analysis for Vulnerability Detection and Repair Tutorials Tevfik Bultan , Abdulbaki Aydin , Lucas Bang

13:30 - 15:00	One VM to Rule Them All, One VM to Bind ThemTutorials at Santa Cruz West

13:30 90m Talk		One VM to Rule Them All, One VM to Bind Them Tutorials Christian Wimmer Oracle Labs Link to publication

13:30 - 15:00	Invited Talks Session IIIFMS at Santa Rosa East

13:30 45m Talk		Scalable Security Analysis of Android Apps FMS Gogul Balakrishnan Google
14:15 45m Talk		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 30m Talk		Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences LCTES Kunal Banerjee , Chittaranjan Mandal , Dipankar Sarkar
14:00 30m Talk		Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization LCTES Yulei Sui , Xiaokang Fan , Hao Zhou , Jingling Xue UNSW Australia
14:30 30m Talk		Generalized Cache Tiling for Dataflow Programs LCTES Lukasz Domagala , Duco van Amstel , Fabrice Rastello INRIA, France

15:30 - 17:00	String Analysis for Vulnerability Detection and RepairTutorials at Santa Cruz East

15:30 90m Talk		String Analysis for Vulnerability Detection and Repair Tutorials Tevfik Bultan , Abdulbaki Aydin , Lucas Bang

15:30 - 17:00	Breakout sessions and Panel DiscussionsFMS at Santa Rosa East

15:30 45m Other		Breakout Sessions FMS
16:15 45m Other		Panel Discussion FMS

15:30 - 17:00	Session 3: Presentations of PostersLCTES at Sierra Madre North Chair(s): Michael Jantz University of Tennessee, USA

15:30 10m Talk		The LARA-based Compiler Toolsuite LCTES Tiago Carvalho University of Porto, João Bispo FEUP, Universidade do Porto, Pedro Pinto , Luís Reis , Ricardo Nobre FEUP, Universidade do Porto, João M. P. Cardoso University of Porto, Portugal
15:40 10m Talk		Energy-Saving Designs for Mobile Devices with Non-Volatile Memory LCTES Che-Wei Chang Chang Gung University, Taiwan
15:50 10m Talk		Pseudo-preemptive Threads for Reliable and Maintainable Multitasking Software LCTES Benjamin Ylvisaker Colorado College
16:00 10m Talk		On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues LCTES Luís Reis , João Bispo FEUP, Universidade do Porto, João M. P. Cardoso University of Porto, Portugal
16:10 10m Talk		The Scheduling of Parallel Tasks in Heterogeneous Real-Time Systems LCTES Serge Midonnet
16:20 10m Talk		Improving Energy-Bound Application Effectiveness through Redundancy and Approximation LCTES Liu Liu Rutgers University, Timothy Yong Rutgers University, Jonathan Risinger Rutgers University, Sibren Isaacman Loyola University Maryland, Abhishek Bhattacharjee Rutgers University, Uli Kremer Rutgers University, USA
16:30 10m Talk		Compiling with the Regionalized Value State Dependence Graph LCTES Nico Reissmann Norwegian University of Science and Technology, Helge Bahmann , Magnus Jahre Norwegian University of Science and Technology

08:30 - 10:00	Welcome and KeynotePLMW@PLDI at Grand Ballroom Santa Ynez

08:30 15m Day opening		Welcome message PLMW@PLDI
08:45 30m Talk		Research is a Social Process PLMW@PLDI S: Kathryn S McKinley Microsoft Research Media Attached
09:15 45m Talk		Keynote: “Love, Marriage, and Happiness” PLMW@PLDI S: Matthias Felleisen Northeastern University Media Attached

08:50 - 10:10	KeynoteISMM at Sierra Madre South Chair(s): Zheng Zhang Rutgers University

08:50 10m Talk		Opening Remarks ISMM Christine H. Flood Red Hat
09:00 70m Talk		Keynote talk: Rethinking Memory System Design ISMM Onur Mutlu ETH Zurich Media Attached

08:00 - 08:45	BreakfastCatering at Sierra Madre Foyer

08:00 45m		Breakfast Catering

09:00 - 10:00	Session ISOAP at San Miguel East Chair(s): Charles Zhang HKUST

09:00 10m Day opening		Opening Remarks SOAP
09:10 50m Talk		Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution SOAP Tevfik Bultan

09:00 - 10:00	Using PinPlay for Reproducible Analysis and Replay DebuggingTutorials at Santa Cruz East

09:00 60m Talk		Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Harish Patil , Ady Tal , Ariel Slonim , Singh Vineet Link to publication

09:00 - 10:00	PROSE: Programming using ExamplesTutorials at Santa Cruz West

09:00 60m Talk		PROSE: Programming using Examples Tutorials Sumit Gulwani Microsoft Research, USA, Alex Polozov University of Washington, USA

09:00 - 10:00	Welcome and TutorialX10 at Santa Rosa East

09:00 10m Day opening		Opening and Welcome X10 P: Claudia Fohry Universität Kassel, G: Olivier Tardieu IBM Research
09:10 50m Talk		Introduction to (Resilient) X10 and APGAS -- slides are attached X10 S: Olivier Tardieu IBM Research File Attached

09:00 - 10:00	Session 1ARRAY at Santa Rosa West

09:00 60m Talk		Invited talk: Lessons Learned in Array Programming: from ZPL to Chapel ARRAY Brad Chamberlain File Attached

09:00 - 10:00	Keynote #2LCTES at Sierra Madre North Chair(s): David B. Whalley

09:00 60m Talk		Achieving Yield, Density and Performance Effective DRAM LCTES Bruce Childers University of Pittsburgh

10:30 - 12:00	Technical TalksPLMW@PLDI at Grand Ballroom Santa Ynez

10:30 25m Talk		Fighting Software Inefficiency Through Automated Bug Detection PLMW@PLDI Shan Lu University of Chicago Media Attached
10:55 25m Talk		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 25m Talk		Approximate Computing: it's better than good, it's good enough! PLMW@PLDI Michael Carbin MIT Media Attached

10:30 - 12:00	Session IISOAP at San Miguel East Chair(s): Charles Zhang HKUST

10:30 20m Talk		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 20m Talk		Iceberg: A Tool for Static Analysis of Java Critical Sections SOAP Michael D. Shah Tufts University, Sam Guyer Tufts University
11:10 20m Talk		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 30m Talk		Invited Talk: Probabilistic Learning from Big Code SOAP Martin Vechev ETH Zurich

10:30 - 12:00	Research PapersX10 at Santa Rosa East

10:30 30m Talk		Control Structure Overloading in X10 X10 A: Louis Mandel , A: Josh Milthorpe IBM Research, A: Olivier Tardieu IBM Research Link to publication DOI File Attached
11:00 30m Talk		A Memory Model for X10 X10 A: Andreas Zwinkau Karlsruhe Institute of Technology Link to publication DOI File Attached
11:30 30m Talk		Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS X10 A: Jonas Posner , A: Claudia Fohry Universität Kassel Link to publication DOI File Attached

PLDI 2016 Program

Switch Program View

Program Display Configuration

Mon 13 JunDisplayed time zone: Tijuana, Baja California change

Tue 14 JunDisplayed time zone: Tijuana, Baja California change

Wed 15 JunDisplayed time zone: Tijuana, Baja California change

Thu 16 JunDisplayed time zone: Tijuana, Baja California change

Fri 17 JunDisplayed time zone: Tijuana, Baja California change

Get Calendar (iCal)

Mon 13 Jun
Displayed time zone: Tijuana, Baja California change

Tue 14 Jun
Displayed time zone: Tijuana, Baja California change

Wed 15 Jun
Displayed time zone: Tijuana, Baja California change

Thu 16 Jun
Displayed time zone: Tijuana, Baja California change

Fri 17 Jun
Displayed time zone: Tijuana, Baja California change

10:30 - 12:00	Session 2ARRAY at Santa Rosa West

10:30 25m Talk		Array Program Transformation with Loo.py by Example: High-Order Finite Elements ARRAY Andreas Kloeckner University of Illinois at Urbana-Champaign, Lucas Wilcox , Tim Warburton
10:55 25m Talk		Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs ARRAY Kunal Banerjee , Soumyadip Bandyopadhyay , Santonu Sarkar
11:20 25m Talk		Design and GPGPU Performance of Futhark's Redomap Construct ARRAY Troels Henriksen DIKU, Ken Friis Larsen DIKU, University of Copenhagen, Cosmin Oancea
11:45 15m Talk		Object Support in an Array-based GPGPU Extension for Ruby ARRAY Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology

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 30m Talk		Symbolic Execution for Memory Consumption Analysis LCTES Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore, Rasool Maghareh
11:00 30m Talk		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 30m Talk		Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling LCTES Kuan-Hsun Chen , Björn Bönninghoff , Jian-Jia Chen , Peter Marwedel

10:30 - 12:10	Concurrent Memory ManagementISMM at Sierra Madre South Chair(s): Ben L. Titzer Google

10:30 25m Talk		Block-Free Concurrent GC: Stack Scanning and Copying ISMM Erik Österlund Linnaeus University, Sweden, Welf Löwe Linnaeus University
10:55 25m Talk		Characterizing Emerging Heterogeneous Memory ISMM Du Shen College of William and Mary, Xu Liu College of William and Mary, Felix Lin Purdue University
11:20 25m Talk		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 25m Talk		Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures ISMM Dave Dice Oracle Labs, Maurice Herlihy Brown University, Alex Kogan Oracle Labs

12:45 - 13:30	MentoringPLMW@PLDI at Grand Ballroom Santa Ynez

12:45 45m Social Event		Mentoring PLMW@PLDI

13:30 - 15:00	Professional DevelopmentPLMW@PLDI at Grand Ballroom Santa Ynez

13:30 15m Talk		Professional Communication PLMW@PLDI Matthew Might University of Utah, USA Media Attached
13:45 15m Talk		The Secrets PLMW@PLDI Jason Mars University of Michigan Media Attached
14:00 15m Talk		Getting People to Listen PLMW@PLDI Mary Hall University of Utah Media Attached
14:15 45m Other		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 50m Talk		Invited Talk: Machine-code analysis and transformation at GrammaTech SOAP Matt Noonan GrammaTech, Inc
14:20 20m Talk		On The Unsoundness of Static Analysis for Android GUIs SOAP Yan Wang , Hailong Zhang Ohio State University, USA, Atanas Rountev Ohio State University
14:40 20m Talk		Verifying Precise Floating-Point Optimizations in LLVM SOAP andres Notzli Stanford University, Fraser Brown Stanford University

13:30 - 15:00	Dynamic analysis of JavaScript with Jalangi Tutorials at Santa Cruz East

13:30 90m Talk		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	Cross-platform analysis of mobile apps using the WALA frameworkTutorials at Santa Cruz West

13:30 90m Talk		Cross-platform analysis of mobile apps using the WALA framework Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Omer Tripp IBM Research, USA, Sukyoung Ryu KAIST

13:30 - 15:00	Keynote and Research PaperX10 at Santa Rosa East

13:30 60m Talk		Keynote: Tracking and Constraining Work Stealing Schedulers X10 A: Sriram Krishnamoorthy Pacific Northwest National Laboratories File Attached
14:30 30m Talk		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	Session 3ARRAY at Santa Rosa West

13:30 60m Talk		Invited talk: Notation for Parallel Thoughts ARRAY Morten Kromberg
14:30 25m Talk		The Key to a Data Parallel Compiler ARRAY Aaron Hsu