Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS219
Floor0
Room number219
Capacity40
Additional informationThere is no additional information of this room 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

09:15 - 09:30: OpeningMAPL at Vertex WS219
09:15 - 09:30
Day opening
Introduction and Welcome
MAPL
09:30 - 10:30: KeynoteMAPL at Vertex WS219
09:30 - 10:30
Talk
Programming by Examples: PL Meets ML
MAPL
Sumit GulwaniMicrosoft Research
11:00 - 12:00: Languages and FrameworksMAPL at Vertex WS219
11:00 - 11:30
Talk
A Computational Model for TensorFlow (An Introduction)
MAPL
11:30 - 12:00
Talk
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
MAPL
Tim VieiraJohns Hopkins University, Matthew Francis-LandauThe Johns Hopkins University, Nathaniel Wesley Filardo, Farzad KhorasaniRice University, Jason EisnerThe Johns Hopkins University
12:00 - 12:30: Debugging, Analysis, and VerificationMAPL at Vertex WS219
12:00 - 12:30
Talk
Debugging Probabilistic Programs
MAPL
Chandrakana NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
14:00 - 15:30: Debugging, Analysis, and Verification 2MAPL at Vertex WS219
14:00 - 14:30
Talk
Combining the Logical and the Probabilistic in Program Analysis
MAPL
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
14:30 - 15:00
Talk
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
MAPL
Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland
15:00 - 15:30
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie MurphyPrinceton University, Gordon StewartOhio University
16:00 - 16:45: Town Hall DiscussionMAPL at Vertex WS219
16:00 - 16:45
Other
Town Hall Discussion
MAPL
16:45 - 17:00: ClosingMAPL at Vertex WS219
16:45 - 17:00
Day closing
Concluding Remarks
MAPL

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

09:00 - 10:30: Events Meet ProcessesDEBS Workshop at Vertex WS219
09:00 - 10:30
DEBS Workshop
DEBS Workshop
11:00 - 12:30: Events Meet ProcessesDEBS Workshop at Vertex WS219
11:00 - 12:30
DEBS Workshop
DEBS Workshop
14:00 - 15:30: Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219
14:00 - 14:20
Talk
Consistent Stream Processing
DEBS Doctoral Symposium
Lorenzo AffettiPolitecnico di Milano
14:20 - 14:40
Talk
A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
DEBS Doctoral Symposium
Guenter HesseHasso Plattner Institute, Christoph MatthiesHasso Plattner Institute, Benjamin ReissausHasso Plattner Institute
14:40 - 15:00
Talk
Raphtory: Decentralised Streaming for Temporal Graphs
DEBS Doctoral Symposium
Benjamin SteerQueen Mary University London, Félix CuadradoQueen Mary University of London, Richard CleggQueen Mary University London
15:00 - 15:20
Talk
Large-Scale Stream Graph Processing
DEBS Doctoral Symposium
Domagoj MarganImperial College London
16:00 - 17:30: Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219
16:00 - 16:20
Talk
Property-based routing in clustered message brokers for CPS
DEBS Doctoral Symposium
Ole MeyerUniversity of Duisburg-Essen, Julius OlleschUniversity of Duisburg-Essen, Stefan GriesUniversity of Duisburg-Essen, Florian BlumUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen
16:20 - 16:40
Talk
An Embedded DSL Framework for Distributed Embedded Systems
DEBS Doctoral Symposium
16:40 - 17:00
Talk
Loosely Coupled Approach for Web-Based Collaborative 3D Design
DEBS Doctoral Symposium
Caroline DespratIRIT - University of Toulouse, Benoît Caudesaygues, Hervé LugaIRIT - Université Paul Sabatier Toulouse, Jean-Pierre JesselIRIT - Université Paul Sabatier Toulouse
17:00 - 17:20
Talk
Visualising complex event hierarchies using relevant domain ontologies
DEBS Doctoral Symposium

Thu 22 Jun
Times are displayed in 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 - 10:00
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
10:30 - 12:10: Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219
10:30 - 12:10
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
13:40 - 15:20: Polyhedral CompilationPLDI Tutorials at Vertex WS219
13:40 - 15:20
Other
Polyhedral Compilation
PLDI Tutorials
15:50 - 17:00: Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219
15:50 - 17:00
Other
Polyhedral Compilation
PLDI Tutorials

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

09:00 - 10:00: Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219
09:00 - 10:00
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
10:30 - 12:10: Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219
10:30 - 12:10
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
13:40 - 15:20: Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219
13:40 - 15:20
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication
15:50 - 17:00: Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219
15:50 - 17:00
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden
Link to publication

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

Fri 23 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

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