ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas:

  • Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, synchronous and real-time programming languages;
  • Methods and tools to write and specify programs and languages: programming techniques, logical foundations, denotational semantics, operational semantics, meta programming, module systems, language-based security;
  • Methods and tools for reasoning about programs: type systems, abstract interpretation, program verification, testing;
  • Methods and tools for implementation: program transformations, rewriting systems, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments;
  • Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages.

Contributions bridging the gap between theory and practice are particularly welcome.

Accepted Papers

Title
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication
Link to publication

Call for Papers

Please check out the ETAPS.org web site for the joint Call for Papers.

Dates

Mon 8 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Program Verification at SUN II
Chair(s): Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
esop-2019-papers10:30 - 11:00
Talk
Glen Mével, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, François PottierInria, France
Link to publication
esop-2019-papers11:00 - 11:30
Talk
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
esop-2019-papers11:30 - 12:00
Talk
Dan FruminRadboud University, Léon GondelmanLRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology
Link to publication
esop-2019-papers12:00 - 12:30
Talk
Michael Peyton JonesIOHK, Mario Alvarez-PicalloUniversity of Oxford, Alexander Eyers-TaylorSemmle, C.-H. Luke OngUniversity of Oxford
Link to publication
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Language Design at SUN II
Chair(s): Atsushi IgarashiKyoto University, Japan
esop-2019-papers14:00 - 14:30
Talk
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
Link to publication
esop-2019-papers14:30 - 15:00
Talk
Li-yao XiaUniversity of Pennsylvania, Dominic OrchardUniversity of Kent, UK, Meng WangUniversity of Bristol, UK
Link to publication
esop-2019-papers15:00 - 15:30
Talk
Link to publication
esop-2019-papers15:30 - 16:00
Talk
Kathleen FisherTufts University, Ferdinand VeselySwansea University
Link to publication

Tue 9 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Types at SUN II
Chair(s): Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
esop-2019-papers10:30 - 11:00
Talk
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Link to publication
esop-2019-papers11:00 - 11:30
Talk
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
esop-2019-papers11:30 - 12:00
Talk
Beniamino AccattoliInria & Ecole Polytechnique, Giulio GuerrieriUniversity of Bath, Maico Leberle
Link to publication
esop-2019-papers12:00 - 12:30
Talk
Link to publication
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Program Semantics at SUN II
Chair(s): Andrzej MurawskiUniversity of Oxford
esop-2019-papers14:00 - 14:30
Talk
Dylan McDermottUniversity of Cambridge, Alan MycroftUniversity of Cambridge
Link to publication
esop-2019-papers14:30 - 15:00
Talk
Ugo Dal LagoUniversity of Bologna / Inria, Francesco Gavazzo
Link to publication
esop-2019-papers15:00 - 15:30
Talk
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy
Link to publication
esop-2019-papers15:30 - 16:00
Talk
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge
Link to publication

Wed 10 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Security and Incremental Computation at SUN II
Chair(s): Zhong ShaoYale University
esop-2019-papers10:30 - 11:00
Talk
Marco PatrignaniStanford University & CISPA Helmholtz Center for Information Security, Deepak GargMax Planck Institute for Software Systems
Link to publication
esop-2019-papers11:00 - 11:30
Talk
Frédéric Besson, Sandrine BlazyUniv Rennes- IRISA, Alexandre Dang, Thomas P. JensenINRIA Rennes, Pierre WilkeYale University
Link to publication
esop-2019-papers11:30 - 12:00
Talk
Ismail KuruDrexel University, Colin GordonDrexel University
Link to publication
esop-2019-papers12:00 - 12:30
Talk
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
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Concurrency and Distribution at SUN II
Chair(s): Luca PadovaniUniversity of Turin
esop-2019-papers14:00 - 14:30
Talk
Laura BocchiUniversity of Kent, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko YoshidaImperial College London
Link to publication
esop-2019-papers14:30 - 15:00
Talk
Stephanie BalzerCarnegie Mellon University, Bernardo ToninhoNOVA-LINCS, FCT/UNL, Frank PfenningCarnegie Mellon University, USA
Link to publication
esop-2019-papers15:00 - 15:30
Talk
Ken SakayoriThe University of Tokyo, Takeshi TsukadaUniversity of Tokyo, Japan
Link to publication
esop-2019-papers15:30 - 16:00
Talk
Link to publication

Thu 11 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Program Analysis and Automated Verification at SUN II
Chair(s): Stephanie BalzerCarnegie Mellon University
esop-2019-papers10:30 - 11:00
Talk
Link to publication
esop-2019-papers11:00 - 11:30
Talk
Matthieu Journault, Antoine MinéUPMC, France, Abdelraouf OuadjaoutSorbonne Université
Link to publication
esop-2019-papers11:30 - 12:00
Talk
Carsten FuhsBirkbeck, University of London, Cynthia KopRadboud University Nijmegen
Link to publication
esop-2019-papers12:00 - 12:30
Talk
Henning BasoldCNRS & ENS Lyon, Ekaterina KomendantskayaHeriot-Watt University, UK, Yue LiHeriot-Watt University, UK
Link to publication