Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017
Barcelona, Spain
co-located with
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Sponsoring
Registration
Visas
Hotels
Student Travel Support
Internet on site
Social Event
Program
Complete Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Tracks
PLDI 2017
PLDI Invited Speakers
PLDI Research Papers
PLDI Research Artifacts
PLDI Student Research Competition
Student Volunteers
PLDI Workshops
PLDI Tutorials
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
Workshops
ARRAY
DSW
IC
MAPL
PLMW
SOAP
WCIRE
Organization
PLDI 2017 Committees
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Steering Committee
Artifact Evaluation Committee
SRC Panel
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Steering Committee
Program Committee
External Review Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
DSW
Organizing Committee
IC
Keynote speaker
Organizing Committee
Program Committee
MAPL
Organizing Committee
Program Committee
PLMW
Mentors
SOAP
Organizing Committee
Program Committee
WCIRE
Organizing Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Vertex WS216
Venue
Universitat Politècnica de Catalunya
Room name
Vertex WS216
Floor
0
Room number
216
Capacity
30
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
SOAP
at
Vertex WS216
08:30
15m
Day opening
Opening
SOAP
08:45 - 09:30
Invited Speaker - Sukyoung Ryu
SOAP
at
Vertex WS216
08:45
45m
Talk
Journey to Find Bugs in JavaScript Web Applications in the Wild
Invited Talk
SOAP
Sukyoung Ryu
KAIST
File Attached
09:30 - 10:30
Points-to Analysis
SOAP
at
Vertex WS216
09:30
20m
Talk
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
SOAP
Jihyeok Park
KAIST, South Korea
,
Xavier Rival
INRIA/CNRS/ENS Paris
,
Sukyoung Ryu
KAIST
DOI
File Attached
09:50
20m
Talk
A Datalog Model of Must-Alias Analysis
SOAP
George Balatsouras
University of Athens
,
Kostas Ferles
University of Texas at Austin, USA
,
George Kastrinis
University of Athens
,
Yannis Smaragdakis
University of Athens
DOI
File Attached
10:10
20m
Talk
An Efficient Tunable Selective Points-to Analysis for Large Codebases
SOAP
Behnaz Hassanshahi
Oracle Labs, Australia
,
Raghavendra Kagalavadi
Oracle Labs, Australia
,
Paddy Krishnan
,
Bernhard Scholz
University of Sydney, Australia
,
Yi Lu
Oracle
DOI
File Attached
11:00 - 11:45
Invited Speaker - Jingling Xue
SOAP
at
Vertex WS216
11:00
45m
Talk
Static Analysis of Java Reflection
Invited Talk
SOAP
Jingling Xue
UNSW Australia
11:45 - 12:30
Modular Analysis
SOAP
at
Vertex WS216
11:45
22m
Talk
SootKeeper: Runtime Reusability for Modular Static Analysis
SOAP
Florian Kübler
TU Darmstadt, Germany
,
Patrick Müller
TU Darmstadt, Germany
,
Ben Hermann
University of Paderborn
DOI
Pre-print
12:07
22m
Talk
Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
SOAP
Anastasios Antoniadis
,
Konstantinos Triantafyllou
University of Athens, Greece
,
Yannis Smaragdakis
University of Athens
DOI
Pre-print
File Attached
14:00 - 14:45
Invited Speaker - Julian Dolby
SOAP
at
Vertex WS216
14:00
45m
Talk
WALA Everywhere
Invited Talk
SOAP
Julian Dolby
IBM Thomas J. Watson Research Center
Media Attached
14:45 - 15:30
Soundness and Precision
SOAP
at
Vertex WS216
14:45
22m
Talk
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
SOAP
Esben Andreasen
Aarhus University
,
Anders Møller
Aarhus University
,
Benjamin Barslev Nielsen
Aarhus University
DOI
File Attached
15:07
22m
Talk
On the Construction of Soundness Oracles
SOAP
Jens Dietrich
Massey University
,
Li Sui
Massey University, New Zealand
,
Shawn Rasheed
Massey University
,
Amjed Tahir
Massey University
DOI
Media Attached
16:00 - 16:20
Benchmarking
SOAP
at
Vertex WS216
16:00
20m
Talk
Hermes: Assessment and Creation of Effective Test Corpora
SOAP
Michael Reif
TU Darmstadt, Germany
,
Michael Eichberg
TU Darmstadt, Germany
,
Ben Hermann
University of Paderborn
,
Mira Mezini
TU Darmstadt
DOI
Pre-print
File Attached
16:20 - 18:00
Open Discussion
SOAP
at
Vertex WS216
16:20
1h40m
Meeting
Open Discussion
SOAP
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Morning I
ICOOOLPS
at
Vertex WS216
Chair(s):
Mario Wolczko
Oracle Labs
09:00
10m
Talk
Workshop Welcome
ICOOOLPS
Mario Wolczko
Oracle Labs
09:10
80m
Talk
We Software People are not Worthy - All Hail the Hardware Gods
ICOOOLPS
Sylvan Clebsch
Imperial College London
11:00 - 12:30
Morning II
ICOOOLPS
at
Vertex WS216
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
11:00
30m
Talk
dart2java: Running Dart in Java-based Environments
ICOOOLPS
Matthias Springer
Tokyo Institute of Technology
,
Andrew Krieger
University of California, Los Angeles
,
Stanislav Manilov
University of Edinburgh
,
Hidehiko Masuhara
Tokyo Institute of Technology
Link to publication
DOI
File Attached
11:30
30m
Talk
VM Wrapping - Fake it till you make it
ICOOOLPS
Johannes Henning
Hasso Plattner Institute
,
Tim Felgentreff
Hasso-Plattner-Institute, Potsdam
,
Robert Hirschfeld
HPI
Link to publication
DOI
File Attached
12:00
30m
Talk
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
ICOOOLPS
Guido Chari
University of Buenos Aires, Argentina
,
Diego Garbervetsky
University of Buenos Aires, Argentina
,
Stefan Marr
Johannes Kepler University Linz
Link to publication
DOI
File Attached
14:00 - 15:30
Afternoon I
ICOOOLPS
at
Vertex WS216
Chair(s):
Edd Barrett
King's College London
14:00
60m
Talk
Can Compiler Magic Ever Be Explained?
ICOOOLPS
Eric Sedlar
Oracle Labs
,
Thomas Wuerthinger
Oracle Labs
15:00
30m
Talk
Code Generation in Serializers and Comparators of Apache Flink
ICOOOLPS
Gábor Horváth
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
,
Norbert Pataki
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
,
Márton Balassi
Hungarian Academy of Sciences
Link to publication
DOI
File Attached
16:00 - 18:00
Afternoon II
ICOOOLPS
at
Vertex WS216
Chair(s):
Olivier Zendra
16:00
60m
Other
Panel: Do new Computing Environments lead to new Language Constructs?
ICOOOLPS
Eric Jul
University of Oslo
,
Edd Barrett
King's College London
,
Steve Blackburn
Australian National University
,
Ben L. Titzer
Google
17:00
30m
Talk
Diff Graphs for a fast Incremental Pointer Analysis
ICOOOLPS
Jakob Krainz
Friedrich-Alexander University Erlangen-Nürnberg
,
Michael Philippsen
Link to publication
DOI
File Attached
17:30
30m
Demonstration
A Formalization IDE Integrated with a Verifying Compiler
ICOOOLPS
Daniel Welch
Clemson University
,
Blair Durkee
Clemson University
,
Mike Kabbani
Clemson University
,
Murali Sitaraman
Clemson University
Link to publication
DOI
File Attached
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Session 1
COP
at
Vertex WS216
09:00
15m
Day opening
Welcome
COP
09:15
60m
Talk
Keynote on Context-Oriented Language Engineering
COP
S:
Tijs van der Storm
CWI & University of Groningen
10:15
15m
Other
Discussion
COP
11:00 - 12:30
Session 2
COP
at
Vertex WS216
11:00
30m
Talk
The Declarative Nature of Implicit Layer Activation
COP
Stefan Ramson
Hasso Plattner Institute, Potsdam
,
Jens Lincke
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
11:30
30m
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
COP
Tetsuo Kamina
Ritsumeikan University
,
Tomoyuki Aotani
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
12:00
30m
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
COP
Harumi Watanabe
Tokai University
,
Nobuhiko Ogura
Tokyo City University
14:00 - 15:30
Session 3
COP
at
Vertex WS216
14:00
30m
Talk
ContextROS: Context-Oriented Programming for the Robot Operating System
COP
Yuta Saeki
Kyushu University
,
Ikuta Tanigawa
Kyushu University
,
Kenji Hisazumi
Kyushu University
,
Akira Fukuda
Kyushu University
14:30
30m
Talk
IoT Robot Simulator and Framework for Context-Oriented Programming
COP
Ikuta Tanigawa
Kyushu University
,
Kenji Hisazumi
Kyushu University
,
Nobuhiko Ogura
Tokyo City University
,
Harumi Watanabe
Tokai University
,
Akira Fukuda
Kyushu University
15:00
30m
Talk
Peace COrP: Learning to solve conflicts between contexts
COP
Nicolás Cardozo
Universidad de los Andes
,
Ivana Dusparic
Trinity College Dublin, Ireland
,
Jorge H. Castro
Universidad de los Andes
Media Attached
File Attached
16:00 - 18:00
Session 4
COP
at
Vertex WS216
16:00
2h
Other
Discussion
COP
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Intro & industry perspective on crypto
DSW
at
Vertex WS216
Chair(s):
Andrew W. Appel
Princeton
09:00
15m
Day opening
Introduction to DeepSpec
DSW
Lennart Beringer
Princeton University
,
Adam Chlipala
Massachusetts Institute of Technology, USA
09:15
45m
Talk
Building Faith in Experts: Applying Formal Verification to Cryptography
DSW
Dominic Rizzo
Google
10:30 - 12:10
Academic crypto projects; industry perspective on formal-methods integration
DSW
at
Vertex WS216
Chair(s):
Zhong Shao
Yale University
10:30
30m
Talk
Correct-by-Construction Generation of Fast Code for Elliptic Curves
DSW
Adam Chlipala
Massachusetts Institute of Technology, USA
11:00
30m
Talk
Introduction to verification using the VST
DSW
Lennart Beringer
Princeton University
11:30
40m
Talk
Using formal tools to develop high-assurance software for autonomous ground vehicles
DSW
Aleksey Nogin
HRL Laboratories, LLC
13:40 - 15:00
Academic C-verification project; industry perspective on hypervisors
DSW
at
Vertex WS216
Chair(s):
Adam Chlipala
Massachusetts Institute of Technology, USA
13:40
40m
Talk
Verifying concurrent C programs with the Verified Software Toolchain
DSW
Andrew W. Appel
Princeton
14:20
40m
Talk
Challenges in Analysing Virtualisation Stacks
DSW
Michael Tautschnig
Amazon Web Services
15:30 - 17:00
Academic hypervisor project; closing discussion
DSW
at
Vertex WS216
Chair(s):
Lennart Beringer
Princeton University
15:30
45m
Talk
CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
DSW
Zhong Shao
Yale University
16:15
45m
Day closing
Closing discussion
DSW
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
at
Vertex WS216
09:00
60m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
10:30 - 12:10
Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)
PLDI Tutorials
at
Vertex WS216
10:30
1h40m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
13:40 - 15:20
Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)
PLDI Tutorials
at
Vertex WS216
13:40
1h40m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
15:50 - 17:00
Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)
PLDI Tutorials
at
Vertex WS216
15:50
70m
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
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
Vertex WS216
SOAP
Opening
SOAP
Invited Speaker - Sukyoung Ryu
SOAP
Points-to Analysis
SOAP
Invited Speaker - Jingling Xue
SOAP
Modular Analysis
SOAP
Invited Speaker - Julian Dolby
SOAP
Soundness and Precision
SOAP
Benchmarking
SOAP
Open Discussion
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS216
ICOOOLPS
Morning I
ICOOOLPS
Morning II
ICOOOLPS
Afternoon I
ICOOOLPS
Afternoon II
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS216
COP
Session 1
COP
Session 2
COP
Session 3
COP
Session 4
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Vertex WS216
DSW
Intro & industry perspective on crypto
DSW
Academic crypto projects; industry perspective on formal-methods integration
DSW
Academic C-verification project; industry perspective on hypervisors
DSW
Academic hypervisor project; closing discussion
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Vertex WS216
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)
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
Vertex WS216
SOAP
Opening
08:30 - 08:45
SOAP
Invited Talk
Journey to Find Bugs in JavaScript Web Applications in the Wild
08:45 - 09:30
SOAP
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Co ...
09:30 - 09:50
SOAP
A Datalog Model of Must-Alias Analysis
09:50 - 10:10
SOAP
An Efficient Tunable Selective Points-to Analysis for Large Codebases
10:10 - 10:30
SOAP
Invited Talk
Static Analysis of Java Reflection
11:00 - 11:45
SOAP
SootKeeper: Runtime Reusability for Modular Static Analysis
11:45 - 12:07
SOAP
Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog ...
12:07 - 12:30
SOAP
Invited Talk
WALA Everywhere
14:00 - 14:45
SOAP
Systematic Approaches for Increasing Soundness and Precision of Static ...
14:45 - 15:07
SOAP
On the Construction of Soundness Oracles
15:07 - 15:30
SOAP
Hermes: Assessment and Creation of Effective Test Corpora
16:00 - 16:20
SOAP
Open Discussion
16:20 - 18:00
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS216
ICOOOLPS
Workshop Welcome
09:00 - 09:10
ICOOOLPS
We Software People are not Worthy - All Hail the Hardware Gods
09:10 - 10:30
ICOOOLPS
dart2java: Running Dart in Java-based Environments
11:00 - 11:30
ICOOOLPS
VM Wrapping - Fake it till you make it
11:30 - 12:00
ICOOOLPS
A Metaobject Protocol for Optimizing Application-Specific Run-Time Vari ...
12:00 - 12:30
ICOOOLPS
Can Compiler Magic Ever Be Explained?
14:00 - 15:00
ICOOOLPS
Code Generation in Serializers and Comparators of Apache Flink
15:00 - 15:30
ICOOOLPS
Panel: Do new Computing Environments lead to new Language Constructs?
16:00 - 17:00
ICOOOLPS
Diff Graphs for a fast Incremental Pointer Analysis
17:00 - 17:30
ICOOOLPS
A Formalization IDE Integrated with a Verifying Compiler
17:30 - 18:00
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS216
COP
Welcome
09:00 - 09:15
COP
Keynote on Context-Oriented Language Engineering
09:15 - 10:15
COP
Discussion
10:15 - 10:30
COP
The Declarative Nature of Implicit Layer Activation
11:00 - 11:30
COP
Push-based Reactive Layer Activation in Context-Oriented Programming
11:30 - 12:00
COP
Petri-Net Based Testing Environment for Context-Oriented Programming
12:00 - 12:30
COP
ContextROS: Context-Oriented Programming for the Robot Operating System
14:00 - 14:30
COP
IoT Robot Simulator and Framework for Context-Oriented Programming
14:30 - 15:00
COP
Peace COrP: Learning to solve conflicts between contexts
15:00 - 15:30
COP
Discussion
16:00 - 18:00
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS216
DSW
Introduction to DeepSpec
09:00 - 09:15
DSW
Building Faith in Experts: Applying Formal Verification to Cryptography
09:15 - 10:00
DSW
Correct-by-Construction Generation of Fast Code for Elliptic Curves
10:30 - 11:00
DSW
Introduction to verification using the VST
11:00 - 11:30
DSW
Using formal tools to develop high-assurance software for autonomous gr ...
11:30 - 12:10
DSW
Verifying concurrent C programs with the Verified Software Toolchain
13:40 - 14:20
DSW
Challenges in Analysing Virtualisation Stacks
14:20 - 15:00
DSW
CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
15:30 - 16:15
DSW
Closing discussion
16:15 - 17:00
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS216
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators
09:00 - 10:00
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators
10:30 - 12:10
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators
13:40 - 15:20
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators
15:50 - 17:00
x
Tue 5 Nov 15:44