Programming Languages

GENSYNTH: Synthesizing Datalog Programs without Language Bias AAAI 2021 Long-Range Modeling of Source Code Files with eWASH: Extended Window Access by Syntax Hierarchy EMNLP 2021 Programming Network Stack for Middleboxes with Rubik NSDI 2021 STORM: Refinement Types for Secure Web Applications OSDI 2021 Bean Machine: A Declarative Probabilistic Programming Language For Efficient Programmable Inference PGM 2020 CLN2INV: Learning Loop Invariants with Continuous Logic Networks ICLR 2020 Formal Sanskrit Syntax: A Specification for Programming Language AACL 2020 HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020 Incorporating External Knowledge through Pre-training for Natural Language to Code Generation ACL 2020 Programming in Natural Language with fuSE: Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding ACL 2020 RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020 TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020 Unsupervised Translation of Programming Languages NeurIPS 2020 A Grammar-Based Structural CNN Decoder for Code Generation AAAI 2019 GENO -- GENeric Optimization for Classical Machine Learning NeurIPS 2019 Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing OSDI 2018 An Operational Semantics for a Fragment of PRS IJCAI 2018 Automatic differentiation in ML: Where we are and where we should be going NeurIPS 2018 Learning to Solve SMT Formulas NeurIPS 2018 The benefits and costs of writing a POSIX kernel in a high-level language OSDI 2018 Alto: Rapid Prototyping for Parsing and Translation EACL 2017 A Syntactic Neural Model for General-Purpose Code Generation ACL 2017 Correct by Construction Networks Using Stepwise Refinement NSDI 2017 Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017 A Compilation Target for Probabilistic Programming Languages ICML 2014