ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
VenueQueen Mary, University of London
Room nameSkeel
Floor0
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

Tue 14 Apr
Times are displayed in time zone: Azores change

10:30 - 12:30: Session 1ESOP at Skeel
Chair(s): Jan VitekNortheastern University
10:30 - 11:00
Talk
ESOP
Andrew D. GordonMicrosoft Research and University of Edinburgh, Claudio RussoMicrosoft Research, Marcin SzymczakUniversity of Edinburgh, Johannes BorgströmUppsala University, Nicolas RollandMicrosoft Research, Thore GraepelMicrosoft Research, Daniel TarlowMicrosoft Research
11:00 - 11:30
Talk
ESOP
Tie ChengCNRS, ENS, INRIA, Paris, France, Xavier RivalINRIA/CNRS/ENS Paris
11:30 - 12:00
Talk
ESOP
Neil TorontoBrigham Young University, Jay McCarthy, David Van Horn
12:00 - 12:30
Talk
ESOP
Manuel EberlTechnische Universität München, Johannes HölzlTechnische Universität München, Tobias NipkowTechnische Universität München
14:00 - 16:00: Session 2ESOP at Skeel
Chair(s): Gavin BiermanOracle Labs
14:00 - 14:30
Talk
ESOP
Pavol CernyUniversity of Colorado Boulder, Thomas A. HenzingerIST Austria, Laura KovacsChalmers University of Technology, Arjun RadhakrishnaMicrosoft, Jakob ZwirchmayrIRIT Toulouse
14:30 - 15:00
Talk
ESOP
Jan HoffmannYale University, Zhong ShaoYale University
15:00 - 15:30
Talk
ESOP
Willem PenninckxKU Leuven, Bart JacobsiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
15:30 - 16:00
Talk
ESOP
Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford
16:30 - 18:00: Session 3ESOP at Skeel
Chair(s): Dave SandsChalmers University of Technology
16:30 - 17:00
Talk
ESOP
Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology
17:00 - 17:30
Talk
ESOP
Giuseppe CastagnaParis Diderot University & CNRS, Hyeonseung ImINRIA Grenoble Rhône-Alpes, Kim NguyễnLRI, Université Paris-Sud, Véronique BenzakenLRI, Université Paris-Sud
17:30 - 18:00
Talk
ESOP
Ravi ChughUniversity of Chicago

Wed 15 Apr
Times are displayed in time zone: Azores change

10:30 - 12:30: Session 4ESOP at Skeel
Chair(s): Lars BirkedalAarhus University
10:30 - 11:00
Talk
ESOP
Mark BattyUniversity of Cambridge, Kayvan MemarianUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Jean Pichon-PharabodUniversity of Cambridge, Peter SewellUniversity of Cambridge
11:00 - 11:30
Talk
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi AtigUppsala University, Tuan Phong NgoUppsala University
11:30 - 12:00
Talk
ESOP
Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
12:00 - 12:30
Talk
ESOP
Jasmin BlanchetteTU Munich, Andrei PopescuMiddlesex University, London, Dmitriy TraytelTU Munich
14:00 - 16:00: Session 5ESOP at Skeel
Chair(s): Jan VitekNortheastern University
14:00 - 14:30
Talk
ESOP
Burke FetscherNorthwestern University, Koen ClaessenChalmers University of Technology, Michał PałkaChalmers University of Technology, John HughesChalmers University of Technology, Robby FindlerNorthwestern University
14:30 - 15:00
Talk
ESOP
Ezgi ÇiçekMPI-SWS, Deepak GargMPI-SWS, Umut A. AcarCarnegie Mellon University
15:00 - 15:30
Talk
ESOP
Jeremy G. SiekIndiana University, Michael M. VitousekIndiana University, Matteo CiminiIndiana University, Sam Tobin-HochstadtIndiana University, Ronald GarciaUniversity of British Columbia
15:30 - 16:00
Talk
ESOP
Stefan Schulze FrielinghausTechnische Universität München, Michael PetterTechnische Universität München, Helmut SeidlTechnische Universität München
16:30 - 18:00: Session 6ESOP at Skeel
Chair(s): Helmut SeidlTechnische Universität München
16:30 - 17:00
Talk
ESOP
Arlen CoxUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris
17:00 - 17:30
Talk
ESOP
Stefano CalzavaraUniversità Ca' Foscari Venezia, Michele BugliesiUniversità Ca' Foscari Venezia, Silvia CrafaUniversity of Padova, Enrico SteffinlongoUniversità Ca' Foscari Venezia
17:30 - 18:00
Talk
ESOP
Michael EmmiIMDEA Software Institute, Pierre GantyIMDEA Software Institute, Rupak MajumdarMPI-SWS, Fernando Rosa-VelardoUniversidad Complutense de Madrid

Thu 16 Apr
Times are displayed in time zone: Azores change

10:30 - 12:30: Session 7ESOP at Skeel
Chair(s): Delphine DemangeIRISA / University of Rennes 1
10:30 - 11:00
Talk
ESOP
Sam LindleyUniversity of Edinburgh, J. Garrett MorrisThe University of Edinburgh
11:00 - 11:30
Talk
ESOP
Alexey GotsmanIMDEA, Hongseok YangUniversity of Oxford
11:30 - 12:00
Talk
ESOP
Tachio TerauchiJAIST, Hiroshi UnnoUniversity of Tsukuba
12:00 - 12:30
Talk
ESOP
Aws AlbarghouthiUniversity of Wisconsin - Madison, Josh BerdineMicrosoft Research, Byron CookMicrosoft Research, Zachary KincaidUniversity of Toronto
14:00 - 16:00: Session 8ESOP at Skeel
Chair(s): Jan VitekNortheastern University
14:00 - 14:30
Talk
ESOP
Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford
14:30 - 15:00
Talk
ESOP
15:00 - 15:30
Talk
ESOP
Azalea RaadImperial College London, Jules VillardImperial College London, Philippa GardnerImperial College London
15:30 - 16:00
Talk
ESOP
Filip SieczkowskiAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Jean Pichon-PharabodUniversity of Cambridge
16:30 - 18:00: Session 9ESOP at Skeel
Chair(s): Jan VitekNortheastern University
16:30 - 17:00
Talk
ESOP
Wilmer RicciottiUniversity of Toulouse
17:00 - 17:30
Talk
ESOP
Pedro VasconcelosLIACC, Universidade do Porto, Porto, Portugal, Steffen JostLMU, Munich, Germany, Mario FloridoFCUP, Universidade do Porto, Portugal, Kevin HammondUniversity of St Andrews, St Andrews, UK
17:30 - 18:00
Talk
ESOP
Eric Seidel, Niki VazouUC San Diego, Ranjit JhalaUniversity of California, San Diego

Tue 14 Apr
Times are displayed in time zone: Azores change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Skeel

Wed 15 Apr
Times are displayed in time zone: Azores change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Skeel

Thu 16 Apr
Times are displayed in time zone: Azores change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Skeel