Write a Blog >>
GaLoP 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueOrea Hotel Pyramida
Room nameSUN II
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

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

10:30 - 12:30: Program VerificationESOP at SUN II
Chair(s): Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
10:30 - 11:00
Talk
ESOP
Glen Mével, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, François PottierInria, France
Link to publication
11:00 - 11:30
Talk
ESOP
Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor DumitrescuNomadic Labs Paris, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal NarasimhamurthyUniversity of Colorado, Boulder, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
Link to publication
11:30 - 12:00
Talk
ESOP
Dan FruminRadboud University, Léon GondelmanLRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology
Link to publication
12:00 - 12:30
Talk
ESOP
Michael Peyton JonesIOHK, Mario Alvarez-PicalloUniversity of Oxford, Alexander Eyers-TaylorSemmle, C.-H. Luke OngUniversity of Oxford
Link to publication
14:00 - 16:00: Language DesignESOP at SUN II
Chair(s): Atsushi IgarashiKyoto University, Japan
14:00 - 14:30
Talk
ESOP
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
Link to publication
14:30 - 15:00
Talk
ESOP
Li-yao XiaUniversity of Pennsylvania, Dominic OrchardUniversity of Kent, UK, Meng WangUniversity of Bristol, UK
Link to publication
15:00 - 15:30
Talk
ESOP
Link to publication
15:30 - 16:00
Talk
ESOP
Kathleen FisherTufts University, Ferdinand VeselySwansea University
Link to publication
17:00 - 18:00: VitekETAPS Mentoring Workshop at SUN II
17:00 - 18:00
Talk
ETAPS Mentoring Workshop
Jan VitekNortheastern University and Czech Technical University

Tue 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30: TypesESOP at SUN II
Chair(s): Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
10:30 - 11:00
Talk
ESOP
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Link to publication
11:00 - 11:30
Talk
ESOP
Xuan BiStandard Chartered Bank, Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
Link to publication
11:30 - 12:00
Talk
ESOP
Beniamino AccattoliInria & Ecole Polytechnique, Giulio GuerrieriUniversity of Bath, Maico Leberle
Link to publication
12:00 - 12:30
Talk
ESOP
Link to publication
14:00 - 16:00: Program SemanticsESOP at SUN II
Chair(s): Andrzej MurawskiUniversity of Oxford
14:00 - 14:30
Talk
ESOP
Dylan McDermottUniversity of Cambridge, Alan MycroftUniversity of Cambridge
Link to publication
14:30 - 15:00
Talk
ESOP
Ugo Dal LagoUniversity of Bologna / Inria, Francesco Gavazzo
Link to publication
15:00 - 15:30
Talk
ESOP
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy
Link to publication
15:30 - 16:00
Talk
ESOP
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge
Link to publication
16:30 - 18:00: BeyerETAPS Tutorials at SUN II
Chair(s): Joost-Pieter KatoenRWTH Aachen University
16:30 - 18:00
Talk
ETAPS Tutorials
Dirk BeyerLMU Munich
File Attached

Wed 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30: Security and Incremental ComputationESOP at SUN II
Chair(s): Zhong ShaoYale University
10:30 - 11:00
Talk
ESOP
Marco PatrignaniStanford University & CISPA Helmholtz Center for Information Security, Deepak GargMax Planck Institute for Software Systems
Link to publication
11:00 - 11:30
Talk
ESOP
Frédéric Besson, Sandrine BlazyUniv Rennes- IRISA, Alexandre Dang, Thomas P. JensenINRIA Rennes, Pierre WilkeYale University
Link to publication
11:30 - 12:00
Talk
ESOP
Ismail KuruDrexel University, Colin GordonDrexel University
Link to publication
12:00 - 12:30
Talk
ESOP
Paolo G. GiarrussoTU Delft, The Netherlands, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Philipp SchusterUniversity of Tübingen, Germany
Link to publication
13:00 - 14:00: General AssemblyETAPS Social at SUN II
13:00 - 14:00
Meeting
ETAPS Social
14:00 - 16:00: Concurrency and DistributionESOP at SUN II
Chair(s): Luca PadovaniUniversity of Turin
14:00 - 14:30
Talk
ESOP
Laura BocchiUniversity of Kent, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko YoshidaImperial College London
Link to publication
14:30 - 15:00
Talk
ESOP
Stephanie BalzerCarnegie Mellon University, Bernardo ToninhoImperial College London, Frank PfenningCarnegie Mellon University, USA
Link to publication
15:00 - 15:30
Talk
ESOP
Ken SakayoriThe University of Tokyo, Takeshi TsukadaUniversity of Tokyo, Japan
Link to publication
15:30 - 16:00
Talk
ESOP
Link to publication

Thu 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30: Program Analysis and Automated VerificationESOP at SUN II
Chair(s): Stephanie BalzerCarnegie Mellon University
10:30 - 11:00
Talk
ESOP
Link to publication
11:00 - 11:30
Talk
ESOP
Matthieu Journault, Antoine MinéUPMC, France, Abdelraouf OuadjaoutSorbonne Université
Link to publication
11:30 - 12:00
Talk
ESOP
Carsten FuhsBirkbeck, University of London, Cynthia KopRadboud University Nijmegen
Link to publication
12:00 - 12:30
Talk
ESOP
Henning BasoldCNRS & ENS Lyon, Ekaterina KomendantskayaHeriot-Watt University, UK, Yue LiHeriot-Watt University, UK
Link to publication
16:30 - 17:00: Verification (continued)FOSSACS at SUN II
Chair(s): Mikolaj BojanczykUniversity of Warsaw
16:30 - 17:00
Talk
FOSSACS
Mnacho Echenim, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Nicolas Peltier
Link to publication

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
SUN II

Tue 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
SUN II

Wed 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change