FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
MLP PROGRAM

Days: Wednesday, July 18th Thursday, July 19th

Wednesday, July 18th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 124G
Chair:
Bruno Marnette
Location: Blavatnik LT1
09:00
Pushmeet Kohli
TBA (abstract)
09:45
Earl Barr
TBA (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 126G
Chair:
Viktor Kuncak
Location: Blavatnik LT1
11:00
Jules Villard
Static Analysis for Developer Efficiency with Infer (abstract)
11:45
Liam Atkinson
Learning to Type (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 127G
Chair:
Bruno Marnette
Location: Blavatnik LT1
14:00
Rishabh Singh
Neural Meta Program Synthesis (abstract)
14:45
Martin Vechev
Learning to Analyze Programs at Scale (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 129F
Chair:
Bruno Marnette
Location: Blavatnik LT1
16:00
Michael Pradel
DeepBugs: A Learning Approach to Name-based Bug Detection (abstract)
16:45
Ian Wright, Jean Helie and Albert Ziegler
Measuring software development productivity: a machine learning approach (abstract)
17:15
Ezra Winston, Bhuwan Dhingra, Kathryn Mazaitis, Graham Neubig and William Cohen
Answering Cloze-style Software Questions Using Stack Overflow (abstract)
19:15-21:30 Workshops dinner at Magdalen College

Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).

Location: Magdalen College
Thursday, July 19th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 130C
Chair:
Viktor Kuncak
Location: Blavatnik LT1
09:00
Prem Devambu
Why is Software Natural? and how can Naturalness be exploited? (abstract)
09:45
Swarat Chaudhuri
Program Synthesis as High-Level Machine Learning (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 132C

Deep Learning for Code

Chair:
Viktor Kuncak
Location: Blavatnik LT1
11:00
Eran Yahav
code2vec: Learning Distributed Representations of Code (abstract)
11:45
Miltos Allamanis
Understanding & Generating Source Code with Graph Neural Networks (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 134C
Chair:
Viktor Kuncak
Location: Blavatnik LT1
14:00
Danny Tarlow
TBA (abstract)
14:45
Pushmeet Kohli
Program synthesis and its connections to AGI (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 136C
Chair:
Viktor Kuncak
Location: Blavatnik LT1
16:00
Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang, Xujie Si, Kihong Heo, Woosuk Lee and Mayur Naik
Difflog: Beyond Deductive Methods in Program Analysis (abstract)
16:30
Milan Cvitkovic, Badal Singh and Anima Anandkumar
Deep Learning On Code with an Unbounded Vocabulary (abstract)
17:00
Vadim Markovtsev, Waren Long, Egor Bulychev, Romain Keramitas, Konstantin Slavnov and Gabor Markowski
Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network (abstract)
17:30
Bruno Marnette
Open Business Meeting for Future of Machine Learning for Programming (abstract)