PLE 2015
Mon 6 - Fri 10 July 2015 Prague, Czech Republic
co-located with ECOOP 2015
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

Displayed 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
10:50 - 11:35
RossbergSTOP at Moravia III
10:50
45m
Talk
Experiments with Strengthening JavaScript
STOP
13:50 - 14:35
ChandraSTOP at Moravia III
13:50
45m
Talk
JavaScript in the Small
STOP
S: Satish Chandra Samsung 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 Takikawa Northeastern University, A: Daniel Feltey Northeastern University, A: Ben Greenman Northeastern University, A: Max New , A: Jan Vitek Northeastern University, A: Matthias Felleisen Northeastern University
Media Attached
16:30
20m
Talk
Towards Absolutely Efficient Gradually Typed Languages
STOP
A: Andre Kuhlenschmidt Indiana University, A: Deyaaeldeen Almahallawi Indiana University, A: Jeremy G. Siek Indiana University
File Attached
16:50
20m
Talk
Towards a Static Type Checker for Python
STOP
A: Francisco Ortin University of Oviedo, A: Baltasar García Perez-Schofield , A: José Manuel Redondo López University 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 Felleisen Northeastern University, S: Gilad Bracha Google, M: Jan Vitek Northeastern University

Tue 7 Jul

Displayed 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 Vechev ETH Zurich
13:45 - 15:45
Session 2ML4PL at Moravia III
13:45
30m
Talk
Problems and opportunities — Program similarity
ML4PL
Eran Yahav Technion
14:15
30m
Talk
Inferring Coding Conventions with Machine Learning
ML4PL
Miltiadis Allamanis University of Edinburgh, Earl T. Barr University College London, Christian Bird Microsoft Research, Charles Sutton University of Edinburgh
14:45
30m
Talk
Using topic models to understand programming languages literature
ML4PL
Kathleen Fisher Tufts University
15:15
30m
Talk
Scaling Program Synthesis by Exploiting Existing Code
ML4PL
James Bornholt University of Washington, Emina Torlak University of Washington
16:10 - 18:10
Session 3ML4PL at Moravia III
16:10
30m
Talk
Problems and opportunities – Statistical modeling in (declarative) PLs
ML4PL
Molham Aref Logicblox
16:40
30m
Talk
Bimodal Modelling of Source Code and Natural Language
ML4PL
Andrew D. Gordon Microsoft Research and University of Edinburgh
17:10
30m
Talk
Machine learning for predictive modeling and recommender systems automation
ML4PL
Pavel Kordik Czech Technical University in Prague

Mon 6 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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