Write a Blog >>
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

Conference Day
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 ParkKAIST, South Korea, Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung RyuKAIST
DOI File Attached
09:50
20m
Talk
A Datalog Model of Must-Alias Analysis
SOAP
George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI File Attached
10:10
20m
Talk
An Efficient Tunable Selective Points-to Analysis for Large Codebases
SOAP
Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle
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 XueUNSW Australia
14:00 - 14:45
Invited Speaker - Julian DolbySOAP at Vertex WS216
14:00
45m
Talk
WALA EverywhereInvited Talk
SOAP
Julian DolbyIBM 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 AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University
DOI File Attached
15:07
22m
Talk
On the Construction of Soundness Oracles
SOAP
Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey 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 ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Ben HermannUniversity of Paderborn, Mira MeziniTU Darmstadt
DOI Pre-print File Attached
16:20 - 18:00
Open DiscussionSOAP at Vertex WS216
16:20
1h40m
Meeting
Open Discussion
SOAP

Conference Day
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 WolczkoOracle Labs
09:00
10m
Talk
Workshop Welcome
ICOOOLPS
Mario WolczkoOracle Labs
09:10
80m
Talk
We Software People are not Worthy - All Hail the Hardware Gods
ICOOOLPS
Sylvan ClebschImperial College London
11:00 - 12:30
Morning IIICOOOLPS at Vertex WS216
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
11:00
30m
Talk
dart2java: Running Dart in Java-based Environments
ICOOOLPS
Matthias SpringerTokyo Institute of Technology, Andrew KriegerUniversity of California, Los Angeles, Stanislav ManilovUniversity of Edinburgh, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI File Attached
11:30
30m
Talk
VM Wrapping - Fake it till you make it
ICOOOLPS
Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI
Link to publication DOI File Attached
12:00
30m
Talk
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
ICOOOLPS
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
Link to publication DOI File Attached
14:00 - 15:30
Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd BarrettKing's College London
14:00
60m
Talk
Can Compiler Magic Ever Be Explained?
ICOOOLPS
Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs
15:00
30m
Talk
Code Generation in Serializers and Comparators of Apache Flink
ICOOOLPS
Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton BalassiHungarian 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 JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle
17:00
30m
Talk
Diff Graphs for a fast Incremental Pointer Analysis
ICOOOLPS
Jakob KrainzFriedrich-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 WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University
Link to publication DOI File Attached

Conference Day
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 StormCWI & 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 RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
11:30
30m
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
COP
Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
12:00
30m
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
COP
Harumi WatanabeTokai University, Nobuhiko OguraTokyo 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 SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University
14:30
30m
Talk
IoT Robot Simulator and Framework for Context-Oriented Programming
COP
Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University
15:00
30m
Talk
Peace COrP: Learning to solve conflicts between contexts
COP
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland, Jorge H. CastroUniversidad de los Andes
Media Attached File Attached
16:00 - 18:00
Session 4COP at Vertex WS216
16:00
2h
Other
Discussion
COP

Conference Day
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 AppelPrinceton
09:00
15m
Day opening
Introduction to DeepSpec
DSW
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts 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 ShaoYale University
10:30
30m
Talk
Correct-by-Construction Generation of Fast Code for Elliptic Curves
DSW
Adam ChlipalaMassachusetts Institute of Technology, USA
11:00
30m
Talk
Introduction to verification using the VST
DSW
Lennart BeringerPrinceton University
11:30
40m
Talk
Using formal tools to develop high-assurance software for autonomous ground vehicles
DSW
Aleksey NoginHRL Laboratories, LLC
13:40 - 15:00
Academic C-verification project; industry perspective on hypervisorsDSW at Vertex WS216
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
13:40
40m
Talk
Verifying concurrent C programs with the Verified Software Toolchain
DSW
Andrew AppelPrinceton
14:20
40m
Talk
Challenges in Analysing Virtualisation Stacks
DSW
Michael TautschnigAmazon Web Services
15:30 - 17:00
Academic hypervisor project; closing discussionDSW at Vertex WS216
Chair(s): Lennart BeringerPrinceton University
15:30
45m
Talk
CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
DSW
Zhong ShaoYale University
16:15
45m
Day closing
Closing discussion
DSW

Conference Day
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 RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH 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 RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH 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 RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH 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 RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich

Conference Day
Sun 18 Jun

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

Conference Day
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

Conference Day
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

Conference Day
Fri 23 Jun

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