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

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

VenueUniversitat Politècnica de Catalunya

Room nameVertex WS216

Floor0

Room number216

Capacity30

Additional informationThere is no additional information of this room available.

Program

Sun 18 Jun

08:30 - 08:45: SOAP - Opening at Vertex WS216

08:30 - 08:45
Day opening

08:45 - 09:30: SOAP - Invited Speaker - Sukyoung Ryu at Vertex WS216

08:45 - 09:30
Talk

Journey to Find Bugs in JavaScript Web Applications in the WildInvited Talk

09:30 - 10:30: SOAP - Points-to Analysis at Vertex WS216

09:30 - 09:50
Talk

Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction

Jihyeok Park, Xavier Rival, Sukyoung Ryu

DOI File Attached

09:50 - 10:10
Talk

A Datalog Model of Must-Alias Analysis

George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis

DOI File Attached

10:10 - 10:30
Talk

An Efficient Tunable Selective Points-to Analysis for Large Codebases

Behnaz Hassanshahi, Raghavendra Kagalavadi, Paddy Krishnan, Bernhard Scholz, Yi Lu

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

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

11:45 - 12:07
Talk

SootKeeper: Runtime Reusability for Modular Static Analysis

Florian Kübler, Patrick Müller, Ben Hermann

12:07 - 12:30
Talk

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

Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis

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

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 Andreasen, Anders Møller, Benjamin Barslev Nielsen

DOI File Attached

15:07 - 15:30
Talk

On the Construction of Soundness Oracles

Jens Dietrich, Li Sui, Shawn Rasheed, Amjed Tahir

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 Reif, Michael Eichberg, Ben Hermann, Mira Mezini

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 Wolczko

09:00 - 09:10
Talk

Workshop Welcome

09:10 - 10:30
Talk

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

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

11:00 - 11:30
Talk

dart2java: Running Dart in Java-based Environments

Matthias Springer, Andrew Krieger, Stanislav Manilov, Hidehiko Masuhara

Link to publication DOI File Attached

11:30 - 12:00
Talk

VM Wrapping - Fake it till you make it

Johannes Henning, Tim Felgentreff, Robert Hirschfeld

Link to publication DOI File Attached

12:00 - 12:30
Talk

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

Guido Chari, Diego Garbervetsky, Stefan Marr

Link to publication DOI File Attached

14:00 - 15:30: ICOOOLPS 2017 - Afternoon I at Vertex WS216
Chair(s): Edd Barrett

14:00 - 15:00
Talk

Can Compiler Magic Ever Be Explained?

Eric Sedlar, Thomas Wuerthinger

15:00 - 15:30
Talk

Code Generation in Serializers and Comparators of Apache Flink

Gábor Horváth, Norbert Pataki, Márton Balassi

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 Jul, Edd Barrett, Steve Blackburn, Ben L. Titzer

17:00 - 17:30
Talk

Diff Graphs for a fast Incremental Pointer Analysis

Jakob Krainz, Michael Philippsen

Link to publication DOI File Attached

17:30 - 18:00
Demonstration

A Formalization IDE Integrated with a Verifying Compiler

Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman

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

09:15 - 10:15
Talk

Keynote on Context-Oriented Language Engineering

Tijs van der Storm

10:15 - 10:30
Other

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

11:00 - 11:30
Talk

The Declarative Nature of Implicit Layer Activation

Stefan Ramson, Jens Lincke, Robert Hirschfeld

11:30 - 12:00
Talk

Push-based Reactive Layer Activation in Context-Oriented Programming

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

12:00 - 12:30
Talk

Petri-Net Based Testing Environment for Context-Oriented Programming

Harumi Watanabe, Nobuhiko Ogura

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 Saeki, Ikuta Tanigawa, Kenji Hisazumi, Akira Fukuda

14:30 - 15:00
Talk

IoT Robot Simulator and Framework for Context-Oriented Programming

Ikuta Tanigawa, Kenji Hisazumi, Nobuhiko Ogura, Harumi Watanabe, Akira Fukuda

15:00 - 15:30
Talk

Peace COrP: Learning to solve conflicts between contexts

Nicolás Cardozo, Ivana Dusparic, Jorge H. Castro

Media Attached File Attached

16:00 - 18:00: COP-17 - Session 4 at Vertex WS216

16:00 - 18:00
Other

Thu 22 Jun

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

09:00 - 09:15
Day opening

Introduction to DeepSpec

Lennart Beringer, Adam Chlipala

09:15 - 10:00
Talk

Building Faith in Experts: Applying Formal Verification to Cryptography

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

10:30 - 11:00
Talk

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

11:00 - 11:30
Talk

Introduction to verification using the VST

Lennart Beringer

11:30 - 12:10
Talk

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

13:40 - 15:00: DSW 2017 - Academic C-verification project; industry perspective on hypervisors at Vertex WS216
Chair(s): Adam Chlipala

13:40 - 14:20
Talk

Verifying concurrent C programs with the Verified Software Toolchain

14:20 - 15:00
Talk

