ETAPS 2019 (series) /
Mooly FestETAPS 2019
Workshop will take place in the conference hotel on Saturday, April 6th.
Slides for all talks are available here: http://bit.ly/2UYsu1F
Talks
Sat 6 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 - 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 - 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 - 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 |