6 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.LG2019★ 4 cited
Inferring Javascript types using Graph Neural Networks
Jessica Schrouff, Kai Wohlfahrt, Bruno Marnette +1
The recent use of `Big Code' with state-of-the-art deep learning methods offers promising avenues to ease program source code writing and correction. As a first step towards automa…
cs.DB2012★ 6 cited
Resolution and Datalog Rewriting Under Value Invention and Equality Constraints
Bruno Marnette
This paper present several refinements of the Datalog +/- framework based on resolution and Datalog-rewriting. We first present a resolution algorithm which is complete for arbitra…
cs.PL2005★ 1 cited
On Algorithms and Complexity for Sets with Cardinality Constraints
Bruno Marnette, Viktor Kuncak, Martin Rinard
Typestate systems ensure many desirable properties of imperative programs, including initialization of object fields and correct use of stateful library interfaces. Abstract sets w…