PMLDC 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with ECOOP 2017
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS216
Floor0
Room number216
Capacity30
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
OpeningSOAP at Vertex WS216
08:30
15m
Day opening
Opening
SOAP

09:30 - 10:30
Points-to AnalysisSOAP 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 XueSOAP at Vertex WS216
11:00
45m
Talk
Static Analysis of Java ReflectionInvited Talk
SOAP
Jingling Xue UNSW Australia
14:00 - 14:45
Invited Speaker - Julian DolbySOAP at Vertex WS216
14:00
45m
Talk
WALA EverywhereInvited Talk
SOAP
Julian Dolby IBM Thomas J. Watson Research Center
Media Attached
14:45 - 15:30
Soundness and PrecisionSOAP 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
BenchmarkingSOAP 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 DiscussionSOAP 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 IICOOOLPS 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 IIICOOOLPS 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 IICOOOLPS 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 IIICOOOLPS 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 1COP 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 2COP 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 3COP 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 4COP 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 cryptoDSW 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
10:30 - 12:10
Academic crypto projects; industry perspective on formal-methods integrationDSW 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 hypervisorsDSW 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 discussionDSW 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 GeneratorsPLDI 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

Mon 19 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS216

Tue 20 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS216