FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Allamanis, Miltos	Understanding & Generating Source Code with Graph Neural Networks
Anandkumar, Anima	Deep Learning On Code with an Unbounded Vocabulary
Atkinson, Liam	Learning to Type
B
Barr, Earl	TBA
Bulychev, Egor	Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network
C
Chaudhuri, Swarat	Program Synthesis as High-Level Machine Learning
Cohen, William	Answering Cloze-style Software Questions Using Stack Overflow
Cvitkovic, Milan	Deep Learning On Code with an Unbounded Vocabulary
D
Devambu, Prem	Why is Software Natural? and how can Naturalness be exploited?
Dhingra, Bhuwan	Answering Cloze-style Software Questions Using Stack Overflow
H
Helie, Jean	Measuring software development productivity: a machine learning approach
Heo, Kihong	Difflog: Beyond Deductive Methods in Program Analysis
K
Keramitas, Romain	Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network
Kohli, Pushmeet	TBA Program synthesis and its connections to AGI
Kulkarni, Sulekha	Difflog: Beyond Deductive Methods in Program Analysis
L
Lee, Woosuk	Difflog: Beyond Deductive Methods in Program Analysis
Long, Waren	Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network
M
Markovtsev, Vadim	Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network
Markowski, Gabor	Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network
Marnette, Bruno	Open Business Meeting for Future of Machine Learning for Programming
Mazaitis, Kathryn	Answering Cloze-style Software Questions Using Stack Overflow
N
Naik, Mayur	Difflog: Beyond Deductive Methods in Program Analysis
Neubig, Graham	Answering Cloze-style Software Questions Using Stack Overflow
P
Pradel, Michael	DeepBugs: A Learning Approach to Name-based Bug Detection
R
Raghothaman, Mukund	Difflog: Beyond Deductive Methods in Program Analysis
S
Si, Xujie	Difflog: Beyond Deductive Methods in Program Analysis
Singh, Badal	Deep Learning On Code with an Unbounded Vocabulary
Singh, Rishabh	Neural Meta Program Synthesis
Slavnov, Konstantin	Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network
T
Tarlow, Danny	TBA
V
Vechev, Martin	Learning to Analyze Programs at Scale
Villard, Jules	Static Analysis for Developer Efficiency with Infer
W
Winston, Ezra	Answering Cloze-style Software Questions Using Stack Overflow
Wright, Ian	Measuring software development productivity: a machine learning approach
Y
Yahav, Eran	code2vec: Learning Distributed Representations of Code
Z
Zhang, Richard	Difflog: Beyond Deductive Methods in Program Analysis
Ziegler, Albert	Measuring software development productivity: a machine learning approach

Disclaimer | Powered by EasyChair Smart Program