Challenges in Analysing Virtualisation Stacks

Michael Tautschnig

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

15:30 - 16:15
Talk

CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems

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 Rompf, Kunle Olukotun, Markus Püschel

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 Rompf, Kunle Olukotun, Markus Püschel

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 Rompf, Kunle Olukotun, Markus Püschel

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 Rompf, Kunle Olukotun, Markus Püschel

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 2017 Morning I 09:00 - 10:30																								ICOOOLPS 2017 Morning II 11:00 - 12:30																																				ICOOOLPS 2017 Afternoon I 14:00 - 15:30																								ICOOOLPS 2017 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-17 Session 1 09:00 - 10:30																								COP-17 Session 2 11:00 - 12:30																																				COP-17 Session 3 14:00 - 15:30																								COP-17 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 2017 Intro & industry perspective on crypto 09:00 - 10:00																		DSW 2017 Academic crypto projects; industry perspective on formal-methods integration 10:30 - 12:10																																						DSW 2017 Academic C-verification project; industry perspective on hypervisors 13:40 - 15:00																						DSW 2017 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 2017 Opening 08:30 - 08:45			SOAP 2017Invited Talk Journey to Find Bugs in JavaScript Web Applications in the Wild 08:45 - 09:30									SOAP 2017 Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Co ... 09:30 - 09:50				SOAP 2017 A Datalog Model of Must-Alias Analysis 09:50 - 10:10				SOAP 2017 An Efficient Tunable Selective Points-to Analysis for Large Codebases 10:10 - 10:30										SOAP 2017Invited Talk Static Analysis of Java Reflection 11:00 - 11:45									SOAP 2017 SootKeeper: Runtime Reusability for Modular Static Analysis 11:45 - 12:07				SOAP 2017 Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog ... 12:07 - 12:30																							SOAP 2017Invited Talk WALA Everywhere 14:00 - 14:45									SOAP 2017 Systematic Approaches for Increasing Soundness and Precision of Static ... 14:45 - 15:07				SOAP 2017 On the Construction of Soundness Oracles 15:07 - 15:30											SOAP 2017 Hermes: Assessment and Creation of Effective Test Corpora 16:00 - 16:20				SOAP 2017 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 2017 Workshop Welcome 09:00 - 09:10		ICOOOLPS 2017 We Software People are not Worthy - All Hail the Hardware Gods 09:10 - 10:30																						ICOOOLPS 2017 dart2java: Running Dart in Java-based Environments 11:00 - 11:30						ICOOOLPS 2017 VM Wrapping - Fake it till you make it 11:30 - 12:00						ICOOOLPS 2017 A Metaobject Protocol for Optimizing Application-Specific Run-Time Vari ... 12:00 - 12:30																								ICOOOLPS 2017 Can Compiler Magic Ever Be Explained? 14:00 - 15:00												ICOOOLPS 2017 Code Generation in Serializers and Comparators of Apache Flink 15:00 - 15:30												ICOOOLPS 2017 Panel: Do new Computing Environments lead to new Language Constructs? 16:00 - 17:00												ICOOOLPS 2017 Diff Graphs for a fast Incremental Pointer Analysis 17:00 - 17:30						ICOOOLPS 2017 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 2017 Welcome 09:00 - 09:15			COP 2017 Keynote on Context-Oriented Language Engineering 09:15 - 10:15												COP 2017 Discussion 10:15 - 10:30									COP 2017 The Declarative Nature of Implicit Layer Activation 11:00 - 11:30						COP 2017 Push-based Reactive Layer Activation in Context-Oriented Programming 11:30 - 12:00						COP 2017 Petri-Net Based Testing Environment for Context-Oriented Programming 12:00 - 12:30																								COP 2017 ContextROS: Context-Oriented Programming for the Robot Operating System 14:00 - 14:30						COP 2017 IoT Robot Simulator and Framework for Context-Oriented Programming 14:30 - 15:00						COP 2017 Peace COrP: Learning to solve conflicts between contexts 15:00 - 15:30												COP 2017 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 2017 Introduction to DeepSpec 09:00 - 09:15			DSW 2017 Building Faith in Experts: Applying Formal Verification to Cryptography 09:15 - 10:00															DSW 2017 Correct-by-Construction Generation of Fast Code for Elliptic Curves 10:30 - 11:00						DSW 2017 Introduction to verification using the VST 11:00 - 11:30						DSW 2017 Using formal tools to develop high-assurance software for autonomous gr ... 11:30 - 12:10																										DSW 2017 Verifying concurrent C programs with the Verified Software Toolchain 13:40 - 14:20								DSW 2017 Challenges in Analysing Virtualisation Stacks 14:20 - 15:00														DSW 2017 CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems 15:30 - 16:15									DSW 2017 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 2017 PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 09:00 - 10:00																		PLDI 2017 PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 10:30 - 12:10																																						PLDI 2017 PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 13:40 - 15:20																										PLDI 2017 PLDI Tutorials Scala, LMS and Delite for High-Performance DSLs and Program Generators 15:50 - 17:00