Similar Journals
![]() |
Proceedings of the ACM on Programming Languages
Number of Followers: 8 ![]() ISSN (Online) 2475-1421 Published by ACM ![]() |
- Hardware-Aware Static Optimization of Hyperdimensional Computations
Authors: Pu (Luke) YiSara Achour
Pages: 1 - 30
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1-30, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622797
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Leaf: Modularity for Temporary Sharing in Separation Logic
Authors: Travis HanceJon HowellOded PadonBryan Parno
Pages: 31 - 58
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 31-58, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622798
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Formally Verifying Optimizations with Block Simulations
Authors: Léo GourdinBenjamin BonneauSylvain BoulméDavid MonniauxAlexandre Bérard
Pages: 59 - 88
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 59-88, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622799
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Synthesizing Efficient Memoization Algorithms
Authors: Yican SunXuanyu PengYingfei Xiong
Pages: 89 - 115
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 89-115, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622800
Issue No: Vol. 7, No. OOPSLA2 (2023)
- AtomiS: Data-Centric Synchronization Made Practical
Authors: Hervé PaulinoAna Almeida MatosJan CederquistMarco GiuntiJoão MatosAntónio Ravara
Pages: 116 - 145
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 116-145, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622801
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Secure RDTs: Enforcing Access Control Policies for Offline Available JSON
Data
Authors: Thierry RenauxSam Van den VonderWolfgang De Meuter
Pages: 146 - 172
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 146-172, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622802
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Beacons: An End-to-End Compiler Framework for Predicting and Utilizing
Dynamic Loop Characteristics
Authors: Girish MururuSharjeel KhanBodhisatwa ChatterjeeChao ChenChris PorterAda GavrilovskaSantosh Pande
Pages: 173 - 203
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 173-203, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622803
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Compiling Structured Tensor Algebra
Authors: Mahdi GhorbaniMathieu HuotShideh HashemianAmir Shaikhha
Pages: 204 - 233
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 204-233, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622804
Issue No: Vol. 7, No. OOPSLA2 (2023)
- The Essence of Verilog: A Tractable and Tested Operational Semantics for
Verilog
Authors: Qinlin ChenNairen ZhangJinpeng WangTian TanChang XuXiaoxing MaYue Li
Pages: 234 - 263
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 234-263, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622805
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Run-Time Prevention of Software Integration Failures of Machine Learning
APIs
Authors: Chengcheng WanYuhan LiuKuntai DuHenry HoffmannJunchen JiangMichael MaireShan Lu
Pages: 264 - 291
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 264-291, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622806
Issue No: Vol. 7, No. OOPSLA2 (2023)
- The Bounded Pathwidth of Control-Flow Graphs
Authors: Giovanna Kobus ConradoAmir Kafshdar GoharshadyChun Kit Lam
Pages: 292 - 317
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 292-317, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622807
Issue No: Vol. 7, No. OOPSLA2 (2023)
- AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Authors: Octave LaroseSophie KalebaHumphrey BurchellStefan Marr
Pages: 318 - 346
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 318-346, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622808
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Mutually Iso-Recursive Subtyping
Authors: Andreas Rossberg
Pages: 347 - 373
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 347-373, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622809
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Mechanizing Session-Types using a Structural View: Enforcing Linearity
without Linearity
Authors: Chuta SanoRyan KavanaghBrigitte Pientka
Pages: 374 - 399
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 374-399, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622810
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Graph IRs for Impure Higher-Order Languages: Making Aggressive
Optimizations Affordable with Precise Effect Dependencies
Authors: Oliver BračevacGuannan WeiSonglin JiaSupun AbeysingheYuxuan JiangYuyan BaoTiark Rompf
Pages: 400 - 430
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 400-430, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622813
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Getting into the Flow: Towards Better Type Error Messages for
Constraint-Based Type Inference
Authors: Ishan BhanukaLionel ParreauxDavid BinderJonathan Immanuel Brachthäuser
Pages: 431 - 459
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 431-459, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622812
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Continuing WebAssembly with Effect Handlers
Authors: Luna Phipps-CostinAndreas RossbergArjun GuhaDaan LeijenDaniel HillerströmKC SivaramakrishnanMatija PretnarSam Lindley
Pages: 460 - 485
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 460-485, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622814
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Two Birds with One Stone: Boosting Code Generation and Code Search via a
Generative Adversarial Network
Authors: Shangwen WangBo LinZhensu SunMing WenYepang LiuYan LeiXiaoguang Mao
Pages: 486 - 515
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 486-515, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622815
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and
Effect Systems
Authors: Magnus MadsenJaco van de PolTroels Henriksen
Pages: 516 - 543
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 516-543, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622816
Issue No: Vol. 7, No. OOPSLA2 (2023)
- How Profilers Can Help Navigate Type Migration
Authors: Ben GreenmanMatthias FelleisenChristos Dimoulas
Pages: 544 - 573
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 544-573, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622817
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Rhombus: A New Spin on Macros without All the Parentheses
Authors: Matthew FlattTaylor AllredNia AngleStephen De GabrielleRobert Bruce FindlerJack FirthKiran GopinathanBen GreenmanSiddhartha KasivajhulaAlex KnauthJay McCarthySam PhillipsSorawee PorncharoenwaseJens Axel SøgaardSam Tobin-Hochstadt
Pages: 574 - 603
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 574-603, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622818
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Towards Better Semantics Exploration for Browser Fuzzing
Authors: Chijin ZhouQuan ZhangLihua GuoMingzhe WangYu JiangQing LiaoZhiyong WuShanshan LiBin Gu
Pages: 604 - 631
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 604-631, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622819
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent
Memory
Authors: Simon Friis VindumLars Birkedal
Pages: 632 - 657
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 632-657, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622820
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Adventure of a Lifetime: Extract Method Refactoring for Rust
Authors: Sewen ThyAndreea CosteaKiran GopinathanIlya Sergey
Pages: 658 - 685
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 658-685, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622821
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit
Matrix-Free PDE Solvers on Structured Grid
Authors: Huanqi CaoShizhi TangQianchao ZhuBowen YuWenguang Chen
Pages: 686 - 715
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 686-715, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622822
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Melocoton: A Program Logic for Verified Interoperability Between OCaml and
C
Authors: Armaël GuéneauJohannes HostertSimon SpiesMichael SammlerLars BirkedalDerek Dreyer
Pages: 716 - 744
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 716-744, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622823
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Interactive Debugging of Datalog Programs
Authors: André PacakSebastian Erdweg
Pages: 745 - 772
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 745-772, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622824
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Concrete Type Inference for Code Optimization using Machine Learning with
SMT Solving
Authors: Fangke YeJisheng ZhaoJun ShirakoVivek Sarkar
Pages: 773 - 800
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 773-800, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622825
Issue No: Vol. 7, No. OOPSLA2 (2023)
- An Explanation Method for Models of Code
Authors: Yu WangKe WangLinzhang Wang
Pages: 801 - 827
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 801-827, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622826
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Modular Verification of Safe Memory Reclamation in Concurrent Separation
Logic
Authors: Jaehwang JungJanggun LeeJaemin ChoiJaewoo KimSunho ParkJeehoon Kang
Pages: 828 - 856
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 828-856, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622827
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Simple Reference Immutability for System F<:
Authors: Edward LeeOndřej Lhoták
Pages: 857 - 881
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 857-881, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622828
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart
Contracts
Authors: Zhuo CaiSoroush FarokhniaAmir Kafshdar GoharshadyS. Hitarth
Pages: 882 - 911
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 882-911, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622829
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Inductive Program Synthesis Guided by Observational Program Similarity
Authors: Jack FeserIşıl DilligArmando Solar-Lezama
Pages: 912 - 940
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 912-940, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622830
Issue No: Vol. 7, No. OOPSLA2 (2023)
- From Capabilities to Regions: Enabling Efficient Compilation of Lexical
Effect Handlers
Authors: Marius MüllerPhilipp SchusterJonathan Lindegaard StarupKlaus OstermannJonathan Immanuel Brachthäuser
Pages: 941 - 970
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 941-970, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622831
Issue No: Vol. 7, No. OOPSLA2 (2023)
- A Container-Usage-Pattern-Based Context Debloating Approach for
Object-Sensitive Pointer Analysis
Authors: Dongjie HeYujiang GuiWei LiYonggang TaoChangwei ZouYulei SuiJingling Xue
Pages: 971 - 1000
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 971-1000, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622832
Issue No: Vol. 7, No. OOPSLA2 (2023)
- A Cocktail Approach to Practical Call Graph Construction
Authors: Yuandao CaiCharles Zhang
Pages: 1001 - 1033
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1001-1033, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622833
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Equality Saturation Theory Exploration à la Carte
Authors: Anjali PalBrett SaikiRyan TjoaCynthia RicheyAmy ZhuOliver FlattMax WillseyZachary TatlockChandrakana Nandi
Pages: 1034 - 1062
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1034-1062, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622834
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Complete First-Order Reasoning for Properties of Functional Programs
Authors: Adithya MuraliLucas PeñaRanjit JhalaP. Madhusudan
Pages: 1063 - 1092
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1063-1092, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622835
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Structural Subtyping as Parametric Polymorphism
Authors: Wenhao TangDaniel HillerströmJames McKinnaMichel SteuwerOrnela DardhaRongxiao FuSam Lindley
Pages: 1093 - 1121
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1093-1121, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622836
Issue No: Vol. 7, No. OOPSLA2 (2023)
- A Pretty Expressive Printer
Authors: Sorawee PorncharoenwaseJustin PombrioEmina Torlak
Pages: 1122 - 1149
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1122-1149, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622837
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Automated Ambiguity Detection in Layout-Sensitive Grammars
Authors: Jiangyi LiuFengmin ZhuFei He
Pages: 1150 - 1175
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1150-1175, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622838
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Reusing Just-in-Time Compiled Code
Authors: Meetesh Kalpesh MehtaSebastián KrynskiHugo Musso GualandiManas ThakurJan Vitek
Pages: 1176 - 1197
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1176-1197, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622839
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Bring Your Own Data Structures to Datalog
Authors: Arash SahebolamriLangston BarrettScott MooreKristopher Micinski
Pages: 1198 - 1223
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1198-1223, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622840
Issue No: Vol. 7, No. OOPSLA2 (2023)
- A Grounded Conceptual Model for Ownership Types in Rust
Authors: Will CrichtonGavin GrayShriram Krishnamurthi
Pages: 1224 - 1252
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1224-1252, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622841
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Building Dynamic System Call Sandbox with Partial Order Analysis
Authors: Quan ZhangChijin ZhouYiwen XuZijing YinMingzhe WangZhuo SuChengnian SunYu JiangJiaguang Sun
Pages: 1253 - 1280
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1253-1280, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622842
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Resource-Aware Soundness for Big-Step Semantics
Authors: Riccardo BianchiniFrancesco DagninoPaola GianniniElena Zucca
Pages: 1281 - 1309
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1281-1309, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622843
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Initializing Global Objects: Time and Order
Authors: Fengyun LiuOndřej LhotákDavid HuaEnze Xing
Pages: 1310 - 1337
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1310-1337, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622844
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Formal Abstractions for Packet Scheduling
Authors: Anshuman MohanYunhe LiuNate FosterTobias KappéDexter Kozen
Pages: 1338 - 1362
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1338-1362, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622845
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Reference Capabilities for Flexible Memory Management
Authors: Ellen ArvidssonElias CastegrenSylvan ClebschSophia DrossopoulouJames NobleMatthew J. ParkinsonTobias Wrigstad
Pages: 1363 - 1393
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1363-1393, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622846
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Mobius: Synthesizing Relational Queries with Recursive and Invented
Predicates
Authors: Aalok ThakkarNathaniel SandsGeorge PetrouRajeev AlurMayur NaikMukund Raghothaman
Pages: 1394 - 1417
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1394-1417, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622847
Issue No: Vol. 7, No. OOPSLA2 (2023)
- MemPerf: Profiling Allocator-Induced Performance Slowdowns
Authors: Jin ZhouSam SilvestroSteven (Jiaxun) TangHanmei YangHongyu LiuGuangming ZengBo WuCong LiuTongping Liu
Pages: 1418 - 1441
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1418-1441, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622848
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Verifying Indistinguishability of Privacy-Preserving Protocols
Authors: Kirby LinvillGowtham KakiEric Wustrow
Pages: 1442 - 1469
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1442-1469, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622849
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Quantifying and Mitigating Cache Side Channel Leakage with Differential
Set
Authors: Cong MaDinghao WuGang TanMahmut Taylan KandemirDanfeng Zhang
Pages: 1470 - 1498
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1470-1498, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622850
Issue No: Vol. 7, No. OOPSLA2 (2023)
- How Domain Experts Use an Embedded DSL
Authors: Lisa RennelsSarah E. Chasins
Pages: 1499 - 1530
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1499-1530, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622851
Issue No: Vol. 7, No. OOPSLA2 (2023)
- When Concurrency Matters: Behaviour-Oriented Concurrency
Authors: Luke CheesemanMatthew J. ParkinsonSylvan ClebschMarios KogiasSophia DrossopoulouDavid ChisnallTobias WrigstadPaul Liétar
Pages: 1531 - 1560
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1531-1560, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622852
Issue No: Vol. 7, No. OOPSLA2 (2023)
- TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Authors: Matt D'SouzaJames YouOndřej LhotákAleksandar Prokopec
Pages: 1561 - 1588
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1561-1588, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622853
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Validating IoT Devices with Rate-Based Session Types
Authors: Grant IraciCheng-En ChuangRaymond HuLukasz Ziarek
Pages: 1589 - 1617
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1589-1617, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622854
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Static Analysis of Memory Models for SMT Encodings
Authors: Thomas HaasRené MaseliRoland MeyerHernán Ponce de León
Pages: 1618 - 1647
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1618-1647, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622855
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of
Programs
Authors: Alex RendaYi DingMichael Carbin
Pages: 1648 - 1676
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1648-1676, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622856
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Stuttering for Free
Authors: Minki ChoYoungju SongDongjae LeeLennard GäherDerek Dreyer
Pages: 1677 - 1704
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1677-1704, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622857
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Inference of Resource Management Specifications
Authors: Narges ShadabPritam GharatShrey TiwariMichael D. ErnstMartin KelloggShuvendu K. LahiriAkash LalManu Sridharan
Pages: 1705 - 1728
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1705-1728, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622858
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Rapid: Region-Based Pointer Disambiguation
Authors: Khushboo ChitrePiyus KediaRahul Purandare
Pages: 1729 - 1757
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1729-1757, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622859
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Gradual Typing for Effect Handlers
Authors: Max S. NewEric GiovanniniDaniel R. Licata
Pages: 1758 - 1786
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1758-1786, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622860
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Synthesizing Specifications
Authors: Kanghee ParkLoris D'AntoniThomas Reps
Pages: 1787 - 1816
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1787-1816, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622861
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Compositional Verification of Efficient Masking Countermeasures against
Side-Channel Attacks
Authors: Pengfei GaoYedi ZhangFu SongTaolue ChenFrancois-Xavier Standaert
Pages: 1817 - 1847
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1817-1847, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622862
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Data Extraction via Semantic Regular Expression Synthesis
Authors: Qiaochu ChenArko BanerjeeÇağatay DemiralpGreg DurrettIşıl Dillig
Pages: 1848 - 1877
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1848-1877, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622863
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Counterexample Driven Quantifier Instantiations with Applications to
Distributed Protocols
Authors: Orr TamirMarcelo TaubeKenneth L. McMillanSharon ShohamJon HowellGuy GuetaMooly Sagiv
Pages: 1878 - 1904
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1878-1904, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622864
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Historia: Refuting Callback Reachability with Message-History Logics
Authors: Shawn MeierSergio MoverGowtham KakiBor-Yuh Evan Chang
Pages: 1905 - 1934
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1905-1934, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622865
Issue No: Vol. 7, No. OOPSLA2 (2023)
- P4R-Type: A Verified API for P4 Control Plane Programs
Authors: Jens Kanstrup LarsenRoberto GuancialePhilipp HallerAlceste Scalas
Pages: 1935 - 1963
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1935-1963, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622866
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Synthesizing Precise Static Analyzers for Automatic Differentiation
Authors: Jacob LaurelSiyuan Brant QianGagandeep SinghSasa Misailovic
Pages: 1964 - 1992
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1964-1992, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622867
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient
and On-Demand Algebraic Program Analysis
Authors: Giovanna Kobus ConradoAmir Kafshdar GoharshadyKerim KochekovYun Chen TsaiAhmed Khaled Zaher
Pages: 1993 - 2022
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 1993-2022, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622868
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Saggitarius: A DSL for Specifying Grammatical Domains
Authors: Anders MiltnerDevon LoehrArnold MongKathleen FisherDavid Walker
Pages: 2023 - 2051
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2023-2051, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622869
Issue No: Vol. 7, No. OOPSLA2 (2023)
- A Deductive Verification Infrastructure for Probabilistic Programs
Authors: Philipp SchröerKevin BatzBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph Matheja
Pages: 2052 - 2082
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2052-2082, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622870
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Greedy Implicit Bounded Quantification
Authors: Chen CuiShengyi JiangBruno C. d. S. Oliveira
Pages: 2083 - 2111
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2083-2111, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622871
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Solving String Constraints with Lengths by Stabilization
Authors: Yu-Fang ChenDavid ChocholatýVojtěch HavlenaLukáš HolíkOndřej LengálJuraj Síč
Pages: 2112 - 2141
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2112-2141, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622872
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Type-Safe Dynamic Placement with First-Class Placed Values
Authors: George ZakhourPascal WeisenburgerGuido Salvaneschi
Pages: 2142 - 2170
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2142-2170, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622873
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Explainable Program Synthesis by Localizing Specifications
Authors: Amirmohammad NazariYifei HuangRoopsha SamantaArjun RadhakrishnaMukund Raghothaman
Pages: 2171 - 2195
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2171-2195, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622874
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Perception Contracts for Safety of ML-Enabled Systems
Authors: Angello AstorgaChiao HsiehP. MadhusudanSayan Mitra
Pages: 2196 - 2223
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2196-2223, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622875
Issue No: Vol. 7, No. OOPSLA2 (2023)
- Message Chains for Distributed System Verification
Authors: Federico MoraAnkush DesaiElizabeth PolgreenSanjit A. Seshia
Pages: 2224 - 2250
Abstract: Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA2, Page 2224-2250, October 2023.
Citation: Proceedings of the ACM on Programming Languages
PubDate: 2023-10-16T03:36:58Z
DOI: 10.1145/3622876
Issue No: Vol. 7, No. OOPSLA2 (2023)