Vertex WS216 - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

George BalatsourasUniversity of Athens, Kostas FerlesUniversity of Texas at Austin, USA, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens

DOI File Attached

10:10 - 10:30
Talk

An Efficient Tunable Selective Points-to Analysis for Large Codebases

Behnaz HassanshahiOracle Labs, Australia, Raghavendra KagalavadiOracle Labs, Australia, Paddy Krishnan, Bernhard ScholzUniversity of Sydney, Australia, Yi LuOracle

DOI File Attached

11:00 - 11:45: SOAP - Invited Speaker - Jingling Xue at Vertex WS216

11:00 - 11:45
Talk

Static Analysis of Java ReflectionInvited Talk

Jingling XueUNSW Australia

11:45 - 12:30: SOAP - Modular Analysis at Vertex WS216

11:45 - 12:07
Talk

SootKeeper: Runtime Reusability for Modular Static Analysis

Florian KüblerTU Darmstadt, Germany, Patrick MüllerTU Darmstadt, Germany, Ben HermannUniversity of Paderborn

DOI Pre-print

12:07 - 12:30
Talk

Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses

Anastasios Antoniadis, Konstantinos TriantafyllouUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens

DOI Pre-print File Attached

14:00 - 14:45: SOAP - Invited Speaker - Julian Dolby at Vertex WS216

14:00 - 14:45
Talk

WALA EverywhereInvited Talk

Julian DolbyIBM Thomas J. Watson Research Center

Media Attached

14:45 - 15:30: SOAP - Soundness and Precision at Vertex WS216

14:45 - 15:07
Talk

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University

DOI File Attached

15:07 - 15:30
Talk

On the Construction of Soundness Oracles

Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University

DOI Media Attached

16:00 - 16:20: SOAP - Benchmarking at Vertex WS216

16:00 - 16:20
Talk

Hermes: Assessment and Creation of Effective Test Corpora

Michael ReifTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Ben HermannUniversity of Paderborn, Mira MeziniTU Darmstadt

DOI Pre-print File Attached

16:20 - 18:00: SOAP - Open Discussion at Vertex WS216

16:20 - 18:00
Meeting

Open Discussion

Mon 19 Jun

09:00 - 10:30: ICOOOLPS 2017 - Morning I at Vertex WS216
Chair(s): Mario WolczkoOracle Labs

09:00 - 09:10
Talk

Workshop Welcome

Mario WolczkoOracle Labs

09:10 - 10:30
Talk

We Software People are not Worthy - All Hail the Hardware Gods

Sylvan ClebschImperial College London

11:00 - 12:30: ICOOOLPS 2017 - Morning II at Vertex WS216
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel

11:00 - 11:30
Talk

dart2java: Running Dart in Java-based Environments

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 - 12:00
Talk

VM Wrapping - Fake it till you make it

Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI

Link to publication DOI File Attached

12:00 - 12:30
Talk

A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability

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: ICOOOLPS 2017 - Afternoon I at Vertex WS216
Chair(s): Edd BarrettKing's College London

14:00 - 15:00
Talk

Can Compiler Magic Ever Be Explained?

Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs

15:00 - 15:30
Talk

Code Generation in Serializers and Comparators of Apache Flink

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: ICOOOLPS 2017 - Afternoon II at Vertex WS216
Chair(s): Olivier Zendra

16:00 - 17:00
Other

Panel: Do new Computing Environments lead to new Language Constructs?

Eric JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle

17:00 - 17:30
Talk

Diff Graphs for a fast Incremental Pointer Analysis

Jakob KrainzFriedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen

Link to publication DOI File Attached

17:30 - 18:00
Demonstration

A Formalization IDE Integrated with a Verifying Compiler

Daniel WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University

Link to publication DOI File Attached

Tue 20 Jun

09:00 - 10:30: COP-17 - Session 1 at Vertex WS216

09:00 - 09:15
Day opening

Welcome

09:15 - 10:15
Talk

