ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameJUPITER
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Morning AMooly Fest at JUPITER
09:00 - 09:30
Talk
Calculational design of a static dependency analysis
Mooly Fest
09:30 - 10:00
Talk
Automatic Detection of all Smart Contract Bugs
Mooly Fest
Mooly SagivTel Aviv University
10:30 - 12:00: Morning BMooly Fest at JUPITER
10:30 - 11:00
Talk
The Dilemma of Shape Analysis
Mooly Fest
Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
11:00 - 11:30
Talk
Data Representation Synthesis: Past, Present and Future
Mooly Fest
Alex AikenStanford University
11:30 - 12:00
Talk
Mooly: Mensch, Marathon, Method, Magic
Mooly Fest
Thomas BallMicrosoft Research
14:00 - 15:30: Afternoon AMooly Fest at JUPITER
14:00 - 14:30
Talk
Proofs and Counterexamples
Mooly Fest
Neil ImmermanUniversity of Massachusetts, Amherst
14:30 - 15:00
Talk
Concurrency Control Contract Composition
Mooly Fest
G. RamalingamMicrosoft Research
15:00 - 15:30
Talk
Special Relations for Special Relationships
Mooly Fest
Nikolaj BjørnerMicrosoft Research
16:00 - 17:00: Afternoon BMooly Fest at JUPITER
16:00 - 16:30
Talk
Decidable Reasoning for Verification: How Far Can You EPR?
Mooly Fest
Oded PadonStanford University
16:30 - 17:00
Talk
code2seq: Generating Sequences from Structured Representations of Code
Mooly Fest
Eran YahavTechnion

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
JUPITER