Software Engineering

Clausal Modifiers in the Grammar Matrix COLING 2018 Differential Energy Profiling: Energy Optimization via Diffing Similar Apps OSDI 2018 Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018 Mapping Language to Code in Programmatic Context EMNLP 2018 Modelling Natural Language, Programs, and their Intersection NAACL 2018 Neural Guided Constraint Logic Programming for Program Synthesis NeurIPS 2018 Orca: Differential Bug Localization in Large-Scale Services OSDI 2018 PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance NSDI 2018 Polyglot Semantic Parsing in APIs NAACL 2018 REPT: Reverse Debugging of Failures in Deployed Software OSDI 2018 Sanity Checks for Saliency Maps NeurIPS 2018 Selecting Representative Examples for Program Synthesis ICML 2018 SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications EMNLP 2018 Sledgehammer: Cluster-Fueled Debugging OSDI 2018 Stroboscope: Declarative Network Monitoring on a Budget NSDI 2018 Summarizing Source Code with Transferred API Knowledge IJCAI 2018 Synthesizing Pattern Programs from Examples IJCAI 2018 TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation EMNLP 2018 Verifying concurrent software using movers in CSPEC OSDI 2018 YEDDA: A Lightweight Collaborative Text Span Annotation Tool ACL 2018 Abstract Syntax Networks for Code Generation and Semantic Parsing ACL 2017 A Parallel Corpus of Python Functions and Documentation Strings for Automated Code Documentation and Code Generation IJCNLP 2017 APUNet: Revitalizing GPU as Packet Processing Accelerator NSDI 2017 A Syntactic Neural Model for General-Purpose Code Generation ACL 2017 CADET: Computer Assisted Discovery Extraction and Translation IJCNLP 2017