← Foundations
Computer Science › Foundations ›

Programming Languages

46 directly classified papers

Papers per year

Papers

RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020
Formal Sanskrit Syntax: A Specification for Programming Language AACL 2020
Unsupervised Translation of Programming Languages NIPS 2020
CLN2INV: Learning Loop Invariants with Continuous Logic Networks ICLR 2020
TouIST: a Friendly Language for Propositional Logic and More IJCAI 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
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020
GENO -- GENeric Optimization for Classical Machine Learning NIPS 2019
A Grammar-Based Structural CNN Decoder for Code Generation AAAI 2019
The benefits and costs of writing a POSIX kernel in a high-level language 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 NIPS 2018
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing OSDI 2018
Learning to Solve SMT Formulas NIPS 2018
Alto: Rapid Prototyping for Parsing and Translation EACL 2017
Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017
Correct by Construction Networks Using Stepwise Refinement NSDI 2017
A Syntactic Neural Model for General-Purpose Code Generation ACL 2017
A Compilation Target for Probabilistic Programming Languages ICML 2014
Nonstandard Interpretations of Probabilistic Programs for Efficient Inference NIPS 2011