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

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:15 - 09:00: Saturday BreakfastCatering at Pre-function A
08:15 - 09:00
Break
Breakfast
Catering
09:00 - 11:00: Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104
09:00 - 11:00
Talk
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Tutorials
Link to publication
09:00 - 11:00: A Semantics-Directed Approach to Program Termination Tutorials at B112
09:00 - 11:00
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Link to publication
09:00 - 11:00: Invited Talk and Paper Session 1ARRAY at C122
Chair(s): Laurie HendrenMcGill University
09:00 - 10:00
Talk
INVITED TALK: Array Notation for Everybody
ARRAY
David PaduaUniversity of Illinois at Urbana-Champaign
10:00 - 10:30
Talk
Loo.py: From Fortran to performance via transformation and substitution rules
ARRAY
Andreas KloecknerUniversity of Illinois at Urbana-Champaign
10:30 - 11:00
Talk
Techniques for Efficient MATLAB-to-C Compilation
ARRAY
João BispoFEUP, Universidade do Porto, Luís Reis, João Cardoso
09:30 - 11:00: 9:30am: Opening and Papers Session 1WAX at C120-C121
11:00 - 11:20: Saturday AM BreakCatering at Pre-function A
11:00 - 11:20
Coffee break
Morning Break
Catering
11:20 - 12:30: Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104
11:20 - 12:30
Talk
Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Tutorials
Link to publication
11:20 - 12:30: A Semantics-Directed Approach to Program TerminationTutorials at B112
11:20 - 12:30
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Link to publication
11:20 - 12:30: Lightning Talks and Discussion PrepWAX at C120-C121
12:30 - 14:00: Saturday LunchCatering at Pre-function A
12:30 - 14:00
Lunch
Lunch
Catering
14:00 - 15:30: CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104
14:00 - 15:30
Talk
CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Tutorials
14:00 - 15:30: RASCAL: Program Analysis and Transformation with RascalTutorials at B112
14:00 - 15:30
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
14:00 - 15:30: Report-Outs and Papers Session 2WAX at C120-C121
15:30 - 16:00: Saturday PM BreakCatering at Pre-function A
15:30 - 16:00
Break
Afternoon Break
Catering
16:00 - 18:00: CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104
16:00 - 18:00
Talk
CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Tutorials
16:00 - 18:00: RASCAL: Program Analysis and Transformation with RascalTutorials at B112
16:00 - 18:00
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
16:00 - 18:00: Papers Session 3 and ClosingWAX at C120-C121

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:15 - 09:00: Sunday BreakfastCatering at Pre-function A
08:15 - 09:00
Break
Breakfast
Catering
09:00 - 11:00: PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials at A103-104
09:00 - 11:00
Talk
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
09:00 - 11:00: Programming in X10X10 at B112
09:00 - 09:15
Day opening
Opening and Welcome
X10
Jose Nelson AmaralUniversity of Alberta, Olivier TardieuIBM Research
09:15 - 10:30
Talk
Introduction to X10
X10
Olivier TardieuIBM Research
Link to publication
10:30 - 11:00
Talk
The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications
X10
Sara S. HamoudaAustralian National University, Josh MilthorpeIBM Research, Peter StrazdinsAustralian National University, Vijay SaraswatIBM TJ Watson Research Center
Link to publication
09:00 - 11:00: Session1PLOOC at C120-C121
09:00 - 09:05
Talk
Opening and Welcome
PLOOC
P: Armando Solar-LezamaMIT, P: Rishabh SinghMicrosoft Research
09:05 - 09:45
Talk
Bug Localization with Statistical Models
PLOOC
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, P: Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
09:45 - 10:25
Talk
AutomataTutor and what I learned from building an online teaching tool
PLOOC
P: Loris D'AntoniUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign, Sumit GulwaniMicrosoft Research, Bjoern HartmannUC Berkeley, Matthew WeaverUniversity of Pennsylvania
10:25 - 11:00
Talk
Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
PLOOC
P: Jonathan ProtzenkoMicrosoft Research
11:00 - 11:20: Sunday AM BreakCatering at Pre-function A
11:00 - 11:20
Coffee break
Morning Break
Catering
11:20 - 12:30: PINPLAY:Using PinPlay for Reproducible Analysis and Replay DebuggingTutorials at A103-104
11:20 - 12:30
Talk
PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Tutorials
Link to publication
11:20 - 12:30: session 2SOAP at B110-B11
Chair(s): Mayur NaikGeorgia Tech
11:20 - 12:20
Talk
Static Analysis of JavaScript: Insights and Challenges
SOAP
Ben HardekopfUC Santa Barbara
11:20 - 12:30: Session2PLOOC at C120-C121
11:30 - 12:10
Talk
The Hint Mechanism in Code Hunt
PLOOC
P: Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington
12:30 - 14:00: Sunday LunchCatering at Exhibit Halls A1-B
12:30 - 14:00
Lunch
Lunch
Catering
14:00 - 15:30: Machine Learning for Code AnalyticsTutorials at A103-104
14:00 - 15:30
Talk
Machine Learning for Code Analytics
Tutorials
Veselin RaychevETH Zurich, Martin VechevETH Zurich
Link to publication
14:00 - 15:30: Doop Framework 101Tutorials at A107-A108
14:00 - 15:30
Talk
Doop Framework 101
Tutorials
George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication
14:00 - 15:30: Compilers and RuntimesX10 at B112
14:00 - 14:30
Talk
Cutting Out the Middleman: OS-Level Support for X10 Activities
X10
Manuel MohrKarlsruhe Institute of Technology, Sebastian BuchwaldKarlsruhe Institute of Technology, Andreas ZwinkauKarlsruhe 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 LohmannFriedrich-Alexander University of Erlangen-Nürnberg
Link to publication
14:30 - 15:00
Talk
Optimization of X10 Programs with ROSE Compiler Infrastructure
X10
Michihiro HorieIBM Research - Tokyo, Mikio TakeuchiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo, David GroveIBM Research
Link to publication
15:00 - 15:30
Talk
The APGAS Library: Resilient Parallel and Distributed Programming in Java 8
X10
Olivier TardieuIBM Research
Link to publication
14:00 - 15:30: Session3PLOOC at C120-C121
14:00 - 14:40
Talk
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
PLOOC
P: Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
14:40 - 15:20
Talk
CPSGrader: Formal Methods for Lab-Based MOOCs
PLOOC
P: Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley
14:00 - 15:30: AutoTune:Autotuning programs with OpenTunerTutorials at C122
14:00 - 15:30
Talk
AutoTune:Autotuning programs with OpenTuner
Tutorials
Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA
Link to publication
15:30 - 16:00: Sunday PM BreakCatering at Exhibit Halls A1-B
15:30 - 16:00
Break
Afternoon Break
Catering
16:00 - 18:00: Machine Learning for Code AnalyticsTutorials at A103-104
16:00 - 18:00
Talk
Machine Learning for Code Analytics
Tutorials
Veselin RaychevETH Zurich, Martin VechevETH Zurich
Link to publication
16:00 - 18:00: Doop Framework 101Tutorials at A107-A108
16:00 - 18:00
Talk
Doop Framework 101
Tutorials
George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication
16:00 - 18:00: session 4SOAP at B110-B11
Chair(s): Anders MøllerAarhus University
16:00 - 17:00
Talk
Jalangi: A Dynamic Analyses Framework for JavaScript
SOAP
Koushik SenUniversity of California, Berkeley
16:00 - 18:00: Global Load BalancingX10 at B112
16:00 - 16:30
Talk
Towards an Efficient Fault-Tolerance Scheme for GLB
X10
Marco BungartUniversität Kassel, Claudia FohryUniversität Kassel, Jonas PosnerUniversität Kassel
Link to publication
16:30 - 17:00
Talk
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
X10
Daisuke IshiiTokyo Institute of Technology, Kazuki YoshizoeJapan Science and Technology Agency, Toyotaro SuzumuraIBM Research / University College Dublin / JST
Link to publication
16:00 - 18:00: Session4PLOOC at C120-C121
16:00 - 16:40
Talk
Personalized Mathematical Word Problem Generation
PLOOC
P: Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington
16:40 - 17:20
Talk
Making Proof Tutors out of Proof Assistants
PLOOC
P: Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
17:20 - 18:00
Talk
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
PLOOC
Elena GlassmanMIT, Jeremy ScottMIT, P: Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT
16:00 - 18:00: AutoTune:Autotuning programs with OpenTunerTutorials at C122
16:00 - 18:00
Talk
AutoTune:Autotuning programs with OpenTuner
Tutorials
Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA
Link to publication
18:00 - 19:15: Turing LectureFCRC Plenary Speakers at Exhibit Hall A
18:00 - 19:15
Talk
Turing Lecture
FCRC Plenary Speakers
19:30 - 21:00: Welcome ReceptionResearch Papers at Exhibit Halls A1-B
19:30 - 21:00
Welcome Reception and Poster Session
Research Papers

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:15 - 09:00: Monday BreakfastCatering at Exhibit Halls A1-B Portland Ballroom Lobby
08:15 - 09:00
Break
Breakfast
Catering
09:00 - 11:00: Distinguished PapersResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Steve BlackburnAustralian National University
09:00 - 09:15
Day opening
Opening and Welcome
Research Papers
Steve BlackburnAustralian National University , David GroveIBM Research
09:15 - 09:40
Talk
Automatically Improving Accuracy for Floating Point Expressions
Research Papers
Pavel PanchekhaUniversity of Washington, Alex Sanchez-SternUniversity of Washington, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
Media Attached
09:40 - 10:05
Talk
Diagnosing Type Errors with Class
Research Papers
Danfeng ZhangCornell University, Andrew C. Myers, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
10:05 - 10:30
Talk
Provably Correct Peephole Optimizations with Alive
Research Papers
Nuno P. LopesMicrosoft Research, David MenendezRutgers University, Santosh NagarakatteRutgers University, John RegehrUniversity of Utah
Media Attached
10:30 - 10:50
Talk
One Minute Madness
Research Papers
11:00 - 11:20: Monday AM BreakCatering at Exhibit Halls A1-B
11:00 - 11:20
Coffee break
Morning Break
Catering
11:20 - 12:30: Monday Plenary TalkFCRC Plenary Speakers at Exhibit Hall A
11:20 - 12:30
Talk
Interdisciplinarity: A View from Theory of Computation
FCRC Plenary Speakers
Andrew YaoTsinghua University
12:30 - 14:00: SIGPLAN Awards LuncheonResearch Papers at Portland 251,257,258
12:30 - 14:00
Lunch
SIGPLAN Awards Luncheon
Research Papers
Jan VitekNortheastern University
14:00 - 15:40: VerificationResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Zachary TatlockUniversity of Washington, Seattle
14:00 - 14:25
Talk
Mechanized Verification of Fine-grained Concurrent Programs
Research Papers
Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
Link to publication Media Attached
14:25 - 14:50
Talk
Verification of Producer-Consumer Synchronization in GPU Programs
Research Papers
Rahul SharmaStanford University, Michael BauerNVIDIA Research, Alex AikenStanford University
Media Attached
14:50 - 15:15
Talk
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
Research Papers
Peter GammieNICTA, Tony HoskingAustralian National University, Data61, and Purdue University, Kai EngelhardtUNSW and NICTA
Link to publication Media Attached
15:15 - 15:40
Talk
Verifying Read-Copy-Update in a Logic for Weak Memory
Research Papers
Joseph TassarottiCarnegie Mellon University, Derek DreyerMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Media Attached
14:00 - 15:40: CorrectnessResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Jens PalsbergUniversity of California, Los Angeles
14:00 - 14:25
Talk
Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Research Papers
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached
14:25 - 14:50
Talk
Automatic Error Elimination by Multi-Application Code Transfer
Research Papers
Media Attached
14:50 - 15:15
Talk
Light: Replay via Tightly Bounded Recording
Research Papers
Peng LiuPurdue University, Xiangyu ZhangPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Yunhui ZhengIBM Research
Media Attached
15:15 - 15:40
Talk
Many-Core Compiler Fuzzing
Research Papers
Nathan ChongUniversity College London, Alastair DonaldsonImperial College London, Andrei LascuImperial College London, Christopher LidburyImperial College London
Media Attached
15:40 - 16:00: Monday PM BreakCatering at Exhibit Halls A1-B Portland Ballroom Lobby
15:40 - 16:00
Break
Afternoon Break
Catering
16:00 - 17:40: Concurrency IResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Santosh NagarakatteRutgers University
16:00 - 16:25
Talk
Asynchronous Programming, Analysis and Testing with State Machines
Research Papers
Pantazis DeligiannisImperial College London, Alastair DonaldsonImperial College London, Jeroen Ketema, Akash LalMicrosoft Research India, Paul ThomsonImperial College London
Media Attached
16:25 - 16:50
Talk
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
Research Papers
Jeff HuangTexas A&M University
Media Attached
16:50 - 17:15
Talk
Synthesizing racy tests
Research Papers
Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore, Suresh JagannathanPurdue University
Media Attached
17:15 - 17:40
Talk
The Push/Pull model of transactions
Research Papers
Eric KoskinenIBM TJ Watson Research Center, Matthew ParkinsonMicrosoft Research, UK
Media Attached
16:00 - 17:15: OptimizationResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Michelle StroutColorado State University
16:00 - 16:25
Talk
LaminarIR: Compile-Time Queues for Structured Streams
Research Papers
Yousun KoYonsei University, Bernd BurgstallerYonsei University, Bernhard ScholzThe University of Sydney
Media Attached
16:25 - 16:50
Talk
Optimizing Off-Chip Accesses in Multicores
Research Papers
Wei DingPennsylvania State University, Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, Yuanrui ZhangIntel, Emre KultursayPennsylvania State University
Media Attached
16:50 - 17:15
Talk
Improving Compiler Scalability: Optimizing Large Programs at Small Price
Research Papers
Sanyam MehtaUniversity of Minnesota, Pen-Chung YewUniversity of Minnesota
Media Attached
17:15 - 17:40: TOPLASResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Michelle StroutColorado State University
17:15 - 17:40
Talk
Verification of a Cryptographic Primitive: SHA-256
Research Papers
A: Andrew AppelPrinceton

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:15 - 09:00: Tuesday BreakfastCatering at Exhibit Halls A1-B Portland Ballroom Lobby
08:15 - 09:00
Break
Breakfast
Catering
08:45 - 09:10: One Minute MadnessResearch Papers at PLDI Main BLUE (Portland 254-255)
08:45 - 09:10
Talk
One Minute Madness
Research Papers
09:15 - 10:55: Concurrency IIResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Suresh JagannathanPurdue University
09:15 - 09:40
Talk
Composing Concurrency Control
Research Papers
Ofri ZivTel Aviv University, Alex AikenStanford University, Guy Golan-GuetaYahoo Labs, G. RamalingamMicrosoft Research, Mooly SagivTel Aviv University
Media Attached
09:40 - 10:05
Talk
Dynamic Partial Order Reduction for Relaxed Memory Models
Research Papers
Naling ZhangVirginia Tech, Markus KusanoVirginia Tech, Chao WangVirginia Tech
Media Attached
10:05 - 10:30
Talk
Monitoring Refinement via Symbolic Reasoning
Research Papers
Michael Emmi, Constantin EneaLIAFA, Université Paris Diderot, Jad HamzaLIAFA, Université Paris Diderot
Media Attached
10:30 - 10:55
Talk
Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
Research Papers
Stephen LongfieldCornell University, Brittany NkounkouCornell University, Rajit ManoharCornell University, Ross TateCornell University
Media Attached
09:15 - 10:55: Synthesis IResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Kathleen FisherTufts University
09:15 - 09:40
Talk
Efficient Synthesis of Network Updates
Research Papers
Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Pavol CernyUniversity of Colorado Boulder, Nate FosterCornell University
Pre-print Media Attached
09:40 - 10:05
Talk
Efficient Synthesis of Probabilistic Programs
Research Papers
Aditya NoriMicrosoft Research, UK, Sherjil OzairIIT Delhi, Sriram RajamaniMicrosoft Research, Deepak VijaykeerthyMicrosoft Research
Media Attached
10:05 - 10:30
Talk
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Research Papers
Dan BarowyUniversity of Massachusetts Amherst, Sumit GulwaniMicrosoft Research, Ted HartMicrosoft Research, Benjamin ZornMicrosoft Research
Media Attached
10:30 - 10:55
Talk
Synthesizing Data Structure Transformations from Input-Output Examples
Research Papers
John FeserRice University, Swarat ChaudhuriRice University, Isil DilligUniversity of Texas, Austin
Media Attached
11:00 - 11:20: Tuesday AM BreakCatering at Exhibit Halls A1-B
11:00 - 11:20
Coffee break
Morning Break
Catering
12:30 - 14:00: Tuesday LunchCatering at Exhibit Halls A1-B
12:30 - 14:00
Lunch
Lunch
Catering
14:00 - 15:40: AnalysisResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Yannis SmaragdakisUniversity of Athens
14:00 - 14:25
Talk
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Research Papers
Akash LalMicrosoft Research India, Shaz QadeerMicrosoft Research
Media Attached File Attached
14:25 - 14:50
Talk
Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Research Papers
Andrew JohnsonHarvard University, Lucas WayeHarvard University, Scott MooreHarvard University, Stephen ChongHarvard University
Media Attached
14:50 - 15:15
Talk
Making Numerical Program Analysis Fast
Research Papers
Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich
Media Attached
15:15 - 15:40
Talk
Tree Dependence Analysis
Research Papers
Yusheng WeijiangPurdue University, Shruthi BalakrishnaPurdue University, Jianqiao LiuPurdue University, Milind KulkarniPurdue University
Media Attached
14:00 - 15:40: Semantics IResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Hans-J. BoehmGoogle
14:00 - 14:25
Talk
A Formal C Memory Model Supporting Integer-Pointer Casts
Research Papers
Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, William ManskyUniversity of Pennsylvania, Dmitri GarbuzovUniversity of Pennsylvania, Steve Zdancewic, Viktor VafeiadisMPI-SWS, Germany
Media Attached
14:25 - 14:50
Talk
Defining the undefinedness of C
Research Papers
Chris HathhornUniversity of Missouri, Chucky EllisonUniversity of Illinois, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Media Attached
14:50 - 15:15
Talk
KJS: A Complete Formal Semantics of JavaScript
Research Papers
Daejun ParkUniversity of Illinois at Urbana-Champaign, Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Media Attached
15:15 - 15:40
Talk
Verdi: A Framework for Formally Verifying Distributed System Implementations
Research Papers
James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Pavel PanchekhaUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Xi WangUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Media Attached
15:40 - 16:00: Tuesday PM BreakCatering at Exhibit Halls A1-B Portland Ballroom Lobby
15:40 - 16:00
Break
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 GroveIBM Research
16:00 - 16:30
Talk
PLDI Chairs' Report
Research Papers
David GroveIBM Research, Steve BlackburnAustralian National University , Eric EideUniversity of Utah, John RegehrUniversity of Utah
File Attached
16:30 - 17:30
Meeting
ACM SIGPLAN Townhall Meeting
Research Papers
Jan VitekNortheastern University
16:00 - 18:00: Student Research Competition TalksStudent Research Competition at PLDI Main RED (Portland 256)
Chair(s): Isil DilligUniversity of Texas, Austin
18:30 - 22:00: PLDI BanquetResearch Papers at Exchange Ballroom
18:30 - 22:00
PLDI Banquet
Research Papers

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:15 - 09:00: Wednesday BreakfastCatering at Exhibit Halls A1-B Portland Ballroom Lobby
08:15 - 09:00
Break
Breakfast
Catering
08:30 - 09:00: One Minute MadnessResearch Papers at PLDI Main BLUE (Portland 254-255)
08:30 - 09:00
Talk
One Minute Madness
Research Papers
09:00 - 09:15: Student Research Competition AwardsStudent Research Competition at PLDI Main BLUE (Portland 254-255)
09:00 - 09:15
Awards
Student Research Competition Awards Session
Student Research Competition
Isil DilligUniversity of Texas, Austin
09:15 - 10:55: PerformanceResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary HallUniversity of Utah
09:15 - 09:40
Talk
Automated Detection of Performance Bugs via Static Analysis
Research Papers
Oswaldo Olivo, Isil DilligUniversity of Texas, Austin, Calvin LinUT Austin
Media Attached
09:40 - 10:05
Talk
Autotuning Algorithmic Choice for Input Sensitivity
Research Papers
Yufei DingNorth Carolina State University, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Xipeng ShenNorth Carolina State University, Una-May O’ReillyMassachusetts Institute of Technology, Saman AmarasingheMIT
Link to publication Media Attached
10:05 - 10:30
Talk
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Research Papers
Charith MendisMIT CSAIL, Jeffrey BosboomMIT CSAIL, Kevin WuMIT CSAIL, Shoaib KamilMIT CSAIL, USA, Jonathan Ragan-KelleyStanford, Sylvain ParisAdobe, Qin ZhaoGoogle, Saman AmarasingheMIT
Media Attached
10:30 - 10:55
Talk
Profile-Guided Meta-Programming
Research Papers
William J. BowmanNortheastern University, Swaha MillerCisco Systems, Inc, Vincent St-AmourNortheastern University, R. Kent DybvigCisco Systems, Inc
Link to publication Media Attached
09:15 - 10:55: Semantics IIResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Robby FindlerNorthwestern University
09:15 - 09:40
Talk
Declarative Programming over Eventually Consistent Data Stores
Research Papers
KC SivaramakrishnanUniversity of Cambridge, Gowtham KakiPurdue University, Suresh JagannathanPurdue University
Media Attached
09:40 - 10:05
Talk
Blame and coercion: Together again for the first time
Research Papers
Jeremy G. SiekIndiana University, Peter ThiemannUniversity of Freiburg, Philip WadlerUniversity of Edinburgh
Media Attached
10:05 - 10:30
Talk
Lightweight, Flexible Object-Oriented Generics
Research Papers
Yizhou ZhangCornell University, Andrew C. Myers, Barbara LiskovMIT, Guido SalvaneschiTU Darmstadt, Matt LoringCornell University
Media Attached
10:30 - 10:55
Talk
Relatively Complete Counterexamples for Higher-Order Programs
Research Papers
Phúc C. Nguyễn, David Van HornUniversity of Maryland, College Park
Media Attached
11:00 - 11:20: Wednesday AM BreakCatering at Exhibit Halls A1-B
11:00 - 11:20
Coffee break
Morning Break
Catering
11:20 - 12:30: Wednesday Plenary TalkFCRC Plenary Speakers at Exhibit Hall A
11:20 - 12:30
Talk
The F# Path to Relaxation
FCRC Plenary Speakers
Don SymeMicrosoft
12:30 - 14:00: Wednesday LunchCatering at Exhibit Halls A1-B
12:30 - 14:00
Lunch
Lunch
Catering
14:00 - 15:40: ParallelismResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Sara BaghsorkhiIntel Labs
14:00 - 14:25
Talk
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
Research Papers
Murali Krishna EmaniThe University of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Media Attached
14:25 - 14:50
Talk
Efficient Execution of Recursive Programs on Commodity Vector Hardware
Research Papers
Bin RenPacific Northwest National Laboratories, Youngjoon JoPurdue University, Sriram KrishnamoorthyPacific Northwest National Laboratories, Kunal AgrawalWashington University in St. Louis, Milind KulkarniPurdue University
Media Attached
14:50 - 15:15
Talk
Loop and Data Transformations for Sparse Matrix Code
Research Papers
Anand VenkatUniversity of Utah, Mary HallUniversity of Utah, Michelle StroutColorado State University
Media Attached
15:15 - 15:40
Talk
Synthesizing Parallel Graph Programs via Automated Planning
Research Papers
Dimitrios PrountzosThe University of Texas at Austin, Texas, USA, Roman ManevichBen-Gurion University of the Negev, Keshav PingaliUniversity of Texas, Austin
Media Attached
14:00 - 15:40: LogicResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Nate FosterCornell University
14:00 - 14:25
Talk
Automatic Induction Proofs of Data-Structures in Imperative Programs
Research Papers
Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Minh-Thai TrinhNational University of Singapore
Media Attached
14:25 - 14:50
Talk
Compositional Certified Resource Bounds
Research Papers
Quentin CarbonneauxYale University, Jan HoffmannYale University, Zhong ShaoYale University
Link to publication Media Attached
14:50 - 15:15
Talk
Peer-to-peer Affine Commitment using Bitcoin
Research Papers
Karl CraryCarnegie Mellon University, Michael J. Sullivan
Media Attached
15:15 - 15:40
Talk
Termination and Non-Termination Specification Inference
Research Papers
Ton Chanh LeNational University of Singapore, Shengchao QinTeesside University, Wei-Ngan ChinNational University of Singapore
Media Attached
15:40 - 16:00: Wednesday PM BreakCatering at Exhibit Halls A1-B Portland Ballroom Lobby
15:40 - 16:00
Break
Afternoon Break
Catering
16:00 - 17:40: Synthesis IIResearch Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Isil DilligUniversity of Texas, Austin
16:00 - 16:25
Talk
Concurrency Debugging with Differential Schedule Projections
Research Papers
Nuno MachadoINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon LuciaCarnegie Mellon University, Luís RodriguesUniversidade de Lisboa, Instituto Superior Técnico, INESC-ID
Media Attached
16:25 - 16:50
Talk
Synthesis of Machine Code from Semantics
Research Papers
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:50 - 17:15
Talk
Synthesis of ranking functions using extremal counterexamples
Research Papers
Laure GonnordUniversity of Lyon & LIP, France, David MonniauxCNRS, VERIMAG, Gabriel RadanneUniversité Denis Diderot Paris 7, PPS
Media Attached
17:15 - 17:40
Talk
Type-and-Example-Directed Program Synthesis
Research Papers
Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
Media Attached
16:00 - 17:40: PotpourriResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Tiark RompfPurdue & Oracle Labs
16:00 - 16:25
Talk
Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
Research Papers
Stefan MarrInria, France, Chris SeatonOracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille
Media Attached
16:25 - 16:50
Talk
Finding Counterexamples from Parsing Conflicts
Research Papers
Media Attached
16:50 - 17:15
Talk
Interactive Parser Synthesis by Example
Research Papers
Alan LeungUniversity of California, San Diego, John SarracinoUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego
Media Attached
17:15 - 17:40
Talk
A Simpler, Safer Programming and Execution Model for Intermittent Systems
Research Papers
Brandon LuciaCarnegie Mellon University, Benjamin RansfordUniversity of Washington
Media Attached

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
A103-104
B112
C122
ARRAY
Morning Wrapup
12:20 - 12:30
Pre-function A
PLDI Catering
Lunch
12:30 - 14:00

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
A103-104
A107-A108
B110-B11
SOAP
Opening remarks
09:00 - 09:10
B112
C120-C121
C122
Exhibit Hall A
Exhibit Halls A1-B
PLDI Catering
Lunch
12:30 - 14:00
Pre-function A

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Exhibit Hall A
Exhibit Halls A1-B
Exhibit Halls A1-B Portland Ballroom Lobby
PLDI Main BLUE (Portland 254-255)
PLDI Main RED (Portland 256)
Portland 251,257,258

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Exchange Ballroom
Exhibit Hall A
Exhibit Halls A1-B
PLDI Catering
Lunch
12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby
PLDI Main BLUE (Portland 254-255)
PLDI Main RED (Portland 256)

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Exhibit Hall A
Exhibit Halls A1-B
PLDI Catering
Lunch
12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby
PLDI Main BLUE (Portland 254-255)
PLDI Main RED (Portland 256)
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)