Write a Blog >>
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Sun 18 - Fri 23 June 2017
Barcelona, Spain
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Hotels
Anti-Harassment Policy
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, ECOOP, Curry On, DEBS, LCTES and ISMM
No calls yet
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Curry On Keynotes
CurryOn
Curry On Talks
DEBS
DEBS
DEBS
10 Years Time Award
DEBS
2018 Address
DEBS
Banquet
DEBS
Business Meeting
DEBS
Closing
DEBS
Doctoral Symposium
DEBS
Grand Challenge
DEBS
Invited Speakers
DEBS
Posters & Demos
DEBS
Research Papers
DEBS
Tutorials
DEBS
Welcome
DEBS
Workshop
DEBS
Registration
ECOOP
ECOOP
ECOOP
Artifacts
ECOOP
Invited Speakers
ECOOP
Research Papers
ECOOP
Workshops
ECOOP
Doctoral Symposium
ECOOP
Student Volunteers
ECOOP
Summer School
ISMM
ISMM
ISMM
LCTES
PLDI
PLDI
PLDI
Invited Speakers
PLDI
Research Papers
PLDI
Research Artifacts
PLDI
Student Research Competition
PLDI
Student Volunteers
PLDI
Workshops
PLDI
Tutorials
Workshops
ARRAY
COP
-17
DSW
FTfJP
IC
ICOOOLPS
IWACO
JSTools
MAPL
PLMW
PMLDC
SOAP
VORTEX
17
WCIRE
Organization
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Organizing Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
DEBS
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
Artifact Evaluation Committee
ECOOP Research Papers
Program Committee
ECOOP Workshops
Organizing Committee
ECOOP Doctoral Symposium
Academic Panel
ECOOP Doctoral Symposium
Invited Speakers
ECOOP Doctoral Symposium
Program Committee
ECOOP Summer School
Speakers
ECOOP Summer School
Mentors
ECOOP Summer School
Organizers
ISMM
Organizing Committee
Steering Committee
ISMM 2017
Program Committee
ISMM 2017
External Review Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
PLDI
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Steering Committee
Artifact Evaluation Committee
SRC Panel
Workshops
ARRAY
ARRAY 2017
Organizing Committee
ARRAY 2017
Program Committee
COP
COP-17
Organizing Committee
COP-17
Program Committee
DSW
DSW 2017
Organizing Committee
FTfJP
FTfJP 2017
Program Committee
IC
IC 2017
Keynote speaker
IC 2017
Organizing Committee
IC 2017
Program Committee
ICOOOLPS
ICOOOLPS 2017
Organizing Committee
ICOOOLPS 2017
Program Committee
IWACO
IWACO 2017
Organizing Committee
IWACO 2017
Program Committee
JSTools
JSTools 2017
Organizing Committee
JSTools 2017
Program Committee
MAPL
MAPL 2017
Organizing Committee
MAPL 2017
Program Committee
PLMW
PLMW
Mentors
PMLDC
PMLDC 2017
Organizing Committee
PMLDC 2017
Program Committee
SOAP
SOAP
Organizing Committee
SOAP
Program Committee
VORTEX
VORTEX17
Organizing Committee
VORTEX17
Program Committee
WCIRE
WCIRE 2017
Organizing Committee
Search
Series
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
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
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Sun 18 Jun
SOAP-2017-papers
08:30 - 08:45:
SOAP
- Opening at
Vertex WS216
SOAP-2017-papers
08:30 - 08:45
Day opening
Opening
SOAP-2017-papers
08:45 - 09:30:
SOAP
- Invited Speaker - Sukyoung Ryu at
Vertex WS216
SOAP-2017-papers
08:45 - 09:30
Talk
Journey to Find Bugs in JavaScript Web Applications in the Wild
Invited Talk
Sukyoung Ryu
KAIST
File Attached
SOAP-2017-papers
09:30 - 10:30:
SOAP
- Points-to Analysis at
Vertex WS216
SOAP-2017-papers
09:30 - 09:50
Talk
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Jihyeok Park
KAIST, South Korea
,
Xavier Rival
INRIA/CNRS/ENS Paris
,
Sukyoung Ryu
KAIST
DOI
File Attached
SOAP-2017-papers
09:50 - 10:10
Talk
A Datalog Model of Must-Alias Analysis
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
SOAP-2017-papers
10:10 - 10:30
Talk
An Efficient Tunable Selective Points-to Analysis for Large Codebases
Behnaz Hassanshahi
Oracle Labs, Australia
,
Raghavendra Kagalavadi
Oracle Labs, Australia
,
Paddy Krishnan
,
Bernhard Scholz
University of Sydney, Australia
,
Yi Lu
Oracle
DOI
File Attached
SOAP-2017-papers
11:00 - 11:45:
SOAP
- Invited Speaker - Jingling Xue at
Vertex WS216
SOAP-2017-papers
11:00 - 11:45
Talk
Static Analysis of Java Reflection
Invited Talk
Jingling Xue
UNSW Australia
SOAP-2017-papers
11:45 - 12:30:
SOAP
- Modular Analysis at
Vertex WS216
SOAP-2017-papers
11:45 - 12:07
Talk
SootKeeper: Runtime Reusability for Modular Static Analysis
Florian Kübler
TU Darmstadt, Germany
,
Patrick Müller
TU Darmstadt, Germany
,
Ben Hermann
University of Paderborn
DOI
Pre-print
SOAP-2017-papers
12:07 - 12:30
Talk
Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Anastasios Antoniadis
,
Konstantinos Triantafyllou
University of Athens, Greece
,
Yannis Smaragdakis
University of Athens
DOI
Pre-print
File Attached
SOAP-2017-papers
14:00 - 14:45:
SOAP
- Invited Speaker - Julian Dolby at
Vertex WS216
SOAP-2017-papers
14:00 - 14:45
Talk
WALA Everywhere
Invited Talk
Julian Dolby
IBM Thomas J. Watson Research Center
Media Attached
SOAP-2017-papers
14:45 - 15:30:
SOAP
- Soundness and Precision at
Vertex WS216
SOAP-2017-papers
14:45 - 15:07
Talk
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Esben Andreasen
Aarhus University
,
Anders Møller
Aarhus University
,
Benjamin Barslev Nielsen
Aarhus University
DOI
File Attached
SOAP-2017-papers
15:07 - 15:30
Talk
On the Construction of Soundness Oracles
Jens Dietrich
Massey University
,
Li Sui
Massey University, New Zealand
,
Shawn Rasheed
Massey University
,
Amjed Tahir
Massey University
DOI
Media Attached
SOAP-2017-papers
16:00 - 16:20:
SOAP
- Benchmarking at
Vertex WS216
SOAP-2017-papers
16:00 - 16:20
Talk
Hermes: Assessment and Creation of Effective Test Corpora
Michael Reif
TU Darmstadt, Germany
,
Michael Eichberg
TU Darmstadt, Germany
,
Ben Hermann
University of Paderborn
,
Mira Mezini
TU Darmstadt
DOI
Pre-print
File Attached
SOAP-2017-papers
16:20 - 18:00:
SOAP
- Open Discussion at
Vertex WS216
SOAP-2017-papers
16:20 - 18:00
Meeting
Open Discussion
Mon 19 Jun
ICOOOLPS-2017-papers
09:00 - 10:30:
ICOOOLPS 2017
- Morning I at
Vertex WS216
Chair(s):
Mario Wolczko
Oracle Labs
ICOOOLPS-2017-papers
09:00 - 09:10
Talk
Workshop Welcome
Mario Wolczko
Oracle Labs
ICOOOLPS-2017-papers
09:10 - 10:30
Talk
We Software People are not Worthy - All Hail the Hardware Gods
Sylvan Clebsch
Imperial College London
ICOOOLPS-2017-papers
11:00 - 12:30:
ICOOOLPS 2017
- Morning II at
Vertex WS216
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
ICOOOLPS-2017-papers
11:00 - 11:30
Talk
dart2java: Running Dart in Java-based Environments
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
ICOOOLPS-2017-papers
11:30 - 12:00
Talk
VM Wrapping - Fake it till you make it
Johannes Henning
Hasso Plattner Institute
,
Tim Felgentreff
Hasso-Plattner-Institute, Potsdam
,
Robert Hirschfeld
HPI
Link to publication
DOI
File Attached
ICOOOLPS-2017-papers
12:00 - 12:30
Talk
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
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
ICOOOLPS-2017-papers
14:00 - 15:30:
ICOOOLPS 2017
- Afternoon I at
Vertex WS216
Chair(s):
Edd Barrett
King's College London
ICOOOLPS-2017-papers
14:00 - 15:00
Talk
Can Compiler Magic Ever Be Explained?
Eric Sedlar
Oracle Labs
,
Thomas Wuerthinger
Oracle Labs
ICOOOLPS-2017-papers
15:00 - 15:30
Talk
Code Generation in Serializers and Comparators of Apache Flink
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
ICOOOLPS-2017-papers
16:00 - 18:00:
ICOOOLPS 2017
- Afternoon II at
Vertex WS216
Chair(s):
Olivier Zendra
ICOOOLPS-2017-papers
16:00 - 17:00
Other
Panel: Do new Computing Environments lead to new Language Constructs?
Eric Jul
University of Oslo
,
Edd Barrett
King's College London
,
Steve Blackburn
Australian National University
,
Ben L. Titzer
Google
ICOOOLPS-2017-papers
17:00 - 17:30
Talk
Diff Graphs for a fast Incremental Pointer Analysis
Jakob Krainz
Friedrich-Alexander University Erlangen-Nürnberg
,
Michael Philippsen
Link to publication
DOI
File Attached
ICOOOLPS-2017-papers
17:30 - 18:00
Demonstration
A Formalization IDE Integrated with a Verifying Compiler
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
COP-2017-papers
09:00 - 10:30:
COP-17
- Session 1 at
Vertex WS216
COP-2017-papers
09:00 - 09:15
Day opening
Welcome
COP-2017-papers
09:15 - 10:15
Talk
Keynote on Context-Oriented Language Engineering
Tijs van der Storm
CWI & University of Groningen
COP-2017-papers
10:15 - 10:30
Other
Discussion
COP-2017-papers
11:00 - 12:30:
COP-17
- Session 2 at
Vertex WS216
COP-2017-papers
11:00 - 11:30
Talk
The Declarative Nature of Implicit Layer Activation
Stefan Ramson
Hasso Plattner Institute, Potsdam
,
Jens Lincke
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
COP-2017-papers
11:30 - 12:00
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
Tetsuo Kamina
Ritsumeikan University
,
Tomoyuki Aotani
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
COP-2017-papers
12:00 - 12:30
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
Harumi Watanabe
Tokai University
,
Nobuhiko Ogura
Tokyo City University
COP-2017-papers
14:00 - 15:30:
COP-17
- Session 3 at
Vertex WS216
COP-2017-papers
14:00 - 14:30
Talk
ContextROS: Context-Oriented Programming for the Robot Operating System
Yuta Saeki
Kyushu University
,
Ikuta Tanigawa
Kyushu University
,
Kenji Hisazumi
Kyushu University
,
Akira Fukuda
Kyushu University
COP-2017-papers
14:30 - 15:00
Talk
IoT Robot Simulator and Framework for Context-Oriented Programming
Ikuta Tanigawa
Kyushu University
,
Kenji Hisazumi
Kyushu University
,
Nobuhiko Ogura
Tokyo City University
,
Harumi Watanabe
Tokai University
,
Akira Fukuda
Kyushu University
COP-2017-papers
15:00 - 15:30
Talk
Peace COrP: Learning to solve conflicts between contexts
Nicolás Cardozo
Universidad de los Andes
,
Ivana Dusparic
Trinity College Dublin, Ireland
,
Jorge H. Castro
Universidad de los Andes
Media Attached
File Attached
COP-2017-papers
16:00 - 18:00:
COP-17
- Session 4 at
Vertex WS216
COP-2017-papers
16:00 - 18:00
Other
Discussion
Thu 22 Jun
dsw-2017-papers
09:00 - 10:00:
DSW 2017
- Intro & industry perspective on crypto at
Vertex WS216
Chair(s):
Andrew Appel
Princeton
dsw-2017-papers
09:00 - 09:15
Day opening
Introduction to DeepSpec
Lennart Beringer
Princeton University
,
Adam Chlipala
Massachusetts Institute of Technology, USA
dsw-2017-papers
09:15 - 10:00
Talk
Building Faith in Experts: Applying Formal Verification to Cryptography
Dominic Rizzo
Google
dsw-2017-papers
10:30 - 12:10:
DSW 2017
- Academic crypto projects; industry perspective on formal-methods integration at
Vertex WS216
Chair(s):
Zhong Shao
Yale University
dsw-2017-papers
10:30 - 11:00
Talk
Correct-by-Construction Generation of Fast Code for Elliptic Curves
Adam Chlipala
Massachusetts Institute of Technology, USA
dsw-2017-papers
11:00 - 11:30
Talk
Introduction to verification using the VST
Lennart Beringer
Princeton University
dsw-2017-papers
11:30 - 12:10
Talk
Using formal tools to develop high-assurance software for autonomous ground vehicles
Aleksey Nogin
HRL Laboratories, LLC
dsw-2017-papers
13:40 - 15:00:
DSW 2017
- Academic C-verification project; industry perspective on hypervisors at
Vertex WS216
Chair(s):
Adam Chlipala
Massachusetts Institute of Technology, USA
dsw-2017-papers
13:40 - 14:20
Talk
Verifying concurrent C programs with the Verified Software Toolchain
Andrew Appel
Princeton
dsw-2017-papers
14:20 - 15:00
Talk
Challenges in Analysing Virtualisation Stacks
Michael Tautschnig
Amazon Web Services
dsw-2017-papers
15:30 - 17:00:
DSW 2017
- Academic hypervisor project; closing discussion at
Vertex WS216
Chair(s):
Lennart Beringer
Princeton University
dsw-2017-papers
15:30 - 16:15
Talk
CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
Zhong Shao
Yale University
dsw-2017-papers
16:15 - 17:00
Day closing
Closing discussion
Fri 23 Jun
pldi-2017-workshops-and-tutorials
09:00 - 10:00:
PLDI Tutorials
- Scala, LMS and Delite for High-Performance DSLs and Program Generators at
Vertex WS216
pldi-2017-workshops-and-tutorials
09:00 - 10:00
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
pldi-2017-workshops-and-tutorials
10:30 - 12:10:
PLDI Tutorials
- Scala, LMS and Delite for High-Performance DSLs and Program Generators (2) at
Vertex WS216
pldi-2017-workshops-and-tutorials
10:30 - 12:10
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
pldi-2017-workshops-and-tutorials
13:40 - 15:20:
PLDI Tutorials
- Scala, LMS and Delite for High-Performance DSLs and Program Generators (3) at
Vertex WS216
pldi-2017-workshops-and-tutorials
13:40 - 15:20
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
pldi-2017-workshops-and-tutorials
15:50 - 17:00:
PLDI Tutorials
- Scala, LMS and Delite for High-Performance DSLs and Program Generators (4) at
Vertex WS216
pldi-2017-workshops-and-tutorials
15:50 - 17:00
Other
Scala, LMS and Delite for High-Performance DSLs and Program Generators
Tiark Rompf
Purdue University
,
Kunle Olukotun
Stanford University
,
Markus Püschel
ETH Zurich
Sun 18 Jun 2017
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
18:00
30
Vertex WS216
SOAP
Opening
08:30 - 08:45
SOAP
Invited Speaker - Sukyoung Ryu
08:45 - 09:30
SOAP
Points-to Analysis
09:30 - 10:30
SOAP
Invited Speaker - Jingling Xue
11:00 - 11:45
SOAP
Modular Analysis
11:45 - 12:30
SOAP
Invited Speaker - Julian Dolby
14:00 - 14:45
SOAP
Soundness and Precision
14:45 - 15:30
SOAP
Benchmarking
16:00 - 16:20
SOAP
Open Discussion
16:20 - 18:00
Mon 19 Jun 2017
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
18:00
30
Vertex WS216
ICOOOLPS
Morning I
09:00 - 10:30
ICOOOLPS
Morning II
11:00 - 12:30
ICOOOLPS
Afternoon I
14:00 - 15:30
ICOOOLPS
Afternoon II
16:00 - 18:00
Tue 20 Jun 2017
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
18:00
30
Vertex WS216
COP
Session 1
09:00 - 10:30
COP
Session 2
11:00 - 12:30
COP
Session 3
14:00 - 15:30
COP
Session 4
16:00 - 18:00
Thu 22 Jun 2017
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
DSW
Intro & industry perspective on crypto
09:00 - 10:00
DSW
Academic crypto projects; industry perspective on formal-methods integration
10:30 - 12:10
DSW
Academic C-verification project; industry perspective on hypervisors
13:40 - 15:00
DSW
Academic hypervisor project; closing discussion
15:30 - 17:00
Fri 23 Jun 2017
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
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 (2)
10:30 - 12:10
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)
13:40 - 15:20
PLDI Tutorials
Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)
15:50 - 17:00
Sun 18 Jun 2017
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
18: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 2017
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
18: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 2017
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
18: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 2017
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
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 2017
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
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
Sat 7 Dec 13:21