PLOOC 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
co-located with PLDI 2015
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

Displayed time zone: Tijuana, Baja California change

14:00 - 15:40
CorrectnessPLDI Research Papers at PLDI Main RED (Portland 256)
Chair(s): Jens Palsberg University of California, Los Angeles
14:00
25m
Talk
Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
PLDI Research Papers
Maarten Faddegon University of Kent, UK, Olaf Chitil University of Kent, UK
Media Attached
14:25
25m
Talk
Automatic Error Elimination by Multi-Application Code Transfer
PLDI Research Papers
Media Attached
14:50
25m
Talk
Light: Replay via Tightly Bounded Recording
PLDI Research Papers
Peng Liu Purdue University, Xiangyu Zhang Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Yunhui Zheng IBM Research
Media Attached
15:15
25m
Talk
Many-Core Compiler Fuzzing
PLDI Research Papers
Nathan Chong University College London, Alastair F. Donaldson Imperial College London, Andrei Lascu Imperial College London, Christopher Lidbury Imperial College London
Media Attached
16:00 - 17:15
OptimizationPLDI Research Papers at PLDI Main RED (Portland 256)
Chair(s): Michelle Strout Colorado State University
16:00
25m
Talk
LaminarIR: Compile-Time Queues for Structured Streams
PLDI Research Papers
Yousun Ko Yonsei University, Bernd Burgstaller Yonsei University, Bernhard Scholz The University of Sydney
Media Attached
16:25
25m
Talk
Optimizing Off-Chip Accesses in Multicores
PLDI Research Papers
Wei Ding Pennsylvania State University, Xulong Tang Penn State, Mahmut Taylan Kandemir Pennsylvania State University, Yuanrui Zhang Intel, Emre Kultursay Pennsylvania State University
Media Attached
16:50
25m
Talk
Improving Compiler Scalability: Optimizing Large Programs at Small Price
PLDI Research Papers
Sanyam Mehta University of Minnesota, Pen-Chung Yew University of Minnesota
Media Attached
17:15 - 17:40
TOPLASPLDI Research Papers at PLDI Main RED (Portland 256)
Chair(s): Michelle Strout Colorado State University
17:15
25m
Talk
Verification of a Cryptographic Primitive: SHA-256
PLDI Research Papers
A: Andrew W. Appel Princeton

Tue 16 Jun

Displayed time zone: Tijuana, Baja California change

09:15 - 10:55
Synthesis IPLDI Research Papers at PLDI Main RED (Portland 256)
Chair(s): Kathleen Fisher Tufts University
09:15
25m
Talk
Efficient Synthesis of Network Updates
PLDI Research Papers
Jedidiah McClurg University of Colorado Boulder, Hossein Hojjat Cornell University, Pavol Cerny University of Colorado Boulder, Nate Foster Cornell University
Pre-print Media Attached
09:40
25m
Talk
Efficient Synthesis of Probabilistic Programs
PLDI Research Papers
Aditya Nori Microsoft Research, UK, Sherjil Ozair IIT Delhi, Sriram Rajamani Microsoft Research, Deepak Vijaykeerthy Microsoft Research
Media Attached
10:05
25m
Talk
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
PLDI Research Papers
Dan Barowy University of Massachusetts Amherst, Sumit Gulwani Microsoft Research, Ted Hart Microsoft Research, Benjamin Zorn Microsoft Research
Media Attached
10:30
25m
Talk
Synthesizing Data Structure Transformations from Input-Output Examples
PLDI Research Papers
Jack Feser Rice University, Swarat Chaudhuri Rice University, Işıl Dillig University of Texas, Austin
Media Attached
14:00 - 15:40
14:00
25m
Talk
A Formal C Memory Model Supporting Integer-Pointer Casts
PLDI Research Papers
Jeehoon Kang Seoul National University, Chung-Kil Hur Seoul National University, William Mansky University of Pennsylvania, Dmitri Garbuzov University of Pennsylvania, Steve Zdancewic , Viktor Vafeiadis MPI-SWS, Germany
Media Attached
14:25
25m
Talk
Defining the undefinedness of C
PLDI Research Papers
Chris Hathhorn University of Missouri, Chucky Ellison University of Illinois, Grigore Roşu University of Illinois at Urbana-Champaign
Media Attached
14:50
25m
Talk
KJS: A Complete Formal Semantics of JavaScript
PLDI Research Papers
Daejun Park University of Illinois at Urbana-Champaign, Andrei Stefanescu University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Verdi: A Framework for Formally Verifying Distributed System Implementations
PLDI Research Papers
James R. Wilcox University of Washington, Doug Woos University of Washington, Pavel Panchekha University of Washington, Zachary Tatlock University of Washington, Seattle, Xi Wang University of Washington, Michael D. Ernst University of Washington, Thomas Anderson University of Washington
Media Attached
16:00 - 18:00
Student Research Competition TalksPLDI Student Research Competition at PLDI Main RED (Portland 256)
Chair(s): Işıl Dillig University of Texas, Austin

