45 citations · 80 across the 3 of their papers we have counts for
5 papers
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
Nicholas Hoernle, Rafael Michael Karampatsis, Vaishak Belle +1
We propose a novel way to incorporate expert knowledge into the training of deep neural networks. Many approaches encode domain constraints directly into the network architecture,…
SCELMo: Source Code Embeddings from Language Models
Rafael - Michael Karampatsis, Charles Sutton
Continuous embeddings of tokens in computer programs have been used to support a variety of software development tools, including readability, code search, and program repair. Cont…
Big Code != Big Vocabulary: Open-Vocabulary Models for Source Code
Rafael-Michael Karampatsis, Hlib Babii, Romain Robbes +2
Statistical language modeling techniques have successfully been applied to large source code corpora, yielding a variety of new software development tools, such as tools for code s…
How Often Do Single-Statement Bugs Occur? The ManySStuBs4J Dataset
Rafael-Michael Karampatsis, Charles Sutton
Program repair is an important but difficult software engineering problem. One way to achieve acceptable performance is to focus on classes of simple bugs, such as bugs with single…
Maybe Deep Neural Networks are the Best Choice for Modeling Source Code
Rafael-Michael Karampatsis, Charles Sutton
Statistical language modeling techniques have successfully been applied to source code, yielding a variety of new software development tools, such as tools for code suggestion and…