Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017
Barcelona, Spain
co-located with
PLDI 2017
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Visa
Program
ISMM Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Program Committee
External Review Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
ISMM 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Aula Master
Venue
Universitat Politècnica de Catalunya
Room name
Aula Master
Floor
0
Capacity
132
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Opening
ISMM 2017
at
Aula Master
Chair(s):
Christoph Kirsch
University of Salzburg
08:30
15m
Day opening
Opening
ISMM 2017
08:45 - 09:30
Keynote
ISMM 2017
at
Aula Master
Chair(s):
Ben L. Titzer
Google
08:45
45m
Talk
Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations
ISMM 2017
K:
Xipeng Shen
North Carolina State University
09:30 - 10:30
Session 1: Garbage Collection
ISMM 2017
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 2017
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 2017
Albert Mingkun Yang
,
Tobias Wrigstad
Uppsala University
11:00 - 12:30
Session 2: Clever Data Tricks
ISMM 2017
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 2017
Nick Vrvilo
,
Lechen Yu
Rice University
,
Vivek Sarkar
Rice University, USA
11:30
30m
Talk
Flexible and Efficient Memory Object Metadata
ISMM 2017
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 2017
Kostyantyn Vorobyov
CEA LIST, France
,
Julien Signoles
CEA LIST
,
Nikolai Kosmatov
14:00 - 15:30
Session 3: Hybrid Memory Systems
ISMM 2017
at
Aula Master
Chair(s):
Ben L. Titzer
Google
14:00
30m
Talk
Analyzing Memory Management Methods on Integrated CPU-GPU Systems
ISMM 2017
Mohammad Dashti
University of British Columbia
,
Alexandra (Sasha) Fedorova
Simon Fraser University
14:30
30m
Talk
Continuous Checkpointing of HTM Transactions in NVM
ISMM 2017
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 2017
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 Look
ISMM 2017
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 2017
Vini Kanvar
Indian Institute of Technology (IIT) Bombay
,
Uday P. Khedker
16:30
30m
Talk
A Refinement Hierarchy for Free List Memory Allocators
ISMM 2017
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 2017
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 Optimizations
PLDI 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 Analysis
PLDI 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 Analysis
PLDI 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 Security
PLDI 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 Correctness
PLDI 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 Computation
PLDI 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 meeting
PLDI 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
15:30 - 17:10
S4
ECOOP Summer School
at
Aula Master
15:30
1h40m
Talk
Kotlin: the ins and outs of designing a commercial language
ECOOP Summer School
Andrey Breslav
JetBrains
Pre-print
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
S5A
ECOOP Summer School
at
Aula Master
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
S5B
ECOOP Summer School
at
Aula Master
13:40
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco Visser
Delft University of Technology
Media Attached
File Attached
15:50 - 17:30
S5C
ECOOP Summer School
at
Aula Master
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
10:30 - 12:10
S6A
ECOOP Summer School
at
Aula Master
10:30
1h40m
Talk
Engineering a Real-World Garbage Collector
ECOOP Summer School
Filip Pizlo
Apple
Link to publication
13:40 - 15:20
S6B
ECOOP Summer School
at
Aula Master
13:40
1h40m
Talk
Engineering a Real-World Garbage Collector
ECOOP Summer School
Filip Pizlo
Apple
Link to publication
15:50 - 17:05
S6C
ECOOP Summer School
at
Aula Master
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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Aula Master
ISMM 2017
Opening
ISMM 2017
Keynote
ISMM 2017
Session 1: Garbage Collection
ISMM 2017
Session 2: Clever Data Tricks
ISMM 2017
Session 3: Hybrid Memory Systems
ISMM 2017
Session 4: A Deeper Look
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Aula Master
PLDI Research Papers
Compiler Optimizations
PLDI Research Papers
Concurrency Analysis
PLDI Research Papers
Static Analysis
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Aula Master
PLDI Research Papers
Static Analysis and Security
PLDI Research Papers
Functional Programming and Correctness
PLDI Research Papers
Verified Computation
PLDI Invited Speakers
Program Chair report and SIGPLAN Town Hall meeting
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
Aula Master
ECOOP Summer School
S4
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Aula Master
ECOOP Summer School
S5A
ECOOP Summer School
S5B
ECOOP Summer School
S5C
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Aula Master
ECOOP Summer School
S6A
ECOOP Summer School
S6B
ECOOP Summer School
S6C
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Aula Master
ISMM
Opening
08:30 - 08:45
ISMM
Bridging the Gap between Memory Performance and Massive Parallelism: Th ...
08:45 - 09:30
ISMM
NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSp ...
09:30 - 10:00
ISMM
Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
10:00 - 10:30
ISMM
A Marshalled Data Format for Pointers in Relocatable Data Blocks
11:00 - 11:30
ISMM
Flexible and Efficient Memory Object Metadata
11:30 - 12:00
ISMM
Shadow State Encoding for Efficient Monitoring of Block-level Properties
12:00 - 12:30
ISMM
Analyzing Memory Management Methods on Integrated CPU-GPU Systems
14:00 - 14:30
ISMM
Continuous Checkpointing of HTM Transactions in NVM
14:30 - 15:00
ISMM
RTHMS: A Tool for Data Placement on Hybrid Memory System
15:00 - 15:30
ISMM
"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
16:00 - 16:30
ISMM
A Refinement Hierarchy for Free List Memory Allocators
16:30 - 17:00
ISMM
Avoiding Consistency Exceptions Under Strong Memory Consistency Models
17:00 - 17:30
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Aula Master
PLDI Research Papers
Cache Locality Optimization for Recursive Programs
10:50 - 11:15
PLDI Research Papers
Fusing Effectful Comprehensions
11:15 - 11:40
PLDI Research Papers
Generalizations of the Theory and Deployment of Triangular Inequality f ...
11:40 - 12:05
PLDI Research Papers
ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizati ...
12:05 - 12:30
PLDI Research Papers
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
14:00 - 14:25
PLDI Research Papers
BigFoot: Static Check Placement for Dynamic Race Detection
14:25 - 14:50
PLDI Research Papers
Dynamic Race Prediction in Linear Time
14:50 - 15:15
PLDI Research Papers
Systematic Black-Box Analysis of Collaborative Web Applications
15:15 - 15:40
PLDI Research Papers
Compositional Recurrence Analysis Revisited
16:10 - 16:35
PLDI Research Papers
Context Transformations for Pointer Analysis
16:35 - 17:00
PLDI Research Papers
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging ...
17:00 - 17:25
PLDI Research Papers
Static Deadlock Detection for Asynchronous C# Programs
17:25 - 17:50
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Aula Master
PLDI Research Papers
Decomposition Instead of Self-Composition for Proving the Absence of T ...
10:50 - 11:15
PLDI Research Papers
Automatic Program Inversion using Symbolic Transducers
11:15 - 11:40
PLDI Research Papers
Control-Flow Recovery from Partial Failure Reports
11:40 - 12:05
PLDI Research Papers
Rigorous Analysis of Software Countermeasures against Cache Attacks
12:05 - 12:30
PLDI Research Papers
Compiling without continuations
14:00 - 14:25
PLDI Research Papers
FunTAL: Reasonably Mixing a Functional Language with Assembly
14:25 - 14:50
PLDI Research Papers
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
14:50 - 15:15
PLDI Research Papers
Levity Polymorphism
15:15 - 15:40
PLDI Research Papers
A Formally Verified Compiler for Lustre
16:10 - 16:35
PLDI Research Papers
Flatten and Conquer (A Framework for Efficient Analysis of String Const ...
16:35 - 17:00
PLDI Invited Speakers
Program Chair report and SIGPLAN Town Hall meeting
17:00 - 18:00
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Aula Master
ECOOP Summer School
Kotlin: the ins and outs of designing a commercial language
15:30 - 17:10
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Aula Master
ECOOP Summer School
What You Need to Know about Performance Evaluation
10:30 - 12:10
ECOOP Summer School
Declarative Language Definition
13:40 - 15:20
ECOOP Summer School
Declarative Language Definition
15:50 - 17:30
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Aula Master
ECOOP Summer School
Engineering a Real-World Garbage Collector
10:30 - 12:10
ECOOP Summer School
Engineering a Real-World Garbage Collector
13:40 - 15:20
ECOOP Summer School
What You Need to Know about Performance Evaluation
15:50 - 17:05
x
Sat 21 Dec 12:44