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 125G
Location: Blavatnik LT1
09:00
Opening and demos (abstract)
09:45
Bimodal Software Engineering (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 127G
Location: Blavatnik LT1
11:00
Static Analysis for Developer Efficiency with Infer (abstract)
11:45
Learning to Type (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 128G
Location: Blavatnik LT1
14:00
Neural Meta Program Synthesis (abstract)
14:45
Learning to Analyze Programs at Scale (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 130F
Location: Blavatnik LT1
16:00
DeepBugs: A Learning Approach to Name-based Bug Detection (abstract)
16:45
Measuring software development productivity: a machine learning approach (abstract)
17:15
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).

Thursday, July 19th

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

09:00-10:30 Session 131C
Location: Blavatnik LT1
09:00
Why is Software Natural? and how can Naturalness be exploited? (abstract)
09:45
Program Synthesis as High-Level Machine Learning (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 133C

Deep Learning for Code

Location: Blavatnik LT1
11:00
code2vec: Learning Distributed Representations of Code (abstract)
11:45
Understanding & Generating Source Code with Graph Neural Networks (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 135C
Location: Blavatnik LT1
14:00
Neural Network Models of Code Edits (abstract)
14:45
Program synthesis and its connections to AGI (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 137C
Location: Blavatnik LT1
16:00
Difflog: Beyond Deductive Methods in Program Analysis (abstract)
16:30
Deep Learning On Code with an Unbounded Vocabulary (abstract)
17:00
Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network (abstract)
17:30
Open Business Meeting for Future of Machine Learning for Programming (abstract)