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 Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges Welcome to InterAVT 2019 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 The COMPASS 3.0 Toolset Opening 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
Timo LangLang, Timo Vienna University of Technology Modalities as prices: a game model of intuitionistic linear logic with subexponentials
Alexis LaouarLaouar, Alexis Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS Simple game semantics and Day convolution
Arnault LapitreLapitre, Arnault A Data Flow Model with Frequency Arithmetic
Kim LarsenLarsen, Kim Aalborg UniversityDenmark Committee Member in Steering Committee for ETAPS 2019 Session Chair of Hybrid and Stochastic Systems (part of TACAS) ADTLang: A Programming Language Approach to Attack Defense Trees A Faster-Than Relation for Semi-Markov Decision Processes Abstract Dependency Graphs and Their Application to Model Checking 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 Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Diego LatellaLatella, Diego Recent Applications and Quantitative Aspects of Spatial Model Checking VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
Peeter LaudLaud, Peeter Business Process Privacy Analysis in PLEAK Business Process Privacy Analysis in Pleak
Olivier LaurentLaurent, Olivier CNRS & ENS LyonFrance Resource-Tracking Concurrent Games Committee Member in Steering Committee within the GaLoP-track
Luca LaurentiLaurenti, Luca University of OxfordUnited Kingdom Committee Member in Program Committee within the HSB-track
Maurice LaveauxLaveaux, Maurice The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Mark LawfordLawford, Mark McMaster SL2SF: Refactoring Simulink to Stateflow
Marijana LazićLazić, Marijana TU WienAustria Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries
Ludovic Le FriouxLe Frioux, Ludovic Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
Pascale Le GallLe Gall, Pascale MetAcsl: Specification and Verification of High-Level Properties
Maico LeberleLeberle, Maico Types by Need
Insup LeeLee, Insup LCV: A Verification Tool for Linear Controller Software
Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Stockholm UniversitySweden Committee Member in Program Committee within the FOSSACS-track
Axel LegayLegay, Axel INRIA RennesFrance ADTLang: A Programming Language Approach to Attack Defense Trees Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL 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 LekidisLekidis, Alexios Aristotle University of Thessaloniki Model-based energy characterization of IoT system design aspects
Jean-Simon LemayLemay, Jean-Simon Higher-order distributions for differential linear logic
Thomas LembergerLemberger, Thomas CPAchecker with Strategy Selection
Sergueï LengletLenglet, Sergueï University of Lorraine, France A Complete Normal-Form Bisimilarity for State
Ondřej LengálLengál, Ondřej 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
Lucie LerchLerch, Lucie Czech Technical University in PragueCzech Republic Local Arrangements Chair in Organizing Committee for ETAPS 2019
Vincent LeroyLeroy, Vincent University of Grenoble - CNRS Debugging of Behavioural Models with CLEAR
Xavier LeroyLeroy, Xavier Collège de FranceFrance Committee Member in Program Committee within the PERR-track
Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Program Committee within the FASE-track
Stefan LeueLeue, Stefan University of KonstanzGermany Analysis, Repair and Causality for Timed Diagnostic Traces Committee Member in Program Committee within the InterAVT-track Committee Member in Invited Speakers within the CREST-track
Thomas LeventisLeventis, Thomas Università di BolognaItaly Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces
Paul Blain LevyLevy, Paul Blain University of BirminghamUnited Kingdom Universal property of the monad for infinite trace strategies (work in progress) Committee Member in Program Committee within the FOSSACS-track
Huang LiLi, Huang Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System
Paley LiLi, Paley Oracle LabsCzech Republic Poster Co-Chair in Organizing Committee for ETAPS 2019
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina ROLL 1.0: $\omega$-Regular Language Learning Library ROLL 1.0: $\omega$-Regular Language Learning Library Ultimate Automizer
Yue LiLi, Yue Heriot-Watt University, UKChina Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Fangzhen LinLin, Fangzhen VIAP 1.1
Yu-Yang LinLin, Yu-Yang Queen Mary University of London A Framework for Compositional Model Checking
Hai LiuLiu, Hai DFINITYUnited States Committee Member in Program Committee within the PLACES-track
Lin LiuLiu, Lin Freie Universität Berlin Poster flash: Formalizing metabolic-regulatory networks by hybrid automata
Si LiuLiu, Si Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Hans-Wolfgang LoidlLoidl, Hans-Wolfgang 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 LoretiLoreti, Michele University of CamerinoItaly Committee Member in Program Committee within the PLACES-track
Peter LoscoccoLoscocco, Peter Orchestrating Layered Attestations
Stéphane LouiseLouise, Stéphane A Data Flow Model with Frequency Arithmetic
Dorel LucanuLucanu, Dorel Semantics-Based Proofs of Equivalence for Functions with Accumulators
Christophe LucasLucas, Christophe Towards a Structural Proof Theory of Probabilistic mu–calculi
Alexander LückLück, Alexander Saarland University A Hybrid HMM Approach for the Dynamics of DNA Methylation
Gerald LüttgenLüttgen, Gerald University of BambergGermany Treasurer in Executive Board for ETAPS 2019 ETAPS Steering committee meeting
M Sisi MaMa, Sisi University of Minnesota Computational Causal Discovery and its Applications Committee Member in Invited Speakers within the CREST-track
Alexandre MadeiraMadeira, Alexandre A Hybrid Dynamic Logic for Event/Data-based Systems
Matteo MaffeiMaffei, Matteo TU Wien Committee Member in Steering Committee for ETAPS 2019 Invited Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts ETAPS Steering committee meeting Invited Speaker in Invited Speakers within the HCVS-track
Petr MajMaj, Petr ReactorLabsCzech Republic Student Volunteer Co-Chair in Organizing Committee for ETAPS 2019
Rupak MajumdarMajumdar, Rupak MPI-SWS, Germany Environmentally-friendly GR(1) Synthesis
Ouri MalerMaler, Ouri West Virginia University Extracting landscape features from single particle trajectories
Sharad MalikMalik, Sharad 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
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Amit Kr MandalMandal, Amit Kr Università Ca' Foscari, Venezia, Italy Static Analysis for the OWASP IoT Top 10 2018. Cross Programming Language Taint Analysis for the IoT Ecosystem
Sebastian ManethManeth, Sebastian Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time
Niveditha ManjunathManjunath, Niveditha Austrian Institute of Technology Localizing Faults in Simulink/Stateflow Models with STL
Heiko MantelMantel, Heiko TU DarmstadtGermany Committee Member in Program Committee within the POST-track
Radu MardareMardare, Radu Aalborg UniversityDenmark Committee Member in Program Committee within the FOSSACS-track
Tiziana MargariaMargaria, Tiziana 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) The Role of Models as Digital Twins of Smart Processes, Machines and Parts in Industry 4.0 ETAPS Steering committee meeting Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the InterAVT-track
Jean-Yves MarionMarion, Jean-Yves LORIAFrance Tiered complexity at higher order Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Michael MarklMarkl, Michael A Process Algebra for Link Layer Protocols
Andre MaronezeMaroneze, Andre Advances in Usability of Formal Methods for Code Verification
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the PLACES-track
Fabio MartinelliMartinelli, Fabio Istituto di Informatica e TelematicaItaly Committee Member in Program Committee within the POST-track
Francisco MartinsMartins, Francisco University of LisbonPortugal Session Chair of IV (part of PLACES) Session Chair of Session 1 (part of PLACES) Hardware Interactions as Behavioural Types. PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Manuel A. MartinsMartins, Manuel A. University of Aveiro rPrism -- A software for reactive weighted state transition models
Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy Recent Applications and Quantitative Aspects of Spatial Model Checking VoxLogicA: a Spatial Model Checker for Declarative Image Analysis Steering Committee Member in Steering Committee within the QAPL-track
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly On the Multi-Language Construction Committee Member in Program Committee within the ESOP-track
Cristina MatacheMatache, Cristina A Sound and Complete Logic for Algebraic Effects
Christoph MathejaMatheja, Christoph RWTH Aachen UniversityGermany Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs Effective Entailment Checking for Separation Logic with Inductive Definitions
Raimundas MatuleviciusMatulevicius, Raimundas Business Process Privacy Analysis in PLEAK Business Process Privacy Analysis in Pleak
Jacopo MauroMauro, Jacopo University of Southern Denmark Optimal and Automated Deployment for Microservices
Anastasia MavridouMavridou, Anastasia NASA Ames Committee Member in Program Committee within the MeTRiD-track Committee Member in Program Committee within the InterAVT-track
Maria MaximovaMaximova, Maria Metric Temporal Graph Logic over Typed Attributed Graphs
Damiano MazzaMazza, Damiano CNRSFrance Session Chair of IV (part of DICE-FOPARA) Towards a Sheaf-Theoretic Definition of Decision Problems
Guy McCuskerMcCusker, Guy University of BathUnited Kingdom Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Dylan McDermottMcDermott, Dylan University of Cambridge Extended call-by-push-value: reasoning about effectful programs and evaluation order
Annabelle McIverMcIver, Annabelle Macquarie UniversityAustralia Generalised Differential Privacy for Text Document Processing Committee Member in Program Committee within the TACAS-track
Kuldeep S. MeelMeel, Kuldeep S. National University of SingaporeSingapore WAPS: Weighted and Projected Sampling WAPS: Weighted and Projected Sampling
Jeroen MeijerMeijer, Jeroen Multi-Core On-The-Fly Saturation
Hernan MelgrattiMelgratti, Hernan University of Buenos AiresArgentina PC Member in Program Committee within the BEHAPI-track Committee Member in Organizing Committee within the BEHAPI-track
Paul-André MelliesMellies, Paul-André CNRS and University Paris Diderot Template games: a homotopy model of differential linear logic
Lukrécia MertováMertová, Lukrécia Masaryk University Poster flash: Comprehensive Modelling Platform
José MeseguerMeseguer, José Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Artur MeskiMeski, Artur SMT-based bounded model checking for parametric reaction systems
Florian MessnerMessner, Florian nonreach – A Tool for Nonreachability Analysis
Roland MeyerMeyer, Roland Technical University of BraunschweigGermany Session Chair of Synthesis (part of TACAS) Committee Member in Program Committee within the TACAS-track
Michalis MichaelidesMichaelides, Michalis University of Edinburgh Geometric fluid approximation for general continuous-time Markov chains Statistical abstraction for multi-scale spatio-temporal systems
Marius MikucionisMikucionis, Marius Aalborg UniversityDenmark Session Chair of Tool Demos (part of TACAS) Tools Chair in Program Committee within the TACAS-track
Stefan MiliusMilius, Stefan Equational Axiomatization of Algebras wth Structure
Curtis MiloMilo, Curtis SL2SF: Refactoring Simulink to Stateflow
Andrew MinerMiner, Andrew iRank: a variable order metric for DEDS subject to linear invariants Edge-Specified Reduction Binary Decision Diagrams
Antoine MinéMiné, Antoine UPMC, FranceFrance Analysis of program differences with numerical abstract interpretation An abstract domain for trees with numeric relations
Matteo MioMio, Matteo Towards a Structural Proof Theory of Probabilistic mu–calculi
Anila MjedaMjeda, Anila Lero - The Irish Software Research Centre and University of LimerickIreland Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges Welcome to InterAVT 2019 Committee Member in Organizing Committee within the InterAVT-track
Sebastian A. MoedersheimMoedersheim, Sebastian A. Technical University of DenmarkDenmark Committee Member in Program Committee within the TACAS-track
Rosemary MonahanMonahan, Rosemary National University of Ireland Committee Member in Organizing Committee within the VerifyThis-track
Angelo MontanariMontanari, Angelo University of UdineItaly Committee Member in Program Committee within the FOSSACS-track
Andreia MordidoMordido, Andreia Lasige / Faculty of Sciences, Universidade de Lisboa FreeST: context-free session types in a functional language FreeST: context-free session types in a functional language
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Committee Member in Program Committee within the ESOP-track
Georg MoserMoser, Georg University of Innsbruck Modular Runtime Complexity Analysis of Probabilistic While Programs
Cecile MoulinMoulin, Cecile Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623 Using a hybrid approach to model central carbon metabolism across the cell cycle
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited 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 MurgiaMurgia, Maurizio Asynchronous timed session types: duality and time-sensitive processes
Koko MuroyaMuroya, Koko RIMS, Kyoto University, JP & University of Birmingham, UK Local Reasoning for Robust Observational Equivalence Committee Member in Program Committee within the GaLoP-track
Anca MuschollMuscholl, Anca Université de Bordeaux / LaBRIFrance Committee Member in Program Committee within the FOSSACS-track
Alan MycroftMycroft, Alan University of Cambridge Extended call-by-push-value: reasoning about effectful programs and evaluation order
Chris MyersMyers, Chris University of UtahUnited States Committee Member in Program Committee within the HSB-track
Glen MévelMével, Glen Time Credits and Time Receipts in Iris
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark Committee Member in Program Committee within the FOSSACS-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations ETAPS Steering committee meeting Committee Member in Organizing Committee within the VerifyThis-track
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany Committee Member in Program Committee within the ESOP-track
N Monal NarasimhamurthyNarasimhamurthy, Monal University of Colorado, BoulderUnited States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Stefan NaujokatNaujokat, Stefan Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Committee Member in Program Committee within the HCVS-track
Thomas NeeleNeele, Thomas The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Tim NelsonNelson, Tim Brown UniversityUnited States Committee Member in Program Committee within the ESOP-track
Laura NenziNenzi, Laura Parametric Verification and Synthesis based on Gaussian Processes
Laura NenziNenzi, Laura University of TriesteItaly Committee Member in Program Committee within the HSB-track
Uwe NestmannNestmann, Uwe Computing Coupled Similarity Computing Coupled Similarity
Renato NevesNeves, Renato University of Minho & INESC TEC An Adequate Semantics for Hybrid While
Rumyana NeykovaNeykova, Rumyana Brunel University LondonUnited Kingdom Fluid Types: Statically Verified Distributed Protocols with Refinements Committee Member in Program Committee within the PLACES-track
Nicholas NgNg, Nicholas Imperial College LondonUnited Kingdom Multiparty session type-safe web development with static linearity
Lê Thành Dũng NguyễnNguyễn, Lê Thành Dũng Finite semantics of polymorphism, complexity and the power of type fixpoints From normal functors to logarithmic space queries Some ideas for a finite geometry of interaction model of second-order MLL
Lawton NicholsNichols, Lawton Structural and Nominal Cross-Language Clone Detection
Dejan NickovicNickovic, Dejan Austrian Institute of Technology Localizing Faults in Simulink/Stateflow Models with STL
Flemming NielsonNielson, Flemming Technical University of DenmarkDenmark Committee Member in Steering Committee for ETAPS 2019 ETAPS Steering committee meeting Co-chair in Program Committee within the POST-track
Naoki NishidaNishida, Naoki Nagoya UniversityJapan Proving Program Equivalence with Constrained Rewriting Induction and Ctrl
Thomas NollNoll, Thomas RWTH Aachen University Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs COMPASS 3.0 The COMPASS 3.0 Toolset
Dennis NolteNolte, Dennis University of Duisburg-Essen Rewriting Abstract Structures: Materialization Explained Categorically
Morgane NouvianNouvian, Morgane University of Konstanz Data-informed parameter synthesis for population Markov chains
Muhammad Numair MansurNumair Mansur, Muhammad Max Planck Institute for Software Systems (MPI-SWS)Germany Semantic Fault Localization and Suspiciousness Ranking Semantic Fault Localization and Suspiciousness Ranking
Alexander NutzNutz, Alexander University of Freiburg, Germany Ultimate TreeAutomizer Ultimate Automizer
O Joanna OchremiakOchremiak, Joanna University of CambridgeUnited Kingdom PC Member in Program Committee within the DICE-FOPARA-track
Philip OfftermattOfftermatt, Philip Computing the Expected Execution Time of Probabilistic Workflow Nets
Kazuhiro OgataOgata, Kazuhiro KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
Carlos OlarteOlarte, Carlos Federal University of Rio Grande do Norte, Brazil Modalities as prices: a game model of intuitionistic linear logic with subexponentials
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong Distributive Disjoint Polymorphism for Compositional Programming Distributive Disjoint Polymorphism for Compositional Programming
Francesco OlivieriOlivieri, Francesco Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom Session Chair of Semantics (part of FOSSACS) HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog Change Actions: Models of Generalised Differentiation Committee Member in Steering Committee within the GaLoP-track
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Composing bidirectional programs monadically PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain A Logic-Based Incremental Approach to Graph Repair
Muhammad OsamaOsama, Muhammad Eindhoven University of TechnologyNetherlands Parallel SAT Simplification on GPU Architectures Parallel SAT Simplification on GPU Architectures
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance An abstract domain for trees with numeric relations
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Committee Member in Program Committee within the ESOP-track
P Erik P. de VinkP. de Vink, Erik The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Oded PadonPadon, Oded Stanford UniversityUnited States Decidable Reasoning for Verification: How Far Can You EPR?
Luca PadovaniPadovani, Luca University of TurinItaly Session Chair of Concurrency and Distribution (part of ESOP) Session Chair of Mechanising Proofs of Behavioural Types for APIs (part of BEHAPI) Concurrent Typestate-Oriented Programming in Java Mailbox Types for Unordered Interactions 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 PaganiPagani, Michele University Paris DiderotFrance Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces
Claire PagettiPagetti, Claire OneraFrance Committee Member in Program Committee within the MeTRiD-track
Miroslav PajicPajic, Miroslav Duke UniversityUnited States LCV: A Verification Tool for Linear Controller Software Committee Member in Program Committee within the HSB-track
Catuscia PalamidessiPalamidessi, Catuscia INRIA and LIX Committee Member in Steering Committee for ETAPS 2019 ETAPS Steering committee meeting
Raphaela PalentaPalenta, Raphaela Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time
Jun PangPang, Jun University of LuxembourgLuxembourg Committee Member in Program Committee within the FASE-track
Alisa PankovaPankova, Alisa Business Process Privacy Analysis in PLEAK Business Process Privacy Analysis in Pleak
Vera PantelicPantelic, Vera SL2SF: Refactoring Simulink to Stateflow
Nicola PaolettiPaoletti, Nicola 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 PapadopoulosPapadopoulos, Yiannis University of Hull Committee Member in Program Committee within the MeTRiD-track
Hugo PaquetPaquet, Hugo University of Cambridge Probabilistic Programming Inference via Intensional Semantics Probabilistic Programming Inference via Intensional Semantics
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Joonyoung ParkPark, Joonyoung Automatic Modeling for Opaque Code in JavaScript Static Analysis
Junkil ParkPark, Junkil University of PennsylvaniaUnited States LCV: A Verification Tool for Linear Controller Software
David ParkerParker, David University of BirminghamUnited Kingdom The Quantitative Verification Benchmark Set ETAPS Steering committee meeting Committee Member in Program Committee within the TACAS-track Committee Member in Program Committee within the InterAVT-track
Corina S PasareanuPasareanu, Corina S NASA Ames Research CenterUnited States Committee Member in Program Committee within the TACAS-track
Samuel PastvaPastva, Samuel Digital Bifurcation Analysis of TCP Dynamics
Marco PatrignaniPatrignani, Marco Stanford University & CISPA Helmholtz Center for Information SecurityUnited States Robustly Safe Compilation
Dirk PattinsonPattinson, Dirk Australian National UniversityAustralia Committee Member in Program Committee within the FOSSACS-track
Mathias Ruggaard PedersenPedersen, Mathias Ruggaard Aalborg University A Faster-Than Relation for Semi-Markov Decision Processes
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityUnited States Web Co-Chair in Organizing Committee for ETAPS 2019
Luc PellissierPellissier, Luc PRAMs over integers do not compute maxflow efficiently
Nicolas PeltierPeltier, Nicolas The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
Wojciech PenczekPenczek, Wojciech IPI-PANPoland SMT-based bounded model checking for parametric reaction systems Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
J. Aaron PendergrassPendergrass, J. Aaron Orchestrating Layered Attestations
Chao PengPeng, Chao University of Edinburgh, UKUnited Kingdom CLTestCheck: Measuring Test Effectiveness for GPU Kernels CLTestCheck: Measuring Test Effectiveness for GPU Kernels
Zebo PengPeng, Zebo On Reachability in Parameterized Phaser Programs
Sabine PeresPeres, Sabine Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623. Using a hybrid approach to model central carbon metabolism across the cell cycle
Mateo PerezPerez, Mateo Omega-Regular Objectives in Model-Free Reinforcement Learning
Isabel Cristina Perez-VeronaPerez-Verona, Isabel Cristina IMT Institute for Advanced Studies Lucca, Italy Fixed-point Computation of Equilibria in Biochemical Regulatory Networks Markovian equivalences for biochemical reaction networks
Valentin PerrellePerrelle, Valentin Advances in Usability of Formal Methods for Code Verification
Ion PetrePetre, Ion Åbo Akademi UniversityFinland Committee Member in Program Committee within the HSB-track
Daniela PetrisanPetrisan, Daniela IRIF, Université Paris DiderotFrance Committee Member in Program Committee within the FOSSACS-track
Tatjana PetrovPetrov, Tatjana Universität KonstanzGermany Session Chair of Modelling (part of HSB) Data-informed parameter synthesis for population Markov chains Committee Member in Program Committee within the HSB-track
Laure PetrucciPetrucci, Laure Université Paris 13France Fault-tolerant matrix factorisation: a formal model and proof Pruning NDFS for Parametric Timed Automata Minimal-Time Synthesis for Parametric Timed Automata Minimal-Time Synthesis for Parametric Timed Automata Organizing Committee in Organizing Committee within the SynCoP-track
Martin PettaiPettai, Martin Business Process Privacy Analysis in PLEAK Business Process Privacy Analysis in Pleak
Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata, Italy Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Adam PetzPetz, Adam Orchestrating Layered Attestations
Andreas PfeifferPfeiffer, Andreas VyPR2: A Framework for Runtime Verification of Python Web Services VyPR2: A Framework for Runtime Verification of Python Web Services
Frank PfenningPfenning, Frank Carnegie Mellon University, USA A Message-Passing Interpretation of Adjoint Logic Manifest Deadlock-Freedom for Shared Session Types
Carla PiazzaPiazza, Carla University of UdineItaly Committee Member in Program Committee within the HSB-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Program Committee within the ESOP-track
Ken PiercePierce, Ken The University of Newcastle Committee Member in Program Committee within the InterAVT-track
Yvonne-Anne PignoletPignolet, Yvonne-Anne ABB Corporate ResearchSwitzerland Committee Member in Program Committee within the MeTRiD-track
Elaine PimentelPimentel, Elaine Federal University of Rio Grande do Norte, Brazil Modalities as prices: a game model of intuitionistic linear logic with subexponentials
Jakob PiribauerPiribauer, Jakob Partial and Conditional Expectations in Markov Decision Processes with Integer Weights Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Maciej PirógPiróg, Maciej University of WrocławPoland Equational Theories and Monads from Polynomial Cayley Representations
Paolo PistonePistone, Paolo University of TübingenItaly Finite semantics of polymorphism, complexity and the power of type fixpoints PC Member in Program Committee within the DICE-FOPARA-track
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Nir PitermanPiterman, Nir Environmentally-friendly GR(1) Synthesis
Andrew PittsPitts, Andrew University of Cambridge Committee Member in Steering Committee for ETAPS 2019 Session Chair of Resource Logics (part of FOSSACS) ETAPS Steering committee meeting
André PlatzerPlatzer, André Carnegie Mellon UniversityUnited States Verifiably Safe Off-Model Reinforcement Learning Verifiably Safe Off-Model Reinforcement Learning Committee Member in Program Committee within the FASE-track
Joana PlewniaPlewnia, Joana Understanding Counterexamples for Relational Properties with DIbugger
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Ultimate TreeAutomizer Ultimate Automizer
Piotr PolesiukPolesiuk, Piotr University of Wrocław Equational Theories and Monads from Polynomial Cayley Representations A Complete Normal-Form Bisimilarity for State
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Committee Member in Program Committee within the HCVS-track
Mariano PolitanoPolitano, Mariano Automatically Identifying Sufficient Object Builders from Module APIs Automatically Identifying Sufficient Object Builders from Module APIs
Pablo PonzioPonzio, Pablo 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
François PottierPottier, François Inria, FranceFrance Time Credits and Time Receipts in Iris
Danny Bøgsted PoulsenPoulsen, Danny Bøgsted University of Kiel, Germany ADTLang: A Programming Language Approach to Attack Defense Trees
Damien PousPous, Damien CNRS Kleene algebra with hypotheses
Pierre PradicPradic, Pierre From normal functors to logarithmic space queries A Dialectica-Like Interpretation of a Linear MSO on Infinite Words A Dialectica-Like Interpretation of a Linear MSO on Infinite Words Kleene algebra with hypotheses
Virgile PrevostoPrevosto, Virgile CEA Tech ListFrance MetAcsl: Specification and Verification of High-Level Properties
Christian ProbstProbst, Christian Unitec Institute of TechnologyNew Zealand Committee Member in Program Committee within the POST-track
Maurizio ProiettiProietti, Maurizio CNR-IASIItaly Session Chair of I (part of HCVS) Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Ivan ProkićProkić, Ivan University of Novi Sad The Cpi-calculus: a Model for Confidential Name Passing
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Klaas PruiksmaPruiksma, Klaas Carnegie Mellon University A Message-Passing Interpretation of Adjoint Logic
Pille PullonenPullonen, Pille Business Process Privacy Analysis in PLEAK Business Process Privacy Analysis in Pleak
Violet Ka I PunPun, Violet Ka I 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
Luciano PutruelePutruele, Luciano Measuring Masking Fault-Tolerance
Romain PéchouxPéchoux, Romain INRIA / LORIAFrance Tiered complexity at higher order PC Member in Program Committee within the DICE-FOPARA-track
Q Tim QuatmannQuatmann, Tim RWTH Aachen UniversityGermany The Quantitative Verification Benchmark Set
Jean QuilbeufQuilbeuf, Jean INRIAFrance Committee Member in Program Committee within the SPIoT-track
R Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom CLTestCheck: Measuring Test Effectiveness for GPU Kernels How to Give an Effective Talk CLTestCheck: Measuring Test Effectiveness for GPU Kernels Mentor in Mentors within the ETAPS Mentoring Workshop-track Speaker in Speakers within the ETAPS Mentoring Workshop-track
pritom rajkhowarajkhowa, pritom VIAP 1.1
G. RamalingamRamalingam, G. Microsoft ResearchIndia Checking Observational Purity Of Procedures Concurrency Control Contract Composition
Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Wys: A DSL for Verified Secure Multi-party Computations Meta-F: Proof Automation with SMT, Tactics, and Metaprograms
Antonio RavaraRavara, Antonio NOVA University of Lisbon and NOVA LINCSPortugal Session Chair of Mechanising Proofs for Behavioural Types and Processes (part of BEHAPI) Proving properties about Linear Pi in Coq 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 RaviRavi, Arvind Microsoft Azure Credential Scanning powered by Symbolic Regex Matching
Brian RedmondRedmond, Brian Hierarchical Digging is EXPTIME
Giles RegerReger, Giles University of ManchesterUnited Kingdom VyPR2: A Framework for Runtime Verification of Python Web Services VyPR2: A Framework for Runtime Verification of Python Web Services
Fabian ReiterReiter, Fabian Identifiers in Registers – Describing Network Algorithms with Logic
R RekhaRekha, R Data-Races and Static Analysis for Interrupt-Driven Kernels
John RennerRenner, John University of California, San Diego Foundations for Parallel Information Flow Control Runtime Systems
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands Rewriting Abstract Structures: Materialization Explained Categorically
Thomas RepsReps, Thomas University of Wisconsin - Madison and GrammaTech, Inc.United States A tale of two MURIs: Authorization Meets Model Checking The Dilemma of Shape Analysis Speaker in Speakers within the ETAPS Mentoring Workshop-track
Ahmed RezineRezine, Ahmed On Reachability in Parameterized Phaser Programs
Colin RibaRiba, Colin A Dialectica-Like Interpretation of a Linear MSO on Infinite Words A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
Adrian RiescoRiesco, Adrian Universidad Complutense de MadridSpain Fuzzy Matching in Symbolic Systems Biology
Virgile RoblesRobles, Virgile MetAcsl: Specification and Verification of High-Level Properties
Eugénio A. M. RochaRocha, Eugénio A. M. University of Aveiro rPrism -- A software for reactive weighted state transition models
Simona Ronchi Della RoccaRonchi Della Rocca, Simona University of TorinoItaly Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
Jurriaan RotRot, Jurriaan Radboud University Nijmegen Coalgebra Learning via Duality
Subhajit RoyRoy, Subhajit IIT Kanpur, India WAPS: Weighted and Projected Sampling WAPS: Weighted and Projected Sampling
Andrew RuefRuef, Andrew Achieving Safety Incrementally with Checked C
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Committee Member in Program Committee within the PERR-track Committee Member in Program Committee within the HCVS-track
Harald RuessRuess, Harald fortissGermany Committee Member in Program Committee within the MeTRiD-track
Enno RuijtersRuijters, Enno The Quantitative Verification Benchmark Set
Bernhard RumpeRumpe, Bernhard RWTH AachenGermany Committee Member in Program Committee within the FASE-track
Tobias RungeRunge, Tobias TU Braunschweig Tool Support for Correctness-by-Construction Tool Support for Correctness-by-Construction
Alessandra RussoRusso, Alessandra Imperial College LondonUnited Kingdom Committee Member in Steering Committee for ETAPS 2019 Committee Member in Program Committee within the FASE-track
Peter RyanRyan, Peter University of LuxembourgLuxembourg Committee Member in Program Committee within the POST-track
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the HCVS-track
René Rydhof HansenRydhof Hansen, René Aalborg University, Denmark ADTLang: A Programming Language Approach to Attack Defense Trees
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Automatic Modeling for Opaque Code in JavaScript Static Analysis
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
S Olli SaarikiviSaarikivi, Olli Symbolic Regex Matcher Credential Scanning powered by Symbolic Regex Matching
Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden Committee Member in Program Committee within the POST-track
David SafranekSafranek, David Masaryk UniversityCzech Republic Publications Chair in Organizing Committee for ETAPS 2019 Session Chair of VII (part of HSB) Poster flash: Comprehensive Modelling Platform Data-informed parameter synthesis for population Markov chains Digital Bifurcation Analysis of TCP Dynamics Committee Member in Program Committee within the HSB-track
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Automatic Detection of all Smart Contract Bugs From Shape Analysis to Smart Contract Verification: A journey in proof automation Keynote Speaker in Speakers within the ETAPS Mentoring Workshop-track
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala UniversitySweden Invited Talk: Concolic testing of higher-order functional languages Invited Speaker in Invited Speakers within the HCVS-track
Ken SakayoriSakayori, Ken The University of Tokyo A Categorical Model of an i/o-typed pi-calculus
Lucas SakizloglouSakizloglou, Lucas Metric Temporal Graph Logic over Typed Attributed Graphs
Rick SalaySalay, Rick University of TorontoCanada Committee Member in Program Committee within the FASE-track
Gwen SalaünSalaün, Gwen University of Grenoble Alpes Debugging of Behavioural Models with CLEAR
Malavika SamakSamak, Malavika CSAIL, MITUnited States Committee Member in Program Committee within the PLACES-track
Matteo SammartinoSammartino, Matteo University College London Coalgebras for causality Committee Member in Invited Speakers within the CREST-track Committee Member in Program Committee within the CREST-track
Dave SandsSands, Dave ChalmersSweden Committee Member in Steering Committee for ETAPS 2019 ETAPS Steering committee meeting Co-chair in Program Committee within the POST-track
Gabriel SanduSandu, Gabriel University of HelsinkiFinland Committee Member in Steering Committee within the GaLoP-track Committee Member in Program Committee within the GaLoP-track
Davide SangiorgiSangiorgi, Davide University of BolognaItaly Committee Member in Program Committee within the FOSSACS-track
Guido SanguinettiSanguinetti, Guido 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
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Committee Member in Program Committee within the HSB-track
Don SannellaSannella, Don University of EdinburghUnited Kingdom Committee Member in Steering Committee for ETAPS 2019 ETAPS Steering committee meeting
Beatriz Santos-BuitragoSantos-Buitrago, Beatriz Seoul National University Fuzzy Matching in Symbolic Systems Biology
Gustavo Santos-GarciaSantos-Garcia, Gustavo Universidad de Salamanca Fuzzy Matching in Symbolic Systems Biology
Sergio SaponaraSaponara, Sergio University of Pisa, Italy FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Keynote: Unstructured Parallelism Considered Harmful -- Using Structured Parallelism for Enhanced Software Verification
Vladimiro SassoneSassone, Vladimiro University of SouthamptonUnited Kingdom Society Activities in Executive Board for ETAPS 2019 ETAPS Steering committee meeting
Alexis SaurinSaurin, Alexis Towards Circular Proof Nets Bouncing Threads for Infinitary and Circular Proofs
Ivan ScagnettoScagnetto, Ivan University of Udine A Theory of Contexts for Higher-Order Encodings of Process Algebras
Alceste ScalasScalas, Alceste Aston UniversityUnited Kingdom A game semantics understanding of asynchronous multiparty session types subtyping
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Tool Support for Correctness-by-Construction Tool Support for Correctness-by-Construction Committee Member in Program Committee within the FASE-track
Andrea SchalkSchalk, Andrea University of Manchester, UKUnited Kingdom Committee Member in Steering Committee within the GaLoP-track
Florian SchandaSchanda, Florian ZenuityGermany Building Better Bit-Blasting for Floating-Point Problems
Michael SchaperSchaper, Michael University of Innsbruck Modular Runtime Complexity Analysis of Probabilistic While Programs
Ulla SchelerScheler, Ulla Understanding Counterexamples for Relational Properties with DIbugger
Sven ScheweSchewe, Sven University of Liverpool Omega-Regular Objectives in Model-Free Reinforcement Learning
Christian SchillingSchilling, Christian IST AustriaAustria Semantic Fault Localization and Suspiciousness Ranking Semantic Fault Localization and Suspiciousness Ranking Ultimate Automizer
Tanja SchindlerSchindler, Tanja University of Freiburg Ultimate Automizer
Stefano SchivoSchivo, Stefano Open University of the NetherlandsNetherlands Committee Member in Program Committee within the SPIoT-track Committee Member in Organizing Committee within the SPIoT-track
Anne-Kathrin SchmuckSchmuck, Anne-Kathrin Environmentally-friendly GR(1) Synthesis
Sven SchneiderSchneider, Sven A Logic-Based Incremental Approach to Graph Repair Metric Temporal Graph Logic over Typed Attributed Graphs
Peter SchrammelSchrammel, Peter University of Oxford, UK JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Igor SchreiberSchreiber, Igor University of Chemistry and Technology of Prague Invited talk: Reaction networks, stability of steady states, motifs for oscillatory dynamics, and parameter estimation in complex biochemical mechanisms
Anne SchreuderSchreuder, Anne Technischen Universität KaiserslauternGermany Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Tom SchrijversSchrijvers, Tom KU Leuven Distributive Disjoint Polymorphism for Compositional Programming Distributive Disjoint Polymorphism for Compositional Programming
Stephan SchulzSchulz, Stephan Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
Philipp SchusterSchuster, Philipp University of Tübingen, Germany Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
Lutz SchöderSchöder, Lutz FAU Erlangen-Nürnberg, Lehrstuhl 8 Universal property of the monad for infinite trace strategies (work in progress) Optimal Satisfiability Checking for Arithmetic mu-Calculi
Carsten SchürmannSchürmann, Carsten IT University of CopenhagenDenmark Committee Member in Program Committee within the POST-track
Andy SchürrSchürr, Andy TU Darmstadt Committee Member in Steering Committee for ETAPS 2019 Efficient Model Synchronization by Automatically Constructed Repair Processes Committee Member in Program Committee within the FASE-track
Helmut SeidlSeidl, Helmut Technische Universität München Session Chair of Fixed-point Logics (part of FOSSACS) Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time
Martina SeidlSeidl, Martina Committee Member in Program Committee within the MeTRiD-track
Thomas SeillerSeiller, Thomas CNRSFrance Session Chair of V (part of DICE-FOPARA) PRAMs over integers do not compute maxflow efficiently Finite semantics of polymorphism, complexity and the power of type fixpoints Chair in Program Committee within the DICE-FOPARA-track Committee Member in Program Committee within the GaLoP-track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Handling polymorphic algebraic effects
Gehan SelimSelim, Gehan SL2SF: Refactoring Simulink to Stateflow
Alper SenSen, Alper DeepFault: Fault Localization For Deep Neural Networks DeepFault: Fault Localization for Deep Neural Networks
Valerio SenniSenni, Valerio ALES Srl — UTRCItaly Committee Member in Program Committee within the HCVS-track
Sanjit SeshiaSeshia, Sanjit University of California, BerkeleyUnited States Committee Member in Program Committee within the TACAS-track
Preey ShahShah, Preey Continuous Reachability for Unordered Data Petri Nets is in PTime
Vladimir ShakhovShakhov, Vladimir University of Ulsan, South Korea Graph-based Technique for Survivability Estimation and Optimization of IoT Applications
Zhong ShaoShao, Zhong Yale UniversityUnited States Session Chair of Security and Incremental Computation (part of ESOP) Committee Member in Program Committee within the ESOP-track
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in Program Committee within the PERR-track
Shubham SharmaSharma, Shubham WAPS: Weighted and Projected Sampling WAPS: Weighted and Projected Sampling
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland Decomposing Farkas Interpolants Decomposing Farkas Interpolants Decomposing Farkas Interpolants
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Equational Theories and Monads from Polynomial Cayley Representations
Konrad SiekSiek, Konrad Czech Technical University in PragueCzech 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 SifakisSifakis, Joseph Verimag/CNRSFrance Programming Dynamic Reconfigurable Systems with DR-BIP Checking Deadlock-Freedom of Parametric Component-Based Systems Committee Member in Program Committee within the MeTRiD-track
Franz SiglmüllerSiglmüller, Franz Type-Based Resource Analysis on Haskell