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

Call for Papers

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

Mon 8 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Program Verification at ESOP
esop-2019-papers10:30 - 11:00
Talk
Glen Mével, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, François PottierInria, France
esop-2019-papers11:00 - 11:30
Talk
Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
esop-2019-papers11:30 - 12:00
Talk
Dan FruminRadboud University, Léon GondelmanLRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology
esop-2019-papers12:00 - 12:30
Talk
Ismail KuruDrexel University, Colin GordonDrexel University
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Language Design at ESOP
esop-2019-papers14:00 - 14:30
Talk
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
esop-2019-papers14:30 - 15:00
Talk
Li-yao XiaENS Paris, Dominic OrchardUniversity of Kent, UK, Meng WangUniversity of Bristol, UK
esop-2019-papers15:00 - 15:30
Talk
esop-2019-papers15:30 - 16:00
Talk

Tue 9 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Types at ESOP
esop-2019-papers10:30 - 11:00
Talk
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
esop-2019-papers11:00 - 11:30
Talk
Xuan BiThe University of Hong Kong, Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
esop-2019-papers11:30 - 12:00
Talk
esop-2019-papers12:00 - 12:30
Talk
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Program Semantics at ESOP
esop-2019-papers14:00 - 14:30
Talk
Dylan McDermottUniversity of Cambridge, Alan MycroftUniversity of Cambridge
esop-2019-papers14:30 - 15:00
Talk
Ugo Dal LagoUniversity of Bologna / Inria, Francesco Gavazzo
esop-2019-papers15:00 - 15:30
Talk
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy
esop-2019-papers15:30 - 16:00
Talk
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge

Wed 10 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Security and Incremental Computation at ESOP
esop-2019-papers10:30 - 11:00
Talk
Marco PatrignaniSaarland University & CISPA, Deepak GargMax Planck Institute for Software Systems
esop-2019-papers11:00 - 11:30
Talk
Frédéric Besson, Sandrine BlazyUniv Rennes- IRISA, Alexandre Dang, Thomas P. JensenINRIA Rennes, Pierre WilkeYale University
esop-2019-papers11:30 - 12:00
Talk
Michael Peyton JonesIOHK, Mario Alvarez-PicalloUniversity of Oxford, Alexander Eyers-TaylorSemmle, Luke OngUniversity of Oxford
esop-2019-papers12:00 - 12:30
Talk
Paolo G. GiarrussoEPFL, Switzerland, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Philipp SchusterUniversity of Tübingen, Germany
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Concurrency and Distribution at ESOP
esop-2019-papers14:00 - 14:30
Talk
Laura BocchiUniversity of Kent, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko YoshidaImperial College London
esop-2019-papers14:30 - 15:00
Talk
Stephanie BalzerCarnegie Mellon University, Bernardo ToninhoNOVA-LINCS, FCT/UNL, Frank PfenningCarnegie Mellon University, USA
esop-2019-papers15:00 - 15:30
Talk
Ken Sakayori, Takeshi TsukadaUniversity of Tokyo, Japan
esop-2019-papers15:30 - 16:00
Talk

Thu 11 Apr

esop-2019-papers
10:30 - 12:30: ESOP 2019 - Program Analysis and Automated Verification at FoSSaCS
esop-2019-papers10:30 - 11:00
Talk
esop-2019-papers11:00 - 11:30
Talk
esop-2019-papers11:30 - 12:00
Talk
esop-2019-papers12:00 - 12:30
Talk
Henning Basold, Ekaterina KomendantskayaHeriot-Watt University, UK, Yue LiHeriot-Watt University, UK