HCVS 2019 Contributors -

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (36)

B Henning BasoldBasold, Henning CNRS & ENS Lyon Coinduction in Uniform: what's next?
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Session Chair of IV (part of HCVS) Committee Member in Program Committee within the HCVS-track
Martin BlichaBlicha, Martin USI Lugano, Switzerland Decomposing Farkas Interpolants
C Adrien ChampionChampion, Adrien OCamlProFrance Committee Member in Program Committee within the HCVS-track
D 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
Giorgio DelzannoDelzanno, Giorgio DIBRIS, University of GenovaItaly Committee Member in Program Committee within the HCVS-track
Daniel DietschDietsch, Daniel University of Freiburg Ultimate TreeAutomizer
F 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
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
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
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Committee Member in Program Committee within the HCVS-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the HCVS-track
H Matthias HeizmannHeizmann, Matthias University of FreiburgGermany Ultimate TreeAutomizer Committee Member in Program Committee within the HCVS-track
Jochen HoenickeHoenicke, Jochen Universität FreiburgGermany Ultimate TreeAutomizer
Antti HyvärinenHyvärinen, Antti Decomposing Farkas Interpolants
J Dejan JovanovićJovanović, Dejan SRI InternationalUnited States Committee Member in Program Committee within the HCVS-track
K Bishoksan KafleKafle, Bishoksan The university of MelbourneAustralia Committee Member in Program Committee within the HCVS-track
Jan KofroňKofroň, Jan Charles UniversityCzechia Decomposing Farkas Interpolants
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Coinduction in Uniform: what's next? Committee Member in Program Committee within the HCVS-track
M Matteo MaffeiMaffei, Matteo TU Wien Invited Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts Invited Speaker in Invited Speakers within the HCVS-track
N Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Committee Member in Program Committee within the HCVS-track
Alexander NutzNutz, Alexander University of Freiburg, Germany Ultimate TreeAutomizer
O C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories
P Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata, Italy Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Ultimate TreeAutomizer
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Committee Member in Program Committee within the HCVS-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
R Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Committee Member in Program Committee within the HCVS-track
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the HCVS-track
S 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
Valerio SenniSenni, Valerio ALES Srl — UTRCItaly Committee Member in Program Committee within the HCVS-track
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland Decomposing Farkas Interpolants
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Session Chair of II (part of HCVS)
V Alicia VillanuevaVillanueva, Alicia Universitat Politècnica de ValènciaSpain Committee Member in Program Committee within the HCVS-track
W Dominik WagnerWagner, Dominik HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories
Z He ZhuZhu, He Rutgers University, USA Committee Member in Program Committee within the HCVS-track