ETAPS 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (974)

Guillermo A. Perez University of Antwerp Belgium Session Chair of Reactive Synthesis Background & SYNTCOMP (part of SYNT Camp) Session Chair of Hands-on BoSy Tutorial (part of SYNT Camp) Author of Reactive Synthesis Background and the Synthesis Competition within the SYNT Camp-track in SYNT Camp 2019 Author of The Impatient May Use Limited Optimism to Minimize Regret within the FOSSACS 2019-track in FOSSACS 2019 Committee Member in Program Committee within the SYNT Camp-track Committee Member in Organizing Committee within the SYNT Camp-track
Tim A.C. Willemse Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Alessandro Abate University of Oxford United Kingdom Author of StocHy: automated verification and synthesis of stochastic processes within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the HSB-track
Parosh Aziz Abdulla Uppsala University Sweden Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the TACAS-track Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Samson Abramsky University of Oxford United Kingdom Chair in Steering Committee within the GaLoP-track
Beniamino Accattoli Inria & Ecole Polytechnique Author of Types by Need within the ESOP 2019-track in ESOP 2019
Luca Aceto Gran Sasso Science Institute Italy Committee Member in Program Committee within the FOSSACS-track
Mathieu Acher Committee Member in Program Committee within the InterAVT-track
Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto Argentina Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track in FASE 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track in ETAPS 2019
Danel Ahman University of Ljubljana Slovenia Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Amal Ahmed Northeastern University, USA United States Committee Member in Steering Committee for ETAPS 2019
Alex Aiken Stanford University Author of Data Representation Synthesis: Past, Present and Future within the Mooly Fest-track in ETAPS 2019
S. Akshay Author of Continuous Reachability for Unordered Data Petri Nets is in PTime within the FOSSACS 2019-track in FOSSACS 2019
Aurore Alcolei Author of Resource-Tracking Concurrent Games within the FOSSACS 2019-track in FOSSACS 2019
Alessandro Aldini University of Urbino Italy Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track
Perry Alexander Author of Orchestrating Layered Attestations within the POST 2019-track in POST 2019
Frank Allgower University of Stuttgart Germany Committee Member in Program Committee within the HSB-track
Bernardo Almeida Universidade de Lisboa Author of FreeST: context-free session types in a functional language within the PLACES-track in PLACES 2019 Author of FreeST: context-free session types in a functional language within the Posters-track in ETAPS 2019
Assel Altayeva Imperial College London United Kingdom Author of Service Equivalence via Multiparty Session Type Isomorphisms within the PLACES-track in PLACES 2019 Author of Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms within the Posters-track in ETAPS 2019
Mario Alvarez-Picallo University of Oxford Author of Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog within the ESOP 2019-track in ESOP 2019 Author of Change Actions: Models of Generalised Differentiation within the FOSSACS 2019-track in FOSSACS 2019
Peter Amidon Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track in POST 2019
Nada Amin University of Cambridge United Kingdom Committee Member in Program Committee within the ESOP-track
Pavel Andrianov Author of CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software within the Posters-track in ETAPS 2019 Author of CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software within the Posters-track in ETAPS 2019 Author of CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software within the Posters-track in ETAPS 2019 Author of PeSCo: Predicting Sequential Combinations of Verifiers within the Posters-track in ETAPS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Étienne André LIPN, CNRS UMR 7030, Université Paris 13 France Author of Minimal-Time Synthesis for Parametric Timed Automata within the TACAS 2019-track in TACAS 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the Posters-track in ETAPS 2019 Steering Committee Chair in Steering Committee (and PC) within the SynCoP-track
Timos Antonopoulos Yale University Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 2019-track in POST 2019
Farhad Arbab CWI and Leiden University Netherlands Committee Member in Program Committee within the MeTRiD-track
Murat Arcak Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the TACAS 2019-track in TACAS 2019 Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the Posters-track in ETAPS 2019
Owen Arden UC Santa Cruz United States Committee Member in Program Committee within the POST-track
Zena M. Ariola University of Oregon, USA Author of Codata in Action within the ESOP 2019-track in ESOP 2019
Himanshu Arora Author of Checking Observational Purity Of Procedures within the FASE 2019-track in FASE 2019
Eugene Asarin IRIF, University Paris Diderot and CNRS, France Author of Timed Patterns: from Definition to Matching and Monitoring, a survey in memoriam Oded Maler within the HSB-track in HSB 2019
Aslan Askarov Aarhus University Denmark Author of A Dependently Typed Library for Static Information-Flow Control in Idris within the POST 2019-track in POST 2019 Committee Member in Program Committee within the POST-track
David Aspinall Author of On the formalisation of Σ-Protocols and Commitment Schemes within the POST 2019-track in POST 2019
Robert Atkey University of Strathclyde Committee Member in Program Committee within the DICE-FOPARA-track
Paul Attie American University of Beirut Lebanon Committee Member in Program Committee within the MeTRiD-track
Christian Attiogbe Author of Parametric statistical model checking of UAV flightplan within the SynCoP-track in SynCoP 2019
Juan Carlos Augusto Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
Martin Avanzini INRIA Sophia Antipolis, France France Author of Modular Runtime Complexity Analysis of Probabilistic While Programs within the DICE-FOPARA-track in DICE-FOPARA 2019 PC Member in Program Committee within the DICE-FOPARA-track
Souheib Baarir Author of Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework within the TACAS 2019-track in TACAS 2019
Junaid Babar Author of Edge-Specified Reduction Binary Decision Diagrams within the TACAS 2019-track in TACAS 2019
Giorgio Bacci Aalborg University Author of A Faster-Than Relation for Semi-Markov Decision Processes within the QAPL-track in QAPL 2019
David Baelde LSV, ENS Cachan France Author of Bouncing Threads for Infinitary and Circular Proofs within the GaLoP-track in GaLoP 2019
Alessandra Bagnato Softeam Committee Member in Program Committee within the InterAVT-track
Christel Baier TU Dresden, Germany Germany Committee Member in Steering Committee for ETAPS 2019 Author of Parametric Markov chains: algorithms, complexity and applications within the SynCoP-track in SynCoP 2019 Author of Partial and Conditional Expectations in Markov Decision Processes with Integer Weights within the FOSSACS 2019-track in FOSSACS 2019 Author of Partial and Conditional Expectations in Markov Decision Processes with Integer Weights within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
Patrick Baillot CNRS & ENS Lyon France Session Chair of III (part of DICE-FOPARA) Chair in Steering Committee (DICE) within the DICE-FOPARA-track
Alexey Bakhirkin Author of Specification and Efficient Monitoring Beyond STL within the TACAS 2019-track in TACAS 2019
Musard Balliu KTH Royal Institute of Technology Sweden Committee Member in Program Committee within the POST-track
Thomas Ball Microsoft Research United States Speaker of Push, Pull, Partner - A Few Models for Industrial Research within the Mentoring Workshop-track in ETAPS 2019 Author of Mooly: Mensch, Marathon, Method, Magic within the Mooly Fest-track in ETAPS 2019 Speaker in Speakers within the ETAPS Mentoring Workshop-track
Stephanie Balzer Carnegie Mellon University United States Session Chair of Program Analysis and Automated Verification (part of ESOP) Author of Keynote: Shared Session Types for Safe, Practical Concurrency within the PLACES-track in PLACES 2019 Author of Manifest Deadlock-Freedom for Shared Session Types within the ESOP 2019-track in ESOP 2019 Author of Science and Sanity: how to do the former while retaining the later (Panel) within the Mentoring Workshop-track in ETAPS 2019 Committee Member in Program Committee within the ESOP-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Ran Bao Author of Parametric statistical model checking of UAV flightplan within the SynCoP-track in SynCoP 2019
Gianluca Barbon Universit� Grenoble Alpes, Inria, LIG Author of Debugging of Behavioural Models with CLEAR within the TACAS 2019-track in TACAS 2019
Simone Barlocco Author of Coalgebra Learning via Duality within the FOSSACS 2019-track in FOSSACS 2019
Gilles Barthe IMDEA Software Institute Spain Satellite Events in Executive Board for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Ezio Bartocci Technische Universität Wien Speaker of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track in MeTRiD 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the HSB-track
Massimo Bartoletti Author of Verifying liquidity of Bitcoin contracts within the POST 2019-track in POST 2019
Stylianos Basagiannis United Technologies Research centre Author of Welcome to InterAVT 2019 within the InterAVT-track in InterAVT 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Organizing Committee within the InterAVT-track
Henning Basold CNRS & ENS Lyon Author of Coinduction in Uniform: what's next? within the HCVS-track in HCVS 2019 Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 2019-track in ESOP 2019
Nicolas Basset Author of Specification and Efficient Monitoring Beyond STL within the TACAS 2019-track in TACAS 2019
Kevin Batz RWTH Aachen University Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track in QAPL 2019
Lujo Bauer Carnegie Mellon University United States Committee Member in Steering Committee for ETAPS 2019
Richard Bayford Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
Bernhard Beckert Karlsruhe Institute of Technology Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Nils Becker Author of The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations within the TACAS 2019-track in TACAS 2019
Gina Belmonte Author of Recent Applications and Quantitative Aspects of Spatial Model Checking within the QAPL-track in QAPL 2019 Author of VoxLogicA: a Spatial Model Checker for Declarative Image Analysis within the TACAS 2019-track in TACAS 2019
Najah Ben Said Verimag Committee Member in Program Committee within the SPIoT-track
Amir Ben-Amram Author of Tight Worst-Case Bounds for Polynomial Loop Programs within the FOSSACS 2019-track in FOSSACS 2019
Nikola Benes Author of Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties within the SynCoP-track in SynCoP 2019 Author of Digital Bifurcation Analysis of TCP Dynamics within the TACAS 2019-track in TACAS 2019
Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track in FASE 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track in ETAPS 2019
Saddek Bensalem Verimag Author of Programming Dynamic Reconfigurable Systems with DR-BIP within the MeTRiD-track in MeTRiD 2019 Author of Rigorous Design of FDIR Systems with BIP within the InterAVT-track in InterAVT 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Stefano Berardi Università di Torino Italy Committee Member in Program Committee within the FASE-track
Lennart Beringer Princeton University United States Committee Member in Program Committee within the DICE-FOPARA-track
Cinzia Bernardeshi Univ. of Pisa Italy Author of Modeling and Simulation of Attacks on Cyber-physical Systems within the MeTRiD-track in MeTRiD 2019 Author of FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems within the InterAVT-track in InterAVT 2019 Committee Member in Program Committee within the InterAVT-track
Marco Bernardo University of Urbino Author of Coherent Resolutions of Nondeterminism within the QAPL-track in QAPL 2019 Author of Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS within the QAPL-track in QAPL 2019
Nathalie Bertrand INRIA Rennes Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track in MeTRiD 2019 Steering Committee Member in Steering Committee within the QAPL-track
Frédéric Besson Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track in ESOP 2019
Dirk Beyer LMU Munich Germany Committee Member in Steering Committee for ETAPS 2019 Session Chair of Verification and Analysis (part of TACAS) Author of CoVeriTest: Cooperative, Verifier-Based Testing within the FASE 2019-track in FASE 2019 Author of CoVeriTest: Cooperative Verifier-Based Testing within the Posters-track in ETAPS 2019 Author of Software Verification — An Overview of the State of the Art within the Tutorials-track in ETAPS 2019 Competition chair in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track Committee Member in Organizers within the ETAPS TOOLympics-track Committee Member in Program Committee within the InterAVT-track
Nikolaos Bezirgiannis Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track in FASE 2019 Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track in ETAPS 2019
Armin Biere Johannes Kepler University Linz Austria Session Chair of SAT Solving and Theorem Proving (part of TACAS) Session Chair of SAT and SMT II (part of TACAS) Author of Encoding Redundancy for Satisfaction-Driven Clause Learning within the TACAS 2019-track in TACAS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Dariusz Biernacki University of Wrocław Author of A Complete Normal-Form Bisimilarity for State within the FOSSACS 2019-track in FOSSACS 2019
Lars Birkedal Aarhus University Denmark Committee Member in Program Committee within the ESOP-track
Benjamin Bisping Technische Universität Berlin Germany Author of Computing Coupled Similarity within the TACAS 2019-track in TACAS 2019 Author of Computing Coupled Similarity within the Posters-track in ETAPS 2019
Xuan Bi Standard Chartered Bank China Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track in ESOP 2019 Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track in ETAPS 2019
Nikolaj Bjørner Microsoft Research Session Chair of IV (part of HCVS) Author of Special Relations for Special Relationships within the Mooly Fest-track in ETAPS 2019 Committee Member in Program Committee within the HCVS-track
Jasmin Blanchette Vrije Universiteit Amsterdam Netherlands Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track in TACAS 2019
Sandrine Blazy Univ Rennes- IRISA France Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track in ESOP 2019
Jan Olaf Blech Aalto University Author of Towards Digital Twins for the Description of Automotive Software Systems within the QAPL-track in QAPL 2019
Martin Blicha USI Lugano, Switzerland Author of Decomposing Farkas Interpolants within the HCVS-track in HCVS 2019 Author of Decomposing Farkas Interpolants within the TACAS 2019-track in TACAS 2019 Author of Decomposing Farkas Interpolants within the Posters-track in ETAPS 2019
Simon Bliudze INRIA Lillle - Nord Europe France Session Chair of Welcome & Keynote 1 (part of MeTRiD) Co-chair of Welcome within the MeTRiD-track in MeTRiD 2019 Co-chair in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Vincent Bloemen University of Twente Author of Minimal-Time Synthesis for Parametric Timed Automata within the TACAS 2019-track in TACAS 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the Posters-track in ETAPS 2019
Roderick Bloem Institute of Software Technology, Graz University of Technology Committee Member in Program Committee within the SYNT Camp-track
Achim Blumensath Masaryk University Czech Republic Committee Member in Program Committee within the FOSSACS-track
Thomas Bläsius Author of On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition within the TACAS 2019-track in TACAS 2019
Laura Bocchi University of Kent United Kingdom Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track in ESOP 2019 PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Alexander Bockmayr Freie Universität Berlin Author of Poster flash: Formalizing metabolic-regulatory networks by hybrid automata within the HSB-track in HSB 2019
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the TACAS 2019-track in TACAS 2019 Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the Posters-track in ETAPS 2019
Chiara Bodei University of Pisa Italy Committee Member in Program Committee within the POST-track
Sergiy Bogomolov Australian National University Australia Committee Member in Program Committee within the HSB-track
Mikolaj Bojanczyk University of Warsaw Poland Committee Member in Steering Committee for ETAPS 2019 Session Chair of Colcombet (part of ETAPS Keynotes) Session Chair of Verification (part of FOSSACS) Session Chair of Verification (continued) (part of FOSSACS) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the FOSSACS-track
Pavol Bokes Comenius University Author of Controlling noisy expression through auto regulation of burst frequency and protein stability within the HSB-track in HSB 2019
Benedikt Bollig CNRS, LSV, ENS Paris-Saclay France Author of Identifiers in Registers – Describing Network Algorithms with Logic within the FOSSACS 2019-track in FOSSACS 2019
Johannes Borgström Uppsala University Sweden Committee Member in Program Committee within the ESOP-track
Artur Boronat University of Leicester Author of Offline Delta-driven Model Transformation with Dependency Injection within the FASE 2019-track in FASE 2019
Luca Bortolussi University of Trieste Italy Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track in SynCoP 2019 Committee Member in Program Committee within the HSB-track Steering Committee Member in Steering Committee within the QAPL-track
Goetz Botterweck Lero - The Irish Software Research Centre and University of Limerick Ireland Author of Welcome to InterAVT 2019 within the InterAVT-track in InterAVT 2019 Author of Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges within the InterAVT-track in InterAVT 2019 Committee Member in Organizing Committee within the InterAVT-track
Ahmed Bouajjani IRIF, Université Paris Diderot France Committee Member in Program Committee within the TACAS-track
Pierre Boutillier Author of Counters in Kappa: Semantics, Simulation, and Static Analysis within the ESOP 2019-track in ESOP 2019
Patricia Bouyer LSV, CNRS & ENS Cachan, University Paris Saclay France Author of Identifiers in Registers – Describing Network Algorithms with Logic within the FOSSACS 2019-track in FOSSACS 2019 Committee Member in Program Committee within the TACAS-track
Marius Bozga Verimag/CNRS Author of Programming Dynamic Reconfigurable Systems with DR-BIP within the MeTRiD-track in MeTRiD 2019 Author of Checking Deadlock-Freedom of Parametric Component-Based Systems within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the MeTRiD-track
Marco Bozzano Author of COMPASS 3.0 within the TACAS 2019-track in TACAS 2019 Author of The COMPASS 3.0 Toolset within the Posters-track in ETAPS 2019
Edwin Brady University of St. Andrews, UK United Kingdom Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track in PLACES 2019
Martin Brain Author of Building Better Bit-Blasting for Floating-Point Problems within the TACAS 2019-track in TACAS 2019
Jorg Brauer Verified Systems Germany Committee Member in Program Committee within the InterAVT-track
Mario Bravetti Università di Bologna Italy Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track in FASE 2019 Committee Member in Program Committee within the FASE-track
Lubos Brim Author of Digital Bifurcation Analysis of TCP Dynamics within the TACAS 2019-track in TACAS 2019
Einar Broch Johnsen University of Oslo Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track in FASE 2019 Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track in ETAPS 2019
Harold Bruintjes Author of COMPASS 3.0 within the TACAS 2019-track in TACAS 2019 Author of The COMPASS 3.0 Toolset within the Posters-track in ETAPS 2019
Etienne Brunner Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Jeremy Bryans Coventry University Committee Member in Program Committee within the InterAVT-track
Barbora Buhnova Masaryk University Publicity Chair in Organizing Committee for ETAPS 2019 Author of Science and Sanity: how to do the former while retaining the later (Panel) within the Mentoring Workshop-track in ETAPS 2019 Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Olav Bunte Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Tomas Bures Charles University, Czech Republic Czech Republic Committee Member in Program Committee within the MeTRiD-track
Samuele Buro Università degli Studi di Verona Author of On the Multi-Language Construction within the ESOP 2019-track in ESOP 2019
Sebastian Buruiana Author of Semantics-Based Proofs of Equivalence for Functions with Accumulators within the PERR-track in PERR 2019
Yuliya Butkova Author of Optimal Time-Bounded Reachability Analysis for Concurrent Systems within the TACAS 2019-track in TACAS 2019
David Butler Author of On the formalisation of Σ-Protocols and Commitment Schemes within the POST 2019-track in POST 2019
Jordi Cabot ICREA - UOC Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
Michaël Cadilhac Author of The Impatient May Use Limited Optimism to Minimize Regret within the FOSSACS 2019-track in FOSSACS 2019
Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Portugal Committee Member in Steering Committee for ETAPS 2019 Session Chair of Fisher (part of ETAPS Keynotes) Session Chair of Program Verification (part of ESOP) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Chair in Program Committee within the ESOP-track
Georgiana Caltais University of Konstanz Co-chair in Program Committee within the CREST-track
Giulio Caravagna Institute of Cancer Research United Kingdom Committee Member in Program Committee within the HSB-track
Marco Carbone IT University of Copenhagen Author of Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months. within the BEHAPI-track in BEHAPI 2019
Luca Cardelli Microsoft Research and University of Oxford United Kingdom Author of Markovian equivalences for biochemical reaction networks within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the HSB-track
Caroline Caruana University of Malta Author of BehAPI Practices within the BEHAPI-track in BEHAPI 2019
Simon Castellan Imperial College London, UK Author of Probabilistic Programming Inference via Intensional Semantics within the GaLoP-track in GaLoP 2019 Author of Probabilistic Programming Inference via Intensional Semantics within the ESOP 2019-track in ESOP 2019 Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track in FOSSACS 2019
Simon Castellan Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track in GaLoP 2019
Pablo Castro Dept. of Computer Science FCEFQyN, University of Rio Cuarto Argentina Author of Measuring Masking Fault-Tolerance within the TACAS 2019-track in TACAS 2019
Nathalie Cauchi University of Oxford United Kingdom Author of StocHy: automated verification and synthesis of stochastic processes within the TACAS 2019-track in TACAS 2019
Ana Cavalcanti University of York United Kingdom Committee Member in Program Committee within the FASE-track
Milan Ceska Brno University of Technology Czech Republic Workshops Co-Chair in Organizing Committee for ETAPS 2019 Session Chair of I (part of HSB) Author of Shepherding Hordes of Markov Chains within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the HSB-track Committee Member in Organizing Committee within the HSB-track Co-chair in Organizing Committee within the ETAPS Workshops-track
Adrien Champion OCamlPro France Committee Member in Program Committee within the HCVS-track
Matthew Chan Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track in POST 2019
Guido Chari Czech Technical University, Czechia Czech Republic Student Volunteer Co-Chair in Organizing Committee for ETAPS 2019 Author of A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation within the BEHAPI-track in BEHAPI 2019
Madalena Chaves INRIA Author of rPrism -- A software for reactive weighted state transition models within the HSB-track in HSB 2019
Marsha Chechik University of Toronto Canada Author of Software Assurance in an Uncertain World within the Keynotes-track in ETAPS 2019 Author of Advice on your adviser within the Mentoring Workshop-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Yu-Fang Chen Academia Sinica Taiwan Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track in TACAS 2019 Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track in ETAPS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track
Taolue Chen Birkbeck, University of London Author of Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks within the TACAS 2019-track in TACAS 2019
Xiaohong Chen Author of SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language within the FASE 2019-track in FASE 2019
Elizabeth Cherry Rochester Institute of Technology United States Committee Member in Program Committee within the HSB-track
Michela Chiappalone Italian Institute of Technology Italy Session Chair of Synthesis and Inference (part of HSB) Author of Invited talk: Closed-loop neurohybrid interfaces: from in vitro to in vivo studies and beyond within the HSB-track in HSB 2019 Committee Member in Program Committee within the HSB-track
Hana Chockler King's College London Committee Member in Program Committee within the CREST-track
Nikita Chopra Author of Data-Races and Static Analysis for Interrupt-Driven Kernels within the ESOP 2019-track in ESOP 2019
Maria Christakis MPI-SWS Germany Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track in TACAS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track
Agata Ciabattoni TU Wien Austria Committee Member in Program Committee within the FOSSACS-track
Vincenzo Ciancia Author of Recent Applications and Quantitative Aspects of Spatial Model Checking within the QAPL-track in QAPL 2019 Author of VoxLogicA: a Spatial Model Checker for Declarative Image Analysis within the TACAS 2019-track in TACAS 2019
Gianfranco Ciardo Author of iRank: a variable order metric for DEDS subject to linear invariants within the TACAS 2019-track in TACAS 2019 Author of Edge-Specified Reduction Binary Decision Diagrams within the TACAS 2019-track in TACAS 2019
Alessandro Cimatti Fondazione Bruno Kessler Italy Author of COMPASS 3.0 within the TACAS 2019-track in TACAS 2019 Author of The COMPASS 3.0 Toolset within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track
Eugenio Cinquemani INRIA, Grenoble France Committee Member in Program Committee within the HSB-track
Stefan Ciobaca Alexandru Ioan Cuza University of Iasi Author of Semantics-Based Proofs of Equivalence for Functions with Accumulators within the PERR-track in PERR 2019 Committee Member in Program Committee within the PERR-track
Gabriel Ciobanu Alexandru Ioan Cuza University of Iasi Committee Member in Program Committee within the CREST-track
Pierre Clairambault CNRS & ENS Lyon France Author of Full Abstraction for the Quantum Lambda-Calculus within the GaLoP-track in GaLoP 2019 Author of Resource-Tracking Concurrent Games within the FOSSACS 2019-track in FOSSACS 2019 Chair in Program Committee within the GaLoP-track
Rance Cleaveland University of Maryland United States Session Chair of Safety and Fault-tolerant Systems (part of TACAS) Panelist of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU) Netherlands Author of Tool Support for Correctness-by-Construction within the FASE 2019-track in FASE 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track in ETAPS 2019
Tiago Cogumbreiro University of Massachusetts Boston United States Committee Member in Program Committee within the PLACES-track
Albert Cohen Google France Committee Member in Program Committee within the SPIoT-track
Thomas Colcombet IRIF, University Paris Diderot and CNRS, France France Session Chair of Automata (part of FOSSACS) Author of On infinite duration games within the Keynotes-track in ETAPS 2019 Invited Speaker in Invited Speaker within the FOSSACS-track Mentor in Mentors within the ETAPS Mentoring Workshop-track
Jacques Combaz Verimag/CNRS Speaker of Revisiting the Glue of BIP within the MeTRiD-track in MeTRiD 2019
Lucas Cordeiro University of Oxford United Kingdom Author of JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) within the Posters-track in ETAPS 2019
Maxime Cordy SnT, University of Luxembourg Committee Member in Program Committee within the InterAVT-track
Andrea Corradini Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track in FOSSACS 2019
Flavio Corradini University of Camerino Italy Committee Member in Program Committee within the FOSSACS-track
Agostino Cortesi Università Ca' Foscari Venezia Italy Author of Static Analysis for the OWASP IoT Top 10 2018. within the SPIoT-track in SPIoT 2019 Author of Cross Programming Language Taint Analysis for the IoT Ecosystem within the InterAVT-track in InterAVT 2019
Veronique Cortier CNRS, LORIA France Committee Member in Program Committee within the POST-track
Camille Coti LIPN, Université Paris 13 France Author of Fault-tolerant matrix factorisation: a formal model and proof within the SynCoP-track in SynCoP 2019
Patrick Cousot Author of Calculational design of a static dependency analysis within the Mooly Fest-track in ETAPS 2019
Matteo Cristani Author of Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes within the DICE-FOPARA-track in DICE-FOPARA 2019
Ioana Cristescu INRIA, France Author of Counters in Kappa: Semantics, Simulation, and Static Analysis within the ESOP 2019-track in ESOP 2019 Committee Member in Program Committee within the SPIoT-track
Simon Cruanes Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track in TACAS 2019
Ryan Culpepper Czech Technical University Czech Republic Workshops Co-Chair in Organizing Committee for ETAPS 2019 Co-chair in Organizing Committee within the ETAPS Workshops-track
Pierre-Louis Curien Univ. Paris Diderot and INRIA Paris-Rocquencourt France Author of Sequential algorithms and innocent strategies share the same execution mechanism within the GaLoP-track in GaLoP 2019 Committee Member in Steering Committee within the GaLoP-track
Lukasz Czajka University of Innsbruck Austria PC Member in Program Committee within the DICE-FOPARA-track
Pedro D'Argenio Author of Measuring Masking Fault-Tolerance within the TACAS 2019-track in TACAS 2019
Deepak D'Souza Author of Data-Races and Static Analysis for Interrupt-Driven Kernels within the ESOP 2019-track in ESOP 2019
John D. Ramsdell Author of Orchestrating Layered Attestations within the POST 2019-track in POST 2019
Paul D. Rowe Author of Orchestrating Layered Attestations within the POST 2019-track in POST 2019
Ugo Dal Lago University of Bologna / Inria Italy Committee Member in Steering Committee for ETAPS 2019 Author of Effectful Normal-Form Bisimulation within the ESOP 2019-track in ESOP 2019 Committee Member in Program Committee within the ESOP-track Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Neil Dalchau Microsoft Research United Kingdom Committee Member in Program Committee within the HSB-track
Ferruccio Damiani University of Turin Italy Committee Member in Program Committee within the FASE-track
Thao Dang CNRS/VERIMAG France Author of Oded Maler: An odyssey from Computer Science to Biological Sciences within the HSB-track in HSB 2019 Committee Member in Program Committee within the HSB-track
Alexandre Dang Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track in ESOP 2019
Ornela Dardha University of Glasgow United Kingdom Session Chair of II (part of PLACES) Author of Binary Session Types in Coq within the BEHAPI-track in BEHAPI 2019 Committee Member in Program Committee within the PLACES-track
Luc Dartois Author of Two-Way Parikh Automata with a Visibly Pushdown Stack within the FOSSACS 2019-track in FOSSACS 2019
Ankush Das Carnegie Mellon University United States PC Member in Program Committee within the DICE-FOPARA-track
Joshua Dawes University of Manchester and CERN Switzerland Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the TACAS 2019-track in TACAS 2019 Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the Posters-track in ETAPS 2019
Emanuele De Angelis University of Chieti-Pescara Italy Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track in HCVS 2019 Co-chair in Organizing Committee within the HCVS-track Co-chair in Program Committee within the HCVS-track
Hidde De Jong INRIA Grenoble - Rhone-Alpes France Committee Member in Program Committee within the HSB-track
Leonardo De Moura Microsoft Research United States Committee Member in Program Committee within the TACAS-track
Marc De Visme ENS Lyon Author of Full Abstraction for the Quantum Lambda-Calculus within the GaLoP-track in GaLoP 2019
Alexandre Debant Author of Symbolic verification of distance bounding protocols within the POST 2019-track in POST 2019
Pierpaolo Degano Universita di Pisa Italy Committee Member in Program Committee within the POST-track
Benoit Delahaye Author of Parametric statistical model checking of UAV flightplan within the SynCoP-track in SynCoP 2019
Stephanie Delaune Author of Symbolic verification of distance bounding protocols within the POST 2019-track in POST 2019
David Delmas Airbus & Sorbonne Université France Author of Analysis of program differences with numerical abstract interpretation within the PERR-track in PERR 2019
Giorgio Delzanno DIBRIS, University of Genova Italy Steering Committee Member in Steering Committee (and PC) within the SynCoP-track Committee Member in Program Committee within the HCVS-track
Ramiro Demasi Author of Measuring Masking Fault-Tolerance within the TACAS 2019-track in TACAS 2019
Ewen Denney NASA Ames Research Center United States Committee Member in Program Committee within the FASE-track
Abhishek De IRIF, CNRS, France Author of Towards Circular Proof Nets within the GaLoP-track in GaLoP 2019
Alessandra Di Pierro University of Verona, Italy Steering Committee Member in Steering Committee within the QAPL-track
Daniel Dietsch University of Freiburg Author of Ultimate TreeAutomizer within the HCVS-track in HCVS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Aleksandar S. Dimovski Mother Teresa University, Skopje Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track in FASE 2019
Marco Dinatale Scuole Santa Anna Italy Committee Member in Program Committee within the InterAVT-track
Zinovy Diskin Author of SL2SF: Refactoring Simulink to Stateflow within the FASE 2019-track in FASE 2019
Andrea Domenici University of Pisa, Italy Author of FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems within the InterAVT-track in InterAVT 2019
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Germany Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the TACAS 2019-track in TACAS 2019 Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the Posters-track in ETAPS 2019
Susanna Donatelli Author of iRank: a variable order metric for DEDS subject to linear invariants within the TACAS 2019-track in TACAS 2019
Alexandre Donze University of California, Berkeley Author of From Sensitive to Formal Barbaric Systems Biology within the HSB-track in HSB 2019
Amina Doumane Author of Bouncing Threads for Infinitary and Circular Proofs within the GaLoP-track in GaLoP 2019 Author of Kleene algebra with hypotheses within the FOSSACS 2019-track in FOSSACS 2019
Paul Downen University of Oregon, USA Author of Codata in Action within the ESOP 2019-track in ESOP 2019
Iulia Dragomir Author of Rigorous Design of FDIR Systems with BIP within the InterAVT-track in InterAVT 2019
Mark Dras Author of Generalised Differential Privacy for Text Document Processing within the POST 2019-track in POST 2019
Tommaso Dreossi University of California at Berkeley United States Committee Member in Program Committee within the HSB-track
Claire Dross AdaCore France Committee Member in Organizing Committee within the VerifyThis-track
Paul Dubrulle Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track in FASE 2019
Jérémy Dubut Author of Trees in Partial Higher Dimensional Automata within the FOSSACS 2019-track in FOSSACS 2019 Author of Path category for free - Open morphisms from coalgebras with non-deterministic branching within the FOSSACS 2019-track in FOSSACS 2019
Parasara Sridhar Duggirala University of Connecticut United States Committee Member in Program Committee within the TACAS-track
Marlon Dumas Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Victor Dumitrescu Nomadic Labs Paris France Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Sjur Kristoffer Dyrkolbotn Western Norway University of Applied Sciences Committee Member in Program Committee within the CREST-track
Clovis Eberhart National Institute of Informatics, Japan Author of Simple game semantics and Day convolution within the GaLoP-track in GaLoP 2019
Mnacho Echenim Author of The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains within the FOSSACS 2019-track in FOSSACS 2019
Jeremy S Edwards University of New Mexico Author of Extracting landscape features from single particle trajectories within the HSB-track in HSB 2019
Marco Eilers ETH Zurich Switzerland Author of Invited talk by Marco Eilers within the PERR-track in PERR 2019
Rim El Ballouli Verimag Author of Programming Dynamic Reconfigurable Systems with DR-BIP within the MeTRiD-track in MeTRiD 2019
Petru Eles Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track in TACAS 2019
Søren Eller Thomsen Aarhus University Denmark Author of A Dependently Typed Library for Static Information-Flow Control in Idris within the POST 2019-track in POST 2019
Mehmet Emre University of California, Santa Barbara Author of Structural and Nominal Cross-Language Clone Detection within the FASE 2019-track in FASE 2019
Constantin Enea Université Paris Diderot France Committee Member in Program Committee within the ESOP-track
Søren Enevoldsen Author of Abstract Dependency Graphs and Their Application to Model Checking within the TACAS 2019-track in TACAS 2019
Javier Esparza Author of Computing the Expected Execution Time of Probabilistic Workflow Nets within the TACAS 2019-track in TACAS 2019
Alexander Eyers-Taylor Semmle United Kingdom Author of Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog within the ESOP 2019-track in ESOP 2019
Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track in FASE 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track in ETAPS 2019
Eric Fabre INRIA Committee Member in Program Committee within the CREST-track
François Fages Inria Saclay - Ile de France France Committee Member in Program Committee within the HSB-track
Claudia Faggian IRIF France Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Eric Fanchon CNRS, TIMC-IMAG France Committee Member in Program Committee within the HSB-track
Alessandro Fantechi University of Florence Italy Committee Member in Program Committee within the InterAVT-track
Grigory Fedyukovich Princeton University United States Author of Report on the CHC competition within the HCVS-track in HCVS 2019 Co-chair in Organizing Committee within the HCVS-track Co-chair in Program Committee within the HCVS-track
Luke Fenton-Glynn University College London Invited Speaker of Probabilistic Actual Causation within the CREST-track in CREST 2019 Committee Member in Invited Speakers within the CREST-track
Jerome Feret INRIA Paris France Session Chair of Analysis (part of HSB) Author of Counters in Kappa: Semantics, Simulation, and Static Analysis within the ESOP 2019-track in ESOP 2019 Committee Member in Program Committee within the HSB-track
Hasan Ferit Eniser Author of DeepFault: Fault Localization For Deep Neural Networks within the FASE 2019-track in FASE 2019 Author of DeepFault: Fault Localization for Deep Neural Networks within the Posters-track in ETAPS 2019
Chris Fermüller Vienna University of Technology Author of Modalities as prices: a game model of intuitionistic linear logic with subexponentials within the GaLoP-track in GaLoP 2019
Natasha Fernandes Author of Generalised Differential Privacy for Text Document Processing within the POST 2019-track in POST 2019
Pietro Ferrara JuliaSoft SRL, Italy Italy Author of Static Analysis for the OWASP IoT Top 10 2018. within the SPIoT-track in SPIoT 2019 Author of Cross Programming Language Taint Analysis for the IoT Ecosystem within the InterAVT-track in InterAVT 2019
Francisco Ferreira Imperial College London Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019 Author of Adventures in Formalising the Meta-Theory of Session Types within the BEHAPI-track in BEHAPI 2019
Thomas Ferrère IST Austria Author of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track in MeTRiD 2019
Daniel Figueiredo University of Aveiro Author of rPrism -- A software for reactive weighted state transition models within the HSB-track in HSB 2019
Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute France Invited Speaker of Model checking games: the recent advances on parity games within the GaLoP-track in GaLoP 2019 Committee Member in Program Committee within the FOSSACS-track
Emmanuel Filiot Author of Two-Way Parikh Automata with a Visibly Pushdown Stack within the FOSSACS 2019-track in FOSSACS 2019
Bernd Finkbeiner Author of Constraint-based Monitoring of Hyperproperties within the Posters-track in ETAPS 2019
Fabio Fioravanti University of Chieti-Pescara Italy Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track in HCVS 2019 Committee Member in Program Committee within the HCVS-track
Kathleen Fisher Tufts University United States Author of One Step at a Time within the ESOP 2019-track in ESOP 2019 Author of From quadcopters to helicopters: Formal verification to eliminate exploitable bugs within the Keynotes-track in ETAPS 2019
Cormac Flanagan University of California, Santa Cruz Ireland Author of Towards Efficient and Precise Concurrent Software Analysis within the Keynotes-track in ETAPS 2019
Simon Fowler The University of Edinburgh United Kingdom Committee Member in Program Committee within the PLACES-track
Gereon Fox Author of Optimal Time-Bounded Reachability Analysis for Concurrent Systems within the TACAS 2019-track in TACAS 2019
Adrian Francalanza University of Malta Malta Session Chair of BehAPI Business Meeting (part of BEHAPI) Author of BehAPI Year 1 Review and Year 2 projections within the BEHAPI-track in BEHAPI 2019 Committee Member in Program Committee within the PLACES-track PC Chair in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Juliana Franco Microsoft Research, Cambridge United Kingdom Author of A few lessons from the PhD I just finished within the Mentoring Workshop-track in ETAPS 2019 Author of Science and Sanity: how to do the former while retaining the later (Panel) within the Mentoring Workshop-track in ETAPS 2019 Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Giovanni Franzoni Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the TACAS 2019-track in TACAS 2019 Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the Posters-track in ETAPS 2019
Karlheinz Friedberger Author of CPAchecker with Strategy Selection within the Posters-track in ETAPS 2019
Tobias Friedrich Author of On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition within the TACAS 2019-track in TACAS 2019
Jan Friso Groote Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Lars Fritsche Author of Efficient Model Synchronization by Automatically Constructed Repair Processes within the FASE 2019-track in FASE 2019
Dan Frumin Radboud University Author of Semi-Automated Reasoning About Non-Determinism in C Expressions within the ESOP 2019-track in ESOP 2019
Carsten Fuhs Birkbeck, University of London United Kingdom Author of Proving Program Equivalence with Constrained Rewriting Induction and Ctrl within the PERR-track in PERR 2019 Author of A static higher-order dependency pair framework within the ESOP 2019-track in ESOP 2019
Nathan Fulton MIT-IBM Watson AI Lab United States Author of Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges" within the InterAVT-track in InterAVT 2019 Author of Verifiably Safe Off-Model Reinforcement Learning within the TACAS 2019-track in TACAS 2019 Author of Verifiably Safe Off-Model Reinforcement Learning within the Posters-track in ETAPS 2019
Carlo A. Furia Università della Svizzera italiana (USI) Switzerland Committee Member in Organizing Committee within the VerifyThis-track
Hugo Férée University of Kent, UK United Kingdom PC Member in Program Committee within the DICE-FOPARA-track
John P. Gallagher Roskilde University Denmark Session Chair of III (part of HCVS) Author of Challenges in the specialisation of smart Horn clause interpreters within the HCVS-track in HCVS 2019 Committee Member in Program Committee within the HCVS-track
Pietro Galliani Free University of Bozen-Bolzano Italy Author of Characterizing Downwards Closed Strongly First Order Dependencies within the GaLoP-track in GaLoP 2019 Committee Member in Program Committee within the GaLoP-track
Zeinab Ganjei Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track in TACAS 2019
Pierre Ganty IMDEA Software Institute Spain Committee Member in Program Committee within the TACAS-track
Pengfei Gao Author of Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks within the TACAS 2019-track in TACAS 2019
Hubert Garavel Author of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track in ETAPS 2019
Luciano García-Bañuelos University of Tartu Estonia Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Deepak Garg Max Planck Institute for Software Systems Germany Author of Robustly Safe Compilation within the ESOP 2019-track in ESOP 2019 Committee Member in Program Committee within the ESOP-track
Adria Gascon Author of On the formalisation of Σ-Protocols and Commitment Schemes within the POST 2019-track in POST 2019
Christophe Gaston Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track in FASE 2019
Francesco Gavazzo Author of Effectful Normal-Form Bisimulation within the ESOP 2019-track in ESOP 2019
Simon J. Gay University of Glasgow, UK United Kingdom Committee Member in Program Committee within the ESOP-track
Samir Genaim Universidad Complutense de Madrid Spain Committee Member in Program Committee within the DICE-FOPARA-track
Simos Gerasimou Author of DeepFault: Fault Localization For Deep Neural Networks within the FASE 2019-track in FASE 2019 Author of DeepFault: Fault Localization for Deep Neural Networks within the Posters-track in ETAPS 2019
Rosita Gerbo Università di Torino Author of Concurrent Typestate-Oriented Programming in Java within the PLACES-track in PLACES 2019
Golnaz Gharachorlu Author of Pardis: Priority Aware Test Case Reduction within the FASE 2019-track in FASE 2019
Dan Ghica University of Birmingham United Kingdom Author of Local Reasoning for Robust Observational Equivalence within the PERR-track in PERR 2019 Committee Member in Steering Committee within the GaLoP-track
Saverio Giallorenzo University of Southern Denmark Denmark Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track in FASE 2019
Nick Giannarakis Princeton University Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Paolo G. Giarrusso TU Delft, The Netherlands Italy Author of Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation within the ESOP 2019-track in ESOP 2019
Pascal Giehr Saarland University Author of A Hybrid HMM Approach for the Dynamics of DNA Methylation within the HSB-track in HSB 2019
Holger Giese Hasso Plattner Institute, University of Potsdam Germany Author of Metric Temporal Graph Logic over Typed Attributed Graphs within the FASE 2019-track in FASE 2019
Elvio Gilberto Amparore Author of iRank: a variable order metric for DEDS subject to linear invariants within the TACAS 2019-track in TACAS 2019
Frédéric Gilbert Author of Verifiable certificates for predicate subtyping within the ESOP 2019-track in ESOP 2019
Jose Gines Gimenez Manuel Middlesex University United Kingdom Committee Member in Program Committee within the SPIoT-track
Giulia Giordano TU Delft Netherlands Committee Member in Program Committee within the HSB-track
Marco Giunti NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Author of Proving properties about Linear Pi in Coq within the BEHAPI-track in BEHAPI 2019
Milos Gligoric University of Texas at Austin United States Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track in TACAS 2019
Wenceslas Godard Airbus Operations SAS France Committee Member in Program Committee within the MeTRiD-track
Gregor Goessler INRIA Committee Member in Program Committee within the CREST-track
Judah Goldfeder Yeshiva University Author of Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks within the HSB-track in HSB 2019
Dieter Gollmann Hamburg University of Technology Germany Committee Member in Program Committee within the POST-track
Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8 Germany Session Chair of Categories and (Co)algebra (part of FOSSACS) Author of An Adequate Semantics for Hybrid While within the QAPL-track in QAPL 2019 Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track in GaLoP 2019 Committee Member in Program Committee within the FOSSACS-track
Léon Gondelman LRI, Université Paris-Sud Author of Semi-Automated Reasoning About Non-Determinism in C Expressions within the ESOP 2019-track in ESOP 2019
Colin Gordon Drexel University United States Author of Safe Deferred Memory Reclamation with Types within the ESOP 2019-track in ESOP 2019
Alexey Gotsman IMDEA Software Institute Spain Committee Member in Program Committee within the ESOP-track
Guido Governatori Author of Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes within the DICE-FOPARA-track in DICE-FOPARA 2019
Giacomo Govi Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the TACAS 2019-track in TACAS 2019 Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the Posters-track in ETAPS 2019
Simon Gregersen Aarhus University Denmark Author of A Dependently Typed Library for Static Information-Flow Control in Idris within the POST 2019-track in POST 2019
Marius Greitschus Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Alberto Griggio Fondazione Bruno Kessler Italy Committee Member in Program Committee within the InterAVT-track Committee Member in Program Committee within the HCVS-track
Radu Grosu Vienna University of Technology Austria Case Study Chair in Program Committee within the TACAS-track
Gerrit Großmann Saarland University Author of Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks within the HSB-track in HSB 2019
Orna Grumberg Technion – Israel Institute of Technology Israel Committee Member in Program Committee within the TACAS-track
Giulio Guerrieri University of Bath United Kingdom Author of Types by Need within the ESOP 2019-track in ESOP 2019
Rahul Gupta Author of WAPS: Weighted and Projected Sampling within the TACAS 2019-track in TACAS 2019 Author of WAPS: Weighted and Projected Sampling within the Posters-track in ETAPS 2019
Aarti Gupta Princeton University Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track in TACAS 2019 Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track in ETAPS 2019
Utkarsh Gupta Author of Continuous Reachability for Unordered Data Petri Nets is in PTime within the FOSSACS 2019-track in FOSSACS 2019
Arie Gurfinkel University of Waterloo Canada Committee Member in Program Committee within the HCVS-track
Dilian Gurov KTH Royal Institute of Technology Sweden Committee Member in Program Committee within the FASE-track
Joshua Guttman Worcester Polytechnic Institute United States Committee Member in Program Committee within the POST-track
Peter Habermehl IRIF France Author of On Parameterised Jobshop Scheduling Problems within the SynCoP-track in SynCoP 2019 Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Jurriaan Hage Utrecht University Committee Member in Steering Committee for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Matthew Hague Royal Holloway, University of London United Kingdom Committee Member in Program Committee within the FOSSACS-track
Christopher Hahn Author of Constraint-based Monitoring of Hyperproperties within the TACAS 2019-track in TACAS 2019 Author of Constraint-based Monitoring of Hyperproperties within the Posters-track in ETAPS 2019
Ernst Moritz Hahn Queen's University Belfast United Kingdom Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track in TACAS 2019 AE co-chair in Artifact Evaluation Committee within the TACAS-track
Emmanuel Hainry Author of Tiered complexity at higher order within the DICE-FOPARA-track in DICE-FOPARA 2019
Matej Hajnal Masaryk University Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019 Author of Data-informed parameter synthesis for population Markov chains within the HSB-track in HSB 2019
Ádám Halász West Virginia University United States Author of Extracting landscape features from single particle trajectories within the HSB-track in HSB 2019 Committee Member in Program Committee within the HSB-track
Geoff Hamilton Author of Tight Worst-Case Bounds for Polynomial Loop Programs within the FOSSACS 2019-track in FOSSACS 2019
Ben Hardekopf UC Santa Barbara Author of Structural and Nominal Cross-Language Clone Detection within the FASE 2019-track in FASE 2019
William Harris Author of Relational Verification via Invariant-Guided Synchronization within the PERR-track in PERR 2019
Arnd Hartmanns University of Twente Netherlands Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track in TACAS 2019
Ichiro Hasuo National Institute of Informatics Japan Author of Path category for free - Open morphisms from coalgebras with non-deterministic branching within the FOSSACS 2019-track in FOSSACS 2019 Author of Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments within the TACAS 2019-track in TACAS 2019 Committee Member in Steering Committee within the GaLoP-track
Daniel Hausmann Author of Optimal Satisfiability Checking for Arithmetic mu-Calculi within the FOSSACS 2019-track in FOSSACS 2019
Klaus Havelund NASA/Caltech Jet Propulsion Laboratory United States Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Marek Havlík Masaryk University Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019
Chris Hawblitzel Microsoft Research Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
David Heath Author of Relational Verification via Invariant-Guided Synchronization within the PERR-track in PERR 2019
Reiko Heckel University of Leicester United Kingdom Committee Member in Steering Committee for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Jules Hedges University of Oxford Invited Speaker of Intertwining game theory and game semantics within the GaLoP-track in GaLoP 2019
Tobias Heindel Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track in FOSSACS 2019
Matthias Heizmann University of Freiburg Germany Author of Ultimate TreeAutomizer within the HCVS-track in HCVS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track in TACAS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the HCVS-track
Sarah Helble Author of Orchestrating Layered Attestations within the POST 2019-track in POST 2019
Rolf Hennicker Ludwig Maximilians University Munich, Germany Author of A Hybrid Dynamic Logic for Event/Data-based Systems within the FASE 2019-track in FASE 2019
Ludovic Henrio CNRS France Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the FASE-track
Mihai Herda Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Holger Hermanns Saarland University Germany Committee Member in Executive Board for ETAPS 2019 Session Chair of Symbolic Verification (part of TACAS) Author of Towards a Science of Perspicuous Computing - Lessons learnt from the Analysis of Automotive Emissions Control Systems within the CREST-track in CREST 2019 Panelist of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track in ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track Committee Member in Invited Speakers within the CREST-track
Ben Hermann University of Paderborn Germany Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the TACAS 2019-track in TACAS 2019 Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the Posters-track in ETAPS 2019
Marijn Heule The University of Texas at Austin United States Author of Encoding Redundancy for Satisfaction-Driven Clause Learning within the TACAS 2019-track in TACAS 2019
Chris Heunen University of Edinburgh United Kingdom Committee Member in Program Committee within the FOSSACS-track
Patrick Heymans University of Namur Belgium Committee Member in Program Committee within the InterAVT-track
Michael Hicks University of Maryland, College Park United States Author of Achieving Safety Incrementally with Checked C within the POST 2019-track in POST 2019 Author of Wys*: A DSL for Verified Secure Multi-party Computations within the POST 2019-track in POST 2019
Jane Hillston University of Edinburgh United Kingdom Author of Geometric fluid approximation for general continuous-time Markov chains within the HSB-track in HSB 2019 Author of Statistical abstraction for multi-scale spatio-temporal systems within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the HSB-track
Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry France Author of Simple game semantics and Day convolution within the GaLoP-track in GaLoP 2019
Jochen Hoenicke Universität Freiburg Germany Author of Ultimate TreeAutomizer within the HCVS-track in HCVS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Martin Hofmann LMU Munich (1965-2018) Germany Committee Member in Program Committee within the ESOP-track
Piotr Hofman Author of Continuous Reachability for Unordered Data Petri Nets is in PTime within the FOSSACS 2019-track in FOSSACS 2019
Vojtech Horky Charles University Czech Republic Web Co-Chair in Organizing Committee for ETAPS 2019
Falk Howar Technical University Dortmund Germany Committee Member in Program Committee within the TACAS-track
Jakub Hrabec Masaryk University Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019
Cătălin Hriţcu Inria Paris France Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Justin Hsu University of Wisconsin-Madison, USA United States Committee Member in Program Committee within the POST-track
Bo-Yuan Huang Princeton University, USA United States Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track in TACAS 2019 Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track in ETAPS 2019
Jasper Hugunin Author of Constructing Inductive-Inductive Types in Cubical Type Theory within the FOSSACS 2019-track in FOSSACS 2019
Marieke Huisman University of Twente Netherlands Committee Member in Steering Committee for ETAPS 2019 Session Chair of Concurrent and Distributed Systems (part of TACAS) Author of How to survive being a woman in computer science within the Mentoring Workshop-track in ETAPS 2019 Panelist of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track in ETAPS 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the TACAS-track Committee Member in Organizers within the ETAPS TOOLympics-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track Committee Member in Organizing Committee within the VerifyThis-track
Robert Husak Author of AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention within the InterAVT-track in InterAVT 2019
Michael Huth Imperial College London United Kingdom Committee Member in Program Committee within the POST-track
Antti Hyvärinen Author of Decomposing Farkas Interpolants within the HCVS-track in HCVS 2019 Author of Decomposing Farkas Interpolants within the TACAS 2019-track in TACAS 2019 Author of Decomposing Farkas Interpolants within the Posters-track in ETAPS 2019
Reiner Hähnle Technical University of Darmstadt Germany Committee Member in Steering Committee for ETAPS 2019 Committee Member in Steering Committee for ETAPS 2019 Session Chair of Specification, Design, and Implementation of Particular Classes of Systems (part of FASE) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the FASE-track
Peter Höfner Author of A Process Algebra for Link Layer Protocols within the ESOP 2019-track in ESOP 2019
Hans Hüttel Department of Computer Science, Aalborg University Denmark Author of A Behavioural Type System for Mungo with Generics within the BEHAPI-track in BEHAPI 2019
Atsushi Igarashi Kyoto University, Japan Japan Session Chair of Language Design (part of ESOP) Author of Handling polymorphic algebraic effects within the ESOP 2019-track in ESOP 2019 Committee Member in Program Committee within the ESOP-track
Neil Immerman University of Massachusetts, Amherst Author of Proofs and Counterexamples within the Mooly Fest-track in ETAPS 2019
Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes France Author of The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains within the FOSSACS 2019-track in FOSSACS 2019 Author of Checking Deadlock-Freedom of Parametric Component-Based Systems within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Philipp J. Meyer Author of Computing the Expected Execution Time of Probabilistic Workflow Nets within the TACAS 2019-track in TACAS 2019
Jeroen J.A. Keiren Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Mohamad Jaber American University of Beirut Committee Member in Program Committee within the MeTRiD-track
Bart Jacobs Radboud University Nijmegen Author of Causal Inference by String Diagram Surgery within the FOSSACS 2019-track in FOSSACS 2019
Swen Jacobs CISPA Helmholtz Center for Information Security Germany Committee Member in Program Committee within the SYNT Camp-track
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium Committee Member in Program Committee within the ESOP-track
Paulin Jacobé De Naurois Session Chair of VI (part of DICE-FOPARA) Author of Pointers in Recursion: Exploring the Tropics within the DICE-FOPARA-track in DICE-FOPARA 2019
Joxan Jaffar National University of Singapore Singapore Committee Member in Program Committee within the TACAS-track
Marie-Christine Jakobs TU Darmstadt, Germany Author of CoVeriTest: Cooperative, Verifier-Based Testing within the FASE 2019-track in FASE 2019 Author of CPAchecker with Strategy Selection within the Posters-track in ETAPS 2019 Author of CoVeriTest: Cooperative Verifier-Based Testing within the Posters-track in ETAPS 2019
Mikoláš Janota INESC-ID, IST, ULisboa Portugal Committee Member in Program Committee within the InterAVT-track
Nils Jansen RWTH Aachen University Author of Shepherding Hordes of Markov Chains within the TACAS 2019-track in TACAS 2019
Nils Jansen Author of Convex Optimization meets Parameter Synthesis for MDPs within the SynCoP-track in SynCoP 2019
Thomas P. Jensen INRIA Rennes Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track in ESOP 2019
Peter Gjøl Jensen Aalborg University, Denmark Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track in SPIoT 2019
Loïg Jezequel Université de Nantes, CNRS Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Chuan Jiang Author of Edge-Specified Reduction Binary Decision Diagrams within the TACAS 2019-track in TACAS 2019
Qian Jiaqi Author of KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs within the FASE 2019-track in FASE 2019
Patricia Johann Appalachian State University United States Committee Member in Program Committee within the FOSSACS-track
Michael Peyton Jones IOHK United Kingdom Author of Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog within the ESOP 2019-track in ESOP 2019
Simon Jones Middlesex University United Kingdom Committee Member in Program Committee within the SPIoT-track
Simon Peyton Jones Microsoft, UK Author of Codata in Action within the ESOP 2019-track in ESOP 2019
Alexander Jordan Oracle Labs, Australia Author of Automatic Modeling for Opaque Code in JavaScript Static Analysis within the FASE 2019-track in FASE 2019
Steffen Jost LMU, Munich, Germany Germany Session Chair of II (part of DICE-FOPARA) Session Chair of I (part of DICE-FOPARA) Chair in Program Committee within the DICE-FOPARA-track
Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud France Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track in ESOP 2019
Matthieu Journault Author of An abstract domain for trees with numeric relations within the ESOP 2019-track in ESOP 2019
Dejan Jovanović SRI International United States Committee Member in Program Committee within the HCVS-track
Agung Julius Rensselaer Polytechnic Institute United States Committee Member in Program Committee within the HSB-track
Sebastian Junges RWTH Aachen University, Germany Author of Shepherding Hordes of Markov Chains within the TACAS 2019-track in TACAS 2019
Bishoksan Kafle The university of Melbourne Australia Committee Member in Program Committee within the HCVS-track
Ozan Kahramanogullari Author of On Quantitative Comparison of Chemical Reaction Network Models within the PERR-track in PERR 2019
Benjamin Lucien Kaminski RWTH Aachen University; University College London Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track in QAPL 2019
Florian Kammüller Middlesex University, UK Author of The Refinement-Risk Loop - A Process for Security Engineering in Isabelle within the SPIoT-track in SPIoT 2019 Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Eun-Young Kang University of Southern Denmark Denmark Author of Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System within the FASE 2019-track in FASE 2019
Gerti Kappel Technical University of Vienna Austria Committee Member in Program Committee within the FASE-track
Bruce Kapron University of Victoria Canada Author of Tiered complexity at higher order within the DICE-FOPARA-track in DICE-FOPARA 2019 Author of Type-two Iteration with Bounded Query Revision within the DICE-FOPARA-track in DICE-FOPARA 2019
Jens Katelaan Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track in TACAS 2019
Joost-Pieter Katoen RWTH Aachen University Germany Chair in Executive Board for ETAPS 2019 Session Chair of Chechik (part of ETAPS Keynotes) Session Chair of Beyer (part of ETAPS Tutorials) Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track in QAPL 2019 Author of Shepherding Hordes of Markov Chains within the TACAS 2019-track in TACAS 2019 Author of COMPASS 3.0 within the TACAS 2019-track in TACAS 2019 Author of The COMPASS 3.0 Toolset within the Posters-track in ETAPS 2019 Author of Opening within the Social-track in ETAPS 2019 Steering Committee Chair of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 PC Co-Chair in Program Committee within the LiVe-track
Panagiotis Katsaros ITI-CERTH, Thessaloniki Greece Committee Member in Steering Committee for ETAPS 2019 Session Chair of Keynote 2 (part of MeTRiD) Session Chair of Welcome & Keynote 1 (part of MeTRiD) Co-chair of Welcome within the MeTRiD-track in MeTRiD 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Shin-ya Katsumata National Institute of Informatics Japan Author of Path category for free - Open morphisms from coalgebras with non-deterministic branching within the FOSSACS 2019-track in FOSSACS 2019
Marie Kerjean Author of Higher-order distributions for differential linear logic within the FOSSACS 2019-track in FOSSACS 2019
Mahmoud Khaled TU Munich Germany Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the TACAS 2019-track in TACAS 2019 Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the Posters-track in ETAPS 2019
Shakil Khan Author of Towards A Logical Account of Epistemic Causality within the Posters-track in ETAPS 2019
Sarfraz Khurshid University of Texas at Austin United States Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track in TACAS 2019
Moritz Kiefer Author of Automatic Equivalence Proofs for Programs with Algebraic Data Types within the PERR-track in PERR 2019
Stefan Kiefer University of Oxford United Kingdom Committee Member in Program Committee within the TACAS-track
Benjamin Kiesl CISPA Helmholtz Center for Information Security Germany Author of Encoding Redundancy for Satisfaction-Driven Clause Learning within the TACAS 2019-track in TACAS 2019
Eric Kim Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the TACAS 2019-track in TACAS 2019 Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the Posters-track in ETAPS 2019
Ekkart Kindler Technical University of Denmark Denmark Committee Member in Program Committee within the FASE-track
Jonathan King Habito and Imperial College London Author of Multiparty session type-safe web development with static linearity within the PLACES-track in PLACES 2019
Florent Kirchner Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track in InterAVT 2019
Maja Kirkeby Roskilde University Author of Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses within the QAPL-track in QAPL 2019
Michael Kirsten Karlsruhe Institute of Technology (KIT) Germany Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Aleks Kissinger Radboud University Author of (Cancelled) Process theories, string diagrams, and black box causal reasoning within the CREST-track in CREST 2019 Author of Causal Inference by String Diagram Surgery within the FOSSACS 2019-track in FOSSACS 2019
Michaela Klauck Saarland Informatics Campus, Saarland University Germany Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track in TACAS 2019
Samantha Kleinberg Stevens Institute of Technology Committee Member in Program Committee within the CREST-track
Bartek Klin University of Warsaw Poland Committee Member in Program Committee within the FOSSACS-track
Merrill Knapp SRI International Author of Fuzzy Matching in Symbolic Systems Biology within the HSB-track in HSB 2019
Alexander Knapp Author of A Hybrid Dynamic Logic for Event/Data-based Systems within the FASE 2019-track in FASE 2019
Naoki Kobayashi University of Tokyo, Japan Japan Committee Member in Program Committee within the FOSSACS-track
Jan Kofroň Charles University Czech Republic General Chair in Organizing Committee for ETAPS 2019 Session Chair of Workshop Poster Exhibition (Saturday) (part of ETAPS Posters) Author of Decomposing Farkas Interpolants within the HCVS-track in HCVS 2019 Author of AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention within the InterAVT-track in InterAVT 2019 Author of Decomposing Farkas Interpolants within the TACAS 2019-track in TACAS 2019 Organizer of Banquet within the Social-track in ETAPS 2019 Author of Decomposing Farkas Interpolants within the Posters-track in ETAPS 2019 Author of Opening within the Social-track in ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Wen Kokke University of Edinburgh United Kingdom Author of Formalising session-typed languages without worries within the BEHAPI-track in BEHAPI 2019
Ekaterina Komendantskaya Heriot-Watt University, UK Author of Coinduction in Uniform: what's next? within the HCVS-track in HCVS 2019 Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 2019-track in ESOP 2019 Committee Member in Program Committee within the HCVS-track
Raghavan Komondoor Indian Institute of Science, Bangalore India Author of Checking Observational Purity Of Procedures within the FASE 2019-track in FASE 2019
Igor Konnov Inria Nancy France Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track in MeTRiD 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track in TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the MeTRiD-track
Juha Kontinen Author of Logics for first-order definable team properties within the GaLoP-track in GaLoP 2019
Insoo Koo University of Ulsan, South Korea Author of Graph-based Technique for Survivability Estimation and Optimization of IoT Applications within the SPIoT-track in SPIoT 2019
Cynthia Kop Radboud University Nijmegen Netherlands Author of Proving Program Equivalence with Constrained Rewriting Induction and Ctrl within the PERR-track in PERR 2019 Invited Speaker of (Invited Talk) Cons-free Rewriting within the DICE-FOPARA-track in DICE-FOPARA 2019 Author of A static higher-order dependency pair framework within the ESOP 2019-track in ESOP 2019
Fabrice Kordon Sorbonne University — LIP6 Session Chair of Tinelli (part of ETAPS Tutorials) Author of Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework within the TACAS 2019-track in TACAS 2019 Committee Member in Organizers within the ETAPS TOOLympics-track
Jens Kosiol Author of Efficient Model Synchronization by Automatically Constructed Repair Processes within the FASE 2019-track in FASE 2019
Nikolai Kosmatov CEA List France Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track in FASE 2019 Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track in TACAS 2019
Derrick Kourie Stellenbosch University Author of Tool Support for Correctness-by-Construction within the FASE 2019-track in FASE 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track in ETAPS 2019
Dexter Kozen Cornell United States Committee Member in Program Committee within the FOSSACS-track
Robbert Krebbers Delft University of Technology Netherlands Author of Semi-Automated Reasoning About Non-Determinism in C Expressions within the ESOP 2019-track in ESOP 2019
Steve Kremer INRIA Committee Member in Program Committee within the PERR-track
Jan Kretinsky Technical University of Munich Germany Author of Invited Talk: Expected Cost Analysis of Attack-Defence Trees within the SPIoT-track in SPIoT 2019 Author of Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints within the SynCoP-track in SynCoP 2019 Committee Member in Program Committee within the TACAS-track PC Co-Chair in Program Committee within the LiVe-track
Filip Krikava Czech Technical University Czech Republic Housing Chair in Organizing Committee for ETAPS 2019
Jean Krivine CNRS France Author of Causality and diagrammatic reasoning within the CREST-track in CREST 2019 Committee Member in Invited Speakers within the CREST-track Co-chair in Program Committee within the CREST-track
Daniel Kroening University of Oxford Author of JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) within the Posters-track in ETAPS 2019
Hillel Kugler Microsoft United States Author of Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks within the HSB-track in HSB 2019 Committee Member in Program Committee within the HSB-track
K Narayan Kumar Chennai Mathematical Institute India Committee Member in Program Committee within the FOSSACS-track
Denis Kuperberg Author of Bouncing Threads for Infinitary and Circular Proofs within the GaLoP-track in GaLoP 2019 Author of Kleene algebra with hypotheses within the FOSSACS 2019-track in FOSSACS 2019
Orna Kupferman Hebrew University Israel Committee Member in Program Committee within the FOSSACS-track
Clemens Kupke University of Strathclyde United Kingdom Author of Coalgebra Learning via Duality within the FOSSACS 2019-track in FOSSACS 2019
Satoshi Kura Author of Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments within the TACAS 2019-track in TACAS 2019
Ismail Kuru Drexel University United States Author of Safe Deferred Memory Reclamation with Types within the ESOP 2019-track in ESOP 2019
Dietrich Kuske Author of Languages ordered by the subword order within the FOSSACS 2019-track in FOSSACS 2019
Marta Kwiatkowska University of Oxford Author of Invited talk: Modelling and personalisation techniques for behavioural prediction and emotion recognition within the HSB-track in HSB 2019
Charalampos Kyriakopoulos Saarland University Author of A Hybrid HMM Approach for the Dynamics of DNA Methylation within the HSB-track in HSB 2019
Barbara König University of Duisburg-Essen Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track in FOSSACS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Ralf Küsters University of Stuttgart Committee Member in Steering Committee for ETAPS 2019
Salvatore La Torre Università degli Studi di Salerno Italy Committee Member in Program Committee within the TACAS-track
Shuvendu K. Lahiri Microsoft Research Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Jim Laird University of Bath United Kingdom Committee Member in Steering Committee within the GaLoP-track
Leen Lambers Author of A Logic-Based Incremental Approach to Graph Repair within the FASE 2019-track in FASE 2019
Leonidas Lampropoulos University of Pennsylvania Greece Author of Achieving Safety Incrementally with Checked C within the POST 2019-track in POST 2019
Ivan Lanese University of Bologna/INRIA Committee Member in Program Committee within the CREST-track
Timo Lang Vienna University of Technology Author of Modalities as prices: a game model of intuitionistic linear logic with subexponentials within the GaLoP-track in GaLoP 2019
Alexis Laouar Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS Author of Simple game semantics and Day convolution within the GaLoP-track in GaLoP 2019
Arnault Lapitre Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track in FASE 2019
Kim Larsen Aalborg University Denmark Committee Member in Steering Committee for ETAPS 2019 Session Chair of Hybrid and Stochastic Systems (part of TACAS) Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track in SPIoT 2019 Author of A Faster-Than Relation for Semi-Markov Decision Processes within the QAPL-track in QAPL 2019 Author of Abstract Dependency Graphs and Their Application to Model Checking within the TACAS 2019-track in TACAS 2019 Panelist of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track in ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Diego Latella Author of Recent Applications and Quantitative Aspects of Spatial Model Checking within the QAPL-track in QAPL 2019 Author of VoxLogicA: a Spatial Model Checker for Declarative Image Analysis within the TACAS 2019-track in TACAS 2019
Peeter Laud Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Luca Laurenti University of Oxford United Kingdom Committee Member in Program Committee within the HSB-track
Olivier Laurent CNRS & ENS Lyon France Author of Resource-Tracking Concurrent Games within the FOSSACS 2019-track in FOSSACS 2019 Committee Member in Steering Committee within the GaLoP-track
Maurice Laveaux Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Mark Lawford McMaster Author of SL2SF: Refactoring Simulink to Stateflow within the FASE 2019-track in FASE 2019
Marijana Lazić TU Wien Austria Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track in MeTRiD 2019
Ludovic Le Frioux Author of Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework within the TACAS 2019-track in TACAS 2019
Pascale Le Gall Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track in TACAS 2019
Maico Leberle Author of Types by Need within the ESOP 2019-track in ESOP 2019
Insup Lee Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track in TACAS 2019
Peter Lefanu Lumsdaine Stockholm University Sweden Committee Member in Program Committee within the FOSSACS-track
Axel Legay INRIA Rennes France Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track in SPIoT 2019 Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track in FASE 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Alexios Lekidis Aristotle University of Thessaloniki Speaker of Model-based energy characterization of IoT system design aspects within the MeTRiD-track in MeTRiD 2019
Jean-Simon Lemay Author of Higher-order distributions for differential linear logic within the FOSSACS 2019-track in FOSSACS 2019
Thomas Lemberger Author of CPAchecker with Strategy Selection within the Posters-track in ETAPS 2019
Ondrej Lengal Brno University of Technology Czech Republic Session Chair of Monitoring and Runtime Verification (part of TACAS) AE co-chair in Artifact Evaluation Committee within the TACAS-track
Sergueï Lenglet University of Lorraine, France Author of A Complete Normal-Form Bisimilarity for State within the FOSSACS 2019-track in FOSSACS 2019
Lucie Lerch Czech Technical University in Prague Czech Republic Local Arrangements Chair in Organizing Committee for ETAPS 2019
Xavier Leroy Collège de France France Committee Member in Program Committee within the PERR-track
Vincent Leroy University of Grenoble - CNRS Author of Debugging of Behavioural Models with CLEAR within the TACAS 2019-track in TACAS 2019
Martin Leucker University of Lübeck Germany Committee Member in Program Committee within the FASE-track
Stefan Leue University of Konstanz Germany Author of Analysis, Repair and Causality for Timed Diagnostic Traces within the CREST-track in CREST 2019 Committee Member in Program Committee within the InterAVT-track Committee Member in Invited Speakers within the CREST-track
Thomas Leventis Università di Bologna Italy Author of Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces within the FOSSACS 2019-track in FOSSACS 2019
Paul Blain Levy University of Birmingham United Kingdom Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track in GaLoP 2019 Committee Member in Program Committee within the FOSSACS-track
Fangzhen Lin Author of VIAP 1.1 within the Posters-track in ETAPS 2019
Yu-Yang Lin Queen Mary University of London Author of A Framework for Compositional Model Checking within the GaLoP-track in GaLoP 2019
Hai Liu DFINITY United States Committee Member in Program Committee within the PLACES-track
Lin Liu Freie Universität Berlin Author of Poster flash: Formalizing metabolic-regulatory networks by hybrid automata within the HSB-track in HSB 2019
Si Liu Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track in TACAS 2019
Yong Li Institute of Software, Chinese Academy of Sciences China Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track in TACAS 2019 Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track in ETAPS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Paley Li Oracle Labs Czech Republic Poster Co-Chair in Organizing Committee for ETAPS 2019
Yue Li Heriot-Watt University, UK China Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 2019-track in ESOP 2019
Huang Li Author of Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System within the FASE 2019-track in FASE 2019
Hans-Wolfgang Loidl Heriot-Watt University, UK Committee Member in Steering Committe (FOPARA) within the DICE-FOPARA-track PC Member in Program Committee within the DICE-FOPARA-track
Michele Loreti University of Camerino Italy Committee Member in Program Committee within the PLACES-track
Peter Loscocco Author of Orchestrating Layered Attestations within the POST 2019-track in POST 2019
Stéphane Louise Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track in FASE 2019
Dorel Lucanu Author of Semantics-Based Proofs of Equivalence for Functions with Accumulators within the PERR-track in PERR 2019
Christophe Lucas Author of Towards a Structural Proof Theory of Probabilistic mu–calculi within the FOSSACS 2019-track in FOSSACS 2019
Alexander Lück Saarland University Author of A Hybrid HMM Approach for the Dynamics of DNA Methylation within the HSB-track in HSB 2019
Gerald Lüttgen University of Bamberg Germany Treasurer in Executive Board for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Alexandre Madeira Author of A Hybrid Dynamic Logic for Event/Data-based Systems within the FASE 2019-track in FASE 2019
Matteo Maffei TU Wien Committee Member in Steering Committee for ETAPS 2019 Author of Invited Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts within the HCVS-track in HCVS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Invited Speaker in Invited Speakers within the HCVS-track
Rupak Majumdar MPI-SWS, Germany Author of Environmentally-friendly GR(1) Synthesis within the TACAS 2019-track in TACAS 2019
Petr Maj ReactorLabs Czech Republic Student Volunteer Co-Chair in Organizing Committee for ETAPS 2019
Ouri Maler West Virginia University Author of Extracting landscape features from single particle trajectories within the HSB-track in HSB 2019
Sharad Malik Princeton University Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track in TACAS 2019 Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track in ETAPS 2019
Frederic Mallet Université Côte d'Azur, France France Author of SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language within the FASE 2019-track in FASE 2019
Amit Kr Mandal Università Ca' Foscari, Venezia, Italy Author of Static Analysis for the OWASP IoT Top 10 2018. within the SPIoT-track in SPIoT 2019 Author of Cross Programming Language Taint Analysis for the IoT Ecosystem within the InterAVT-track in InterAVT 2019
Sebastian Maneth Author of Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time within the FOSSACS 2019-track in FOSSACS 2019
Niveditha Manjunath Austrian Institute of Technology Author of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track in MeTRiD 2019
Heiko Mantel TU Darmstadt Germany Committee Member in Program Committee within the POST-track
Radu Mardare Aalborg University Denmark Committee Member in Program Committee within the FOSSACS-track
Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre Ireland Committee Member in Steering Committee for ETAPS 2019 Session Chair of Behavioural models and parametrised systems (part of MeTRiD) Keynote Speaker of The Role of Models as Digital Twins of Smart Processes, Machines and Parts in Industry 4.0 within the MeTRiD-track in MeTRiD 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the InterAVT-track
Jean-Yves Marion LORIA France Author of Tiered complexity at higher order within the DICE-FOPARA-track in DICE-FOPARA 2019 Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Michael Markl Author of A Process Algebra for Link Layer Protocols within the ESOP 2019-track in ESOP 2019
Andre Maroneze Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track in InterAVT 2019
Stefan Marr University of Kent United Kingdom Committee Member in Program Committee within the PLACES-track
Fabio Martinelli Istituto di Informatica e Telematica Italy Committee Member in Program Committee within the POST-track
Manuel A. Martins University of Aveiro Author of rPrism -- A software for reactive weighted state transition models within the HSB-track in HSB 2019
Francisco Martins University of Lisbon Portugal Session Chair of IV (part of PLACES) Session Chair of Session 1 (part of PLACES) Author of Hardware Interactions as Behavioural Types. within the BEHAPI-track in BEHAPI 2019 PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Guido Martínez CIFASIS-CONICET, Argentina Argentina Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Mieke Massink CNR-ISTI Pisa, Italy Author of Recent Applications and Quantitative Aspects of Spatial Model Checking within the QAPL-track in QAPL 2019 Author of VoxLogicA: a Spatial Model Checker for Declarative Image Analysis within the TACAS 2019-track in TACAS 2019 Steering Committee Member in Steering Committee within the QAPL-track
Isabella Mastroeni University of Verona, Italy Italy Author of On the Multi-Language Construction within the ESOP 2019-track in ESOP 2019 Committee Member in Program Committee within the ESOP-track
Cristina Matache Author of A Sound and Complete Logic for Algebraic Effects within the FOSSACS 2019-track in FOSSACS 2019
Christoph Matheja RWTH Aachen University Germany Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track in QAPL 2019 Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track in TACAS 2019
Raimundas Matulevicius Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Jacopo Mauro University of Southern Denmark Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track in FASE 2019
Anastasia Mavridou NASA Ames Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the InterAVT-track
Sisi Ma University of Minnesota Author of Computational Causal Discovery and its Applications within the CREST-track in CREST 2019 Committee Member in Invited Speakers within the CREST-track
Maria Maximova Author of Metric Temporal Graph Logic over Typed Attributed Graphs within the FASE 2019-track in FASE 2019
Damiano Mazza CNRS France Session Chair of IV (part of DICE-FOPARA) Author of Towards a Sheaf-Theoretic Definition of Decision Problems within the DICE-FOPARA-track in DICE-FOPARA 2019
Guy McCusker University of Bath United Kingdom Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Dylan McDermott University of Cambridge Author of Extended call-by-push-value: reasoning about effectful programs and evaluation order within the ESOP 2019-track in ESOP 2019
Annabelle McIver Macquarie University Australia Author of Generalised Differential Privacy for Text Document Processing within the POST 2019-track in POST 2019 Committee Member in Program Committee within the TACAS-track
Kuldeep S. Meel National University of Singapore Singapore Author of WAPS: Weighted and Projected Sampling within the TACAS 2019-track in TACAS 2019 Author of WAPS: Weighted and Projected Sampling within the Posters-track in ETAPS 2019
Jeroen Meijer Author of Multi-Core On-The-Fly Saturation within the TACAS 2019-track in TACAS 2019
Hernan Melgratti University of Buenos Aires Argentina PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Paul-André Mellies CNRS and University Paris Diderot Invited Speaker of Template games: a homotopy model of differential linear logic within the GaLoP-track in GaLoP 2019
Lukrécia Mertová Masaryk University Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019
José Meseguer Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track in TACAS 2019
Artur Meski Author of SMT-based bounded model checking for parametric reaction systems within the SynCoP-track in SynCoP 2019
Florian Messner Author of nonreach – A Tool for Nonreachability Analysis within the TACAS 2019-track in TACAS 2019
Roland Meyer Technical University of Braunschweig Germany Session Chair of Synthesis (part of TACAS) Committee Member in Program Committee within the TACAS-track
Michalis Michaelides University of Edinburgh Author of Geometric fluid approximation for general continuous-time Markov chains within the HSB-track in HSB 2019 Author of Statistical abstraction for multi-scale spatio-temporal systems within the Posters-track in ETAPS 2019
Marius Mikucionis Aalborg University Denmark Session Chair of Tool Demos (part of TACAS) Tools Chair in Program Committee within the TACAS-track
Stefan Milius Author of Equational Axiomatization of Algebras wth Structure within the FOSSACS 2019-track in FOSSACS 2019
Curtis Milo Author of SL2SF: Refactoring Simulink to Stateflow within the FASE 2019-track in FASE 2019
Andrew Miner Author of iRank: a variable order metric for DEDS subject to linear invariants within the TACAS 2019-track in TACAS 2019 Author of Edge-Specified Reduction Binary Decision Diagrams within the TACAS 2019-track in TACAS 2019
Antoine Miné UPMC, France France Author of Analysis of program differences with numerical abstract interpretation within the PERR-track in PERR 2019 Author of An abstract domain for trees with numeric relations within the ESOP 2019-track in ESOP 2019
Matteo Mio Author of Towards a Structural Proof Theory of Probabilistic mu–calculi within the FOSSACS 2019-track in FOSSACS 2019
Anila Mjeda Lero - The Irish Software Research Centre and University of Limerick Ireland Author of Welcome to InterAVT 2019 within the InterAVT-track in InterAVT 2019 Author of Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges within the InterAVT-track in InterAVT 2019 Committee Member in Organizing Committee within the InterAVT-track
Sebastian A. Moedersheim Technical University of Denmark Denmark Committee Member in Program Committee within the TACAS-track
Rosemary Monahan National University of Ireland Committee Member in Organizing Committee within the VerifyThis-track
Angelo Montanari University of Udine Italy Committee Member in Program Committee within the FOSSACS-track
Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa Author of FreeST: context-free session types in a functional language within the PLACES-track in PLACES 2019 Author of FreeST: context-free session types in a functional language within the Posters-track in ETAPS 2019
J. Garrett Morris University of Kansas, USA United States Committee Member in Program Committee within the ESOP-track
Georg Moser University of Innsbruck Author of Modular Runtime Complexity Analysis of Probabilistic While Programs within the DICE-FOPARA-track in DICE-FOPARA 2019
Cecile Moulin Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623 Author of Using a hybrid approach to model central carbon metabolism across the cell cycle within the HSB-track in HSB 2019
Andrzej Murawski University of Oxford United Kingdom Session Chair of Program Semantics (part of ESOP) Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Maurizio Murgia Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track in ESOP 2019
Koko Muroya RIMS, Kyoto University, JP & University of Birmingham, UK Author of Local Reasoning for Robust Observational Equivalence within the PERR-track in PERR 2019 Committee Member in Program Committee within the GaLoP-track
Anca Muscholl Université de Bordeaux / LaBRI France Committee Member in Program Committee within the FOSSACS-track
Alan Mycroft University of Cambridge Author of Extended call-by-push-value: reasoning about effectful programs and evaluation order within the ESOP 2019-track in ESOP 2019
Chris Myers University of Utah United States Committee Member in Program Committee within the HSB-track
Glen Mével Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track in ESOP 2019
Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark Committee Member in Program Committee within the FOSSACS-track
Markus Müller-Olm University of Münster Germany Committee Member in Program Committee within the ESOP-track
Peter Müller ETH Zurich Switzerland Author of The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations within the TACAS 2019-track in TACAS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Organizing Committee within the VerifyThis-track
Monal Narasimhamurthy University of Colorado, Boulder United States Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Stefan Naujokat Author of Pyro: Generating Domain-Specific Collaborative Online Modeling Environments within the FASE 2019-track in FASE 2019
Jorge A. Navas SRI International United States Committee Member in Program Committee within the HCVS-track
Thomas Neele Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Tim Nelson Brown University United States Committee Member in Program Committee within the ESOP-track
Laura Nenzi Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track in SynCoP 2019
Laura Nenzi University of Trieste Italy Committee Member in Program Committee within the HSB-track
Uwe Nestmann Author of Computing Coupled Similarity within the TACAS 2019-track in TACAS 2019 Author of Computing Coupled Similarity within the Posters-track in ETAPS 2019
Renato Neves University of Minho & INESC TEC Author of An Adequate Semantics for Hybrid While within the QAPL-track in QAPL 2019
Rumyana Neykova Brunel University London United Kingdom Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019 Committee Member in Program Committee within the PLACES-track
Lê Thành Dũng Nguyễn Author of Finite semantics of polymorphism, complexity and the power of type fixpoints within the DICE-FOPARA-track in DICE-FOPARA 2019 Author of From normal functors to logarithmic space queries within the DICE-FOPARA-track in DICE-FOPARA 2019 Author of Some ideas for a finite geometry of interaction model of second-order MLL within the GaLoP-track in GaLoP 2019
Nicholas Ng Imperial College London United Kingdom Author of Multiparty session type-safe web development with static linearity within the PLACES-track in PLACES 2019
Lawton Nichols Author of Structural and Nominal Cross-Language Clone Detection within the FASE 2019-track in FASE 2019
Dejan Nickovic Austrian Institute of Technology Author of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track in MeTRiD 2019
Flemming Nielson Technical University of Denmark Denmark Committee Member in Steering Committee for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the POST-track
Naoki Nishida Nagoya University Japan Author of Proving Program Equivalence with Constrained Rewriting Induction and Ctrl within the PERR-track in PERR 2019
Thomas Noll RWTH Aachen University Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track in QAPL 2019 Author of COMPASS 3.0 within the TACAS 2019-track in TACAS 2019 Author of The COMPASS 3.0 Toolset within the Posters-track in ETAPS 2019
Dennis Nolte University of Duisburg-Essen Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track in FOSSACS 2019
Morgane Nouvian University of Konstanz Author of Data-informed parameter synthesis for population Markov chains within the HSB-track in HSB 2019
Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS) Germany Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track in TACAS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track in ETAPS 2019
Alexander Nutz University of Freiburg, Germany Author of Ultimate TreeAutomizer within the HCVS-track in HCVS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Joanna Ochremiak University of Cambridge United Kingdom PC Member in Program Committee within the DICE-FOPARA-track
Philip Offtermatt Author of Computing the Expected Execution Time of Probabilistic Workflow Nets within the TACAS 2019-track in TACAS 2019
Kazuhiro Ogata Author of KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs within the FASE 2019-track in FASE 2019
Carlos Olarte Federal University of Rio Grande do Norte, Brazil Author of Modalities as prices: a game model of intuitionistic linear logic with subexponentials within the GaLoP-track in GaLoP 2019
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track in ESOP 2019 Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track in ETAPS 2019
Francesco Olivieri Author of Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes within the DICE-FOPARA-track in DICE-FOPARA 2019
C.-H. Luke Ong University of Oxford United Kingdom Session Chair of Semantics (part of FOSSACS) Author of HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories within the HCVS-track in HCVS 2019 Author of Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence within the QAPL-track in QAPL 2019 Author of Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog within the ESOP 2019-track in ESOP 2019 Author of Change Actions: Models of Generalised Differentiation within the FOSSACS 2019-track in FOSSACS 2019 Committee Member in Steering Committee within the GaLoP-track
Dominic Orchard University of Kent, UK United Kingdom Author of Composing bidirectional programs monadically within the ESOP 2019-track in ESOP 2019 PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Fernando Orejas Universitat Politècnica de Catalunya, Spain Author of A Logic-Based Incremental Approach to Graph Repair within the FASE 2019-track in FASE 2019
Muhammad Osama Eindhoven University of Technology Netherlands Author of Parallel SAT Simplification on GPU Architectures within the TACAS 2019-track in TACAS 2019 Author of Parallel SAT Simplification on GPU Architectures within the Posters-track in ETAPS 2019
Abdelraouf Ouadjaout Sorbonne Université France Author of An abstract domain for trees with numeric relations within the ESOP 2019-track in ESOP 2019
Scott Owens University of Kent, UK United Kingdom Committee Member in Program Committee within the ESOP-track
Erik P. de Vink Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Oded Padon Stanford University United States Author of Decidable Reasoning for Verification: How Far Can You EPR? within the Mooly Fest-track in ETAPS 2019
Luca Padovani University of Turin Italy Session Chair of Concurrency and Distribution (part of ESOP) Session Chair of Mechanising Proofs of Behavioural Types for APIs (part of BEHAPI) Author of Concurrent Typestate-Oriented Programming in Java within the PLACES-track in PLACES 2019 Author of Mailbox Types for Unordered Interactions within the BEHAPI-track in BEHAPI 2019 Committee Member in Program Committee within the ESOP-track PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Michele Pagani University Paris Diderot France Author of Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces within the FOSSACS 2019-track in FOSSACS 2019
Claire Pagetti Onera France Committee Member in Program Committee within the MeTRiD-track
Miroslav Pajic Duke University United States Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the HSB-track
Catuscia Palamidessi INRIA and LIX Committee Member in Steering Committee for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Raphaela Palenta Author of Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time within the FOSSACS 2019-track in FOSSACS 2019
Jun Pang University of Luxembourg Luxembourg Committee Member in Program Committee within the FASE-track
Alisa Pankova Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Vera Pantelic Author of SL2SF: Refactoring Simulink to Stateflow within the FASE 2019-track in FASE 2019
Nicola Paoletti Royal Holloway, University of London, UK Session Chair of Oded Maler memorial (1) (part of HSB) Session Chair of Oded Maler memorial (2) (part of HSB) Session Chair of V (part of HSB) Committee Member in Program Committee within the HSB-track Committee Member in Organizing Committee within the HSB-track
Yiannis Papadopoulos University of Hull Committee Member in Program Committee within the MeTRiD-track
Hugo Paquet University of Cambridge Author of Probabilistic Programming Inference via Intensional Semantics within the GaLoP-track in GaLoP 2019 Author of Probabilistic Programming Inference via Intensional Semantics within the ESOP 2019-track in ESOP 2019
Zoe Paraskevopoulou Princeton University United States Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
David Parker University of Birmingham United Kingdom Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track in TACAS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Junkil Park University of Pennsylvania United States Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track in TACAS 2019
Joonyoung Park Author of Automatic Modeling for Opaque Code in JavaScript Static Analysis within the FASE 2019-track in FASE 2019
Corina S Pasareanu NASA Ames Research Center United States Committee Member in Program Committee within the TACAS-track
Samuel Pastva Author of Digital Bifurcation Analysis of TCP Dynamics within the TACAS 2019-track in TACAS 2019
Marco Patrignani Stanford University & CISPA Helmholtz Center for Information Security United States Author of Robustly Safe Compilation within the ESOP 2019-track in ESOP 2019
Dirk Pattinson Australian National University Australia Committee Member in Program Committee within the FOSSACS-track
Mathias Ruggaard Pedersen Aalborg University Author of A Faster-Than Relation for Semi-Markov Decision Processes within the QAPL-track in QAPL 2019
Artem Pelenitsyn Northeastern University United States Web Co-Chair in Organizing Committee for ETAPS 2019
Luc Pellissier Author of PRAMs over integers do not compute maxflow efficiently within the DICE-FOPARA-track in DICE-FOPARA 2019
Nicolas Peltier Author of The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains within the FOSSACS 2019-track in FOSSACS 2019
Wojciech Penczek IPI-PAN Poland Author of SMT-based bounded model checking for parametric reaction systems within the SynCoP-track in SynCoP 2019 Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
J. Aaron Pendergrass Author of Orchestrating Layered Attestations within the POST 2019-track in POST 2019
Zebo Peng Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track in TACAS 2019
Chao Peng University of Edinburgh, UK United Kingdom Author of CLTestCheck: Measuring Test Effectiveness for GPU Kernels within the FASE 2019-track in FASE 2019 Author of CLTestCheck: Measuring Test Effectiveness for GPU Kernels within the Posters-track in ETAPS 2019
Sabine Peres Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623. Author of Using a hybrid approach to model central carbon metabolism across the cell cycle within the HSB-track in HSB 2019
Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy Author of Fixed-point Computation of Equilibria in Biochemical Regulatory Networks within the HSB-track in HSB 2019 Author of Markovian equivalences for biochemical reaction networks within the Posters-track in ETAPS 2019
Mateo Perez Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track in TACAS 2019
Valentin Perrelle Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track in InterAVT 2019
Ion Petre Åbo Akademi University Finland Committee Member in Program Committee within the HSB-track
Daniela Petrisan IRIF, Université Paris Diderot France Committee Member in Program Committee within the FOSSACS-track
Tatjana Petrov Universität Konstanz Germany Session Chair of Modelling (part of HSB) Author of Data-informed parameter synthesis for population Markov chains within the HSB-track in HSB 2019 Committee Member in Program Committee within the HSB-track
Laure Petrucci Université Paris 13 France Author of Fault-tolerant matrix factorisation: a formal model and proof within the SynCoP-track in SynCoP 2019 Author of Pruning NDFS for Parametric Timed Automata within the SynCoP-track in SynCoP 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the TACAS 2019-track in TACAS 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the Posters-track in ETAPS 2019 Organizing Committee in Organizing Committee within the SynCoP-track
Martin Pettai Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Alberto Pettorossi University of Rome Tor Vergata, Italy Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track in HCVS 2019
Adam Petz Author of Orchestrating Layered Attestations within the POST 2019-track in POST 2019
Andreas Pfeiffer Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the TACAS 2019-track in TACAS 2019 Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the Posters-track in ETAPS 2019
Frank Pfenning Carnegie Mellon University, USA Author of A Message-Passing Interpretation of Adjoint Logic within the PLACES-track in PLACES 2019 Author of Manifest Deadlock-Freedom for Shared Session Types within the ESOP 2019-track in ESOP 2019
Carla Piazza University of Udine Italy Committee Member in Program Committee within the HSB-track
Brigitte Pientka McGill University Canada Committee Member in Program Committee within the ESOP-track
Ken Pierce The University of Newcastle Committee Member in Program Committee within the InterAVT-track
Yvonne-Anne Pignolet ABB Corporate Research Switzerland Committee Member in Program Committee within the MeTRiD-track
Elaine Pimentel Federal University of Rio Grande do Norte, Brazil Author of Modalities as prices: a game model of intuitionistic linear logic with subexponentials within the GaLoP-track in GaLoP 2019
Jakob Piribauer Author of Partial and Conditional Expectations in Markov Decision Processes with Integer Weights within the FOSSACS 2019-track in FOSSACS 2019 Author of Partial and Conditional Expectations in Markov Decision Processes with Integer Weights within the Posters-track in ETAPS 2019
Maciej Piróg University of Wrocław Poland Author of Equational Theories and Monads from Polynomial Cayley Representations within the FOSSACS 2019-track in FOSSACS 2019
Paolo Pistone University of Tübingen Italy Author of Finite semantics of polymorphism, complexity and the power of type fixpoints within the DICE-FOPARA-track in DICE-FOPARA 2019 PC Member in Program Committee within the DICE-FOPARA-track
Clément Pit-Claudel MIT CSAIL Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Nir Piterman Author of Environmentally-friendly GR(1) Synthesis within the TACAS 2019-track in TACAS 2019
Andrew Pitts University of Cambridge Committee Member in Steering Committee for ETAPS 2019 Session Chair of Resource Logics (part of FOSSACS) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
André Platzer Carnegie Mellon University United States Author of Verifiably Safe Off-Model Reinforcement Learning within the TACAS 2019-track in TACAS 2019 Author of Verifiably Safe Off-Model Reinforcement Learning within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
Joana Plewnia Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Andreas Podelski University of Freiburg, Germany Germany Author of Ultimate TreeAutomizer within the HCVS-track in HCVS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Piotr Polesiuk University of Wrocław Author of A Complete Normal-Form Bisimilarity for State within the FOSSACS 2019-track in FOSSACS 2019 Author of Equational Theories and Monads from Polynomial Cayley Representations within the FOSSACS 2019-track in FOSSACS 2019
Nadia Polikarpova University of California, San Diego United States Committee Member in Program Committee within the HCVS-track
Mariano Politano Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track in FASE 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track in ETAPS 2019
Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track in FASE 2019 Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track in ETAPS 2019
François Pottier Inria, France France Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track in ESOP 2019
Danny Bøgsted Poulsen University of Kiel, Germany Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track in SPIoT 2019
Damien Pous CNRS Author of Kleene algebra with hypotheses within the FOSSACS 2019-track in FOSSACS 2019
Pierre Pradic Author of From normal functors to logarithmic space queries within the DICE-FOPARA-track in DICE-FOPARA 2019 Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the GaLoP-track in GaLoP 2019 Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the FOSSACS 2019-track in FOSSACS 2019 Author of Kleene algebra with hypotheses within the FOSSACS 2019-track in FOSSACS 2019
Virgile Prevosto CEA Tech List France Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track in TACAS 2019
Christian Probst Unitec Institute of Technology New Zealand Committee Member in Program Committee within the POST-track
Maurizio Proietti CNR-IASI Italy Session Chair of I (part of HCVS) Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track in HCVS 2019
Ivan Prokić University of Novi Sad Author of The Cpi-calculus: a Model for Confidential Name Passing within the PLACES-track in PLACES 2019
Jonathan Protzenko Microsoft Research, Redmond United States Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Klaas Pruiksma Carnegie Mellon University Author of A Message-Passing Interpretation of Adjoint Logic within the PLACES-track in PLACES 2019
Pille Pullonen Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Ka I Pun Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track in FASE 2019 Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track in ETAPS 2019
Luciano Putruele Author of Measuring Masking Fault-Tolerance within the TACAS 2019-track in TACAS 2019
Romain Péchoux INRIA / LORIA France Author of Tiered complexity at higher order within the DICE-FOPARA-track in DICE-FOPARA 2019 PC Member in Program Committee within the DICE-FOPARA-track
Tim Quatmann RWTH Aachen University Germany Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track in TACAS 2019
Jean Quilbeuf INRIA France Committee Member in Program Committee within the SPIoT-track
Ajitha Rajan University of Edinburgh United Kingdom Author of CLTestCheck: Measuring Test Effectiveness for GPU Kernels within the FASE 2019-track in FASE 2019 Author of How to Give an Effective Talk within the Mentoring Workshop-track in ETAPS 2019 Author of CLTestCheck: Measuring Test Effectiveness for GPU Kernels within the Posters-track in ETAPS 2019 Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
G. Ramalingam Microsoft Research India Author of Checking Observational Purity Of Procedures within the FASE 2019-track in FASE 2019 Author of Concurrency Control Contract Composition within the Mooly Fest-track in ETAPS 2019
Tahina Ramananandro Microsoft Research, n.n. United States Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Aseem Rastogi Microsoft Research India Author of Wys: A DSL for Verified Secure Multi-party Computations within the POST 2019-track in POST 2019 Author of Meta-F: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Antonio Ravara NOVA University of Lisbon and NOVA LINCS Portugal Session Chair of Mechanising Proofs for Behavioural Types and Processes (part of BEHAPI) Author of Proving properties about Linear Pi in Coq within the BEHAPI-track in BEHAPI 2019 Committee Member in Program Committee within the PLACES-track PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Arvind Ravi Microsoft Azure Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track in ETAPS 2019
Brian Redmond Author of Hierarchical Digging is EXPTIME within the DICE-FOPARA-track in DICE-FOPARA 2019
Giles Reger University of Manchester United Kingdom Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the TACAS 2019-track in TACAS 2019 Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the Posters-track in ETAPS 2019
Fabian Reiter Author of Identifiers in Registers – Describing Network Algorithms with Logic within the FOSSACS 2019-track in FOSSACS 2019
R Rekha Author of Data-Races and Static Analysis for Interrupt-Driven Kernels within the ESOP 2019-track in ESOP 2019
John Renner University of California, San Diego Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track in POST 2019
Arend Rensink University of Twente, The Netherlands Netherlands Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track in FOSSACS 2019
Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. United States Author of The Dilemma of Shape Analysis within the Mooly Fest-track in ETAPS 2019 Speaker of A tale of two MURIs: Authorization Meets Model Checking within the Mentoring Workshop-track in ETAPS 2019 Speaker in Speakers within the ETAPS Mentoring Workshop-track
Ahmed Rezine Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track in TACAS 2019
Colin Riba Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the GaLoP-track in GaLoP 2019 Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the FOSSACS 2019-track in FOSSACS 2019
Adrian Riesco Universidad Complutense de Madrid Spain Author of Fuzzy Matching in Symbolic Systems Biology within the HSB-track in HSB 2019
Virgile Robles Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track in TACAS 2019
Eugénio A. M. Rocha University of Aveiro Author of rPrism -- A software for reactive weighted state transition models within the HSB-track in HSB 2019
Simona Ronchi Della Rocca University of Torino Italy Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Jurriaan Rot Radboud University Nijmegen Author of Coalgebra Learning via Duality within the FOSSACS 2019-track in FOSSACS 2019
Subhajit Roy IIT Kanpur, India Author of WAPS: Weighted and Projected Sampling within the TACAS 2019-track in TACAS 2019 Author of WAPS: Weighted and Projected Sampling within the Posters-track in ETAPS 2019
Andrew Ruef Author of Achieving Safety Incrementally with Checked C within the POST 2019-track in POST 2019
Philipp Ruemmer Uppsala University Sweden Committee Member in Program Committee within the PERR-track Committee Member in Program Committee within the HCVS-track
Harald Ruess fortiss Germany Committee Member in Program Committee within the MeTRiD-track
Enno Ruijters Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track in TACAS 2019
Bernhard Rumpe RWTH Aachen Germany Committee Member in Program Committee within the FASE-track
Tobias Runge TU Braunschweig Author of Tool Support for Correctness-by-Construction within the FASE 2019-track in FASE 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track in ETAPS 2019
Alessandra Russo Imperial College London United Kingdom Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the FASE-track
Peter Ryan University of Luxembourg Luxembourg Committee Member in Program Committee within the POST-track
Andrey Rybalchenko Microsoft Research United Kingdom Committee Member in Program Committee within the HCVS-track
René Rydhof Hansen Aalborg University, Denmark Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track in SPIoT 2019
Sukyoung Ryu KAIST, South Korea Korea, South Author of Automatic Modeling for Opaque Code in JavaScript Static Analysis within the FASE 2019-track in FASE 2019
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 France Author of Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation within the ESOP 2019-track in ESOP 2019
Olli Saarikivi Author of Symbolic Regex Matcher within the TACAS 2019-track in TACAS 2019 Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track in ETAPS 2019
Andrei Sabelfeld Chalmers University of Technology Sweden Committee Member in Program Committee within the POST-track
David Safranek Masaryk University Czech Republic Publications Chair in Organizing Committee for ETAPS 2019 Session Chair of VII (part of HSB) Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019 Author of Data-informed parameter synthesis for population Markov chains within the HSB-track in HSB 2019 Author of Digital Bifurcation Analysis of TCP Dynamics within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the HSB-track
Mooly Sagiv Tel Aviv University Israel Author of Automatic Detection of all Smart Contract Bugs within the Mooly Fest-track in ETAPS 2019 Keynote Speaker of From Shape Analysis to Smart Contract Verification: A journey in proof automation within the Mentoring Workshop-track in ETAPS 2019 Keynote Speaker in Speakers within the ETAPS Mentoring Workshop-track
Konstantinos (Kostis) Sagonas Uppsala University Sweden Author of Invited Talk: Concolic testing of higher-order functional languages within the HCVS-track in HCVS 2019 Invited Speaker in Invited Speakers within the HCVS-track
Ken Sakayori The University of Tokyo Author of A Categorical Model of an i/o-typed pi-calculus within the ESOP 2019-track in ESOP 2019
Lucas Sakizloglou Author of Metric Temporal Graph Logic over Typed Attributed Graphs within the FASE 2019-track in FASE 2019
Rick Salay University of Toronto Canada Committee Member in Program Committee within the FASE-track
Gwen Salaün University of Grenoble Alpes Author of Debugging of Behavioural Models with CLEAR within the TACAS 2019-track in TACAS 2019
Malavika Samak CSAIL, MIT United States Committee Member in Program Committee within the PLACES-track
Matteo Sammartino University College London Author of Coalgebras for causality within the CREST-track in CREST 2019 Committee Member in Invited Speakers within the CREST-track Committee Member in Program Committee within the CREST-track
Dave Sands Chalmers Sweden Committee Member in Steering Committee for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the POST-track
Gabriel Sandu University of Helsinki Finland Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Davide Sangiorgi University of Bologna Italy Committee Member in Program Committee within the FOSSACS-track
Guido Sanguinetti University of Edinburgh United Kingdom Author of Geometric fluid approximation for general continuous-time Markov chains within the HSB-track in HSB 2019 Author of Statistical abstraction for multi-scale spatio-temporal systems within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the HSB-track
Sriram Sankaranarayanan University of Colorado, Boulder United States Committee Member in Program Committee within the HSB-track
Don Sannella University of Edinburgh United Kingdom Committee Member in Steering Committee for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Beatriz Santos-Buitrago Seoul National University Author of Fuzzy Matching in Symbolic Systems Biology within the HSB-track in HSB 2019
Gustavo Santos-Garcia Universidad de Salamanca Author of Fuzzy Matching in Symbolic Systems Biology within the HSB-track in HSB 2019
Sergio Saponara University of Pisa, Italy Author of FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems within the InterAVT-track in InterAVT 2019
Vivek Sarkar Rice University, USA United States Author of Keynote: Unstructured Parallelism Considered Harmful -- Using Structured Parallelism for Enhanced Software Verification within the PLACES-track in PLACES 2019
Vladimiro Sassone University of Southampton United Kingdom Society Activities in Executive Board for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Alexis Saurin Author of Bouncing Threads for Infinitary and Circular Proofs within the GaLoP-track in GaLoP 2019 Author of Towards Circular Proof Nets within the GaLoP-track in GaLoP 2019
Ivan Scagnetto University of Udine Author of A Theory of Contexts for Higher-Order Encodings of Process Algebras within the BEHAPI-track in BEHAPI 2019
Alceste Scalas Aston University United Kingdom Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track in GaLoP 2019
Ina Schaefer Technische Universität Braunschweig Germany Author of Tool Support for Correctness-by-Construction within the FASE 2019-track in FASE 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
Andrea Schalk University of Manchester, UK United Kingdom Committee Member in Steering Committee within the GaLoP-track
Florian Schanda Zenuity Germany Author of Building Better Bit-Blasting for Floating-Point Problems within the TACAS 2019-track in TACAS 2019
Michael Schaper University of Innsbruck Author of Modular Runtime Complexity Analysis of Probabilistic While Programs within the DICE-FOPARA-track in DICE-FOPARA 2019
Ulla Scheler Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Sven Schewe University of Liverpool Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track in TACAS 2019
Christian Schilling IST Austria Austria Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track in TACAS 2019 Author of Ultimate Automizer within the Posters-track in ETAPS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track in ETAPS 2019
Tanja Schindler University of Freiburg Author of Ultimate Automizer within the Posters-track in ETAPS 2019
Stefano Schivo Open University of the Netherlands Netherlands Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Anne-Kathrin Schmuck Author of Environmentally-friendly GR(1) Synthesis within the TACAS 2019-track in TACAS 2019
Sven Schneider Author of Metric Temporal Graph Logic over Typed Attributed Graphs within the FASE 2019-track in FASE 2019 Author of A Logic-Based Incremental Approach to Graph Repair within the FASE 2019-track in FASE 2019
Peter Schrammel University of Oxford, UK Author of JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) within the Posters-track in ETAPS 2019
Igor Schreiber University of Chemistry and Technology of Prague Author of Invited talk: Reaction networks, stability of steady states, motifs for oscillatory dynamics, and parameter estimation in complex biochemical mechanisms within the HSB-track in HSB 2019
Anne Schreuder Technischen Universität Kaiserslautern Germany Author of Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence within the QAPL-track in QAPL 2019
Tom Schrijvers KU Leuven Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track in ESOP 2019 Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track in ETAPS 2019
Stephan Schulz Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track in TACAS 2019
Philipp Schuster University of Tübingen, Germany Author of Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation within the ESOP 2019-track in ESOP 2019
Lutz Schöder FAU Erlangen-Nürnberg, Lehrstuhl 8 Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track in GaLoP 2019 Author of Optimal Satisfiability Checking for Arithmetic mu-Calculi within the FOSSACS 2019-track in FOSSACS 2019
Carsten Schürmann IT University of Copenhagen Denmark Committee Member in Program Committee within the POST-track
Andy Schürr TU Darmstadt Committee Member in Steering Committee for ETAPS 2019 Author of Efficient Model Synchronization by Automatically Constructed Repair Processes within the FASE 2019-track in FASE 2019 Committee Member in Program Committee within the FASE-track
Helmut Seidl Technische Universität München Session Chair of Fixed-point Logics (part of FOSSACS) Author of Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time within the FOSSACS 2019-track in FOSSACS 2019
Martina Seidl Committee Member in Program Committee within the MeTRiD-track
Thomas Seiller CNRS France Session Chair of V (part of DICE-FOPARA) Author of PRAMs over integers do not compute maxflow efficiently within the DICE-FOPARA-track in DICE-FOPARA 2019 Author of Finite semantics of polymorphism, complexity and the power of type fixpoints within the DICE-FOPARA-track in DICE-FOPARA 2019 Chair in Program Committee within the DICE-FOPARA-track Committee Member in Program Committee within the GaLoP-track
Taro Sekiyama National Institute of Informatics Japan Author of Handling polymorphic algebraic effects within the ESOP 2019-track in ESOP 2019
Gehan Selim Author of SL2SF: Refactoring Simulink to Stateflow within the FASE 2019-track in FASE 2019
Valerio Senni ALES Srl — UTRC Italy Committee Member in Program Committee within the HCVS-track
Alper Sen Author of DeepFault: Fault Localization For Deep Neural Networks within the FASE 2019-track in FASE 2019 Author of DeepFault: Fault Localization for Deep Neural Networks within the Posters-track in ETAPS 2019
Sanjit Seshia University of California, Berkeley United States Committee Member in Program Committee within the TACAS-track
Preey Shah Author of Continuous Reachability for Unordered Data Petri Nets is in PTime within the FOSSACS 2019-track in FOSSACS 2019
Vladimir Shakhov University of Ulsan, South Korea Author of Graph-based Technique for Survivability Estimation and Optimization of IoT Applications within the SPIoT-track in SPIoT 2019
Zhong Shao Yale University United States Session Chair of Security and Incremental Computation (part of ESOP) Committee Member in Program Committee within the ESOP-track
Rahul Sharma Microsoft Research India Committee Member in Program Committee within the PERR-track
Shubham Sharma Author of WAPS: Weighted and Projected Sampling within the TACAS 2019-track in TACAS 2019 Author of WAPS: Weighted and Projected Sampling within the Posters-track in ETAPS 2019
Natasha Sharygina USI Lugano, Switzerland Switzerland Author of Decomposing Farkas Interpolants within the HCVS-track in HCVS 2019 Author of Decomposing Farkas Interpolants within the TACAS 2019-track in TACAS 2019 Author of Decomposing Farkas Interpolants within the Posters-track in ETAPS 2019
Filip Sieczkowski University of Wrocław Poland Author of Equational Theories and Monads from Polynomial Cayley Representations within the FOSSACS 2019-track in FOSSACS 2019
Konrad Siek Czech Technical University in Prague Czech Republic Poster Co-Chair in Organizing Committee for ETAPS 2019 Session Chair of Main Poster Session (part of ETAPS Posters) Chair in Organizers within the ETAPS Posters-track
Joseph Sifakis Verimag/CNRS France Author of Programming Dynamic Reconfigurable Systems with DR-BIP within the MeTRiD-track in MeTRiD 2019 Author of Checking Deadlock-Freedom of Parametric Component-Based Systems within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the MeTRiD-track
Franz Siglmüller Author of Type-Based Resource Analysis on Haskell within the DICE-FOPARA-track in DICE-FOPARA 2019
Alexandra Silva University College London United Kingdom Committee Member in Program Committee within the ESOP-track
Simone Silvetti Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track in SynCoP 2019
Alex Simpson University of Ljubljana Slovenia Committee Member in Steering Committee for ETAPS 2019 Session Chair of Applied Categories (part of FOSSACS) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the FOSSACS-track
Abhyudai Singh University of Delaware United States Author of Controlling noisy expression through auto regulation of burst frequency and protein stability within the HSB-track in HSB 2019 Committee Member in Program Committee within the HSB-track
Gary Soeller Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track in POST 2019
Ana Sokolova University of Salzburg Austria Committee Member in Program Committee within the FOSSACS-track
Oleg Sokolsky University of Pennsylvania, USA Author of LCV: A Verification Tool for Linear Controller Software within the TACAS 2019-track in TACAS 2019 Committee Member in Program Committee within the CREST-track
Fabio Somenzi Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track in TACAS 2019
Fu Song Author of SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language within the FASE 2019-track in FASE 2019 Author of Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks within the TACAS 2019-track in TACAS 2019
Julien Sopena Author of Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework within the TACAS 2019-track in TACAS 2019
Mikhail Soutchanski Author of Towards A Logical Account of Epistemic Causality within the Posters-track in ETAPS 2019
Martin Spießl Author of CPAchecker with Strategy Selection within the Posters-track in ETAPS 2019
Paola Spoletini Kennesaw State University United States Committee Member in Program Committee within the MeTRiD-track
Fausto Spoto U. Verona Author of Static Analysis for the OWASP IoT Top 10 2018. within the SPIoT-track in SPIoT 2019 Author of Cross Programming Language Taint Analysis for the IoT Ecosystem within the InterAVT-track in InterAVT 2019
Jiri Srba Author of Abstract Dependency Graphs and Their Application to Model Checking within the TACAS 2019-track in TACAS 2019
Sam Staton University of Oxford Author of A Sound and Complete Logic for Algebraic Effects within the FOSSACS 2019-track in FOSSACS 2019
Chiara Staudenmaier Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Kateřina Staňková Maastricht University Netherlands Committee Member in Program Committee within the HSB-track
Deian Stefan University of California San Diego Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track in POST 2019 Author of Information Flow Control Parallel Runtime Systems Foundations within the Posters-track in ETAPS 2019
Bernhard Steffen Technical University Dortmund Germany Session Chair of Machine Learning (part of TACAS) Author of Pyro: Generating Domain-Specific Collaborative Online Modeling Environments within the FASE 2019-track in FASE 2019 Moderator of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track Chair in Steering Committee within the TACAS-track Committee Member in Organizers within the ETAPS TOOLympics-track
Florian Steinberg INRIA Saclay Germany Author of Type-two Iteration with Bounded Query Revision within the DICE-FOPARA-track in DICE-FOPARA 2019
Marvin Stenger Author of Constraint-based Monitoring of Hyperproperties within the TACAS 2019-track in TACAS 2019 Author of Constraint-based Monitoring of Hyperproperties within the Posters-track in ETAPS 2019
Christian Sternagel University of Innsbruck, Austria Austria Author of nonreach – A Tool for Nonreachability Analysis within the TACAS 2019-track in TACAS 2019 Author of Reachability Analysis for Termination and Confluence of Rewriting within the TACAS 2019-track in TACAS 2019
Perdita Stevens University of Edinburgh United Kingdom Committee Member in Program Committee within the FASE-track
Marielle Stoelinga University of Twente and Radboud University, Nijmegen Netherlands Session Chair of Model-driven Development and Model Transformation (part of FASE) Author of Learning from attacks and failures: generating reliability models from data within the SPIoT-track in SPIoT 2019 Author of Navigating through the academic jungle: tips, tricks & traps within the Mentoring Workshop-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Ilina Stoilkovska Vienna University of Technology Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track in TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track in ETAPS 2019
Jan Strejcek Masaryk University Czech Republic Committee Member in Program Committee within the TACAS-track
Ofer Strichman Technion Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Zachary Sullivan Author of Codata in Action within the ESOP 2019-track in ESOP 2019
Alexander J. Summers ETH Zurich Author of The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations within the TACAS 2019-track in TACAS 2019
Nick Sumner Simon Fraser University Author of Pardis: Priority Aware Test Case Reduction within the FASE 2019-track in FASE 2019
Youcheng Sun University of Oxford Author of Building Better Bit-Blasting for Floating-Point Problems within the TACAS 2019-track in TACAS 2019
Jun Sun Singapore University of Technology and Design Singapore Committee Member in Program Committee within the FASE-track
Xuechao Sun Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track in TACAS 2019 Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track in ETAPS 2019
Meng Sun Peking University China Committee Member in Program Committee within the TACAS-track
Andrew Sutton Author of On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition within the TACAS 2019-track in TACAS 2019
Zhendong Su ETH Zurich Switzerland Committee Member in Program Committee within the TACAS-track
Nikhil Swamy Microsoft Research United States Author of Wys: A DSL for Verified Secure Multi-party Computations within the POST 2019-track in POST 2019 Author of Meta-F: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track in ESOP 2019
Ian Sweet Author of Achieving Safety Incrementally with Checked C within the POST 2019-track in POST 2019
Janos Sztipanovits Vanderbilt University United States Committee Member in Program Committee within the MeTRiD-track
Gabriele Taentzer Universität Marburg Germany Committee Member in Steering Committee for ETAPS 2019 Session Chair of Software Evolution & Requirements Engineering (part of FASE) Author of Efficient Model Synchronization by Automatically Constructed Repair Processes within the FASE 2019-track in FASE 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
Jean-Marc Talbot Author of Two-Way Parikh Automata with a Visibly Pushdown Stack within the FOSSACS 2019-track in FOSSACS 2019
Carolyn Talcott SRI International Author of Fuzzy Matching in Symbolic Systems Biology within the HSB-track in HSB 2019
Iacopo Talevi Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track in FASE 2019
David Tarditi Author of Achieving Safety Incrementally with Checked C within the POST 2019-track in POST 2019
Silvia Lizeth Tapia Tarifa University of Oslo Norway Session Chair of Software Testing (part of FASE) Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track in FASE 2019 Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
Michael Tautschnig Amazon Web Services United Kingdom Committee Member in Program Committee within the TACAS-track
Leander Tentrup Saarland University Session Chair of Reactive Synthesis Background & SYNTCOMP (part of SYNT Camp) Session Chair of Hands-on BoSy Tutorial (part of SYNT Camp) Author of Hand-on Synthesis Experience with BoSy (part 2) within the SYNT Camp-track in SYNT Camp 2019 Author of Hand-on Synthesis Experience with BoSy within the SYNT Camp-track in SYNT Camp 2019 Author of Constraint-based Monitoring of Hyperproperties within the TACAS 2019-track in TACAS 2019 Author of Constraint-based Monitoring of Hyperproperties within the Posters-track in ETAPS 2019 Committee Member in Organizing Committee within the SYNT Camp-track
Tachio Terauchi Waseda University Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 2019-track in POST 2019
Peter Thiemann University of Freiburg, Germany Committee Member in Steering Committee for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Vasco Thudichum Vasconcelos Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track in ESOP 2019
Kristinn R. Thórisson Reykjavik University & Icelandic Institute for Intelligent Machines Iceland Committee Member in Program Committee within the CREST-track
Thomas Thüm TU Braunschweig, Germany Germany Author of Tool Support for Correctness-by-Construction within the FASE 2019-track in FASE 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track in ETAPS 2019
Cesare Tinelli University of Iowa United States Author of An overview of Satisfiability Modulo Theories and its applications within the Tutorials-track in ETAPS 2019 Mentor in Mentors within the ETAPS Mentoring Workshop-track
Alwen Tiu Australian National University Australia Committee Member in Program Committee within the POST-track
Claudio Tomazzoli Author of Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes within the DICE-FOPARA-track in DICE-FOPARA 2019
Jake Tom Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Stefano Tonetta Fondazione Bruno Kessler, Italy Author of COMPASS 3.0 within the TACAS 2019-track in TACAS 2019 Author of The COMPASS 3.0 Toolset within the Posters-track in ETAPS 2019
Bernardo Toninho Imperial College London Author of Manifest Deadlock-Freedom for Shared Session Types within the ESOP 2019-track in ESOP 2019
Aivo Toots Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Daniel Alberto Torres Gonzalez LIPN, Université Paris 13 Mexico Author of Fault-tolerant matrix factorisation: a formal model and proof within the SynCoP-track in SynCoP 2019
Lorenzo Tortora de Falco Author of Finite semantics of polymorphism, complexity and the power of type fixpoints within the DICE-FOPARA-track in DICE-FOPARA 2019
Laurent Tournier MaIAGE, INRA, Université Paris-Saclay. Author of Using a hybrid approach to model central carbon metabolism across the cell cycle within the HSB-track in HSB 2019
Louise Travé-Massuyès CNRS France Committee Member in Program Committee within the CREST-track
Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy Author of Fixed-point Computation of Equilibria in Biochemical Regulatory Networks within the HSB-track in HSB 2019 Author of Markovian equivalences for biochemical reaction networks within the Posters-track in ETAPS 2019 Steering Committee Member in Steering Committee within the QAPL-track
Stavros Tripakis Northeastern University United States Committee Member in Program Committee within the InterAVT-track
Ashutosh Trivedi Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track in TACAS 2019
Matej Troják Masaryk University Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019
Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy Author of Fixed-point Computation of Equilibria in Biochemical Regulatory Networks within the HSB-track in HSB 2019 Author of Markovian equivalences for biochemical reaction networks within the Posters-track in ETAPS 2019
Max Tschaikowski TU Wien Invited Speaker of Invited talk: Exact and Approximate Reductions of Quantitative Models within the QAPL-track in QAPL 2019
Takeshi Tsukada University of Tokyo, Japan Author of A Categorical Model of an i/o-typed pi-calculus within the ESOP 2019-track in ESOP 2019
Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track in TACAS 2019 Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track in ETAPS 2019
Reedik Tuuling Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Nikos Tzevelekos Queen Mary University of London Author of A Framework for Compositional Model Checking within the GaLoP-track in GaLoP 2019 Co-chair in Organizing Committee within the PERR-track Co-chair in Program Committee within the PERR-track Committee Member in Program Committee within the GaLoP-track
Mattias Ulbrich Karlsruhe Institute of Technology Germany Session Chair of II (part of HCVS) Author of Automatic Equivalence Proofs for Programs with Algebraic Data Types within the PERR-track in PERR 2019 Co-chair in Organizing Committee within the PERR-track Co-chair in Program Committee within the PERR-track
Natsuki Urabe Author of Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments within the TACAS 2019-track in TACAS 2019
Henning Urbat Author of Equational Axiomatization of Algebras wth Structure within the FOSSACS 2019-track in FOSSACS 2019
Tarmo Uustalu Reykjavik University Iceland Publicity in Executive Board for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Wim Vanderbauwhede University of Glasgow Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track in PLACES 2019
Andrea Vandin DTU, Denmark Denmark Author of Markovian equivalences for biochemical reaction networks within the Posters-track in ETAPS 2019
Daniele Varacca Université Paris Est - Créteil Committee Member in Program Committee within the CREST-track
Vasco T. Vasconcelos University of Lisbon, Portugal Author of FreeST: context-free session types in a functional language within the PLACES-track in PLACES 2019 Author of FreeST: context-free session types in a functional language within the Posters-track in ETAPS 2019
Pedro Vasconcelos LIACC, Universidade do Porto, Porto, Portugal Portugal PC Member in Program Committee within the DICE-FOPARA-track
Vasco Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon Portugal Session Chair of III (part of PLACES) Session Chair of Types (part of ESOP)
Marco Vassena Chalmers University of Technology Sweden Author of Foundations for Parallel Information Flow Control Runtime Systems within the POST 2019-track in POST 2019 Author of Information Flow Control Parallel Runtime Systems Foundations within the Posters-track in ETAPS 2019
Margus Veanes Microsoft Research Author of Invited talk by Margus Veanes within the PERR-track in PERR 2019 Author of Symbolic Regex Matcher within the TACAS 2019-track in TACAS 2019 Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track in ETAPS 2019
Anthony Ventresque Lero and University College Dublin Ireland Committee Member in Program Committee within the InterAVT-track
Marcel Verhoef European Space Agency Netherlands Committee Member in Program Committee within the MeTRiD-track
Ferdinand Vesely Swansea University United Kingdom Author of One Step at a Time within the ESOP 2019-track in ESOP 2019
Alicia Villanueva Universitat Politècnica de València Spain Committee Member in Program Committee within the HCVS-track
Jan Vitek Northeastern University and Czech Technical University United States Committee Member in Steering Committee for ETAPS 2019 General Chair in Organizing Committee for ETAPS 2019 Author of Do programming languages matter for correctness of code? A reproduction study within the Mentoring Workshop-track in ETAPS 2019 Author of Opening within the Social-track in ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Comfy Chair in Organizers within the ETAPS Mentoring Workshop-track Comfy Chair in Organizing Committee within the ETAPS Mooly Fest-track
Tomas Vojnar Brno University of Technology Czech Republic Committee Member in Steering Committee for ETAPS 2019 Session Chair of Flanagan (part of ETAPS Keynotes) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Niels Voorneveld University of Ljubljana Slovenia Committee Member in Program Committee within the PERR-track
Huu-Phuc Vo Uppsala University Sweden Author of Towards Efficient Algorithms for Constraint Satisfaction Problems within the Posters-track in ETAPS 2019
Petar Vukmirović Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track in TACAS 2019
Valeriy Vyatkin Aalto University, Finland and Luleå University of Technology, Sweden Session Chair of Cyber-Physical Systems design (part of MeTRiD) Keynote Speaker of Cyber-Physical Components as building blocks of more dependable industrial CPS within the MeTRiD-track in MeTRiD 2019
Jouko Väänänen University of Helsinki Finland Committee Member in Steering Committee within the GaLoP-track
András Vörös Budapest University of Technology and Economics Hungary Committee Member in Program Committee within the MeTRiD-track
Bruce W Watson Author of Tool Support for Correctness-by-Construction within the FASE 2019-track in FASE 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track in ETAPS 2019
Benedikt Wagner Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Dominik Wagner Author of HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories within the HCVS-track in HCVS 2019
David Walker Princeton University United States Committee Member in Program Committee within the ESOP-track
Jörn Walter Saarland University Author of A Hybrid HMM Approach for the Dynamics of DNA Methylation within the HSB-track in HSB 2019
Wenxi Wang The University of Texas at Austin, Texas, USA United States Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track in TACAS 2019
Qi Wang Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track in TACAS 2019
Kaiyuan Wang Google, Inc. United States Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track in TACAS 2019
Yi Wang Shenzhen University Author of KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs within the FASE 2019-track in FASE 2019
Meng Wang University of Bristol, UK United Kingdom Author of Composing bidirectional programs monadically within the ESOP 2019-track in ESOP 2019
Tiki Wan Author of Symbolic Regex Matcher within the TACAS 2019-track in TACAS 2019 Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track in ETAPS 2019
Todd Waugh Ambridge University of Birmingham United Kingdom Author of Local Reasoning for Robust Observational Equivalence within the PERR-track in PERR 2019
Heike Wehrheim Paderborn University Germany Session Chair of Software Verification II (part of FASE) Author of PeSCo: Predicting Sequential Combinations of Verifiers within the Posters-track in ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Committee Member in Program Committee within the FASE-track
James Weimer University of Pennsylvania, USA Committee Member in Program Committee within the HSB-track
Philipp Wendler Author of CPAchecker with Strategy Selection within the Posters-track in ETAPS 2019
Wieger Wesselink Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Josef Widder TU Wien Austria Speaker of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track in MeTRiD 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track in TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track in ETAPS 2019
Thomas Wies New York University United States Committee Member in Program Committee within the TACAS-track
Anton Wijs Eindhoven University of Technology Netherlands Committee Member in Steering Committee for ETAPS 2019 Author of Parallel SAT Simplification on GPU Architectures within the TACAS 2019-track in TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track in TACAS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Author of Parallel SAT Simplification on GPU Architectures within the Posters-track in ETAPS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track in ETAPS 2019
Herbert Wiklicky Imperial College London United Kingdom Invited Speaker of Principles of QAPL: What I learned in nearly 20 years and what I still don’t understand within the QAPL-track in QAPL 2019 Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track
Reinhard Wilhelm Saarland University Germany Speaker of Formal methods can be practical: Verifying time-critical systems within the Mentoring Workshop-track in ETAPS 2019 Speaker in Speakers within the ETAPS Mentoring Workshop-track
Pierre Wilke Yale University Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track in ESOP 2019
Martin Wirsing Ludwig Maximilian University of Munich Germany Committee Member in Program Committee within the MeTRiD-track
Thorsten Wißmann Germany Author of Path category for free - Open morphisms from coalgebras with non-deterministic branching within the FOSSACS 2019-track in FOSSACS 2019
Dominik Wojtczak Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track in TACAS 2019
Verena Wolf Saarland University Germany Author of Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks within the HSB-track in HSB 2019 Author of A Hybrid HMM Approach for the Dynamics of DNA Methylation within the HSB-track in HSB 2019 Committee Member in Program Committee within the HSB-track
James Worrell University of Oxford United Kingdom Committee Member in Program Committee within the FOSSACS-track
Tobias Wrigstad Uppsala University Sweden Mentorship Chair in Organizing Committee for ETAPS 2019 Session Chair of Afternoon Coffee and Group Work (part of ETAPS Mentoring Workshop) Session Chair of Lunch and Group Work (part of ETAPS Mentoring Workshop) Session Chair of Morning Coffee and Group Work (part of ETAPS Mentoring Workshop) Chair in Organizers within the ETAPS Mentoring Workshop-track
Stephen Wynn-Williams Author of SL2SF: Refactoring Simulink to Stateflow within the FASE 2019-track in FASE 2019
Valentin Wüstholz ConsenSys Diligence Germany Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track in TACAS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track in ETAPS 2019
Andrzej Wąsowski IT University of Copenhagen, Denmark Denmark Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track in FASE 2019
Li-yao Xia University of Pennsylvania Author of Composing bidirectional programs monadically within the ESOP 2019-track in ESOP 2019
Hongyi Xie Author of Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks within the TACAS 2019-track in TACAS 2019
Ningning Xie The University of Hong Kong China Author of Distributive Disjoint Polymorphism for Compositional Programming within the ESOP 2019-track in ESOP 2019 Author of Distributive Disjoint Polymorphism for Compositional Programming within the Posters-track in ETAPS 2019
Yingfei Xiong Peking University China Committee Member in Program Committee within the FASE-track
Junnan Xu Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the TACAS 2019-track in TACAS 2019 Author of ROLL 1.0: $\omega$-Regular Language Learning Library within the Posters-track in ETAPS 2019
Eric Xu Microsoft, USA China Author of Symbolic Regex Matcher within the TACAS 2019-track in TACAS 2019 Author of Credential Scanning powered by Symbolic Regex Matching within the Posters-track in ETAPS 2019
Eran Yahav Technion Israel Author of code2seq: Generating Sequences from Structured Representations of Code within the Mooly Fest-track in ETAPS 2019 Chair in Organizing Committee within the ETAPS Mooly Fest-track
Akihisa Yamada Author of Reachability Analysis for Termination and Confluence of Rewriting within the TACAS 2019-track in TACAS 2019
Fan Yang University of Helsinki Author of Logics for first-order definable team properties within the GaLoP-track in GaLoP 2019
Maksym Yerokhin Author of Business Process Privacy Analysis in PLEAK within the FASE 2019-track in FASE 2019 Author of Business Process Privacy Analysis in Pleak within the Posters-track in ETAPS 2019
Mingsheng Ying University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University. Australia Committee Member in Program Committee within the POST-track
Wang Yi Uppsala University, Sweden Committee Member in Program Committee within the MeTRiD-track
Boyan Yordanov Microsoft Research United Kingdom Committee Member in Program Committee within the HSB-track
Nobuko Yoshida Imperial College London Author of Multiparty session type-safe web development with static linearity within the PLACES-track in PLACES 2019 Author of Service Equivalence via Multiparty Session Type Isomorphisms within the PLACES-track in PLACES 2019 Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019 Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track in GaLoP 2019 Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track in ESOP 2019 Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track in FOSSACS 2019 Author of Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms within the Posters-track in ETAPS 2019
Majid Zamani Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the TACAS 2019-track in TACAS 2019 Author of Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach within the Posters-track in ETAPS 2019
Fabio Zanasi University College London Author of Causal Inference by String Diagram Surgery within the FOSSACS 2019-track in FOSSACS 2019
Gianluigi Zavattaro Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track in FASE 2019
Filip Zavoral Author of AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention within the InterAVT-track in InterAVT 2019
Georg Zetzsche Max Planck Institute for Software Systems (MPI-SWS) Germany Author of Languages ordered by the subword order within the FOSSACS 2019-track in FOSSACS 2019
Min Zhang East China Normal University China Author of SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language within the FASE 2019-track in FASE 2019 Author of KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs within the FASE 2019-track in FASE 2019 Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track in TACAS 2019
Lijun Zhang Chinese Academy of Sciences China Committee Member in Steering Committee for ETAPS 2019 Session Chair of SAT and SMT I (part of TACAS) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the TACAS-track
Jun Zhang Author of Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks within the TACAS 2019-track in TACAS 2019
Hongce Zhang Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track in TACAS 2019 Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track in ETAPS 2019
Qi Zhou Author of Relational Verification via Invariant-Guided Synchronization within the PERR-track in PERR 2019
Fangyi Zhou Imperial College London Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019
He Zhu Rutgers University, USA Committee Member in Program Committee within the HCVS-track
Margherita Zorzi Università degli Studi di Verona Italy PC Member in Program Committee within the DICE-FOPARA-track
Lenore Zuck University of Illinois at Chicago United Kingdom Tutorials in Executive Board for ETAPS 2019 Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019
Florian Zuleger Vienna University of Technology Austria Session Chair of Model Checking (part of TACAS) Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track in TACAS 2019 Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track in TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track in ETAPS 2019 Committee Member in Program Committee within the TACAS-track
Paolo Zuliani Newcastle University United Kingdom Committee Member in Program Committee within the HSB-track
Roberto Zunino Author of Verifying liquidity of Bitcoin contracts within the POST 2019-track in POST 2019
Philip Zweihoff Author of Pyro: Generating Domain-Specific Collaborative Online Modeling Environments within the FASE 2019-track in FASE 2019
Pascal Zwick Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track in PERR 2019
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track in FASE 2019 Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track in ETAPS 2019
Jan de Muijnck-Hughes University of Glasgow United Kingdom Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track in PLACES 2019
Ugo de'Liguoro Università di Torino Author of Mailbox Types for Unordered Interactions within the BEHAPI-track in BEHAPI 2019
pritom rajkhowa Author of VIAP 1.1 within the Posters-track in ETAPS 2019
Maurice ter Beek Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Committee Member in Program Committee within the FASE-track Committee Member in Program Committee within the InterAVT-track
emilio tuosto University of Leicester United Kingdom Session Chair of Behavioural Types for API-based software (part of BEHAPI) PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Tom van Dijk University of Twente Netherlands Author of Multi-Core On-The-Fly Saturation within the TACAS 2019-track in TACAS 2019
Marko van Eekelen Open University of the Netherlands Netherlands Session Chair of VII (part of DICE-FOPARA) Committee Member in Steering Committe (FOPARA) within the DICE-FOPARA-track
Rob van Glabbeek Author of A Process Algebra for Link Layer Protocols within the ESOP 2019-track in ESOP 2019 Author of Justness: A Completeness Criterion for Capturing Liveness Properties within the FOSSACS 2019-track in FOSSACS 2019
Jaco van de Pol Aarhus University Denmark Author of Pruning NDFS for Parametric Timed Automata within the SynCoP-track in SynCoP 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the TACAS 2019-track in TACAS 2019 Author of Multi-Core On-The-Fly Saturation within the TACAS 2019-track in TACAS 2019 Author of Minimal-Time Synthesis for Parametric Timed Automata within the Posters-track in ETAPS 2019 Committee Member in Organizing Committee within the SynCoP-track
Marie van den Bogaard Author of The Impatient May Use Limited Optimism to Minimize Regret within the FOSSACS 2019-track in FOSSACS 2019
Wil van der Aalst RWTH Aachen Germany Committee Member in Steering Committee for ETAPS 2019 Session Chair of Software Verification I (part of FASE) Author of ETAPS Steering committee meeting within the Social-track in ETAPS 2019 Co-chair in Program Committee within the FASE-track
Ezgi Çiçek Facebook London PC Member in Program Committee within the DICE-FOPARA-track
Peter Ölveczky Author of Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude within the TACAS 2019-track in TACAS 2019
Jan Červený Global Change Research Institute CAS Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019
Jakub Šalagovič Masaryk University Author of Poster flash: Comprehensive Modelling Platform within the HSB-track in HSB 2019