VenueOregon Convention Center
Room namePLDI Main RED (Portland 256)
Floor2
Room numberPortland 256
Capacity254
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

14:00 - 15:40
CorrectnessResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Jens PalsbergUniversity of California, Los Angeles
14:00
25m
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
25m
Talk
Automatic Error Elimination by Multi-Application Code Transfer
Research Papers
Media Attached
14:50
25m
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
25m
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
16:00 - 17:15
OptimizationResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Michelle StroutColorado State University
16:00
25m
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
25m
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
25m
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
25m
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

09:15 - 10:55
Synthesis IResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Kathleen FisherTufts University
09:15
25m
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
25m
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
25m
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
25m
Talk
Synthesizing Data Structure Transformations from Input-Output Examples
Research Papers
John FeserRice University, Swarat ChaudhuriRice University, Isil DilligUniversity of Texas, Austin
Media Attached
14:00 - 15:40
14:00
25m
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
25m
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
25m
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
25m
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
16:00 - 18:00
Student Research Competition TalksStudent Research Competition at PLDI Main RED (Portland 256)
Chair(s): Isil DilligUniversity of Texas, Austin

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

09:15 - 10:55
Semantics IIResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Robby FindlerNorthwestern University
09:15
25m
Talk
Declarative Programming over Eventually Consistent Data Stores
Research Papers
KC SivaramakrishnanUniversity of Cambridge, Gowtham KakiPurdue University, Suresh JagannathanPurdue University
Media Attached
09:40
25m
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
25m
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
25m
Talk
Relatively Complete Counterexamples for Higher-Order Programs
Research Papers
Phúc C. Nguyễn, David Van HornUniversity of Maryland, College Park
Media Attached
14:00 - 15:40
LogicResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Nate FosterCornell University
14:00
25m
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
25m
Talk
Compositional Certified Resource Bounds
Research Papers
Quentin CarbonneauxYale University, Jan HoffmannYale University, Zhong ShaoYale University
Link to publication Media Attached
14:50
25m
Talk
Peer-to-peer Affine Commitment using Bitcoin
Research Papers
Karl CraryCarnegie Mellon University, Michael J. Sullivan
Media Attached
15:15
25m
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
16:00 - 17:40
PotpourriResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Tiark RompfPurdue & Oracle Labs
16:00
25m
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
25m
Talk
Finding Counterexamples from Parsing Conflicts
Research Papers
Media Attached
16:50
25m
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
25m
Talk
A Simpler, Safer Programming and Execution Model for Intermittent Systems
Research Papers
Brandon LuciaCarnegie Mellon University, Benjamin RansfordUniversity of Washington
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

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
PLDI Main RED (Portland 256)