ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
VenueMarriott
Room nameMoravia III
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

10:05 - 10:50
LehtosaloSTOP at Moravia III
10:05
45m
Talk
MyPy, an Optionally-Typed Python
STOP
13:50 - 14:35
ChandraSTOP at Moravia III
13:50
45m
Talk
JavaScript in the Small
STOP
S: Satish ChandraSamsung Research America
16:10 - 17:10
Gradual TypingSTOP at Moravia III
16:10
20m
Talk
Position Paper: Performance Evaluation for Gradual Typing
STOP
A: Asumu TakikawaNortheastern University, A: Daniel FelteyNortheastern University, A: Ben GreenmanNortheastern University, A: Max New, A: Jan VitekNortheastern University, A: Matthias FelleisenNortheastern University
Media Attached
16:30
20m
Talk
Towards Absolutely Efficient Gradually Typed Languages
STOP
A: Andre KuhlenschmidtIndiana University, A: Deyaaeldeen AlmahallawiIndiana University, A: Jeremy G. SiekIndiana University
File Attached
16:50
20m
Talk
Towards a Static Type Checker for Python
STOP
A: Francisco OrtinUniversity of Oviedo, A: Baltasar García Perez-Schofield, A: José Manuel Redondo LópezUniversity of Oviedo
File Attached
17:10 - 19:00
Discussion: Felleisen v BrachaSTOP at Moravia III
17:10
1h50m
Talk
Types for an Untyped World
STOP
S: Matthias FelleisenNortheastern University, S: Gilad BrachaGoogle, M: Jan VitekNortheastern University

Tue 7 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:15
WelcomeML4PL at Moravia III
10:00
15m
Day opening
Welcome and introductions
ML4PL
10:15 - 11:00
Invited TalkML4PL at Moravia III
10:15
45m
Talk
Machine Learning for Programming
ML4PL
Martin VechevETH Zurich
13:45 - 15:45
Session 2ML4PL at Moravia III
13:45
30m
Talk
Problems and opportunities — Program similarity
ML4PL
Eran YahavTechnion
14:15
30m
Talk
Inferring Coding Conventions with Machine Learning
ML4PL
Miltiadis AllamanisUniversity of Edinburgh, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Charles SuttonUniversity of Edinburgh
14:45
30m
Talk
Using topic models to understand programming languages literature
ML4PL
Kathleen FisherTufts University
15:15
30m
Talk
Scaling Program Synthesis by Exploiting Existing Code
ML4PL
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington

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

Tue 7 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Moravia III