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

Sun 18 Jun

mapl-2017-papers
09:15 - 09:30: MAPL 2017 - Opening at Vertex WS219
mapl-2017-papers09:15 - 09:30
Day opening
mapl-2017-papers
09:30 - 10:30: MAPL 2017 - Keynote at Vertex WS219
mapl-2017-papers09:30 - 10:30
Talk
Sumit GulwaniMicrosoft Research
mapl-2017-papers
11:00 - 12:00: MAPL 2017 - Languages and Frameworks at Vertex WS219
mapl-2017-papers11:00 - 11:30
Talk
mapl-2017-papers11:30 - 12:00
Talk
Tim VieiraJohns Hopkins University, Matthew Francis-LandauThe Johns Hopkins University, Nathaniel Wesley Filardo, Farzad KhorasaniRice University, Jason EisnerThe Johns Hopkins University
mapl-2017-papers
12:00 - 12:30: MAPL 2017 - Debugging, Analysis, and Verification at Vertex WS219
mapl-2017-papers12:00 - 12:30
Talk
Chandrakana NandiUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Adrian SampsonCornell University, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
mapl-2017-papers
14:00 - 15:30: MAPL 2017 - Debugging, Analysis, and Verification 2 at Vertex WS219
mapl-2017-papers14:00 - 14:30
Talk
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
mapl-2017-papers14:30 - 15:00
Talk
Ugur KocUniversity of Maryland, College Park, Parsa SaadatpanahUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Adam PorterUniversity of Maryland
mapl-2017-papers15:00 - 15:30
Talk
Charlie MurphyPrinceton University, Gordon StewartOhio University
mapl-2017-papers
16:00 - 16:45: MAPL 2017 - Town Hall Discussion at Vertex WS219
mapl-2017-papers16:00 - 16:45
Other
mapl-2017-papers
16:45 - 17:00: MAPL 2017 - Closing at Vertex WS219
mapl-2017-papers16:45 - 17:00
Day closing

Mon 19 Jun

debs-2017-Workshop
09:00 - 10:30: DEBS Workshop - Events Meet Processes at Vertex WS219
debs-2017-Workshop09:00 - 10:30
debs-2017-Workshop
11:00 - 12:30: DEBS Workshop - Events Meet Processes at Vertex WS219
debs-2017-Workshop11:00 - 12:30
debs-2017-Doctoral-Symposium
14:00 - 15:30: DEBS Doctoral Symposium - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium14:00 - 14:20
Talk
Lorenzo AffettiPolitecnico di Milano
debs-2017-Doctoral-Symposium14:20 - 14:40
Talk
Guenter HesseHasso Plattner Institute, Christoph MatthiesHasso Plattner Institute, Benjamin ReissausHasso Plattner Institute
debs-2017-Doctoral-Symposium14:40 - 15:00
Talk
Benjamin SteerQueen Mary University London, Félix CuadradoQueen Mary University of London, Richard CleggQueen Mary University London
debs-2017-Doctoral-Symposium15:00 - 15:20
Talk
Domagoj MarganImperial College London
debs-2017-Doctoral-Symposium
16:00 - 17:30: DEBS Doctoral Symposium - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium16:00 - 16:20
Talk
Ole MeyerUniversity of Duisburg-Essen, Julius OlleschUniversity of Duisburg-Essen, Stefan GriesUniversity of Duisburg-Essen, Florian WesslingUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen
debs-2017-Doctoral-Symposium16:20 - 16:40
Talk
debs-2017-Doctoral-Symposium16:40 - 17:00
Talk
Caroline DespratIRIT - University of Toulouse, Benoît Caudesaygues, Hervé LugaIRIT - Université Paul Sabatier Toulouse, Jean-Pierre JesselIRIT - Université Paul Sabatier Toulouse
debs-2017-Doctoral-Symposium17:00 - 17:20
Talk

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer at Vertex WS219
pldi-2017-workshops-and-tutorials09:00 - 10:00
Other
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials10:30 - 12:10
Other
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Polyhedral Compilation at Vertex WS219
pldi-2017-workshops-and-tutorials13:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Polyhedral Compilation (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials15:50 - 17:00
Other

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Writing Verified Programs in CakeML at Vertex WS219
pldi-2017-workshops-and-tutorials09:00 - 10:00
Other
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
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Writing Verified Programs in CakeML (2) at Vertex WS219
pldi-2017-workshops-and-tutorials10:30 - 12:10
Other
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
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Writing Verified Programs in CakeML (3) at Vertex WS219
pldi-2017-workshops-and-tutorials13:40 - 15:20
Other
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
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Writing Verified Programs in CakeML (4) at Vertex WS219
pldi-2017-workshops-and-tutorials15:50 - 17:00
Other
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 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS219
09:15 - 09:30
09:30 - 10:30
16:45 - 17:00

Mon 19 Jun 2017

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

Thu 22 Jun 2017

Fri 23 Jun 2017

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