ETAPS 2019 - Mooly Fest - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

About
Program

Workshop will take place in the conference hotel on Saturday, April 6th.

Slides for all talks are available here: http://bit.ly/2UYsu1F

Talks

	Title
	Automatic Detection of all Smart Contract Bugs Mooly Sagiv
	Calculational design of a static dependency analysis Patrick Cousot
	Concurrency Control Contract Composition G. Ramalingam
	Data Representation Synthesis: Past, Present and Future Alex Aiken
	Decidable Reasoning for Verification: How Far Can You EPR? Oded Padon
	Mooly: Mensch, Marathon, Method, Magic Thomas Ball
	Proofs and Counterexamples Neil Immerman
	Special Relations for Special Relationships Nikolaj Bjørner
	The Dilemma of Shape Analysis Thomas Reps
	code2seq: Generating Sequences from Structured Representations of Code Eran Yahav

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Mooly Fest - Morning A at JUPITER

09:00 - 09:30
Talk

Calculational design of a static dependency analysis

09:30 - 10:00
Talk

Automatic Detection of all Smart Contract Bugs

Mooly SagivTel Aviv University

10:30 - 12:00: Mooly Fest - Morning B at JUPITER

10:30 - 11:00
Talk

The Dilemma of Shape Analysis

Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.

11:00 - 11:30
Talk

Data Representation Synthesis: Past, Present and Future

Alex AikenStanford University

11:30 - 12:00
Talk

Mooly: Mensch, Marathon, Method, Magic

Thomas BallMicrosoft Research

14:00 - 15:30: Mooly Fest - Afternoon A at JUPITER

14:00 - 14:30
Talk

Proofs and Counterexamples

Neil ImmermanUniversity of Massachusetts, Amherst

14:30 - 15:00
Talk

Concurrency Control Contract Composition

G. RamalingamMicrosoft Research

15:00 - 15:30
Talk

Special Relations for Special Relationships

Nikolaj BjørnerMicrosoft Research

16:00 - 17:00: Mooly Fest - Afternoon B at JUPITER

16:00 - 16:30
Talk

Decidable Reasoning for Verification: How Far Can You EPR?

Oded PadonStanford University

16:30 - 17:00
Talk

code2seq: Generating Sequences from Structured Representations of Code

Eran YahavTechnion