ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

Conference Day
Sun 7 Apr

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

11:00 - 12:00
IIHCVS at S4 (HCVS)
Chair(s): Mattias UlbrichKarlsruhe Institute of Technology
11:00
30m
Talk
Challenges in the specialisation of smart Horn clause interpreters
HCVS
John P. GallagherRoskilde University
File Attached
11:30
30m
Full-paper
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
HCVS
Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-IASI
File Attached
13:30 - 15:30
IIIHCVS at S4 (HCVS)
Chair(s): John P. GallagherRoskilde University
13:30
60m
Invited Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts
HCVS
File Attached
14:30
30m
Talk
Coinduction in Uniform: what's next?
HCVS
Henning BasoldCNRS & ENS Lyon, Ekaterina KomendantskayaHeriot-Watt University, UK
Link to publication
15:00
30m
Full-paper
Ultimate TreeAutomizer
HCVS
Daniel DietschUniversity of Freiburg, Matthias HeizmannUniversity of Freiburg, Jochen HoenickeUniversität Freiburg, Alexander NutzUniversity of Freiburg, Germany, Andreas PodelskiUniversity of Freiburg, Germany
16:00 - 18:00
IVHCVS at S4 (HCVS)
Chair(s): Nikolaj BjørnerMicrosoft Research
16:00
30m
Talk
Decomposing Farkas Interpolants
HCVS
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
File Attached
16:30
30m
Experience report
Report on the CHC competition
HCVS
Grigory FedyukovichPrinceton University

Conference Day
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)