ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
ECOOP 2015 (series) / Marriott /

Room information: Moravia III

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
Jukka Lehtosalo Dropbox
10:50 - 11:35
RossbergSTOP at Moravia III
10:50
45m
Talk
Experiments with Strengthening JavaScript
STOP
Andreas Rossberg Google
11:35 - 12:20
ChaudhuriSTOP at Moravia III
11:35
45m
Talk
Flow: a static type checker for JavaScript
STOP
S: Avik Chaudhuri Facebook
Link to publication
13:50 - 14:35
ChandraSTOP at Moravia III
13:50
45m
Talk
JavaScript in the Small
STOP
S: Satish Chandra Samsung Research America
14:40 - 15:40
ContractsSTOP at Moravia III
14:40
20m
Talk
A Light-Weight Effect System for JavaScript
STOP
A: Christopher Schuster , A: Cormac Flanagan UC Santa Cruz
File Attached
15:00
20m
Talk
Adding Practical Dependent Types to Typed Racket
STOP
A: Andrew Kent Indiana University, A: Sam Tobin-Hochstadt Indiana University
File Attached
15:20
20m
Talk
Contracts for Async Patterns in JavaScript
STOP
A: Tim Disney , A: Cormac Flanagan UC Santa Cruz
File Attached
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 S. 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
11:00 - 12:30
Session 1ML4PL at Moravia III
11:00
30m
Talk
Learning to Decipher the Heap
ML4PL
Marc Brockschmidt Microsoft Research
11:30
30m
Talk
PPAML: Probabilistic Programming Advancing Machine Learning
ML4PL
Suresh Jagannathan DARPA
12:00
30m
Talk
Man vs. Machine: Challenges of Integrating Programming Languages and People
ML4PL
Emery D. Berger University of Massachusetts, Amherst
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

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

STOP

Lehtosalo

STOP

Rossberg

STOP

Chaudhuri

STOP

Chandra

STOP

Contracts

STOP

Gradual Typing

STOP

Discussion: Felleisen v Bracha

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

ML4PL

Welcome

ML4PL

Invited Talk

ML4PL

Session 1

ML4PL

Session 2

ML4PL

Session 3

Mon 6 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Moravia III
STOP
MyPy, an Optionally-Typed Python
10:05 - 10:50
STOP
Experiments with Strengthening JavaScript
10:50 - 11:35
STOP
Flow: a static type checker for JavaScript
11:35 - 12:20
STOP
JavaScript in the Small
13:50 - 14:35
STOP
A Light-Weight Effect System for JavaScript
14:40 - 15:00
STOP
Adding Practical Dependent Types to Typed Racket
15:00 - 15:20
STOP
Contracts for Async Patterns in JavaScript
15:20 - 15:40
STOP
Position Paper: Performance Evaluation for Gradual Typing
16:10 - 16:30
STOP
Towards Absolutely Efficient Gradually Typed Languages
16:30 - 16:50
STOP
Towards a Static Type Checker for Python
16:50 - 17:10
STOP
Types for an Untyped World
17:10 - 19:00

Tue 7 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Moravia III
ML4PL
Welcome and introductions
10:00 - 10:15
ML4PL
Machine Learning for Programming
10:15 - 11:00
ML4PL
Learning to Decipher the Heap
11:00 - 11:30
ML4PL
PPAML: Probabilistic Programming Advancing Machine Learning
11:30 - 12:00
ML4PL
Man vs. Machine: Challenges of Integrating Programming Languages and People
12:00 - 12:30
ML4PL
Problems and opportunities — Program similarity
13:45 - 14:15
ML4PL
Inferring Coding Conventions with Machine Learning
14:15 - 14:45
ML4PL
Using topic models to understand programming languages literature
14:45 - 15:15
ML4PL
Scaling Program Synthesis by Exploiting Existing Code
15:15 - 15:45
ML4PL
Problems and opportunities – Statistical modeling in (declarative) PLs
16:10 - 16:40
ML4PL
Bimodal Modelling of Source Code and Natural Language
16:40 - 17:10
ML4PL
Machine learning for predictive modeling and recommender systems automation
17:10 - 17:40