Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 13370 results
Sort by: relevance publication year

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by Natural Sciences and Engineering Research Council of Canada (Discovery Grant) | NSF (CCF-2210832)

Authors: Yang He | Pinhan Zhao | Xinyu Wang | Yuepeng Wang

https://doi.org/10.1145/3649849 Actions

Synthetiq: Fast and Versatile Quantum Circuit Synthesis

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by Swiss National Science Foundation SNSF (200021_207967\/1)

Authors: Anouk Paradis | Jasper Dekoninck | Benjamin Bichsel | Martin Vechev

https://doi.org/10.1145/3649813 Actions

Finding Cross-Rule Optimization Bugs in Datalog Engines

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by National Natural Science Foundation of China (No.62032010, No.62232001, No.62202220, and No.6217220) | Fundamental Research Funds for the Central Universities (No.2023300180)

Authors: Chi Zhang | Linzhang Wang | Manuel Rigger

https://doi.org/10.1145/3649815 Actions

Functional Ownership through Fractional Uniqueness

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by Engineering and Physical Sciences Research Council (EP\/T013516\/1)

Authors: Daniel Marshall | Dominic Orchard

https://doi.org/10.1145/3649848 Actions

AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by NSF (2019285,1763399,2313433,2118851) | DARPA (N66001-21-C-4018)

Authors: Wolf Honoré | Longfei Qiu | Yoonseung Kim | Ji-Yong Shin | Jieung Kim | Zhong Shao

https://doi.org/10.1145/3649826 Actions

Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by National Science Foundation (1953933, 1652954)

Authors: Haonan Li | Yu Hao | Yizhuo Zhai | Zhiyun Qian

https://doi.org/10.1145/3649828 Actions

Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Authors: Gabriel Ryan | Burcu Cetin | Yongwhan Lim | Suman Jana

https://doi.org/10.1145/3649840 Actions

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Authors: Noam Zilberstein | Angelina Saliling | Alexandra Silva

https://doi.org/10.1145/3649821 Actions

PROMPT: A Fast and Extensible Memory Profiling Framework

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by NSF (CCF-2107257, CCF-2118708, CCF-2107042,CCF-2119069,CCF-1908488) | DOE U.S. Department of Energy (DE-AC02-06CH11357,DE-SC0022138,DE-SC0022268)

Authors: Ziyang Xu | Yebin Chon | Yian Su | Zujun Tan | Sotiris Apostolakis | Simone Campanoni | David I. August

https://doi.org/10.1145/3649827 Actions

Inductive Diagrams for Causal Reasoning

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by National Science Foundation (2145367)

Authors: Jonathan Castello | Patrick Redmond | Lindsey Kuper

https://doi.org/10.1145/3649830 Actions

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by European Research Council (AdG Grant 787914) | Deutsche Forschungsgemeinschaft (RTG 2236 UnRAVeL) | Zhejiang Provincial Natural Science Foundation (Major Program LD24F020013) | ZJU Education Foundation (Qizhen Talent program)

Authors: Lutz Klinkenberg | Christian Blumenthal | Mingshuai Chen | Darion Haase | Joost-Pieter Katoen

https://doi.org/10.1145/3649844 Actions

Hydra: Generalizing Peephole Optimizations with Program Synthesis

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by National Science Foundation (1955688)

Authors: Manasij Mukherjee | John Regehr

https://doi.org/10.1145/3649837 Actions

Design and Implementation of an Aspect-Oriented C Programming Language

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by National Natural Science Foundation of China (62172217, U1533130)

Authors: Zhe Chen | Yunlong Zhu | Zhemin Wang

https://doi.org/10.1145/3649834 Actions

PyDex: Repairing Bugs in Introductory Python Assignments using LLMs

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by NSF (CCF-2106845, CCF-2131476)

Authors: Jialu Zhang | José Pablo Cambronero | Sumit Gulwani | Vu Le | Ruzica Piskac | Gustavo Soares | Gust Verbruggen

https://doi.org/10.1145/3649850 Actions

Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by Agence Nationale pour la Recherche (ANR-19-CE48-0014 ANR-22-PECY-0006)

Authors: Martin Avanzini | Gilles Barthe | Benjamin Grégoire | Georg Moser | Gabriele Vanoni

https://doi.org/10.1145/3649839 Actions

Deriving Dependently-Typed OOP from First Principles

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Authors: David Binder | Ingo Skupin | Tim Süberkrüb | Klaus Ostermann

https://doi.org/10.1145/3649846 Actions

Quantitative Bounds on Resource Usage of Probabilistic Programs

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by European Research Council (863818 (ForM-SMArt)) | Hong Kong Research Grants Council (26208122)

Authors: Krishnendu Chatterjee | Amir Kafshdar Goharshady | Tobias Meggendorfer | Đorđe Žikelić

https://doi.org/10.1145/3649824 Actions

Distributions for Compositionally Differentiating Parametric Discontinuities

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Research funded by NSF (2238839)

Authors: Jesse Michel | Kevin Mu | Xuanda Yang | Sai Praveen Bangaru | Elias Rojas Collins | Gilbert Bernstein | Jonathan Ragan-Kelley | Michael Carbin | Tzu-Mao Li

https://doi.org/10.1145/3649843 Actions

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Authors: Joseph W. Cutler | Craig Disselkoen | Aaron Eline | Shaobo He | Kyle Headley | Michael Hicks | Kesha Hietala | Eleftherios Ioannidis | John Kastner | Anwar Mamat | Darin McAdams | Matt McCutchen | Neha Rungta | Emina Torlak | Andrew M. Wells

https://doi.org/10.1145/3649835 Actions

Qualifying System F <: : Some Terms and Conditions May Apply

JOURNAL ARTICLE published 29 April 2024 in Proceedings of the ACM on Programming Languages

Authors: Edward Lee | Yaoyu Zhao | Ondřej Lhoták | James You | Kavin Satheeskumar | Jonathan Immanuel Brachthäuser

https://doi.org/10.1145/3649832 Actions
Feedback: support@crossref.org