PMLDC 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with ECOOP 2017
VenueUniversitat Politècnica de Catalunya
Room nameAula Master
Floor0
Capacity132
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

Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 08:45
OpeningISMM at Aula Master
Chair(s): Christoph Kirsch University of Salzburg
08:30
15m
Day opening
Opening
ISMM

09:30 - 10:30
Session 1: Garbage CollectionISMM at Aula Master
Chair(s): Hannes Payer Google
09:30
30m
Talk
NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
ISMM
Rodrigo Bruno INESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi Oliveira Feedzai, A: Paulo Ferreira INESC-ID / Instituto Superior Técnico, University of Lisbon
10:00
30m
Talk
Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
ISMM
11:00 - 12:30
Session 2: Clever Data TricksISMM at Aula Master
Chair(s): Michael D. Bond Ohio State University
11:00
30m
Talk
A Marshalled Data Format for Pointers in Relocatable Data Blocks
ISMM
Nick Vrvilo , Lechen Yu Rice University, Vivek Sarkar Rice University, USA
11:30
30m
Talk
Flexible and Efficient Memory Object Metadata
ISMM
Zhengyang Liu Beijing University of Posts and Telecommunications, John Criswell University of Rochester
12:00
30m
Talk
Shadow State Encoding for Efficient Monitoring of Block-level Properties
ISMM
14:00 - 15:30
Session 3: Hybrid Memory SystemsISMM at Aula Master
Chair(s): Ben L. Titzer Google
14:00
30m
Talk
Analyzing Memory Management Methods on Integrated CPU-GPU Systems
ISMM
Mohammad Dashti University of British Columbia, Alexandra (Sasha) Fedorova Simon Fraser University
14:30
30m
Talk
Continuous Checkpointing of HTM Transactions in NVM
ISMM
Ellis Giles Rice University, Kshitij Doshi Intel Corporation, Peter Varman Rice University
15:00
30m
Talk
RTHMS: A Tool for Data Placement on Hybrid Memory System
ISMM
Ivy Bo Peng KTH Royal Institute of Technology, Roberto Gioiosa Pacific Northwest National Laboratory, Gokcen Kestor Pacific Northwest National Laboratory, Stefano Markidis KTH Royal Institute of Technology, Pietro Cicotti San Diego Supercomputer Center, Erwin Laure KTH Royal Institute of Technology
16:00 - 17:30
Session 4: A Deeper LookISMM at Aula Master
Chair(s): Steve Blackburn Australian National University
16:00
30m
Talk
"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
ISMM
Vini Kanvar Indian Institute of Technology (IIT) Bombay, Uday P. Khedker
16:30
30m
Talk
A Refinement Hierarchy for Free List Memory Allocators
ISMM
Bin Fang East China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France
17:00
30m
Talk
Avoiding Consistency Exceptions Under Strong Memory Consistency Models
ISMM
Minjia Zhang Microsoft Research, Swarnendu Biswas University of Texas at Austin, Michael D. Bond Ohio State University

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30
Compiler OptimizationsPLDI Research Papers at Aula Master
Chair(s): Uday Bondhugula Indian Institute of Science
10:50
25m
Talk
Cache Locality Optimization for Recursive Programs
PLDI Research Papers
Jonathan Lifflander , Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:15
25m
Talk
Fusing Effectful Comprehensions
PLDI Research Papers
Olli Saarikivi , Margus Veanes Microsoft Research, Todd Mytkowicz , Madan Musuvathi Microsoft Research
11:40
25m
Talk
Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
PLDI Research Papers
Yufei Ding North Carolina State University, Lin Ning North Carolina State University, Hui Guan North Carolina State University, Xipeng Shen North Carolina State University
Media Attached
12:05
25m
Talk
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
PLDI Research Papers
David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, USA
Media Attached
14:00 - 15:40
Concurrency AnalysisPLDI Research Papers at Aula Master
Chair(s): Jeff Huang Texas A&M University
14:00
25m
Talk
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
PLDI Research Papers
Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania
14:25
25m
Talk
BigFoot: Static Check Placement for Dynamic Race Detection
PLDI Research Papers
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
14:50
25m
Talk
Dynamic Race Prediction in Linear Time
PLDI Research Papers
Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Systematic Black-Box Analysis of Collaborative Web Applications
PLDI Research Papers
Marina Billes TU Darmstadt, Anders Møller Aarhus University, Michael Pradel TU Darmstadt
Media Attached
16:10 - 17:50
Static AnalysisPLDI Research Papers at Aula Master
Chair(s): Loris D'Antoni University of Wisconsin–Madison
16:10
25m
Talk
Compositional Recurrence Analysis Revisited
PLDI Research Papers
Zachary Kincaid Princeton University, Jason Breck University of Wisconsin-Madison, Ashkan Forouhi Boroujeni University of Wisconsin-Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:35
25m
Talk
Context Transformations for Pointer Analysis
PLDI Research Papers
Rei Thiessen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada
Media Attached
17:00
25m
Talk
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
PLDI Research Papers
Tian Tan UNSW Australia, Yue Li UNSW Australia, Jingling Xue UNSW Australia
Pre-print Media Attached
17:25
25m
Talk
Static Deadlock Detection for Asynchronous C# Programs
PLDI Research Papers
Anirudh Santhiar Indian Institute of Science, Aditya Kanade Indian Institute of Science, Bangalore
Media Attached

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30
Static Analysis and SecurityPLDI Research Papers at Aula Master
Chair(s): Mayur Naik Georgia Tech
10:50
25m
Talk
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
PLDI Research Papers
Timos Antonopoulos Yale University, Paul Gazzillo Yale University, Michael Hicks University of Maryland, College Park, Eric Koskinen Yale University, Tachio Terauchi JAIST, Shiyi Wei University of Maryland, College Park
Media Attached
11:15
25m
Talk
Automatic Program Inversion using Symbolic Transducers
PLDI Research Papers
Qinheping Hu University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison
Media Attached
11:40
25m
Talk
Control-Flow Recovery from Partial Failure Reports
PLDI Research Papers
Peter Ohmann University of Wisconsin - Madison, Alexander L. Brooks University of Wisconsin, Madison, Loris D'Antoni University of Wisconsin–Madison, Ben Liblit University of Wisconsin–Madison
Pre-print Media Attached
12:05
25m
Talk
Rigorous Analysis of Software Countermeasures against Cache Attacks
PLDI Research Papers
Goran Doychev IMDEA Software Institute, Boris Köpf IMDEA Software Institute, Spain
Media Attached
14:00 - 15:40
Functional Programming and CorrectnessPLDI Research Papers at Aula Master
Chair(s): Francesco Logozzo Facebook
14:00
25m
Talk
Compiling without continuations
PLDI Research Papers
Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
14:25
25m
Talk
FunTAL: Reasonably Mixing a Functional Language with Assembly
PLDI Research Papers
Daniel Patterson Northeastern University, Jamie Perconti Northeastern University, Christos Dimoulas Harvard University, USA, Amal Ahmed Northeastern University, USA
Media Attached
14:50
25m
Talk
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
PLDI Research Papers
Shumo Chu University of Washington, USA, Konstantin Weitz University of Washington, USA, Alvin Cheung University of Washington, Dan Suciu University of Washington
Media Attached
15:15
25m
Talk
Levity Polymorphism
PLDI Research Papers
Richard A. Eisenberg Bryn Mawr College, USA, Simon Peyton Jones Microsoft Research, Cambridge
Media Attached
16:10 - 17:00
Verified ComputationPLDI Research Papers at Aula Master
Chair(s): Alvin Cheung University of Washington
16:10
25m
Talk
A Formally Verified Compiler for Lustre
PLDI Research Papers
Timothy Bourke INRIA, Lelio Brun ENS/Inria, Pierre-Evariste Dagand LIP6/CNRS , Xavier Leroy Inria, Marc Pouzet École normale supérieure, Lionel Rieg Collège de France
Media Attached
16:35
25m
Talk
Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Bui Phi Diep Uppsala University, Yu-Fang Chen , Lukáš Holík , Ahmed Rezine , Philipp Ruemmer Uppsala University
Media Attached
17:00 - 18:00
Program Chair report and SIGPLAN Town Hall meetingPLDI Invited Speakers at Aula Master
17:00
60m
Program Chair report and SIGPLAN Town Hall meeting
PLDI Invited Speakers

Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
10:30
1h40m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan Vitek Northeastern University
Pre-print
13:40 - 15:20
13:40
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco Visser Delft University of Technology
Media Attached File Attached
15:50 - 17:30
15:50
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco Visser Delft University of Technology
Media Attached File Attached

Fri 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:50 - 17:05
15:50
75m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan Vitek Northeastern University
Pre-print

Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:003016:003017:0030
Aula Master

Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Aula Master

Fri 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Aula Master

Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Aula Master

Fri 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change