Wed 17 Jun

Displayed time zone: Tijuana, Baja California change

09:15 - 10:55
Semantics IIPLDI Research Papers at PLDI Main RED (Portland 256)
Chair(s): Robert Bruce Findler Northwestern University
09:15
25m
Talk
Declarative Programming over Eventually Consistent Data Stores
PLDI Research Papers
KC Sivaramakrishnan University of Cambridge, Gowtham Kaki Purdue University, Suresh Jagannathan Purdue University
Media Attached
09:40
25m
Talk
Blame and coercion: Together again for the first time
PLDI Research Papers
Jeremy G. Siek Indiana University, Peter Thiemann University of Freiburg, Philip Wadler University of Edinburgh
Media Attached
10:05
25m
Talk
Lightweight, Flexible Object-Oriented Generics
PLDI Research Papers
Yizhou Zhang Cornell University, Andrew Myers , Barbara Liskov MIT, Guido Salvaneschi TU Darmstadt, Matt Loring Cornell University
Media Attached
10:30
25m
Talk
Relatively Complete Counterexamples for Higher-Order Programs
PLDI Research Papers
Phúc C. Nguyễn , David Van Horn University of Maryland, College Park
Media Attached
14:00 - 15:40
14:00
25m
Talk
Automatic Induction Proofs of Data-Structures in Imperative Programs
PLDI Research Papers
Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore, Minh-Thai Trinh National University of Singapore
Media Attached
14:25
25m
Talk
Compositional Certified Resource Bounds
PLDI Research Papers
Quentin Carbonneaux Yale University, Jan Hoffmann Yale University, Zhong Shao Yale University
Link to publication Media Attached
14:50
25m
Talk
Peer-to-peer Affine Commitment using Bitcoin
PLDI Research Papers
Karl Crary Carnegie Mellon University, Michael J. Sullivan
Media Attached
15:15
25m
Talk
Termination and Non-Termination Specification Inference
PLDI Research Papers
Ton Chanh Le National University of Singapore, Shengchao Qin Teesside University, Wei-Ngan Chin National University of Singapore
Media Attached
16:00 - 17:40
PotpourriPLDI Research Papers at PLDI Main RED (Portland 256)
Chair(s): Tiark Rompf Purdue & Oracle Labs
16:00
25m
Talk
Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
PLDI Research Papers
Stefan Marr Inria, France, Chris Seaton Oracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille
Media Attached
16:25
25m
Talk
Finding Counterexamples from Parsing Conflicts
PLDI Research Papers
Chinawat Isradisaikul Cornell University, Andrew Myers
Media Attached
16:50
25m
Talk
Interactive Parser Synthesis by Example
PLDI Research Papers
Alan Leung University of California, San Diego, John Sarracino University of California, San Diego, Sorin Lerner University of California, San Diego
Media Attached
17:15
25m
Talk
A Simpler, Safer Programming and Execution Model for Intermittent Systems
PLDI Research Papers
Brandon Lucia Carnegie Mellon University, Benjamin Ransford University of Washington
Media Attached

Mon 15 Jun

Displayed time zone: Tijuana, Baja California change

Tue 16 Jun

Displayed time zone: Tijuana, Baja California change

Wed 17 Jun

Displayed time zone: Tijuana, Baja California change