Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS217
Floor0
Room number217
Capacity60
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 18:00: S1ECOOP Summer School at Vertex WS217
16:30 - 18:00
Talk
Introduction Session
ECOOP Summer School
Jan VitekNortheastern University

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Morning SessionIWACO at Vertex WS217
11:00 - 11:30
Talk
Spencer: Tracing as a Service
IWACO
Stephan BrandauerUppsala University
11:30 - 12:00
Talk
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.
IWACO
Alex PotaninVictoria University of Wellington
12:00 - 12:30
Talk
Reference Capabilities in Practice: Examining Real-World Pony Code
IWACO
Sylvan ClebschImperial College London
16:00 - 18:00: Keynote SessionIWACO at Vertex WS217
16:00 - 16:45
Talk
Adding Safe Manual Memory Management to .NET
IWACO
Dimitrios VytiniotisMicrosoft Research, Cambridge

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: AFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
09:30 - 09:50
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
FTfJP
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
Pre-print
09:50 - 10:25
Talk
Formal Analysis of Object-Oriented Mograms
FTfJP
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
10:25 - 10:30
Talk
Towards a Java Subtyping Operad
FTfJP
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
11:00 - 12:30: BFTfJP at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA
11:00 - 11:20
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
FTfJP
Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20 - 12:30
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
FTfJP
14:00 - 15:30: CFTfJP at Vertex WS217
Chair(s): Martin Berger
14:00 - 14:20
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
FTfJP
Julia BelyakovaSouthern Federal University
Pre-print
14:20 - 14:55
Talk
Tracing sharing in an imperative pure calculus
FTfJP
Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
14:55 - 15:30
Talk
Mutable WadlerFest DOT
FTfJP
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
16:00 - 18:00: DFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
16:00 - 16:20
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt
16:20 - 16:55
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen N. FreundWilliams College
16:55 - 17:30
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide AnconaUniversity of Genova, Angelo Ferrando, Luca FranceschiniDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Thu 22 Jun
Times are displayed in 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 - 12:10
Other
Refinement Types for Program Verification and Synthesis
PLDI Tutorials
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached

Fri 23 Jun
Times are displayed in 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 - 10:00
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
10:30 - 12:10: Engineering Static Analyzers with Soufflé (2)PLDI Tutorials at Vertex WS217
10:30 - 12:10
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
13:40 - 15:20: Engineering Static Analyzers with Soufflé (3)PLDI Tutorials at Vertex WS217
13:40 - 15:20
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
15:50 - 17:00: Engineering Static Analyzers with Soufflé (4)PLDI Tutorials at Vertex WS217
15:50 - 17:00
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room16:0015304517:00153045
Vertex WS217

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change