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

VenueUniversitat Politècnica de Catalunya

Room nameVertex WS217

Floor0

Room number217

Capacity60

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

16:30 - 18:00	S1ECOOP Summer School at Vertex WS217

16:30 90m Talk		Introduction Session ECOOP Summer School Jan Vitek Northeastern University

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

11:00 - 12:30	Morning SessionIWACO at Vertex WS217

11:00 30m Talk		Spencer: Tracing as a Service IWACO Stephan Brandauer Uppsala University
11:30 30m Talk		Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. IWACO Alex Potanin Victoria University of Wellington
12:00 30m Talk		Reference Capabilities in Practice: Examining Real-World Pony Code IWACO Sylvan Clebsch Imperial College London

14:00 - 15:30	Afternoon SessionIWACO at Vertex WS217

14:00 30m Talk		Aliasing, Capabilities and Ownership in Rust IWACO Felix Klock
14:30 30m Talk		Introducing Ownership Type Constraints to UML/OCL IWACO Jagadeeswaran Thangaraj , Senthil Kumaran File Attached
15:00 30m Talk		Towards Reasonable Ownership IWACO Anya Helene Bagge University of Bergen, Kristoffer Haugsbakk , Vadim Zaytsev Raincode, Belgium File Attached

16:00 - 18:00	Keynote SessionIWACO at Vertex WS217

16:00 45m Talk		Adding Safe Manual Memory Management to .NET IWACO Dimitrios Vytiniotis Microsoft Research, Cambridge

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

09:00 - 10:30	AFTfJP at Vertex WS217 Chair(s): Radu Grigore University of Kent

09:30 20m Talk		Software Model Checking: A Promising Approach to Verify Mobile App Security FTfJP Irina Asavoae INRIA, Paris, France, Hoang Nga Nguyen Coventry University, Coventry, UK, Markus Roggenbach Swansea University, Swansea, UK, Siraj Ahmed Shaikh Coventry University, Coventry, UK Pre-print
09:50 35m Talk		Formal Analysis of Object-Oriented Mograms FTfJP Moussa Amrani University of Namur, Pierre Yves Schobbens University of Namur
10:25 5m Talk		Towards a Java Subtyping Operad FTfJP Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt Pre-print

11:00 - 12:30	BFTfJP at Vertex WS217 Chair(s): Santosh Nagarakatte Rutgers University, USA

11:00 20m Talk		A Coq-based synthesis of Scala programs which are correct-by-construction FTfJP Youssef El Bakouny CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan Crolard CEDRIC - CNAM - Paris, France, Dani Mezher CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon Pre-print
11:20 70m Talk		Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) FTfJP Derek Dreyer MPI-SWS

14:00 - 15:30	CFTfJP at Vertex WS217 Chair(s): Martin Berger

14:00 20m Talk		Generic Approach to Certified Static Checking of Module-like Constructs FTfJP Julia Belyakova Southern Federal University Pre-print
14:20 35m Talk		Tracing sharing in an imperative pure calculus FTfJP Paola Giannini Universita' del Piemonte Orientale, Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova
14:55 35m Talk		Mutable WadlerFest DOT FTfJP Marianna Rapoport University of Waterloo, Ondřej Lhoták University of Waterloo, Canada

16:00 - 18:00	DFTfJP at Vertex WS217 Chair(s): Radu Grigore University of Kent

16:00 20m Talk		Consistency Types for Safe and Efficient Distributed Programming FTfJP Alessandro Margara Politecnico di Milano, Guido Salvaneschi TU Darmstadt
16:20 35m Talk		Correctness of Partial Escape Analysis for Multithreading Optimization FTfJP Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
16:55 35m Talk		Parametric trace expressions for runtime verification of Java-like programs FTfJP Davide Ancona University of Genova, Angelo Ferrando , Luca Franceschini DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy

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

10:20 - 12:00	SRC presentationsPLDI Student Research Competition at Vertex WS217

10:20 1h40m		SRC presentations PLDI Student Research Competition

14:00 - 15:00	Poster SessionLCTES at Vertex WS217

14:00 60m Other		Accepted posters and posters for all the accepted papers will be presented in this session LCTES

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

