← Applications
Computer Science › Applications ›

Software Engineering

567 directly classified papers

Papers per year

Papers

Efficient Identification of Approximate Best Configuration of Training in Large Datasets AAAI 2019
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea) AAAI 2019
Grading Uncompilable Programs AAAI 2019
Abduction-Based Explanations for Machine Learning Models AAAI 2019
A Meta-Analysis of Overfitting in Machine Learning NIPS 2019
Modelling Natural Language, Programs, and their Intersection NAACL 2018
Sledgehammer: Cluster-Fueled Debugging OSDI 2018
Summarizing Source Code with Transferred API Knowledge IJCAI 2018
Mapping Language to Code in Programmatic Context EMNLP 2018
Stroboscope: Declarative Network Monitoring on a Budget NSDI 2018
Selecting Representative Examples for Program Synthesis ICML 2018
Polyglot Semantic Parsing in APIs NAACL 2018
YEDDA: A Lightweight Collaborative Text Span Annotation Tool ACL 2018
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector NIPS 2018
TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation EMNLP 2018
PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance NSDI 2018
Verifying concurrent software using movers in CSPEC OSDI 2018
Sanity Checks for Saliency Maps NIPS 2018
Synthesizing Pattern Programs from Examples IJCAI 2018
Clausal Modifiers in the Grammar Matrix COLING 2018
Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018
Neural Guided Constraint Logic Programming for Program Synthesis NIPS 2018
REPT: Reverse Debugging of Failures in Deployed Software OSDI 2018
Differential Energy Profiling: Energy Optimization via Diffing Similar Apps OSDI 2018
SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications EMNLP 2018