PERR 2019 Contributors

Write a Blog >>

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

B Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of Technology Understanding Counterexamples for Relational Properties with DIbugger
Etienne BrunnerBrunner, Etienne Understanding Counterexamples for Relational Properties with DIbugger
Sebastian BuruianaBuruiana, Sebastian Semantics-Based Proofs of Equivalence for Functions with Accumulators
C 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
D David DelmasDelmas, David Airbus & Sorbonne UniversitéFrance Analysis of program differences with numerical abstract interpretation
E Marco EilersEilers, Marco ETH ZurichSwitzerland Invited talk by Marco Eilers
F Carsten FuhsFuhs, Carsten Birkbeck, University of LondonUnited Kingdom Proving Program Equivalence with Constrained Rewriting Induction and Ctrl
G Dan GhicaGhica, Dan University of BirminghamUnited Kingdom Local Reasoning for Robust Observational Equivalence
H William HarrisHarris, William Relational Verification via Invariant-Guided Synchronization
David HeathHeath, David Relational Verification via Invariant-Guided Synchronization
Mihai HerdaHerda, Mihai Understanding Counterexamples for Relational Properties with DIbugger
K Ozan KahramanogullariKahramanogullari, Ozan On Quantitative Comparison of Chemical Reaction Network Models
Moritz KieferKiefer, Moritz Automatic Equivalence Proofs for Programs with Algebraic Data Types
Michael KirstenKirsten, Michael Karlsruhe Institute of Technology (KIT)Germany Understanding Counterexamples for Relational Properties with DIbugger
Cynthia KopKop, Cynthia Radboud University NijmegenNetherlands Proving Program Equivalence with Constrained Rewriting Induction and Ctrl
Steve KremerKremer, Steve INRIA Committee Member in Program Committee within the PERR-track
L Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft Research Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Xavier LeroyLeroy, Xavier Collège de FranceFrance Committee Member in Program Committee within the PERR-track
Dorel LucanuLucanu, Dorel Semantics-Based Proofs of Equivalence for Functions with Accumulators
M Antoine MinéMiné, Antoine UPMC, FranceFrance Analysis of program differences with numerical abstract interpretation
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
Koko MuroyaMuroya, Koko RIMS, Kyoto University, JP & University of Birmingham, UK Local Reasoning for Robust Observational Equivalence
N Naoki NishidaNishida, Naoki Nagoya UniversityJapan Proving Program Equivalence with Constrained Rewriting Induction and Ctrl
P Joana PlewniaPlewnia, Joana Understanding Counterexamples for Relational Properties with DIbugger
R Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Committee Member in Program Committee within the PERR-track
S Ulla SchelerScheler, Ulla Understanding Counterexamples for Relational Properties with DIbugger
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in Program Committee within the PERR-track
Chiara StaudenmaierStaudenmaier, Chiara Understanding Counterexamples for Relational Properties with DIbugger
Ofer StrichmanStrichman, Ofer Technion Committee Member in Organizing Committee within the PERR-track Committee Member in Program Committee within the PERR-track
T Nikos TzevelekosTzevelekos, Nikos Queen Mary University of London Co-chair in Organizing Committee within the PERR-track Co-chair in Program Committee within the PERR-track
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Automatic Equivalence Proofs for Programs with Algebraic Data Types Co-chair in Organizing Committee within the PERR-track Co-chair in Program Committee within the PERR-track
V Margus VeanesVeanes, Margus Microsoft Research Invited talk by Margus Veanes
Niels VoorneveldVoorneveld, Niels University of LjubljanaSlovenia Committee Member in Program Committee within the PERR-track
W Benedikt WagnerWagner, Benedikt Understanding Counterexamples for Relational Properties with DIbugger
Todd Waugh AmbridgeWaugh Ambridge, Todd University of BirminghamUnited Kingdom Local Reasoning for Robust Observational Equivalence
Z Qi ZhouZhou, Qi Relational Verification via Invariant-Guided Synchronization
Pascal ZwickZwick, Pascal Understanding Counterexamples for Relational Properties with DIbugger