Software Engineering

Direct Data-Driven Control with Embedded Anti-Windup Compensation L4DC 2020 End-to-end NLP Pipelines in Rust EMNLP 2020 Fault-tolerant and transactional stateful serverless workflows OSDI 2020 Generating Adversarial Examples for Holding Robustness of Source Code Processing Models AAAI 2020 Grammar Filtering for Syntax-Guided Synthesis AAAI 2020 HUMAN: Hierarchical Universal Modular ANnotator EMNLP 2020 Interpreting Predictions of NLP Models EMNLP 2020 Item Response Theory for Efficient Human Evaluation of Chatbots EMNLP 2020 Learning Code Changes by Exploiting Bidirectional Converting Deviation ACML 2020 Learning to Represent Programs with Property Signatures ICLR 2020 Learning to Update Natural Language Comments Based on Code Changes ACL 2020 Mapping Natural Language Instructions to Mobile UI Action Sequences ACL 2020 Metareasoning in Modular Software Systems: On-the-Fly Configuration Using Reinforcement Learning with Rich Contextual Representations AAAI 2020 Pimlico: A toolkit for corpus-processing pipelines and reproducible experiments EMNLP 2020 Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks OSDI 2020 Reasoning About Inconsistent Formulas IJCAI 2020 Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis NSDI 2020 SacreROUGE: An Open-Source Library for Using and Developing Summarization Evaluation Metrics EMNLP 2020 Semantic Scaffolds for Pseudocode-to-Code Generation ACL 2020 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Testing Database Engines via Pivoted Query Synthesis OSDI 2020 TextAttack: Lessons learned in designing Python frameworks for NLP EMNLP 2020 Towards Context-Aware Code Comment Generation EMNLP 2020 TreeGen: A Tree-Based Transformer Architecture for Code Generation AAAI 2020