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 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 30mTalk | Calculational design of a static dependency analysis Mooly Fest | ||
09:30 30mTalk | Automatic Detection of all Smart Contract Bugs Mooly Fest Mooly Sagiv Tel Aviv University | ||
10:30 - 12:00 | |||
10:30 30mTalk | The Dilemma of Shape Analysis Mooly Fest Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. | ||
11:00 30mTalk | Data Representation Synthesis: Past, Present and Future Mooly Fest Alex Aiken Stanford University | ||
11:30 30mTalk | Mooly: Mensch, Marathon, Method, Magic Mooly Fest Thomas Ball Microsoft Research | ||
14:00 - 15:30 | |||
14:00 30mTalk | Proofs and Counterexamples Mooly Fest Neil Immerman University of Massachusetts, Amherst | ||
14:30 30mTalk | Concurrency Control Contract Composition Mooly Fest G. Ramalingam Microsoft Research | ||
15:00 30mTalk | Special Relations for Special Relationships Mooly Fest Nikolaj Bjørner Microsoft Research | ||
16:00 - 17:00 | |||
16:00 30mTalk | Decidable Reasoning for Verification: How Far Can You EPR? Mooly Fest Oded Padon Stanford University | ||
16:30 30mTalk | code2seq: Generating Sequences from Structured Representations of Code Mooly Fest Eran Yahav Technion | ||
Important Dates AoE (UTC-12h)
| Sat 6 Apr 2019 Mooly Fest |
