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
MAPL
09:30 - 10:30: KeynoteMAPL at Vertex WS219
09:30 - 10:30
Talk
MAPL
Sumit GulwaniMicrosoft Research
11:00 - 12:00: Languages and FrameworksMAPL at Vertex WS219
11:00 - 11:30
Talk
MAPL
11:30 - 12:00
Talk
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
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
MAPL
Xin ZhangGeorgia Tech, Xujie Si, Mayur NaikGeorgia Tech
14:30 - 15:00
Talk
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
MAPL
Charlie MurphyPrinceton University, Gordon StewartOhio University
16:00 - 16:45: Town Hall DiscussionMAPL at Vertex WS219
16:00 - 16:45
Other
MAPL
16:45 - 17:00: ClosingMAPL at Vertex WS219
16:45 - 17:00
Day closing
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
11:00 - 12:30: Events Meet ProcessesDEBS Workshop at Vertex WS219
11:00 - 12:30
DEBS Workshop
14:00 - 15:30: Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219
14:00 - 14:20
Talk
DEBS Doctoral Symposium
Lorenzo AffettiPolitecnico di Milano
14:20 - 14:40
Talk
DEBS Doctoral Symposium
Guenter HesseHasso Plattner Institute, Christoph MatthiesHasso Plattner Institute, Benjamin ReissausHasso Plattner Institute
14:40 - 15:00
Talk
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
DEBS Doctoral Symposium
Domagoj MarganImperial College London
16:00 - 17:30: Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219
16:00 - 16:20
Talk
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
DEBS Doctoral Symposium
16:40 - 17:00
Talk
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
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
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
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
PLDI Tutorials
15:50 - 17:00: Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219
15:50 - 17:00
Other
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
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
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
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
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