Write a Blog >>
VORTEX 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with ECOOP 2017
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS219
Floor0
Room number219
Capacity40
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

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

09:15 - 09:30
OpeningMAPL at Vertex WS219
09:15
15m
Day opening
Introduction and Welcome
MAPL
Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs
09:30 - 10:30
KeynoteMAPL at Vertex WS219
09:30
60m
Talk
Programming by Examples: PL Meets ML
MAPL
Sumit Gulwani Microsoft Research
11:00 - 12:00
Languages and FrameworksMAPL at Vertex WS219
11:00
30m
Talk
A Computational Model for TensorFlow (An Introduction)
MAPL
Martin Abadi Google, Michael Isard Google, Derek Murray Google
11:30
30m
Talk
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
MAPL
Tim Vieira Johns Hopkins University, Matthew Francis-Landau The Johns Hopkins University, Nathaniel Wesley Filardo , Farzad Khorasani Rice University, Jason Eisner The Johns Hopkins University
12:00 - 12:30
Debugging, Analysis, and VerificationMAPL at Vertex WS219
12:00
30m
Talk
Debugging Probabilistic Programs
MAPL
Chandrakana Nandi University of Washington, USA, Dan Grossman University of Washington, Adrian Sampson Cornell University, Todd Mytkowicz , Kathryn S McKinley Microsoft Research
14:00 - 15:30
Debugging, Analysis, and Verification 2MAPL at Vertex WS219
14:00
30m
Talk
Combining the Logical and the Probabilistic in Program Analysis
MAPL
Xin Zhang Georgia Tech, Xujie Si , Mayur Naik Georgia Tech
14:30
30m
Talk
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
MAPL
Ugur Koc University of Maryland, College Park, Parsa Saadatpanah University of Maryland, Jeffrey S. Foster University of Maryland, College Park, Adam Porter University of Maryland
15:00
30m
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie Murphy Princeton University, Gordon Stewart Ohio University
16:00 - 16:45
Town Hall DiscussionMAPL at Vertex WS219
16:00
45m
Other
Town Hall Discussion
MAPL

16:45 - 17:00
ClosingMAPL at Vertex WS219
16:45
15m
Day closing
Concluding Remarks
MAPL
Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs

Mon 19 Jun

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

09:00 - 10:30
Events Meet ProcessesDEBS Workshop at Vertex WS219
09:00
90m
DEBS Workshop
DEBS Workshop

11:00 - 12:30
Events Meet ProcessesDEBS Workshop at Vertex WS219
11:00
90m
DEBS Workshop
DEBS Workshop

14:00 - 15:30
14:00
20m
Talk
Consistent Stream Processing
DEBS Doctoral Symposium
Lorenzo Affetti Politecnico di Milano
14:20
20m
Talk
A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
DEBS Doctoral Symposium
Guenter Hesse Hasso Plattner Institute, Christoph Matthies Hasso Plattner Institute, Benjamin Reissaus Hasso Plattner Institute
14:40
20m
Talk
Raphtory: Decentralised Streaming for Temporal Graphs
DEBS Doctoral Symposium
Benjamin Steer Queen Mary University London, Félix Cuadrado Queen Mary University of London, Richard Clegg Queen Mary University London
15:00
20m
Talk
Large-Scale Stream Graph Processing
DEBS Doctoral Symposium
Domagoj Margan Imperial College London
16:00 - 17:30
16:00
20m
Talk
Property-based routing in clustered message brokers for CPS
DEBS Doctoral Symposium
Ole Meyer University of Duisburg-Essen, Julius Ollesch University of Duisburg-Essen, Stefan Gries University of Duisburg-Essen, Florian Blum University of Duisburg-Essen, Volker Gruhn University Duisburg-Essen
16:20
20m
Talk
An Embedded DSL Framework for Distributed Embedded Systems
DEBS Doctoral Symposium
Adrian Mizzi , Joshua Ellul University of Malta, Gordon Pace
16:40
20m
Talk
Loosely Coupled Approach for Web-Based Collaborative 3D Design
DEBS Doctoral Symposium
Caroline Desprat IRIT - University of Toulouse, Benoît Caudesaygues , Hervé Luga IRIT - Université Paul Sabatier Toulouse, Jean-Pierre Jessel IRIT - Université Paul Sabatier Toulouse
17:00
20m
Talk
Visualising complex event hierarchies using relevant domain ontologies
DEBS Doctoral Symposium

Thu 22 Jun

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

09:00 - 10:00
Building your own modular static analyzer with Facebook InferPLDI Tutorials at Vertex WS219
09:00
60m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook
10:30 - 12:10
Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219
10:30
1h40m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook
13:40 - 15:20
Polyhedral CompilationPLDI Tutorials at Vertex WS219
13:40
1h40m
Other
Polyhedral Compilation
PLDI Tutorials
15:50 - 17:00
Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219
15:50
70m
Other
Polyhedral Compilation
PLDI Tutorials

Fri 23 Jun

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

09:00 - 10:00
Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219
09:00
60m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication
10:30 - 12:10
Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219
10:30
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication
13:40 - 15:20
Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219
13:40
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication
15:50 - 17:00
Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219
15:50
70m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden
Link to publication

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

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Vertex WS219