ESOP 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (107)

A Beniamino AccattoliAccattoli, Beniamino Inria & Ecole Polytechnique Types by Need
Danel AhmanAhman, Danel University of LjubljanaSlovenia Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Mario Alvarez-PicalloAlvarez-Picallo, Mario University of Oxford Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Program Committee within the ESOP-track
Zena M. AriolaAriola, Zena M. University of Oregon, USA Codata in Action
B Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Session Chair of Program Analysis and Automated Verification (part of ESOP) Manifest Deadlock-Freedom for Shared Session Types Committee Member in Program Committee within the ESOP-track
Henning BasoldBasold, Henning CNRS & ENS Lyon Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Frédéric BessonBesson, Frédéric Compiling Sandboxes: Formally Verified Software Fault Isolation
Xuan BiBi, Xuan Standard Chartered BankChina Distributive Disjoint Polymorphism for Compositional Programming
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Committee Member in Program Committee within the ESOP-track
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance Compiling Sandboxes: Formally Verified Software Fault Isolation
Laura BocchiBocchi, Laura University of KentUnited Kingdom Asynchronous timed session types: duality and time-sensitive processes
Johannes BorgströmBorgström, Johannes Uppsala UniversitySweden Committee Member in Program Committee within the ESOP-track
Pierre BoutillierBoutillier, Pierre Counters in Kappa: Semantics, Simulation, and Static Analysis
Samuele BuroBuro, Samuele Università degli Studi di Verona On the Multi-Language Construction
C Luís CairesCaires, Luís NOVA-LINCS, FCT NOVA / Universidade Nova de LisboaPortugal Session Chair of Program Verification (part of ESOP) Chair in Program Committee within the ESOP-track
Simon CastellanCastellan, Simon Imperial College London, UK Probabilistic Programming Inference via Intensional Semantics
Nikita ChopraChopra, Nikita Data-Races and Static Analysis for Interrupt-Driven Kernels
Ioana CristescuCristescu, Ioana INRIA, France Counters in Kappa: Semantics, Simulation, and Static Analysis
D Deepak D'SouzaD'Souza, Deepak Data-Races and Static Analysis for Interrupt-Driven Kernels
Ugo Dal LagoDal Lago, Ugo University of Bologna / InriaItaly Effectful Normal-Form Bisimulation Committee Member in Program Committee within the ESOP-track
Alexandre DangDang, Alexandre Compiling Sandboxes: Formally Verified Software Fault Isolation
Paul DownenDownen, Paul University of Oregon, USA Codata in Action
Victor DumitrescuDumitrescu, Victor Nomadic Labs ParisFrance Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
E Constantin EneaEnea, Constantin Université Paris DiderotFrance Committee Member in Program Committee within the ESOP-track
Alexander Eyers-TaylorEyers-Taylor, Alexander SemmleUnited Kingdom Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
F Jerome FeretFeret, Jerome INRIA ParisFrance Counters in Kappa: Semantics, Simulation, and Static Analysis
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States One Step at a Time
Dan FruminFrumin, Dan Radboud University Semi-Automated Reasoning About Non-Determinism in C Expressions
Carsten FuhsFuhs, Carsten Birkbeck, University of LondonUnited Kingdom A static higher-order dependency pair framework
G Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Robustly Safe Compilation Committee Member in Program Committee within the ESOP-track
Francesco GavazzoGavazzo, Francesco Effectful Normal-Form Bisimulation
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the ESOP-track
Nick GiannarakisGiannarakis, Nick Princeton University Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The NetherlandsItaly Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
Frédéric GilbertGilbert, Frédéric Verifiable certificates for predicate subtyping
Léon GondelmanGondelman, Léon LRI, Université Paris-Sud Semi-Automated Reasoning About Non-Determinism in C Expressions
Colin GordonGordon, Colin Drexel UniversityUnited States Safe Deferred Memory Reclamation with Types
Alexey GotsmanGotsman, Alexey IMDEA Software InstituteSpain Committee Member in Program Committee within the ESOP-track
Giulio GuerrieriGuerrieri, Giulio University of BathUnited Kingdom Types by Need
H Chris HawblitzelHawblitzel, Chris Microsoft Research Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Martin HofmannHofmann, Martin LMU Munich (1965-2018)Germany Committee Member in Program Committee within the ESOP-track
Cătălin HriţcuHriţcu, Cătălin Inria ParisFrance Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Peter HöfnerHöfner, Peter A Process Algebra for Link Layer Protocols
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Session Chair of Language Design (part of ESOP) Handling polymorphic algebraic effects Committee Member in Program Committee within the ESOP-track
J Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Committee Member in Program Committee within the ESOP-track
Thomas P. JensenJensen, Thomas P. INRIA Rennes Compiling Sandboxes: Formally Verified Software Fault Isolation
Michael Peyton JonesJones, Michael Peyton IOHKUnited Kingdom Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
Jacques-Henri JourdanJourdan, Jacques-Henri CNRS, LRI, Université Paris-SudFrance Time Credits and Time Receipts in Iris
Matthieu JournaultJournault, Matthieu An abstract domain for trees with numeric relations
K Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Cynthia KopKop, Cynthia Radboud University NijmegenNetherlands A static higher-order dependency pair framework
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Semi-Automated Reasoning About Non-Determinism in C Expressions
Ismail KuruKuru, Ismail Drexel UniversityUnited States Safe Deferred Memory Reclamation with Types
L Maico LeberleLeberle, Maico Types by Need
Yue LiLi, Yue Heriot-Watt University, UKChina Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
M Michael MarklMarkl, Michael A Process Algebra for Link Layer Protocols
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly On the Multi-Language Construction Committee Member in Program Committee within the ESOP-track
Dylan McDermottMcDermott, Dylan University of Cambridge Extended call-by-push-value: reasoning about effectful programs and evaluation order
Antoine MinéMiné, Antoine UPMC, FranceFrance An abstract domain for trees with numeric relations
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Committee Member in Program Committee within the ESOP-track
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Session Chair of Program Semantics (part of ESOP)
Maurizio MurgiaMurgia, Maurizio Asynchronous timed session types: duality and time-sensitive processes
Alan MycroftMycroft, Alan University of Cambridge Extended call-by-push-value: reasoning about effectful programs and evaluation order
Glen MévelMével, Glen Time Credits and Time Receipts in Iris
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany Committee Member in Program Committee within the ESOP-track
N Monal NarasimhamurthyNarasimhamurthy, Monal University of Colorado, BoulderUnited States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Tim NelsonNelson, Tim Brown UniversityUnited States Committee Member in Program Committee within the ESOP-track
O Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong Distributive Disjoint Polymorphism for Compositional Programming
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Composing bidirectional programs monadically
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance An abstract domain for trees with numeric relations
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Committee Member in Program Committee within the ESOP-track
P Luca PadovaniPadovani, Luca University of TurinItaly Session Chair of Concurrency and Distribution (part of ESOP) Committee Member in Program Committee within the ESOP-track
Hugo PaquetPaquet, Hugo University of Cambridge Probabilistic Programming Inference via Intensional Semantics
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Marco PatrignaniPatrignani, Marco Stanford University & CISPA Helmholtz Center for Information SecurityUnited States Robustly Safe Compilation
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK Codata in Action
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Manifest Deadlock-Freedom for Shared Session Types
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Program Committee within the ESOP-track
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
François PottierPottier, François Inria, FranceFrance Time Credits and Time Receipts in Iris
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
R Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
R RekhaRekha, R Data-Races and Static Analysis for Interrupt-Driven Kernels
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
S Ken SakayoriSakayori, Ken The University of Tokyo A Categorical Model of an i/o-typed pi-calculus
Tom SchrijversSchrijvers, Tom KU Leuven Distributive Disjoint Polymorphism for Compositional Programming
Philipp SchusterSchuster, Philipp University of Tübingen, Germany Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Handling polymorphic algebraic effects
Zhong ShaoShao, Zhong Yale UniversityUnited States Session Chair of Security and Incremental Computation (part of ESOP) Committee Member in Program Committee within the ESOP-track
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Committee Member in Program Committee within the ESOP-track
Zachary SullivanSullivan, Zachary Codata in Action
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
T Bernardo ToninhoToninho, Bernardo Imperial College London Manifest Deadlock-Freedom for Shared Session Types
Takeshi TsukadaTsukada, Takeshi University of Tokyo, Japan A Categorical Model of an i/o-typed pi-calculus
V Rob van Glabbeekvan Glabbeek, Rob A Process Algebra for Link Layer Protocols
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Session Chair of Types (part of ESOP) Asynchronous timed session types: duality and time-sensitive processes
Ferdinand VeselyVesely, Ferdinand Swansea UniversityUnited Kingdom One Step at a Time
W David WalkerWalker, David Princeton UniversityUnited States Committee Member in Program Committee within the ESOP-track
Meng WangWang, Meng University of Bristol, UKUnited Kingdom Composing bidirectional programs monadically
Pierre WilkeWilke, Pierre Yale University Compiling Sandboxes: Formally Verified Software Fault Isolation
X Li-yao XiaXia, Li-yao University of Pennsylvania Composing bidirectional programs monadically
Ningning XieXie, Ningning University of TorontoCanada Distributive Disjoint Polymorphism for Compositional Programming
Y Nobuko YoshidaYoshida, Nobuko Imperial College London Asynchronous timed session types: duality and time-sensitive processes