Write a Blog >>
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Sun 18 - Fri 23 June 2017
Barcelona, Spain
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Hotels
Anti-Harassment Policy
Program
Complete Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Tracks
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
No calls yet
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Curry On Keynotes
CurryOn
Curry On Talks
DEBS
DEBS
DEBS
10 Years Time Award
DEBS
2018 Address
DEBS
Banquet
DEBS
Business Meeting
DEBS
Closing
DEBS
Doctoral Symposium
DEBS
Grand Challenge
DEBS
Invited Speakers
DEBS
Posters & Demos
DEBS
Research Papers
DEBS
Tutorials
DEBS
Welcome
DEBS
Workshop
DEBS
Registration
ECOOP
ECOOP
ECOOP
Artifacts
ECOOP
Invited Speakers
ECOOP
Research Papers
ECOOP
Workshops
ECOOP
Doctoral Symposium
ECOOP
Student Volunteers
ECOOP
Summer School
ISMM
ISMM
ISMM
LCTES
PLDI
PLDI
PLDI
Invited Speakers
PLDI
Research Papers
PLDI
Research Artifacts
PLDI
Student Research Competition
PLDI
Student Volunteers
PLDI
Workshops
PLDI
Tutorials
Workshops
ARRAY
COP
-17
DSW
FTfJP
IC
ICOOOLPS
IWACO
JSTools
MAPL
PLMW
PMLDC
SOAP
VORTEX
17
WCIRE
Organization
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Organizing Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
DEBS
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
Artifact Evaluation Committee
ECOOP Research Papers
Program Committee
ECOOP Workshops
Organizing Committee
ECOOP Doctoral Symposium
Academic Panel
ECOOP Doctoral Symposium
Invited Speakers
ECOOP Doctoral Symposium
Program Committee
ECOOP Summer School
Speakers
ECOOP Summer School
Mentors
ECOOP Summer School
Organizers
ISMM
Organizing Committee
Steering Committee
ISMM 2017
Program Committee
ISMM 2017
External Review Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
PLDI
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Steering Committee
Artifact Evaluation Committee
SRC Panel
Workshops
ARRAY
ARRAY 2017
Organizing Committee
ARRAY 2017
Program Committee
COP
COP-17
Organizing Committee
COP-17
Program Committee
DSW
DSW 2017
Organizing Committee
FTfJP
FTfJP 2017
Program Committee
IC
IC 2017
Keynote speaker
IC 2017
Organizing Committee
IC 2017
Program Committee
ICOOOLPS
ICOOOLPS 2017
Organizing Committee
ICOOOLPS 2017
Program Committee
IWACO
IWACO 2017
Organizing Committee
IWACO 2017
Program Committee
JSTools
JSTools 2017
Organizing Committee
JSTools 2017
Program Committee
MAPL
MAPL 2017
Organizing Committee
MAPL 2017
Program Committee
PLMW
PLMW
Mentors
PMLDC
PMLDC 2017
Organizing Committee
PMLDC 2017
Program Committee
SOAP
SOAP
Organizing Committee
SOAP
Program Committee
VORTEX
VORTEX17
Organizing Committee
VORTEX17
Program Committee
WCIRE
WCIRE 2017
Organizing Committee
Search
Series
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Vertex WS217
Venue
Universitat Politècnica de Catalunya
Room name
Vertex WS217
Floor
0
Room number
217
Capacity
60
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Sun 18 Jun
ecoop-2017-Summer-School
16:30 - 18:00:
ECOOP Summer School
- S1 at
Vertex WS217
ecoop-2017-Summer-School
16:30 - 18:00
Talk
Introduction Session
Jan Vitek
Northeastern University
Mon 19 Jun
iwaco-2017-papers
11:00 - 12:30:
IWACO 2017
- Morning Session at
Vertex WS217
iwaco-2017-papers
11:00 - 11:30
Talk
Spencer: Tracing as a Service
Stephan Brandauer
Uppsala University
iwaco-2017-papers
11:30 - 12:00
Talk
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.
Alex Potanin
Victoria University of Wellington
iwaco-2017-papers
12:00 - 12:30
Talk
Reference Capabilities in Practice: Examining Real-World Pony Code
Sylvan Clebsch
Imperial College London
iwaco-2017-papers
14:00 - 15:30:
IWACO 2017
- Afternoon Session at
Vertex WS217
iwaco-2017-papers
14:00 - 14:30
Talk
Aliasing, Capabilities and Ownership in Rust
Felix Klock
iwaco-2017-papers
14:30 - 15:00
Talk
Introducing Ownership Type Constraints to UML/OCL
Jagadeeswaran Thangaraj
,
Senthil Kumaran
File Attached
iwaco-2017-papers
15:00 - 15:30
Talk
Towards Reasonable Ownership
Anya Helene Bagge
University of Bergen
,
Kristoffer Haugsbakk
,
Vadim Zaytsev
Raincode, Belgium
File Attached
iwaco-2017-papers
16:00 - 18:00:
IWACO 2017
- Keynote Session at
Vertex WS217
iwaco-2017-papers
16:00 - 16:45
Talk
Adding Safe Manual Memory Management to .NET
Dimitrios Vytiniotis
Microsoft Research, Cambridge
Tue 20 Jun
FTfJP-2017-papers
09:00 - 10:30:
FTfJP 2017
- A at
Vertex WS217
Chair(s):
Radu Grigore
University of Kent
FTfJP-2017-papers
09:30 - 09:50
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
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
FTfJP-2017-papers
09:50 - 10:25
Talk
Formal Analysis of Object-Oriented Mograms
Moussa Amrani
University of Namur
,
Pierre Yves Schobbens
University of Namur
FTfJP-2017-papers
10:25 - 10:30
Talk
Towards a Java Subtyping Operad
Moez A. AbdelGawad
Informatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
FTfJP-2017-papers
11:00 - 12:30:
FTfJP 2017
- B at
Vertex WS217
Chair(s):
Santosh Nagarakatte
Rutgers University, USA
FTfJP-2017-papers
11:00 - 11:20
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
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
FTfJP-2017-papers
11:20 - 12:30
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
Derek Dreyer
MPI-SWS
FTfJP-2017-papers
14:00 - 15:30:
FTfJP 2017
- C at
Vertex WS217
Chair(s):
Martin Berger
FTfJP-2017-papers
14:00 - 14:20
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
Julia Belyakova
Southern Federal University
Pre-print
FTfJP-2017-papers
14:20 - 14:55
Talk
Tracing sharing in an imperative pure calculus
Paola Giannini
Universita' del Piemonte Orientale
,
Marco Servetto
Victoria University of Wellington
,
Elena Zucca
University of Genova
FTfJP-2017-papers
14:55 - 15:30
Talk
Mutable WadlerFest DOT
Marianna Rapoport
University of Waterloo
,
Ondřej Lhoták
University of Waterloo, Canada
FTfJP-2017-papers
16:00 - 18:00:
FTfJP 2017
- D at
Vertex WS217
Chair(s):
Radu Grigore
University of Kent
FTfJP-2017-papers
16:00 - 16:20
Talk
Consistency Types for Safe and Efficient Distributed Programming
Alessandro Margara
Politecnico di Milano
,
Guido Salvaneschi
TU Darmstadt
FTfJP-2017-papers
16:20 - 16:55
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
Dustin Rhodes
,
Cormac Flanagan
University of California, Santa Cruz
,
Stephen Freund
Williams College
FTfJP-2017-papers
16:55 - 17:30
Talk
Parametric trace expressions for runtime verification of Java-like programs
Davide Ancona
University of Genova
,
Angelo Ferrando
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Viviana Mascardi
DIBRIS, University of Genova, Italy
Wed 21 Jun
pldi-2017-student-research-competition
10:20 - 12:00:
PLDI Student Research Competition
- SRC presentations at
Vertex WS217
pldi-2017-student-research-competition
10:20 - 12:00
SRC presentations
LCTES-2017-papers
14:00 - 15:00:
LCTES 2017
- Poster Session at
Vertex WS217
LCTES-2017-papers
14:00 - 15:00
Other
Accepted posters and posters for all the accepted papers will be presented in this session
Thu 22 Jun
pldi-2017-workshops-and-tutorials
10:30 - 12:10:
PLDI Tutorials
- Refinement Types for Program Verification and Synthesis (cont'd) at
Vertex WS217
pldi-2017-workshops-and-tutorials
10:30 - 12:10
Other
Refinement Types for Program Verification and Synthesis
Niki Vazou
University of Maryland
,
Nadia Polikarpova
MIT CSAIL, USA
,
Ranjit Jhala
University of California at San Diego, USA
Media Attached
Fri 23 Jun
pldi-2017-workshops-and-tutorials
09:00 - 10:00:
PLDI Tutorials
- Engineering Static Analyzers with Soufflé at
Vertex WS217
pldi-2017-workshops-and-tutorials
09:00 - 10:00
Other
Engineering Static Analyzers with Soufflé
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
pldi-2017-workshops-and-tutorials
10:30 - 12:10:
PLDI Tutorials
- Engineering Static Analyzers with Soufflé (2) at
Vertex WS217
pldi-2017-workshops-and-tutorials
10:30 - 12:10
Other
Engineering Static Analyzers with Soufflé
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
pldi-2017-workshops-and-tutorials
13:40 - 15:20:
PLDI Tutorials
- Engineering Static Analyzers with Soufflé (3) at
Vertex WS217
pldi-2017-workshops-and-tutorials
13:40 - 15:20
Other
Engineering Static Analyzers with Soufflé
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
pldi-2017-workshops-and-tutorials
15:50 - 17:00:
PLDI Tutorials
- Engineering Static Analyzers with Soufflé (4) at
Vertex WS217
pldi-2017-workshops-and-tutorials
15:50 - 17:00
Other
Engineering Static Analyzers with Soufflé
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
Sun 18 Jun 2017
Room
16:00
30
17:00
30
18:00
30
Vertex WS217
ECOOP Summer School
S1
16:30 - 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 WS217
IWACO
09:00 - 10:30
IWACO
Morning Session
11:00 - 12:30
IWACO
Afternoon Session
14:00 - 15:30
IWACO
Keynote Session
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 WS217
FTfJP
A
09:00 - 10:30
FTfJP
B
11:00 - 12:30
FTfJP
C
14:00 - 15:30
FTfJP
D
16:00 - 18:00
Wed 21 Jun 2017
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Vertex WS217
PLDI Student Research Competition
SRC presentations
10:20 - 12:00
LCTES
Poster Session
14:00 - 15:00
Thu 22 Jun 2017
Room
10:00
30
11:00
30
12:00
30
Vertex WS217
PLDI Tutorials
Refinement Types for Program Verification and Synthesis (cont'd)
10:30 - 12:10
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 WS217
PLDI Tutorials
Engineering Static Analyzers with Soufflé
09:00 - 10:00
PLDI Tutorials
Engineering Static Analyzers with Soufflé (2)
10:30 - 12:10
PLDI Tutorials
Engineering Static Analyzers with Soufflé (3)
13:40 - 15:20
PLDI Tutorials
Engineering Static Analyzers with Soufflé (4)
15:50 - 17:00
Sun 18 Jun 2017
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Vertex WS217
ECOOP Summer School
Introduction Session
16:30 - 18:00
Mon 19 Jun 2017
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 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 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 2017
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
15: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 2017
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 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 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
x
Wed 11 Dec 04:04