ETAPS 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (975)

A Guillermo A. PerezA. Perez, Guillermo University of AntwerpBelgium Session Chair of Reactive Synthesis Background & SYNTCOMP (part of SYNT Camp) Session Chair of Hands-on BoSy Tutorial (part of SYNT Camp) Reactive Synthesis Background and the Synthesis Competition The Impatient May Use Limited Optimism to Minimize Regret Committee Member in Program Committee within the SYNT Camp-track Committee Member in Organizing Committee within the SYNT Camp-track
Tim A.C. WillemseA.C. Willemse, Tim The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Alessandro AbateAbate, Alessandro University of OxfordUnited Kingdom StocHy: automated verification and synthesis of stochastic processes Committee Member in Program Committee within the HSB-track
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala UniversitySweden 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 AbramskyAbramsky, Samson University of OxfordUnited Kingdom Chair in Steering Committee within the GaLoP-track
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole Polytechnique Types by Need
Luca AcetoAceto, Luca Gran Sasso Science InstituteItaly Committee Member in Program Committee within the FOSSACS-track
Mathieu AcherAcher, Mathieu Committee Member in Program Committee within the InterAVT-track
Nazareno AguirreAguirre, Nazareno Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Automatically Identifying Sufficient Object Builders from Module APIs Automatically Identifying Sufficient Object Builders from Module APIs
Danel AhmanAhman, Danel University of LjubljanaSlovenia Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee for ETAPS 2019
Alex AikenAiken, Alex Stanford University Data Representation Synthesis: Past, Present and Future
S. AkshayAkshay, S. Continuous Reachability for Unordered Data Petri Nets is in PTime
Aurore AlcoleiAlcolei, Aurore Resource-Tracking Concurrent Games
Alessandro AldiniAldini, Alessandro University of UrbinoItaly Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track
Perry AlexanderAlexander, Perry Orchestrating Layered Attestations
Frank AllgowerAllgower, Frank University of StuttgartGermany Committee Member in Program Committee within the HSB-track
Bernardo AlmeidaAlmeida, Bernardo Universidade de Lisboa FreeST: context-free session types in a functional language FreeST: context-free session types in a functional language
Assel AltayevaAltayeva, Assel Imperial College LondonUnited Kingdom Service Equivalence via Multiparty Session Type Isomorphisms Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms
Mario Alvarez-PicalloAlvarez-Picallo, Mario University of Oxford Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog Change Actions: Models of Generalised Differentiation
Peter AmidonAmidon, Peter Foundations for Parallel Information Flow Control Runtime Systems
Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Program Committee within the ESOP-track
Pavel AndrianovAndrianov, Pavel CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software PeSCo: Predicting Sequential Combinations of Verifiers Ultimate Automizer
Étienne AndréAndré, Étienne LIPN, CNRS UMR 7030, Université Paris 13France Minimal-Time Synthesis for Parametric Timed Automata Minimal-Time Synthesis for Parametric Timed Automata Steering Committee Chair in Steering Committee (and PC) within the SynCoP-track
Timos AntonopoulosAntonopoulos, Timos Yale University A Formal Analysis of Timing Channel Security via Bucketing
Farhad ArbabArbab, Farhad CWI and Leiden UniversityNetherlands Committee Member in Program Committee within the MeTRiD-track
Murat ArcakArcak, Murat Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in Program Committee within the POST-track
Zena M. AriolaAriola, Zena M. University of Oregon, USA Codata in Action
Himanshu AroraArora, Himanshu Checking Observational Purity Of Procedures
Eugene AsarinAsarin, Eugene IRIF, University Paris Diderot and CNRS, France Timed Patterns: from Definition to Matching and Monitoring, a survey in memoriam Oded Maler
Aslan AskarovAskarov, Aslan Aarhus UniversityDenmark A Dependently Typed Library for Static Information-Flow Control in Idris Committee Member in Program Committee within the POST-track
David AspinallAspinall, David On the formalisation of Σ-Protocols and Commitment Schemes
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the DICE-FOPARA-track
Paul AttieAttie, Paul American University of BeirutLebanon Committee Member in Program Committee within the MeTRiD-track
Christian AttiogbeAttiogbe, Christian Parametric statistical model checking of UAV flightplan
Juan Carlos AugustoAugusto, Juan Carlos Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
Martin AvanziniAvanzini, Martin INRIA Sophia Antipolis, FranceFrance Modular Runtime Complexity Analysis of Probabilistic While Programs PC Member in Program Committee within the DICE-FOPARA-track
B Souheib BaarirBaarir, Souheib Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
Junaid BabarBabar, Junaid Edge-Specified Reduction Binary Decision Diagrams
Giorgio BacciBacci, Giorgio Aalborg University A Faster-Than Relation for Semi-Markov Decision Processes
David BaeldeBaelde, David LSV, ENS CachanFrance Bouncing Threads for Infinitary and Circular Proofs
Alessandra BagnatoBagnato, Alessandra Softeam Committee Member in Program Committee within the InterAVT-track
Christel BaierBaier, Christel TU Dresden, GermanyGermany Committee Member in Steering Committee for ETAPS 2019 Parametric Markov chains: algorithms, complexity and applications Partial and Conditional Expectations in Markov Decision Processes with Integer Weights Partial and Conditional Expectations in Markov Decision Processes with Integer Weights Committee Member in Program Committee within the FASE-track
Patrick BaillotBaillot, Patrick CNRS & ENS LyonFrance Session Chair of III (part of DICE-FOPARA) Chair in Steering Committee (DICE) within the DICE-FOPARA-track
Alexey BakhirkinBakhirkin, Alexey Specification and Efficient Monitoring Beyond STL
Thomas BallBall, Thomas Microsoft ResearchUnited States Push, Pull, Partner - A Few Models for Industrial Research Mooly: Mensch, Marathon, Method, Magic Speaker in Speakers within the ETAPS Mentoring Workshop-track
Musard BalliuBalliu, Musard KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the POST-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Session Chair of Program Analysis and Automated Verification (part of ESOP) Keynote: Shared Session Types for Safe, Practical Concurrency Manifest Deadlock-Freedom for Shared Session Types Science and Sanity: how to do the former while retaining the later (Panel) 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 BaoBao, Ran Parametric statistical model checking of UAV flightplan
Gianluca BarbonBarbon, Gianluca Universit� Grenoble Alpes, Inria, LIG Debugging of Behavioural Models with CLEAR
Simone BarloccoBarlocco, Simone Coalgebra Learning via Duality
Gilles BartheBarthe, Gilles IMDEA Software InstituteSpain Satellite Events in Executive Board for ETAPS 2019 ETAPS Steering committee meeting
Ezio BartocciBartocci, Ezio Technische Universität Wien Localizing Faults in Simulink/Stateflow Models with STL Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the HSB-track
Massimo BartolettiBartoletti, Massimo Verifying liquidity of Bitcoin contracts
Stylianos BasagiannisBasagiannis, Stylianos United Technologies Research centre Welcome to InterAVT 2019 Committee Member in Program Committee within the MeTRiD-track Committee Member in Organizing Committee within the InterAVT-track
Henning BasoldBasold, Henning CNRS & ENS Lyon Coinduction in Uniform: what's next? Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Nicolas BassetBasset, Nicolas Specification and Efficient Monitoring Beyond STL
Kevin BatzBatz, Kevin RWTH Aachen University Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
Lujo BauerBauer, Lujo Carnegie Mellon UniversityUnited States Committee Member in Steering Committee for ETAPS 2019
Richard BayfordBayford, Richard Middlesex University, UK Committee Member in Program Committee within the SPIoT-track
Nils BeckerBecker, Nils The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology Understanding Counterexamples for Relational Properties with DIbugger
Gina BelmonteBelmonte, Gina Recent Applications and Quantitative Aspects of Spatial Model Checking VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
Najah Ben SaidBen Said, Najah Verimag Committee Member in Program Committee within the SPIoT-track
Amir Ben-AmramBen-Amram, Amir Tight Worst-Case Bounds for Polynomial Loop Programs
Nikola BenesBenes, Nikola Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties Digital Bifurcation Analysis of TCP Dynamics
Valeria BengoleaBengolea, Valeria Dept. of Computer Science FCEFQyN, University of Rio Cuarto Automatically Identifying Sufficient Object Builders from Module APIs Automatically Identifying Sufficient Object Builders from Module APIs
Saddek BensalemBensalem, Saddek Verimag Programming Dynamic Reconfigurable Systems with DR-BIP Rigorous Design of FDIR Systems with BIP 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 BerardiBerardi, Stefano Università di TorinoItaly Committee Member in Program Committee within the FASE-track
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Committee Member in Program Committee within the DICE-FOPARA-track
Cinzia BernardeshiBernardeshi, Cinzia Univ. of PisaItaly Modeling and Simulation of Attacks on Cyber-physical Systems FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems Committee Member in Program Committee within the InterAVT-track
Marco BernardoBernardo, Marco University of Urbino Coherent Resolutions of Nondeterminism Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS
Nathalie BertrandBertrand, Nathalie INRIA Rennes Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries Steering Committee Member in Steering Committee within the QAPL-track
Frédéric BessonBesson, Frédéric Compiling Sandboxes: Formally Verified Software Fault Isolation
Dirk BeyerBeyer, Dirk LMU MunichGermany Committee Member in Steering Committee for ETAPS 2019 Session Chair of Verification and Analysis (part of TACAS) CoVeriTest: Cooperative, Verifier-Based Testing Software Verification — An Overview of the State of the Art CoVeriTest: Cooperative Verifier-Based Testing 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 BezirgiannisBezirgiannis, Nikolaos Implementing SOS with Active Objects: A Case Study of a Multicore Memory System Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Xuan BiBi, Xuan Standard Chartered BankChina Distributive Disjoint Polymorphism for Compositional Programming Distributive Disjoint Polymorphism for Compositional Programming
Armin BiereBiere, Armin Johannes Kepler University LinzAustria Session Chair of SAT Solving and Theorem Proving (part of TACAS) Session Chair of SAT and SMT II (part of TACAS) Encoding Redundancy for Satisfaction-Driven Clause Learning ETAPS Steering committee meeting Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Dariusz BiernackiBiernacki, Dariusz University of Wrocław A Complete Normal-Form Bisimilarity for State
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Committee Member in Program Committee within the ESOP-track
Benjamin BispingBisping, Benjamin Technische Universität BerlinGermany Computing Coupled Similarity Computing Coupled Similarity
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Session Chair of IV (part of HCVS) Special Relations for Special Relationships Committee Member in Program Committee within the HCVS-track
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance Compiling Sandboxes: Formally Verified Software Fault Isolation
Jan Olaf BlechBlech, Jan Olaf Aalto University Towards Digital Twins for the Description of Automotive Software Systems
Martin BlichaBlicha, Martin USI Lugano, Switzerland Decomposing Farkas Interpolants Decomposing Farkas Interpolants Decomposing Farkas Interpolants
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance Session Chair of Welcome & Keynote 1 (part of MeTRiD) Welcome Co-chair in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Committee Member in Program Committee within the SYNT Camp-track
Vincent BloemenBloemen, Vincent University of Twente Minimal-Time Synthesis for Parametric Timed Automata Minimal-Time Synthesis for Parametric Timed Automata
Achim BlumensathBlumensath, Achim Masaryk UniversityCzech Republic Committee Member in Program Committee within the FOSSACS-track
Thomas BläsiusBläsius, Thomas On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition
Laura BocchiBocchi, Laura University of KentUnited Kingdom Asynchronous timed session types: duality and time-sensitive processes PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Alexander BockmayrBockmayr, Alexander Freie Universität Berlin Poster flash: Formalizing metabolic-regulatory networks by hybrid automata
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Chiara BodeiBodei, Chiara University of PisaItaly Committee Member in Program Committee within the POST-track
Sergiy BogomolovBogomolov, Sergiy Australian National UniversityAustralia Committee Member in Program Committee within the HSB-track
Mikolaj BojanczykBojanczyk, Mikolaj University of WarsawPoland 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) ETAPS Steering committee meeting Co-chair in Program Committee within the FOSSACS-track
Pavol BokesBokes, Pavol Comenius University Controlling noisy expression through auto regulation of burst frequency and protein stability
Benedikt BolligBollig, Benedikt CNRS, LSV, ENS Paris-SaclayFrance Identifiers in Registers – Describing Network Algorithms with Logic
Johannes BorgströmBorgström, Johannes Uppsala UniversitySweden Committee Member in Program Committee within the ESOP-track
Artur BoronatBoronat, Artur University of Leicester Offline Delta-driven Model Transformation with Dependency Injection
Luca BortolussiBortolussi, Luca University of TriesteItaly Parametric Verification and Synthesis based on Gaussian Processes Committee Member in Program Committee within the HSB-track Steering Committee Member in Steering Committee within the QAPL-track
Goetz BotterweckBotterweck, Goetz Lero - The Irish Software Research Centre and University of LimerickIreland Welcome to InterAVT 2019 Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges Committee Member in Organizing Committee within the InterAVT-track
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in Program Committee within the TACAS-track
Pierre BoutillierBoutillier, Pierre Counters in Kappa: Semantics, Simulation, and Static Analysis
Patricia BouyerBouyer, Patricia LSV, CNRS & ENS Cachan, University Paris SaclayFrance Identifiers in Registers – Describing Network Algorithms with Logic Committee Member in Program Committee within the TACAS-track
Marius BozgaBozga, Marius Verimag/CNRS Programming Dynamic Reconfigurable Systems with DR-BIP Checking Deadlock-Freedom of Parametric Component-Based Systems Committee Member in Program Committee within the MeTRiD-track
Marco BozzanoBozzano, Marco COMPASS 3.0 The COMPASS 3.0 Toolset
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Value-Dependent Session Design in a Dependently Typed Language
Martin BrainBrain, Martin Building Better Bit-Blasting for Floating-Point Problems
Jorg BrauerBrauer, Jorg Verified SystemsGermany Committee Member in Program Committee within the InterAVT-track
Mario BravettiBravetti, Mario Università di BolognaItaly Optimal and Automated Deployment for Microservices Committee Member in Program Committee within the FASE-track
Lubos BrimBrim, Lubos Digital Bifurcation Analysis of TCP Dynamics
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Implementing SOS with Active Objects: A Case Study of a Multicore Memory System Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Harold BruintjesBruintjes, Harold COMPASS 3.0 The COMPASS 3.0 Toolset
Etienne BrunnerBrunner, Etienne Understanding Counterexamples for Relational Properties with DIbugger
Jeremy BryansBryans, Jeremy Coventry University Committee Member in Program Committee within the InterAVT-track
Barbora BuhnovaBuhnova, Barbora Masaryk University Publicity Chair in Organizing Committee for ETAPS 2019 Science and Sanity: how to do the former while retaining the later (Panel) Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Olav BunteBunte, Olav The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Tomas BuresBures, Tomas Charles University, Czech RepublicCzech Republic Committee Member in Program Committee within the MeTRiD-track
Samuele BuroBuro, Samuele Università degli Studi di Verona On the Multi-Language Construction
Sebastian BuruianaBuruiana, Sebastian Semantics-Based Proofs of Equivalence for Functions with Accumulators
Yuliya ButkovaButkova, Yuliya Optimal Time-Bounded Reachability Analysis for Concurrent Systems
David ButlerButler, David On the formalisation of Σ-Protocols and Commitment Schemes
C Jordi CabotCabot, Jordi ICREA - UOC ETAPS Steering committee meeting Committee Member in Program Committee within the FASE-track
Michaël CadilhacCadilhac, Michaël The Impatient May Use Limited Optimism to Minimize Regret
Luís CairesCaires, Luís NOVA-LINCS, FCT NOVA / Universidade Nova de LisboaPortugal Committee Member in Steering Committee for ETAPS 2019 Session Chair of Fisher (part of ETAPS Keynotes) Session Chair of Program Verification (part of ESOP) ETAPS Steering committee meeting Chair in Program Committee within the ESOP-track
Georgiana CaltaisCaltais, Georgiana University of Konstanz Co-chair in Program Committee within the CREST-track
Giulio CaravagnaCaravagna, Giulio Institute of Cancer ResearchUnited Kingdom Committee Member in Program Committee within the HSB-track
Marco CarboneCarbone, Marco IT University of Copenhagen Mechanise your proofs in Coq: From zero to cut-admissibility in less than three months.
Luca CardelliCardelli, Luca Microsoft Research and University of OxfordUnited Kingdom Markovian equivalences for biochemical reaction networks Committee Member in Program Committee within the HSB-track
Caroline CaruanaCaruana, Caroline University of Malta BehAPI Practices
Simon CastellanCastellan, Simon Imperial College London, UK Probabilistic Programming Inference via Intensional Semantics
Simon CastellanCastellan, Simon A game semantics understanding of asynchronous multiparty session types subtyping
Simon CastellanCastellan, Simon Imperial College London, UK Probabilistic Programming Inference via Intensional Semantics Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment)
Pablo CastroCastro, Pablo Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Measuring Masking Fault-Tolerance
Nathalie CauchiCauchi, Nathalie University of OxfordUnited Kingdom StocHy: automated verification and synthesis of stochastic processes
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom Committee Member in Program Committee within the FASE-track
Milan CeskaCeska, Milan Brno University of Technology Czech Republic Workshops Co-Chair in Organizing Committee for ETAPS 2019 Session Chair of I (part of HSB) Shepherding Hordes of Markov Chains 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 ChampionChampion, Adrien OCamlProFrance Committee Member in Program Committee within the HCVS-track
Matthew ChanChan, Matthew Foundations for Parallel Information Flow Control Runtime Systems
Guido ChariChari, Guido Czech Technical University, CzechiaCzech Republic Student Volunteer Co-Chair in Organizing Committee for ETAPS 2019 A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation
Madalena ChavesChaves, Madalena INRIA rPrism -- A software for reactive weighted state transition models
Marsha ChechikChechik, Marsha University of TorontoCanada Software Assurance in an Uncertain World Advice on your adviser 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
Taolue ChenChen, Taolue Birkbeck, University of London Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Xiaohong ChenChen, Xiaohong SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan ROLL 1.0: $\omega$-Regular Language Learning Library ROLL 1.0: $\omega$-Regular Language Learning Library Ultimate Automizer Committee Member in Program Committee within the TACAS-track
Elizabeth CherryCherry, Elizabeth Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the HSB-track
Michela ChiappaloneChiappalone, Michela Italian Institute of TechnologyItaly Session Chair of Synthesis and Inference (part of HSB) Invited talk: Closed-loop neurohybrid interfaces: from in vitro to in vivo studies and beyond Committee Member in Program Committee within the HSB-track
Hana ChocklerChockler, Hana King's College London Committee Member in Program Committee within the CREST-track
Nikita ChopraChopra, Nikita Data-Races and Static Analysis for Interrupt-Driven Kernels
Maria ChristakisChristakis, Maria MPI-SWSGermany Semantic Fault Localization and Suspiciousness Ranking Semantic Fault Localization and Suspiciousness Ranking Committee Member in Program Committee within the TACAS-track
Agata CiabattoniCiabattoni, Agata TU WienAustria Committee Member in Program Committee within the FOSSACS-track
Vincenzo CianciaCiancia, Vincenzo Recent Applications and Quantitative Aspects of Spatial Model Checking VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
Gianfranco CiardoCiardo, Gianfranco iRank: a variable order metric for DEDS subject to linear invariants Edge-Specified Reduction Binary Decision Diagrams
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly COMPASS 3.0 The COMPASS 3.0 Toolset Committee Member in Program Committee within the TACAS-track
Eugenio CinquemaniCinquemani, Eugenio INRIA, GrenobleFrance Committee Member in Program Committee within the HSB-track
Stefan CiobacaCiobaca, Stefan Alexandru Ioan Cuza University of Iasi Semantics-Based Proofs of Equivalence for Functions with Accumulators Committee Member in Program Committee within the PERR-track
Gabriel CiobanuCiobanu, Gabriel Alexandru Ioan Cuza University of Iasi Committee Member in Program Committee within the CREST-track
Pierre ClairambaultClairambault, Pierre CNRS & ENS LyonFrance Full Abstraction for the Quantum Lambda-Calculus Resource-Tracking Concurrent Games Chair in Program Committee within the GaLoP-track
Rance CleavelandCleaveland, Rance University of MarylandUnited States Session Chair of Safety and Fault-tolerant Systems (part of TACAS) Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)Netherlands Tool Support for Correctness-by-Construction Tool Support for Correctness-by-Construction
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Committee Member in Program Committee within the PLACES-track
Albert CohenCohen, Albert GoogleFrance Committee Member in Program Committee within the SPIoT-track
Thomas ColcombetColcombet, Thomas IRIF, University Paris Diderot and CNRS, FranceFrance Session Chair of Automata (part of FOSSACS) On infinite duration games Invited Speaker in Invited Speaker within the FOSSACS-track Mentor in Mentors within the ETAPS Mentoring Workshop-track
Jacques CombazCombaz, Jacques Verimag/CNRS Revisiting the Glue of BIP
Lucas CordeiroCordeiro, Lucas University of OxfordUnited Kingdom JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Maxime CordyCordy, Maxime SnT, University of Luxembourg Committee Member in Program Committee within the InterAVT-track
Andrea CorradiniCorradini, Andrea Rewriting Abstract Structures: Materialization Explained Categorically
Flavio CorradiniCorradini, Flavio University of CamerinoItaly Committee Member in Program Committee within the FOSSACS-track
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Static Analysis for the OWASP IoT Top 10 2018. Cross Programming Language Taint Analysis for the IoT Ecosystem
Veronique CortierCortier, Veronique CNRS, LORIAFrance Committee Member in Program Committee within the POST-track
Camille CotiCoti, Camille LIPN, Université Paris 13France Fault-tolerant matrix factorisation: a formal model and proof
Patrick CousotCousot, Patrick Calculational design of a static dependency analysis
Matteo CristaniCristani, Matteo Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Ioana CristescuCristescu, Ioana INRIA, France Counters in Kappa: Semantics, Simulation, and Static Analysis Committee Member in Program Committee within the SPIoT-track
Simon CruanesCruanes, Simon Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzech Republic Workshops Co-Chair in Organizing Committee for ETAPS 2019 Co-chair in Organizing Committee within the ETAPS Workshops-track
Pierre-Louis CurienCurien, Pierre-Louis Univ. Paris Diderot and INRIA Paris-RocquencourtFrance Sequential algorithms and innocent strategies share the same execution mechanism Committee Member in Steering Committee within the GaLoP-track
Lukasz CzajkaCzajka, Lukasz University of InnsbruckAustria PC Member in Program Committee within the DICE-FOPARA-track
D Pedro D'ArgenioD'Argenio, Pedro Measuring Masking Fault-Tolerance
Deepak D'SouzaD'Souza, Deepak Data-Races and Static Analysis for Interrupt-Driven Kernels
John D. RamsdellD. Ramsdell, John Orchestrating Layered Attestations
Paul D. RoweD. Rowe, Paul Orchestrating Layered Attestations
Ugo Dal LagoDal Lago, Ugo University of Bologna / InriaItaly Committee Member in Steering Committee for ETAPS 2019 Effectful Normal-Form Bisimulation Committee Member in Program Committee within the ESOP-track Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Neil DalchauDalchau, Neil Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the HSB-track
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Committee Member in Program Committee within the FASE-track
Alexandre DangDang, Alexandre Compiling Sandboxes: Formally Verified Software Fault Isolation
Thao DangDang, Thao CNRS/VERIMAGFrance Oded Maler: An odyssey from Computer Science to Biological Sciences Committee Member in Program Committee within the HSB-track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Session Chair of II (part of PLACES) Binary Session Types in Coq Committee Member in Program Committee within the PLACES-track
Luc DartoisDartois, Luc Two-Way Parikh Automata with a Visibly Pushdown Stack
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States PC Member in Program Committee within the DICE-FOPARA-track
Joshua DawesDawes, Joshua University of Manchester and CERNSwitzerland VyPR2: A Framework for Runtime Verification of Python Web Services VyPR2: A Framework for Runtime Verification of Python Web Services
Emanuele De AngelisDe Angelis, Emanuele University of Chieti-PescaraItaly Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification Co-chair in Organizing Committee within the HCVS-track Co-chair in Program Committee within the HCVS-track
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Implementing SOS with Active Objects: A Case Study of a Multicore Memory System Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Hidde De JongDe Jong, Hidde INRIA Grenoble - Rhone-AlpesFrance Committee Member in Program Committee within the HSB-track
Leonardo De MouraDe Moura, Leonardo Microsoft ResearchUnited States Committee Member in Program Committee within the TACAS-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Value-Dependent Session Design in a Dependently Typed Language
Marc De VismeDe Visme, Marc ENS Lyon Full Abstraction for the Quantum Lambda-Calculus
Ugo de'Liguorode'Liguoro, Ugo Università di Torino Mailbox Types for Unordered Interactions
Abhishek DeDe, Abhishek IRIF, CNRS, France Towards Circular Proof Nets
Alexandre DebantDebant, Alexandre Symbolic verification of distance bounding protocols
Pierpaolo DeganoDegano, Pierpaolo Universita di PisaItaly Committee Member in Program Committee within the POST-track
Benoit DelahayeDelahaye, Benoit Parametric statistical model checking of UAV flightplan
Stephanie DelauneDelaune, Stephanie Symbolic verification of distance bounding protocols
David DelmasDelmas, David Airbus & Sorbonne UniversitéFrance Analysis of program differences with numerical abstract interpretation
Giorgio DelzannoDelzanno, Giorgio DIBRIS, University of GenovaItaly Steering Committee Member in Steering Committee (and PC) within the SynCoP-track Committee Member in Program Committee within the HCVS-track
Ramiro DemasiDemasi, Ramiro Measuring Masking Fault-Tolerance
Ewen DenneyDenney, Ewen NASA Ames Research CenterUnited States Committee Member in Program Committee within the FASE-track
Alessandra Di PierroDi Pierro, Alessandra University of Verona, Italy Steering Committee Member in Steering Committee within the QAPL-track
Daniel DietschDietsch, Daniel University of Freiburg Ultimate TreeAutomizer Ultimate Automizer
Aleksandar S. DimovskiDimovski, Aleksandar S. Mother Teresa University, Skopje Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
Marco DinataleDinatale, Marco Scuole Santa AnnaItaly Committee Member in Program Committee within the InterAVT-track
Zinovy DiskinDiskin, Zinovy SL2SF: Refactoring Simulink to Stateflow
Andrea DomeniciDomenici, Andrea University of Pisa, Italy FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
Philipp Dominik SchubertDominik Schubert, Philipp Heinz Nixdorf Institut, Paderborn UniversityGermany PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Susanna DonatelliDonatelli, Susanna iRank: a variable order metric for DEDS subject to linear invariants
Alexandre DonzeDonze, Alexandre University of California, Berkeley From Sensitive to Formal Barbaric Systems Biology
Amina DoumaneDoumane, Amina Bouncing Threads for Infinitary and Circular Proofs Kleene algebra with hypotheses
Paul DownenDownen, Paul University of Oregon, USA Codata in Action
Iulia DragomirDragomir, Iulia Rigorous Design of FDIR Systems with BIP
Mark DrasDras, Mark Generalised Differential Privacy for Text Document Processing
Tommaso DreossiDreossi, Tommaso University of California at BerkeleyUnited States Committee Member in Program Committee within the HSB-track
Claire DrossDross, Claire AdaCoreFrance Committee Member in Organizing Committee within the VerifyThis-track
Paul DubrulleDubrulle, Paul A Data Flow Model with Frequency Arithmetic
Jérémy DubutDubut, Jérémy Trees in Partial Higher Dimensional Automata Path category for free - Open morphisms from coalgebras with non-deterministic branching
Marlon DumasDumas, Marlon Business Process Privacy Analysis in PLEAK Business Process Privacy Analysis in Pleak
Victor DumitrescuDumitrescu, Victor Nomadic Labs ParisFrance Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Sjur Kristoffer DyrkolbotnDyrkolbotn, Sjur Kristoffer Western Norway University of Applied Sciences Committee Member in Program Committee within the CREST-track
E Clovis EberhartEberhart, Clovis National Institute of Informatics, Japan Simple game semantics and Day convolution
Mnacho EchenimEchenim, Mnacho The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
Jeremy S EdwardsEdwards, Jeremy S University of New Mexico Extracting landscape features from single particle trajectories
Marco EilersEilers, Marco ETH ZurichSwitzerland Invited talk by Marco Eilers
Rim El BallouliEl Ballouli, Rim Verimag Programming Dynamic Reconfigurable Systems with DR-BIP
Petru ElesEles, Petru On Reachability in Parameterized Phaser Programs
Søren Eller ThomsenEller Thomsen, Søren Aarhus UniversityDenmark A Dependently Typed Library for Static Information-Flow Control in Idris
Mehmet EmreEmre, Mehmet University of California, Santa Barbara Structural and Nominal Cross-Language Clone Detection
Constantin EneaEnea, Constantin Université Paris DiderotFrance Committee Member in Program Committee within the ESOP-track
Søren EnevoldsenEnevoldsen, Søren Abstract Dependency Graphs and Their Application to Model Checking
Javier EsparzaEsparza, Javier Computing the Expected Execution Time of Probabilistic Workflow Nets
Alexander Eyers-TaylorEyers-Taylor, Alexander SemmleUnited Kingdom Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
F Eric FabreFabre, Eric INRIA Committee Member in Program Committee within the CREST-track
François FagesFages, François Inria Saclay - Ile de FranceFrance Committee Member in Program Committee within the HSB-track
Claudia FaggianFaggian, Claudia IRIFFrance Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Eric FanchonFanchon, Eric CNRS, TIMC-IMAGFrance Committee Member in Program Committee within the HSB-track
Alessandro FantechiFantechi, Alessandro University of FlorenceItaly Committee Member in Program Committee within the InterAVT-track
Grigory FedyukovichFedyukovich, Grigory Princeton UniversityUnited States Report on the CHC competition Co-chair in Organizing Committee within the HCVS-track Co-chair in Program Committee within the HCVS-track
Luke Fenton-GlynnFenton-Glynn, Luke University College London Probabilistic Actual Causation Committee Member in Invited Speakers within the CREST-track
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Analysis (part of HSB) Counters in Kappa: Semantics, Simulation, and Static Analysis Committee Member in Program Committee within the HSB-track
Hasan Ferit EniserFerit Eniser, Hasan DeepFault: Fault Localization For Deep Neural Networks DeepFault: Fault Localization for Deep Neural Networks
Chris FermüllerFermüller, Chris Vienna University of Technology Modalities as prices: a game model of intuitionistic linear logic with subexponentials
Natasha FernandesFernandes, Natasha Generalised Differential Privacy for Text Document Processing
Pietro FerraraFerrara, Pietro JuliaSoft SRL, ItalyItaly Static Analysis for the OWASP IoT Top 10 2018. Cross Programming Language Taint Analysis for the IoT Ecosystem
Francisco FerreiraFerreira, Francisco Imperial College London Fluid Types: Statically Verified Distributed Protocols with Refinements Adventures in Formalising the Meta-Theory of Session Types
Thomas FerrèreFerrère, Thomas IST Austria Localizing Faults in Simulink/Stateflow Models with STL
Daniel FigueiredoFigueiredo, Daniel University of Aveiro rPrism -- A software for reactive weighted state transition models
Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, and Alan Turing InstituteFrance Model checking games: the recent advances on parity games Committee Member in Program Committee within the FOSSACS-track
Emmanuel FiliotFiliot, Emmanuel Two-Way Parikh Automata with a Visibly Pushdown Stack
Bernd FinkbeinerFinkbeiner, Bernd Constraint-based Monitoring of Hyperproperties
Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification Committee Member in Program Committee within the HCVS-track
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States One Step at a Time From quadcopters to helicopters: Formal verification to eliminate exploitable bugs
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Towards Efficient and Precise Concurrent Software Analysis
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom Committee Member in Program Committee within the PLACES-track
Gereon FoxFox, Gereon Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Chair of BehAPI Business Meeting (part of BEHAPI) BehAPI Year 1 Review and Year 2 projections 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 FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom A few lessons from the PhD I just finished Science and Sanity: how to do the former while retaining the later (Panel) Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
Giovanni FranzoniFranzoni, Giovanni VyPR2: A Framework for Runtime Verification of Python Web Services VyPR2: A Framework for Runtime Verification of Python Web Services
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Automatically Identifying Sufficient Object Builders from Module APIs Automatically Identifying Sufficient Object Builders from Module APIs
Karlheinz FriedbergerFriedberger, Karlheinz CPAchecker with Strategy Selection
Tobias FriedrichFriedrich, Tobias On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition
Jan Friso GrooteFriso Groote, Jan The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Lars FritscheFritsche, Lars Efficient Model Synchronization by Automatically Constructed Repair Processes
Dan FruminFrumin, Dan Radboud University Semi-Automated Reasoning About Non-Determinism in C Expressions
Carsten FuhsFuhs, Carsten Birkbeck, University of LondonUnited Kingdom Proving Program Equivalence with Constrained Rewriting Induction and Ctrl A static higher-order dependency pair framework
Nathan FultonFulton, Nathan MIT-IBM Watson AI LabUnited States Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges" Verifiably Safe Off-Model Reinforcement Learning Verifiably Safe Off-Model Reinforcement Learning
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Organizing Committee within the VerifyThis-track
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom PC Member in Program Committee within the DICE-FOPARA-track
G John P. GallagherGallagher, John P. Roskilde UniversityDenmark Session Chair of III (part of HCVS) Challenges in the specialisation of smart Horn clause interpreters Committee Member in Program Committee within the HCVS-track
Pietro GallianiGalliani, Pietro Free University of Bozen-BolzanoItaly Characterizing Downwards Closed Strongly First Order Dependencies Committee Member in Program Committee within the GaLoP-track
Zeinab GanjeiGanjei, Zeinab On Reachability in Parameterized Phaser Programs
Pierre GantyGanty, Pierre IMDEA Software InstituteSpain Committee Member in Program Committee within the TACAS-track
Pengfei GaoGao, Pengfei Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Hubert GaravelGaravel, Hubert Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
Luciano García-BañuelosGarcía-Bañuelos, Luciano University of TartuEstonia Business Process Privacy Analysis in PLEAK Business Process Privacy Analysis in Pleak
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Robustly Safe Compilation Committee Member in Program Committee within the ESOP-track
Adria GasconGascon, Adria On the formalisation of Σ-Protocols and Commitment Schemes
Christophe GastonGaston, Christophe A Data Flow Model with Frequency Arithmetic
Francesco GavazzoGavazzo, Francesco Effectful Normal-Form Bisimulation
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the ESOP-track
Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain Committee Member in Program Committee within the DICE-FOPARA-track
Simos GerasimouGerasimou, Simos DeepFault: Fault Localization For Deep Neural Networks DeepFault: Fault Localization for Deep Neural Networks
Rosita GerboGerbo, Rosita Università di Torino Concurrent Typestate-Oriented Programming in Java
Golnaz GharachorluGharachorlu, Golnaz Pardis: Priority Aware Test Case Reduction
Dan GhicaGhica, Dan University of BirminghamUnited Kingdom Local Reasoning for Robust Observational Equivalence Committee Member in Steering Committee within the GaLoP-track
Saverio GiallorenzoGiallorenzo, Saverio University of Southern DenmarkDenmark Optimal and Automated Deployment for Microservices
Nick GiannarakisGiannarakis, Nick Princeton University Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The NetherlandsItaly Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
Pascal GiehrGiehr, Pascal Saarland University A Hybrid HMM Approach for the Dynamics of DNA Methylation
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany Metric Temporal Graph Logic over Typed Attributed Graphs
Frédéric GilbertGilbert, Frédéric Verifiable certificates for predicate subtyping
Elvio Gilberto AmparoreGilberto Amparore, Elvio iRank: a variable order metric for DEDS subject to linear invariants
Jose Gines Gimenez ManuelGimenez Manuel, Jose Gines Middlesex UniversityUnited Kingdom Committee Member in Program Committee within the SPIoT-track
Giulia GiordanoGiordano, Giulia TU DelftNetherlands Committee Member in Program Committee within the HSB-track
Marco GiuntiGiunti, Marco NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Proving properties about Linear Pi in Coq
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Incremental Analysis of Evolving Alloy Models
Wenceslas GodardGodard, Wenceslas Airbus Operations SASFrance Committee Member in Program Committee within the MeTRiD-track
Gregor GoesslerGoessler, Gregor INRIA Committee Member in Program Committee within the CREST-track
Judah GoldfederGoldfeder, Judah Yeshiva University Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks
Dieter GollmannGollmann, Dieter Hamburg University of TechnologyGermany Committee Member in Program Committee within the POST-track
Sergey GoncharovGoncharov, Sergey FAU Erlangen-Nürnberg, Lehrstuhl 8Germany Session Chair of Categories and (Co)algebra (part of FOSSACS) An Adequate Semantics for Hybrid While Universal property of the monad for infinite trace strategies (work in progress) Committee Member in Program Committee within the FOSSACS-track
Léon GondelmanGondelman, Léon LRI, Université Paris-Sud Semi-Automated Reasoning About Non-Determinism in C Expressions
Colin GordonGordon, Colin Drexel UniversityUnited States Safe Deferred Memory Reclamation with Types
Alexey GotsmanGotsman, Alexey IMDEA Software InstituteSpain Committee Member in Program Committee within the ESOP-track
Guido GovernatoriGovernatori, Guido Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Giacomo GoviGovi, Giacomo VyPR2: A Framework for Runtime Verification of Python Web Services VyPR2: A Framework for Runtime Verification of Python Web Services
Simon Oddershede GregersenGregersen, Simon Oddershede Aarhus UniversityDenmark A Dependently Typed Library for Static Information-Flow Control in Idris
Marius GreitschusGreitschus, Marius Ultimate Automizer
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Committee Member in Program Committee within the InterAVT-track Committee Member in Program Committee within the HCVS-track
Gerrit GroßmannGroßmann, Gerrit Saarland University Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks
Radu GrosuGrosu, Radu Vienna University of TechnologyAustria Case Study Chair in Program Committee within the TACAS-track
Orna GrumbergGrumberg, Orna Technion – Israel Institute of TechnologyIsrael Committee Member in Program Committee within the TACAS-track
Giulio GuerrieriGuerrieri, Giulio University of BathUnited Kingdom Types by Need
Aarti GuptaGupta, Aarti Princeton University ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
Rahul GuptaGupta, Rahul WAPS: Weighted and Projected Sampling WAPS: Weighted and Projected Sampling
Utkarsh GuptaGupta, Utkarsh Continuous Reachability for Unordered Data Petri Nets is in PTime
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the HCVS-track
Dilian GurovGurov, Dilian KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the FASE-track
Joshua GuttmanGuttman, Joshua Worcester Polytechnic InstituteUnited States Committee Member in Program Committee within the POST-track
H Peter HabermehlHabermehl, Peter IRIFFrance On Parameterised Jobshop Scheduling Problems Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Jurriaan HageHage, Jurriaan Utrecht University Committee Member in Steering Committee for ETAPS 2019 ETAPS Steering committee meeting
Matthew HagueHague, Matthew Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the FOSSACS-track
Christopher HahnHahn, Christopher Constraint-based Monitoring of Hyperproperties Constraint-based Monitoring of Hyperproperties
Ernst Moritz HahnHahn, Ernst Moritz Queen's University BelfastUnited Kingdom Omega-Regular Objectives in Model-Free Reinforcement Learning AE co-chair in Artifact Evaluation Committee within the TACAS-track
Emmanuel HainryHainry, Emmanuel Tiered complexity at higher order
Matej HajnalHajnal, Matej Masaryk University Poster flash: Comprehensive Modelling Platform Data-informed parameter synthesis for population Markov chains
Ádám HalászHalász, Ádám West Virginia UniversityUnited States Extracting landscape features from single particle trajectories Committee Member in Program Committee within the HSB-track
Geoff HamiltonHamilton, Geoff Tight Worst-Case Bounds for Polynomial Loop Programs
Ben HardekopfHardekopf, Ben UC Santa Barbara Structural and Nominal Cross-Language Clone Detection
William HarrisHarris, William Relational Verification via Invariant-Guided Synchronization
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands The Quantitative Verification Benchmark Set
Ichiro HasuoHasuo, Ichiro National Institute of InformaticsJapan Path category for free - Open morphisms from coalgebras with non-deterministic branching Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments Committee Member in Steering Committee within the GaLoP-track
Daniel HausmannHausmann, Daniel Optimal Satisfiability Checking for Arithmetic mu-Calculi
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Marek HavlíkHavlík, Marek Masaryk University Poster flash: Comprehensive Modelling Platform
Chris HawblitzelHawblitzel, Chris Microsoft Research Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
David HeathHeath, David Relational Verification via Invariant-Guided Synchronization
Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom Committee Member in Steering Committee for ETAPS 2019 ETAPS Steering committee meeting
Jules HedgesHedges, Jules University of Oxford Intertwining game theory and game semantics
Tobias HeindelHeindel, Tobias Rewriting Abstract Structures: Materialization Explained Categorically
Matthias HeizmannHeizmann, Matthias University of FreiburgGermany Ultimate TreeAutomizer Semantic Fault Localization and Suspiciousness Ranking Semantic Fault Localization and Suspiciousness Ranking Ultimate Automizer Committee Member in Program Committee within the HCVS-track
Sarah HelbleHelble, Sarah Orchestrating Layered Attestations
Rolf HennickerHennicker, Rolf Ludwig Maximilians University Munich, Germany A Hybrid Dynamic Logic for Event/Data-based Systems
Ludovic HenrioHenrio, Ludovic CNRSFrance On Reachability in Parameterized Phaser Programs Committee Member in Program Committee within the FASE-track
Mihai HerdaHerda, Mihai Understanding Counterexamples for Relational Properties with DIbugger
Ben HermannHermann, Ben University of PaderbornGermany PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Holger HermannsHermanns, Holger Saarland UniversityGermany Committee Member in Executive Board for ETAPS 2019 Session Chair of Symbolic Verification (part of TACAS) Towards a Science of Perspicuous Computing - Lessons learnt from the Analysis of Automotive Emissions Control Systems Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) ETAPS Steering committee meeting 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
Marijn HeuleHeule, Marijn The University of Texas at AustinUnited States Encoding Redundancy for Satisfaction-Driven Clause Learning
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom Committee Member in Program Committee within the FOSSACS-track
Patrick HeymansHeymans, Patrick University of NamurBelgium Committee Member in Program Committee within the InterAVT-track
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Achieving Safety Incrementally with Checked C Wys*: A DSL for Verified Secure Multi-party Computations
Jane HillstonHillston, Jane University of EdinburghUnited Kingdom Geometric fluid approximation for general continuous-time Markov chains Statistical abstraction for multi-scale spatio-temporal systems Committee Member in Program Committee within the HSB-track
Tom HirschowitzHirschowitz, Tom Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance Simple game semantics and Day convolution
Jochen HoenickeHoenicke, Jochen Universität FreiburgGermany Ultimate TreeAutomizer Ultimate Automizer
Piotr HofmanHofman, Piotr Continuous Reachability for Unordered Data Petri Nets is in PTime
Martin HofmannHofmann, Martin LMU Munich (1965-2018)Germany Committee Member in Program Committee within the ESOP-track
Vojtech HorkyHorky, Vojtech Charles UniversityCzech Republic Web Co-Chair in Organizing Committee for ETAPS 2019
Falk HowarHowar, Falk Technical University DortmundGermany Committee Member in Program Committee within the TACAS-track
Jakub HrabecHrabec, Jakub Masaryk University Poster flash: Comprehensive Modelling Platform
Cătălin HriţcuHriţcu, Cătălin Inria ParisFrance Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States Committee Member in Program Committee within the POST-track
Bo-Yuan HuangHuang, Bo-Yuan Princeton University, USAUnited States ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
Jasper HuguninHugunin, Jasper Constructing Inductive-Inductive Types in Cubical Type Theory
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Steering Committee for ETAPS 2019 Session Chair of Concurrent and Distributed Systems (part of TACAS) How to survive being a woman in computer science Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) 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 HusakHusak, Robert AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
Michael HuthHuth, Michael Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POST-track
Antti HyvärinenHyvärinen, Antti Decomposing Farkas Interpolants Decomposing Farkas Interpolants Decomposing Farkas Interpolants
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany 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) ETAPS Steering committee meeting Co-chair in Program Committee within the FASE-track
Peter HöfnerHöfner, Peter A Process Algebra for Link Layer Protocols
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark A Behavioural Type System for Mungo with Generics
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Session Chair of Language Design (part of ESOP) Handling polymorphic algebraic effects Committee Member in Program Committee within the ESOP-track
Neil ImmermanImmerman, Neil University of Massachusetts, Amherst Proofs and Counterexamples
Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-AlpesFrance The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains Checking Deadlock-Freedom of Parametric Component-Based Systems Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
J Philipp J. MeyerJ. Meyer, Philipp Computing the Expected Execution Time of Probabilistic Workflow Nets
Jeroen J.A. KeirenJ.A. Keiren, Jeroen The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Mohamad JaberJaber, Mohamad American University of Beirut Committee Member in Program Committee within the MeTRiD-track
Bart JacobsJacobs, Bart Radboud University Nijmegen Causal Inference by String Diagram Surgery
Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Committee Member in Program Committee within the ESOP-track
Swen JacobsJacobs, Swen CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the SYNT Camp-track
Paulin Jacobé De NauroisJacobé De Naurois, Paulin Session Chair of VI (part of DICE-FOPARA) Pointers in Recursion: Exploring the Tropics
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Committee Member in Program Committee within the TACAS-track
Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, Germany CoVeriTest: Cooperative, Verifier-Based Testing CoVeriTest: Cooperative Verifier-Based Testing CPAchecker with Strategy Selection
Mikoláš JanotaJanota, Mikoláš INESC-ID, IST, ULisboaPortugal Committee Member in Program Committee within the InterAVT-track
Nils JansenJansen, Nils Convex Optimization meets Parameter Synthesis for MDPs
Nils JansenJansen, Nils RWTH Aachen University Shepherding Hordes of Markov Chains
Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, Denmark ADTLang: A Programming Language Approach to Attack Defense Trees
Thomas P. JensenJensen, Thomas P. INRIA Rennes Compiling Sandboxes: Formally Verified Software Fault Isolation
Loïg JezequelJezequel, Loïg Université de Nantes, CNRS Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Chuan JiangJiang, Chuan Edge-Specified Reduction Binary Decision Diagrams
Qian JiaqiJiaqi, Qian KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
Patricia JohannJohann, Patricia Appalachian State UniversityUnited States Committee Member in Program Committee within the FOSSACS-track
Michael Peyton JonesJones, Michael Peyton IOHKUnited Kingdom Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
Simon JonesJones, Simon Middlesex UniversityUnited Kingdom Committee Member in Program Committee within the SPIoT-track
Simon Peyton JonesJones, Simon Peyton Microsoft, UK Codata in Action
Alexander JordanJordan, Alexander Oracle Labs, Australia Automatic Modeling for Opaque Code in JavaScript Static Analysis
Steffen JostJost, Steffen LMU, Munich, GermanyGermany 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 JourdanJourdan, Jacques-Henri CNRS, LRI, Université Paris-SudFrance Time Credits and Time Receipts in Iris
Matthieu JournaultJournault, Matthieu An abstract domain for trees with numeric relations
Dejan JovanovićJovanović, Dejan SRI InternationalUnited States Committee Member in Program Committee within the HCVS-track
Agung JuliusJulius, Agung Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the HSB-track
Sebastian JungesJunges, Sebastian RWTH Aachen University, Germany Shepherding Hordes of Markov Chains
K Bishoksan KafleKafle, Bishoksan The university of MelbourneAustralia Committee Member in Program Committee within the HCVS-track
Ozan KahramanogullariKahramanogullari, Ozan On Quantitative Comparison of Chemical Reaction Network Models
Benjamin Lucien KaminskiKaminski, Benjamin Lucien RWTH Aachen University; University College London Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
Florian KammüllerKammüller, Florian Middlesex University, UK The Refinement-Risk Loop - A Process for Security Engineering in Isabelle Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Eun-Young KangKang, Eun-Young University of Southern DenmarkDenmark Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System
Gerti KappelKappel, Gerti Technical University of ViennaAustria Committee Member in Program Committee within the FASE-track
Bruce KapronKapron, Bruce University of VictoriaCanada Tiered complexity at higher order Type-two Iteration with Bounded Query Revision
Jens KatelaanKatelaan, Jens Effective Entailment Checking for Separation Logic with Inductive Definitions
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Chair in Executive Board for ETAPS 2019 Session Chair of Chechik (part of ETAPS Keynotes) Session Chair of Beyer (part of ETAPS Tutorials) Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs Shepherding Hordes of Markov Chains COMPASS 3.0 Opening The COMPASS 3.0 Toolset ETAPS Steering committee meeting PC Co-Chair in Program Committee within the LiVe-track
Panagiotis KatsarosKatsaros, Panagiotis ITI-CERTH, ThessalonikiGreece 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) Welcome ETAPS Steering committee meeting Committee Member in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Path category for free - Open morphisms from coalgebras with non-deterministic branching
Marie KerjeanKerjean, Marie Higher-order distributions for differential linear logic
Mahmoud KhaledKhaled, Mahmoud TU MunichGermany Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Shakil KhanKhan, Shakil Towards A Logical Account of Epistemic Causality
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Incremental Analysis of Evolving Alloy Models
Moritz KieferKiefer, Moritz Automatic Equivalence Proofs for Programs with Algebraic Data Types
Stefan KieferKiefer, Stefan University of OxfordUnited Kingdom Committee Member in Program Committee within the TACAS-track
Benjamin KieslKiesl, Benjamin CISPA Helmholtz Center for Information SecurityGermany Encoding Redundancy for Satisfaction-Driven Clause Learning
Eric KimKim, Eric Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Ekkart KindlerKindler, Ekkart Technical University of DenmarkDenmark Committee Member in Program Committee within the FASE-track
Jonathan KingKing, Jonathan Habito and Imperial College London Multiparty session type-safe web development with static linearity
Florent KirchnerKirchner, Florent Advances in Usability of Formal Methods for Code Verification
Maja KirkebyKirkeby, Maja Roskilde University Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses
Michael KirstenKirsten, Michael Karlsruhe Institute of Technology (KIT)Germany Understanding Counterexamples for Relational Properties with DIbugger
Aleks KissingerKissinger, Aleks Radboud University (Cancelled) Process theories, string diagrams, and black box causal reasoning Causal Inference by String Diagram Surgery
Michaela KlauckKlauck, Michaela Saarland Informatics Campus, Saarland UniversityGermany The Quantitative Verification Benchmark Set
Samantha KleinbergKleinberg, Samantha Stevens Institute of Technology Committee Member in Program Committee within the CREST-track
Bartek KlinKlin, Bartek University of WarsawPoland Committee Member in Program Committee within the FOSSACS-track
Alexander KnappKnapp, Alexander A Hybrid Dynamic Logic for Event/Data-based Systems
Merrill KnappKnapp, Merrill SRI International Fuzzy Matching in Symbolic Systems Biology
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Committee Member in Program Committee within the FOSSACS-track
Jan KofroňKofroň, Jan Charles UniversityCzech Republic General Chair in Organizing Committee for ETAPS 2019 Session Chair of Workshop Poster Exhibition (Saturday) (part of ETAPS Posters) Decomposing Farkas Interpolants AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention Decomposing Farkas Interpolants Banquet Decomposing Farkas Interpolants Opening ETAPS Steering committee meeting
Wen KokkeKokke, Wen University of EdinburghUnited Kingdom Formalising session-typed languages without worries
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Coinduction in Uniform: what's next? Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses Committee Member in Program Committee within the HCVS-track
Raghavan KomondoorKomondoor, Raghavan Indian Institute of Science, BangaloreIndia Checking Observational Purity Of Procedures
Igor KonnovKonnov, Igor Inria NancyFrance Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking Committee Member in Program Committee within the MeTRiD-track
Juha KontinenKontinen, Juha Logics for first-order definable team properties
Insoo KooKoo, Insoo University of Ulsan, South Korea Graph-based Technique for Survivability Estimation and Optimization of IoT Applications
Cynthia KopKop, Cynthia Radboud University NijmegenNetherlands Proving Program Equivalence with Constrained Rewriting Induction and Ctrl (Invited Talk) Cons-free Rewriting A static higher-order dependency pair framework
Fabrice KordonKordon, Fabrice Sorbonne University — LIP6 Session Chair of Tinelli (part of ETAPS Tutorials) Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework Committee Member in Organizers within the ETAPS TOOLympics-track
Jens KosiolKosiol, Jens Efficient Model Synchronization by Automatically Constructed Repair Processes
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance A Data Flow Model with Frequency Arithmetic MetAcsl: Specification and Verification of High-Level Properties
Derrick KourieKourie, Derrick Stellenbosch University Tool Support for Correctness-by-Construction Tool Support for Correctness-by-Construction
Dexter KozenKozen, Dexter CornellUnited States Committee Member in Program Committee within the FOSSACS-track
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Semi-Automated Reasoning About Non-Determinism in C Expressions
Steve KremerKremer, Steve INRIA Committee Member in Program Committee within the PERR-track
Jan KretinskyKretinsky, Jan Technical University of MunichGermany Invited Talk: Expected Cost Analysis of Attack-Defence Trees Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints Committee Member in Program Committee within the TACAS-track PC Co-Chair in Program Committee within the LiVe-track
Jean KrivineKrivine, Jean CNRSFrance Causality and diagrammatic reasoning Committee Member in Invited Speakers within the CREST-track Co-chair in Program Committee within the CREST-track
Daniel KroeningKroening, Daniel University of Oxford JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Hillel KuglerKugler, Hillel MicrosoftUnited States Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks Committee Member in Program Committee within the HSB-track
K Narayan KumarKumar, K Narayan Chennai Mathematical InstituteIndia Committee Member in Program Committee within the FOSSACS-track
Denis KuperbergKuperberg, Denis Bouncing Threads for Infinitary and Circular Proofs Kleene algebra with hypotheses
Orna KupfermanKupferman, Orna Hebrew UniversityIsrael Committee Member in Program Committee within the FOSSACS-track
Clemens KupkeKupke, Clemens University of StrathclydeUnited Kingdom Coalgebra Learning via Duality
Satoshi KuraKura, Satoshi Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
Ismail KuruKuru, Ismail Drexel UniversityUnited States Safe Deferred Memory Reclamation with Types
Dietrich KuskeKuske, Dietrich Languages ordered by the subword order
Marta KwiatkowskaKwiatkowska, Marta University of Oxford Invited talk: Modelling and personalisation techniques for behavioural prediction and emotion recognition
Charalampos KyriakopoulosKyriakopoulos, Charalampos Saarland University A Hybrid HMM Approach for the Dynamics of DNA Methylation
Barbara KönigKönig, Barbara University of Duisburg-Essen Rewriting Abstract Structures: Materialization Explained Categorically ETAPS Steering committee meeting
Ralf KüstersKüsters, Ralf University of Stuttgart Committee Member in Steering Committee for ETAPS 2019
Filip KřikavaKřikava, Filip Czech Technical UniversityCzech Republic Housing Chair in Organizing Committee for ETAPS 2019
L Salvatore La TorreLa Torre, Salvatore Università degli Studi di SalernoItaly Committee Member in Program Committee within the TACAS-track
Shuvendu LahiriLahiri, Shuvendu Microsoft Research Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Jim LairdLaird, Jim University of BathUnited Kingdom Committee Member in Steering Committee within the GaLoP-track
Leen LambersLambers, Leen A Logic-Based Incremental Approach to Graph Repair
Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Achieving Safety Incrementally with Checked C
Ivan LaneseLanese, Ivan University of Bologna/INRIA Committee Member in Program Committee within the CREST-track