VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameJUPITER
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

Sat 6 Apr

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

09:00 - 10:00
09:00
30m
Talk
Calculational design of a static dependency analysis
ETAPS Mooly Fest
09:30
30m
Talk
Automatic Detection of all Smart Contract Bugs
ETAPS Mooly Fest
Mooly Sagiv Tel Aviv University
10:30 - 12:00
10:30
30m
Talk
The Dilemma of Shape Analysis
ETAPS Mooly Fest
Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.
11:00
30m
Talk
Data Representation Synthesis: Past, Present and Future
ETAPS Mooly Fest
Alex Aiken Stanford University
11:30
30m
Talk
Mooly: Mensch, Marathon, Method, Magic
ETAPS Mooly Fest
Thomas Ball Microsoft Research
14:00 - 15:30
14:00
30m
Talk
Proofs and Counterexamples
ETAPS Mooly Fest
Neil Immerman University of Massachusetts, Amherst
14:30
30m
Talk
Concurrency Control Contract Composition
ETAPS Mooly Fest
G. Ramalingam Microsoft Research
15:00
30m
Talk
Special Relations for Special Relationships
ETAPS Mooly Fest
Nikolaj Bjørner Microsoft Research

Sat 6 Apr

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