Keynote on Context-Oriented Language Engineering

Tijs van der StormCWI & University of Groningen

10:15 - 10:30
Other

Discussion

11:00 - 12:30: COP-17 - Session 2 at Vertex WS216

11:00 - 11:30
Talk

The Declarative Nature of Implicit Layer Activation

Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI

11:30 - 12:00
Talk

Push-based Reactive Layer Activation in Context-Oriented Programming

Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology

12:00 - 12:30
Talk

Petri-Net Based Testing Environment for Context-Oriented Programming

Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University

14:00 - 15:30: COP-17 - Session 3 at Vertex WS216

14:00 - 14:30
Talk

ContextROS: Context-Oriented Programming for the Robot Operating System

Yuta SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University

14:30 - 15:00
Talk

IoT Robot Simulator and Framework for Context-Oriented Programming

Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University

15:00 - 15:30
Talk

Peace COrP: Learning to solve conflicts between contexts

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: COP-17 - Session 4 at Vertex WS216

16:00 - 18:00
Other

Discussion

Thu 22 Jun

09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216
Chair(s): Andrew AppelPrinceton

09:00 - 09:15
Day opening

Introduction to DeepSpec

Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA

09:15 - 10:00
Talk

Building Faith in Experts: Applying Formal Verification to Cryptography

Dominic RizzoGoogle

10:30 - 12:10: DSW 2017 - Academic crypto projects; industry perspective on formal-methods integration at Vertex WS216
Chair(s): Zhong ShaoYale University

10:30 - 11:00
Talk

Correct-by-Construction Generation of Fast Code for Elliptic Curves

Adam ChlipalaMassachusetts Institute of Technology, USA

11:00 - 11:30
Talk

Introduction to verification using the VST

Lennart BeringerPrinceton University

11:30 - 12:10
Talk

Using formal tools to develop high-assurance software for autonomous ground vehicles

Aleksey NoginHRL Laboratories, LLC

13:40 - 15:00: DSW 2017 - Academic C-verification project; industry perspective on hypervisors at Vertex WS216
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA

13:40 - 14:20
Talk

Verifying concurrent C programs with the Verified Software Toolchain

Andrew AppelPrinceton

14:20 - 15:00
Talk

Challenges in Analysing Virtualisation Stacks

Michael TautschnigAmazon Web Services

15:30 - 17:00: DSW 2017 - Academic hypervisor project; closing discussion at Vertex WS216
Chair(s): Lennart BeringerPrinceton University

15:30 - 16:15
Talk

CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems

Zhong ShaoYale University

16:15 - 17:00
Day closing

Closing discussion

Fri 23 Jun

09:00 - 10:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators at Vertex WS216

09:00 - 10:00
Other

Scala, LMS and Delite for High-Performance DSLs and Program Generators

Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich

10:30 - 12:10: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (2) at Vertex WS216

10:30 - 12:10
Other

Scala, LMS and Delite for High-Performance DSLs and Program Generators

Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich

13:40 - 15:20: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (3) at Vertex WS216

13:40 - 15:20
Other

Scala, LMS and Delite for High-Performance DSLs and Program Generators

Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich

15:50 - 17:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (4) at Vertex WS216

15:50 - 17:00
Other

Scala, LMS and Delite for High-Performance DSLs and Program Generators

Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH 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			SOAPInvited 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										SOAPInvited 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																							SOAPInvited 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

Room information: Vertex WS216

Sun 18 Jun

Mon 19 Jun

Tue 20 Jun

Thu 22 Jun

Fri 23 Jun

Sun 18 Jun 2017

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

SOAP

Mon 19 Jun 2017

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

Tue 20 Jun 2017

COP

COP

COP

COP

Thu 22 Jun 2017

DSW

DSW

DSW

DSW

Fri 23 Jun 2017

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

Sun 18 Jun 2017

Mon 19 Jun 2017

Tue 20 Jun 2017

Thu 22 Jun 2017

Fri 23 Jun 2017