86 papers
cs pl
0/02026
4- JulGradInf: Gradient Estimation as Probabilistic Inferenceno summary yetcs-pl2607.07840MIT0 citesJul 8, 2026
- JulPotential Functions as Typesno summary yetcs-pl2607.08547CMU0 citesJul 9, 2026
- JunCNnotator: LLM-Guided Memory Safety Annotation Synthesisno summary yetcs-pl2606.21822CMU0 citesJun 20, 2026
- JunWelterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)no summary yetcs-pl2606.27138Google Research0 citesJun 25, 2026
2024
4- AugPortability of Fortran's `do concurrent' on GPUsno summary yetcs-pl2408.07843NVIDIA3 citesAug 14, 2024
- MayWavefront Threading Enables Effective High-Level Synthesisno summary yetcs-pl2405.19514Microsoft Research3 citesMay 29, 2024
- AprKATch: A Fast Symbolic Verifier for NetKATno summary yetcs-pl2404.04760Google Research8 citesApr 7, 2024
- AprValidating Traces of Distributed Programs Against TLA+ Specificationsno summary yetcs-pl2404.16075Microsoft Research0 citesApr 24, 2024
2023
6- NovThe Next 700 ML-Enabled Compiler Optimizationsno summary yetcs-pl2311.10800Google Research0 citesNov 17, 2023
- NovBidirectional Reactive Programming for Machine Learningno summary yetcs-pl2311.16977Google Research0 citesNov 28, 2023
- SepReference Capabilities for Flexible Memory Management: Extended Versionno summary yetcs-pl2309.02983Microsoft Research12 citesSep 6, 2023
- SepHistoria: Refuting Callback Reachability with Message-History Logics (Extended Version)no summary yetcs-pl2309.04464Amazon0 citesSep 8, 2023
- SepComPile: A Large IR Dataset from Production Sourcesno summary yetcs-pl2309.15432Google Research0 citesSep 27, 2023
- MarSecuring Verified IO Programs Against Unverified Code in F*no summary yetcs-pl2303.01350Microsoft Research5 citesMar 2, 2023
2022
9- NovProceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformationno summary yetcs-pl2211.10675Amazon0 citesNov 19, 2022
- OctLow-Latency, High-Throughput Garbage Collection (Extended Version)no summary yetcs-pl2210.17175Google Research23 citesOct 31, 2022
- JunAeneas: Rust Verification by Functional Translationno summary yetcs-pl2206.07185Microsoft Research43 citesJun 14, 2022
- MayAccelerating Verified-Compiler Development with a Verified Rewriting Engineno summary yetcs-pl2205.00862Google Research6 citesMay 2, 2022
- AprSynthesizing Analytical SQL Queries from Computation Demonstrationno summary yetcs-pl2204.07102Microsoft Research10 citesApr 14, 2022
- AprQunity: A Unified Language for Quantum and Classical Computing (Extended Version)no summary yetcs-pl2204.12384Amazon1 citesApr 26, 2022
- MarC to Checked C by 3Cno summary yetcs-pl2203.13445Amazon14 citesMar 25, 2022
- FebCompetition-Level Code Generation with AlphaCodeno summary yetcs-pl2203.07814DeepMind32 citesFeb 8, 2022
- JanPolarized Subtypingno summary yetcs-pl2201.10998Amazon0 citesJan 26, 2022
2021
11- NovSteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programsno summary yetcs-pl2111.15149Microsoft Research26 citesNov 30, 2021
- OctParallel Algebraic Effect Handlersno summary yetcs-pl2110.07493Google Research0 citesOct 14, 2021
- SepSpecifying and Testing GPU Workgroup Progress Modelsno summary yetcs-pl2109.06132Google Research8 citesSep 13, 2021
- SepI$\heartsuit$LA: Compilable Markdown for Linear Algebrano summary yetcs-pl2109.13001Adobe3 citesSep 24, 2021
- AprDemanded Abstract Interpretation (Extended Version)no summary yetcs-pl2104.01270Amazon19 citesApr 2, 2021
- AprGetting to the Point. Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programmingno summary yetcs-pl2104.05372DeepMind1 citesApr 12, 2021
- MarCatala: A Programming Language for the Lawno summary yetcs-pl2103.03198Microsoft Research42 citesMar 4, 2021
- FebTensors Fitting Perfectlyno summary yetcs-pl2102.13254Google Research0 citesFeb 26, 2021
- FebLazyTensor: combining eager execution with domain-specific compilersno summary yetcs-pl2102.13267Google Research6 citesFeb 26, 2021
- JanMLGO: a Machine Learning Guided Compiler Optimizations Frameworkno summary yetcs-pl2101.04808Google Research35 citesJan 13, 2021
- JanUNIT: Unifying Tensorized Instruction Compilationno summary yetcs-pl2101.08458Amazon27 citesJan 21, 2021
2020
12- DecRast: A Language for Resource-Aware Session Typesno summary yetcs-pl2012.13129Amazon1 citesDec 24, 2020
- NovData Flow Refinement Type Inferenceno summary yetcs-pl2011.04876Google Research0 citesNov 10, 2020
- NovEfficient global register allocationno summary yetcs-pl2011.05608Google Research0 citesNov 11, 2020
- NovA Modern Compiler for the French Tax Codeno summary yetcs-pl2011.07966Microsoft Research1 citesNov 16, 2020
- JulBUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Explorationno summary yetcs-pl2007.14381Google Research5 citesJul 28, 2020
- MayFeatherweight Gono summary yetcs-pl2005.11710Google Research0 citesMay 24, 2020
- AprOptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraintsno summary yetcs-pl2004.00348Google Research9 citesApr 1, 2020
- AprAlgebra-based Loop Synthesisno summary yetcs-pl2004.11787Microsoft Research0 citesApr 24, 2020
- MarSealing Pointer-Based Optimizations Behind Pure Functionsno summary yetcs-pl2003.01685Microsoft Research0 citesMar 3, 2020
- MarTF-Coder: Program Synthesis for Tensor Manipulationsno summary yetcs-pl2003.09040Google Research5 citesMar 19, 2020
- FebLearning to Represent Programs with Property Signaturesno summary yetcs-pl2002.09030Google Research18 citesFeb 13, 2020
- JanBeyond Notations: Hygienic Macro Expansion for Theorem Proving Languagesno summary yetcs-pl2001.10490Microsoft Research5 citesJan 28, 2020
2019
9- NovA Simple Differentiable Programming Languageno summary yetcs-pl1911.04523Google Research50 citesNov 11, 2019
- SepObsidian: Typestate and Assets for Safer Blockchain Programmingno summary yetcs-pl1909.03523Meta / FAIR12 citesSep 8, 2019
- SepDeterministic Parallel Fixpoint Computationno summary yetcs-pl1909.05951Meta / FAIR8 citesSep 12, 2019
- SepPlanAlyzer: Assessing Threats to the Validity of Online Experimentsno summary yetcs-pl1909.13649Meta / FAIR2 citesSep 30, 2019
- AprTea: A High-level Language and Runtime System for Automating Statistical Analysisno summary yetcs-pl1904.05387Microsoft Research27 citesApr 10, 2019
- FebSpectre is here to stay: An analysis of side-channels and speculative executionno summary yetcs-pl1902.05178Google Research79 citesFeb 14, 2019
- FebOptimizing and Evaluating Transient Gradual Typingno summary yetcs-pl1902.07808Meta / FAIR2 citesFeb 20, 2019
- FebReliable State Machines: A Framework for Programming Reliable Cloud Servicesno summary yetcs-pl1902.09502Microsoft Research1 citesFeb 25, 2019
- JanExceLint: Automatically Finding Spreadsheet Formula Errorsno summary yetcs-pl1901.11100Microsoft Research52 citesJan 30, 2019
2018
6- DecBidirectional Type Checking for Relational Propertiesno summary yetcs-pl1812.05067Meta / FAIR12 citesDec 12, 2018
- NovProbabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministicno summary yetcs-pl1811.00890Google Research12 citesNov 2, 2018
- SepNeural-Augmented Static Analysis of Android Communicationno summary yetcs-pl1809.04059Google Research11 citesSep 11, 2018
- SepImproved Basic Block Reorderingno summary yetcs-pl1809.04676Meta / FAIR20 citesSep 12, 2018
- AprOn the Completeness of Verifying Message Passing Programs under Bounded Asynchronyno summary yetcs-pl1804.06612Microsoft Research7 citesApr 18, 2018
- MarMeta-F*: Proof Automation with SMT, Tactics, and Metaprogramsno summary yetcs-pl1803.06547Microsoft Research31 citesMar 17, 2018
2017
8- NovWYS*: A DSL for Verified Secure Multi-party Computationsno summary yetcs-pl1711.06467Microsoft Research0 citesNov 17, 2017
- AugFast and Precise Type Checking for JavaScriptno summary yetcs-pl1708.08021Meta / FAIR2 citesAug 26, 2017
- JulRecalling a Witness: Foundations and Applications of Monotonic Stateno summary yetcs-pl1707.02466Microsoft Research2 citesJul 8, 2017
- JulKleene Algebra Modulo Theoriesno summary yetcs-pl1707.02894Microsoft Research6 citesJul 10, 2017
- MaySympiler: Transforming Sparse Matrix Codes by Decoupling Symbolic Analysisno summary yetcs-pl1705.06575Adobe36 citesMay 18, 2017
- MayLock-step simulation is child's playno summary yetcs-pl1705.09704Google Research6 citesMay 26, 2017
- FebVerified Low-Level Programming Embedded in F*no summary yetcs-pl1703.00053Microsoft Research98 citesFeb 28, 2017
- FebA Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizationsno summary yetcs-pl1703.00055Microsoft Research22 citesFeb 28, 2017
2016
4- AugDijkstra Monads for Freeno summary yetcs-pl1608.06499Microsoft Research44 citesAug 23, 2016
- AugNoFAQ: Synthesizing Command Repairs from Examplesno summary yetcs-pl1608.08219Microsoft Research1 citesAug 29, 2016
- AprA Software Methodology for Compiling Quantum Programsno summary yetcs-pl1604.01401Microsoft Research175 citesApr 5, 2016
- MarAutomated Clustering and Program Repair for Introductory Programming Assignmentsno summary yetcs-pl1603.03165Microsoft Research5 citesMar 10, 2016
2014
6- DecDeclaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP systemno summary yetcs-pl1412.2304Microsoft Research0 citesDec 7, 2014
- NovAn Abstract Interpretation-based Model of Tracing Just-In-Time Compilationno summary yetcs-pl1411.7839Meta / FAIR0 citesNov 28, 2014
- MayA Module System for Domain-Specific Languagesno summary yetcs-pl1405.4041Microsoft Research1 citesMay 16, 2014
- AprThe Dafny Integrated Development Environmentno summary yetcs-pl1404.6602Microsoft Research52 citesApr 26, 2014
- MarFeedback Generation for Performance Problems in Introductory Programming Assignmentsno summary yetcs-pl1403.4064Microsoft Research69 citesMar 17, 2014
- JanStructured Generative Models of Natural Source Codeno summary yetcs-pl1401.0514Microsoft Research94 citesJan 2, 2014