10:30 - 12:10	Refinement Types for Program Verification and Synthesis (cont'd)PLDI Tutorials at Vertex WS217

10:30 1h40m Other		Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA Media Attached

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

09:00 - 10:00	Engineering Static Analyzers with SouffléPLDI Tutorials at Vertex WS217

09:00 60m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

10:30 - 12:10	Engineering Static Analyzers with Soufflé (2)PLDI Tutorials at Vertex WS217

10:30 1h40m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

13:40 - 15:20	Engineering Static Analyzers with Soufflé (3)PLDI Tutorials at Vertex WS217

13:40 1h40m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

15:50 - 17:00	Engineering Static Analyzers with Soufflé (4)PLDI Tutorials at Vertex WS217

15:50 70m Other		Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard Scholz University of Sydney, Australia, Herbert Jordan University of Innsbruck, Pavle Subotic University College London

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


Room	16:00						30						17:00						30
Vertex WS217							ECOOP Summer School S1

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


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 WS217	IWACO																								IWACO Morning Session																																				IWACO Afternoon Session																								IWACO Keynote Session

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


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 WS217	FTfJP A																								FTfJP B																																				FTfJP C																								FTfJP D

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Vertex WS217					PLDI Student Research Competition SRC presentations																																												LCTES Poster Session

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


Room	10:00						30						11:00						30						12:00						30
Vertex WS217							PLDI Tutorials Refinement Types for Program Verification and Synthesis (cont'd)

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


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
Vertex WS217	PLDI Tutorials Engineering Static Analyzers with Soufflé																		PLDI Tutorials Engineering Static Analyzers with Soufflé (2)																																						PLDI Tutorials Engineering Static Analyzers with Soufflé (3)																										PLDI Tutorials Engineering Static Analyzers with Soufflé (4)

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


Room	16:00			15			30			45			17:00			15			30			45
Vertex WS217							ECOOP Summer School Introduction Session 16:30 - 18:00

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


Room	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
Vertex WS217	IWACO Spencer: Tracing as a Service 11:00 - 11:30						IWACO Are Your Incoming Aliases Really Necessary? Remembering the Cost of Obj ... 11:30 - 12:00						IWACO Reference Capabilities in Practice: Examining Real-World Pony Code 12:00 - 12:30																								IWACO Aliasing, Capabilities and Ownership in Rust 14:00 - 14:30						IWACO Introducing Ownership Type Constraints to UML/OCL 14:30 - 15:00						IWACO Towards Reasonable Ownership 15:00 - 15:30												IWACO Adding Safe Manual Memory Management to .NET 16:00 - 16:45

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


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 WS217							FTfJP Software Model Checking: A Promising Approach to Verify Mobile App Security 09:30 - 09:50				FTfJP Formal Analysis of Object-Oriented Mograms 09:50 - 10:25							FTfJP Towards a Java Subtyping Operad 10:25 - 10:30							FTfJP A Coq-based synthesis of Scala programs which are correct-by-construction 11:00 - 11:20				FTfJP Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic ... 11:20 - 12:30																																FTfJP Generic Approach to Certified Static Checking of Module-like Constructs 14:00 - 14:20				FTfJP Tracing sharing in an imperative pure calculus 14:20 - 14:55							FTfJP Mutable WadlerFest DOT 14:55 - 15:30													FTfJP Consistency Types for Safe and Efficient Distributed Programming 16:00 - 16:20				FTfJP Correctness of Partial Escape Analysis for Multithreading Optimization 16:20 - 16:55							FTfJP Parametric trace expressions for runtime verification of Java-like programs 16:55 - 17:30

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


Room	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
Vertex WS217					PLDI Student Research Competition SRC presentations 10:20 - 12:00																																												LCTES Accepted posters and posters for all the accepted papers will be presen ... 14:00 - 15:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Vertex WS217							PLDI Tutorials Refinement Types for Program Verification and Synthesis 10:30 - 12:10

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


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
Vertex WS217	PLDI Tutorials Engineering Static Analyzers with Soufflé 09:00 - 10:00																		PLDI Tutorials Engineering Static Analyzers with Soufflé 10:30 - 12:10																																						PLDI Tutorials Engineering Static Analyzers with Soufflé 13:40 - 15:20																										PLDI Tutorials Engineering Static Analyzers with Soufflé 15:50 - 17:00

Room information: Vertex WS217

Program Display Configuration

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Summer School

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

IWACO

IWACO

IWACO

IWACO

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

FTfJP

FTfJP

FTfJP

FTfJP

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Student Research Competition

LCTES

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Tutorials

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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