VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / VerifyThis 2019 (series) / Charles University /

Room information: S4 (HCVS)

VenueCharles University
Room nameS4 (HCVS)
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
IHCVS at S4 (HCVS)
Chair(s): Maurizio Proietti CNR-IASI
09:00
60m
Invited Talk: Concolic testing of higher-order functional languages
HCVS
Konstantinos (Kostis) Sagonas Uppsala University
File Attached
10:00
30m
Talk
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories
HCVS
C.-H. Luke Ong University of Oxford, Dominik Wagner
Pre-print File Attached
11:00 - 12:00
IIHCVS at S4 (HCVS)
Chair(s): Mattias Ulbrich Karlsruhe Institute of Technology
11:00
30m
Talk
Challenges in the specialisation of smart Horn clause interpreters
HCVS
John P. Gallagher Roskilde University
File Attached
11:30
30m
Full-paper
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
HCVS
Emanuele De Angelis University of Chieti-Pescara, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
File Attached
13:30 - 15:30
IIIHCVS at S4 (HCVS)
Chair(s): John P. Gallagher Roskilde University
13:30
60m
Invited Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts
HCVS
Matteo Maffei TU Wien
File Attached
14:30
30m
Talk
Coinduction in Uniform: what's next?
HCVS
Henning Basold CNRS & ENS Lyon, Ekaterina Komendantskaya Heriot-Watt University, UK
Link to publication
15:00
30m
Full-paper
Ultimate TreeAutomizer
HCVS
Daniel Dietsch University of Freiburg, Matthias Heizmann University of Freiburg, Jochen Hoenicke Universität Freiburg, Alexander Nutz University of Freiburg, Germany, Andreas Podelski University of Freiburg, Germany
16:00 - 18:00
IVHCVS at S4 (HCVS)
Chair(s): Nikolaj Bjørner Microsoft Research
16:00
30m
Talk
Decomposing Farkas Interpolants
HCVS
Martin Blicha USI Lugano, Switzerland, Antti Hyvärinen , Jan Kofroň Charles University, Natasha Sharygina USI Lugano, Switzerland
File Attached
16:30
30m
Experience report
Report on the CHC competition
HCVS
Grigory Fedyukovich Princeton University

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S4 (HCVS)

HCVS

I

HCVS

II

HCVS

III

HCVS

IV

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
S4 (HCVS)
HCVS
Invited Talk: Concolic testing of higher-order functional languages
09:00 - 10:00
HCVS
HoCHC: A Refutationally Complete and Semantically Invariant System of H ...
10:00 - 10:30
HCVS
Challenges in the specialisation of smart Horn clause interpreters
11:00 - 11:30
HCVS
Proving Properties of Sorting Programs: A Case Study in Horn Clause Ver ...
11:30 - 12:00
HCVS
Invited Talk: Foundations and Techniques for the Static Analysis of Eth ...
13:30 - 14:30
HCVS
Coinduction in Uniform: what's next?
14:30 - 15:00
HCVS
Ultimate TreeAutomizer
15:00 - 15:30
HCVS
Decomposing Farkas Interpolants
16:00 - 16:30
HCVS
Report on the CHC competition
16:30 - 17:00