ETAPS 2019

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

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Patrick Cousot
	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

Mooly FestETAPS 2019

Talks

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

Eran Yahav

Technion

Israel

Jan Vitek

Northeastern University and Czech Technical University

United States

Co-hosted Conferences

Workshops

Mooly FestETAPS 2019

Talks

Program Display Configuration

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

Eran Yahav

Technion

Israel

Jan Vitek

Northeastern University and Czech Technical University

United States

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