VPT 2019 Contributors

Write a Blog >>

Mon 1 - Thu 4 April 2019 Genoa, Italy

co-located with ‹Programming› 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (25)

A Vincenzo ArceriArceri, Vincenzo University of Verona, ItalyItaly Static Program Analysis for String Manipulation Languages
Hrshikesh AroraArora, Hrshikesh Iteratively Composing Statically Verified Traits
B Massimo BartolettiBartoletti, Massimo Modelling and verifying Bitcoin contracts.
Amir Ben-AmramBen-Amram, Amir Committee Member in Program Committee within the VPT-track
D Emanuele De AngelisDe Angelis, Emanuele University of Chieti-PescaraItaly Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Giorgio DelzannoDelzanno, Giorgio DIBRIS, University of GenovaItaly Validation of Internet of Things Frameworks
F Grigory FedyukovichFedyukovich, Grigory Princeton UniversityUnited States Committee Member in Program Committee within the VPT-track
Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
G John P. GallagherGallagher, John P. Roskilde University Polyvariant Program Specialisation with Property-Based Abstraction Committee Member in Program Committee within the VPT-track
Isaac Oscar GarianoGariano, Isaac Oscar Iteratively Composing Statically Verified Traits
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Hacking program analysis: a systematic approach to code protection
H Geoff HamiltonHamilton, Geoff Committee Member in Program Committee within the VPT-track
K Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the VPT-track
L Alexei LisitsaLisitsa, Alexei University of Liverpool Closing Welcome Committee Member in Organizing Committee within the VPT-track Committee Member in Organizing Committee within the VPT-track Committee Member in Program Committee within the VPT-track
M Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Static Program Analysis for String Manipulation Languages
N Andrei NemytykhNemytykh, Andrei Program Systems Institute of RAS, Russia Closing Welcome Co-chair in Organizing Committee within the VPT-track Committee Member in Program Committee within the VPT-track
Antonina NepeivodaNepeivoda, Antonina Verifying String Replacing Procedures by Supercompilation
P Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata, Italy Lemma Generation for Horn Clause Satisfiability: A Preliminary Study Committee Member in Program Committee within the VPT-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Iteratively Composing Statically Verified Traits
Maurizio ProiettiProietti, Maurizio CNR-IASIItaly Lemma Generation for Horn Clause Satisfiability: A Preliminary Study Committee Member in Program Committee within the VPT-track
R Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the VPT-track
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala UniversitySweden Committee Member in Program Committee within the VPT-track
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Iteratively Composing Statically Verified Traits
Peter SestoftSestoft, Peter IT University of CopenhagenDenmark Committee Member in Program Committee within the VPT-track
Nikolay ShilovShilov, Nikolay Innopolis UniversityRussia Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata