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

10:30-11:00Coffee Break
11:00-12:30 Session 123G
Location: Blavatnik LT1
11:00
Static Analysis for Developer Efficiency with Infer (abstract)
11:45
TBA (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 124G
Location: Blavatnik LT1
14:00
Neural Meta Program Synthesis (abstract)
14:45
TBA (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 126F
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

10:30-11:00Coffee Break
11:00-12:30 Session 129C
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
15:30-16:00Coffee Break
16:00-18:00 Session 133C
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)