Software Engineering

Learning Semantic Representations to Verify Hardware Designs NeurIPS 2021 Long-Range Modeling of Source Code Files with eWASH: Extended Window Access by Syntax Hierarchy EMNLP 2021 mlr3pipelines - Flexible Machine Learning Pipelines in R JMLR 2021 MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning EMNLP 2021 mvlearn: Multiview Machine Learning in Python JMLR 2021 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 Neural Program Generation Modulo Static Analysis NeurIPS 2021 On Joint Learning for Solving Placement and Routing in Chip Design NeurIPS 2021 OpenML-Python: an extensible Python API for OpenML JMLR 2021 Optimal Neural Program Synthesis from Multimodal Specifications EMNLP 2021 PAWLS: PDF Annotation With Labels and Structure ACL 2021 PeerReview4All: Fair and Accurate Reviewer Assignment in Peer Review JMLR 2021 PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections OSDI 2021 Pipeline Combinators for Gradual AutoML NeurIPS 2021 Pragmatic Code Autocomplete AAAI 2021 Predictive Job Scheduling under Uncertain Constraints in Cloud Computing IJCAI 2021 ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations ICML 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021 RadarMath: An Intelligent Tutoring System for Math Education AAAI 2021 Reading StackOverflow Encourages Cheating: Adding Question Text Improves Extractive Code Generation ACL 2021 Retrieval Augmented Code Generation and Summarization EMNLP 2021 SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs OSDI 2021 Searching for Machine Learning Pipelines Using a Context-Free Grammar AAAI 2021 Signatory: differentiable computations of the signature and logsignature transforms, on both CPU and GPU ICLR 2021 STORM: Refinement Types for Secure Web Applications OSDI 2021