VenueOregon Convention Center
Room namePLDI Main BLUE (Portland 254-255)
Floor2
Room numberPortland 254-255
Capacity590
Room InformationNo extra information available
Program

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

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

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
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
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

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

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
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
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

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

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
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
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

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

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