Subjects -> COMPUTER SCIENCE (Total: 2313 journals)
    - ANIMATION AND SIMULATION (33 journals)
    - ARTIFICIAL INTELLIGENCE (133 journals)
    - AUTOMATION AND ROBOTICS (116 journals)
    - CLOUD COMPUTING AND NETWORKS (75 journals)
    - COMPUTER ARCHITECTURE (11 journals)
    - COMPUTER ENGINEERING (12 journals)
    - COMPUTER GAMES (23 journals)
    - COMPUTER PROGRAMMING (25 journals)
    - COMPUTER SCIENCE (1305 journals)
    - COMPUTER SECURITY (59 journals)
    - DATA BASE MANAGEMENT (21 journals)
    - DATA MINING (50 journals)
    - E-BUSINESS (21 journals)
    - E-LEARNING (30 journals)
    - ELECTRONIC DATA PROCESSING (23 journals)
    - IMAGE AND VIDEO PROCESSING (42 journals)
    - INFORMATION SYSTEMS (109 journals)
    - INTERNET (111 journals)
    - SOCIAL WEB (61 journals)
    - SOFTWARE (43 journals)
    - THEORY OF COMPUTING (10 journals)

COMPUTER PROGRAMMING (25 journals)

Showing 1 - 27 of 27 Journals sorted alphabetically
ACM SIGPLAN Fortran Forum     Full-text available via subscription   (Followers: 4)
ACM Transactions on Programming Languages and Systems (TOPLAS)     Hybrid Journal   (Followers: 18)
Acta Informatica     Hybrid Journal   (Followers: 5)
Advances in Image and Video Processing     Open Access   (Followers: 24)
Algorithmica     Hybrid Journal   (Followers: 9)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 12)
Computer Methods and Programs in Biomedicine     Hybrid Journal   (Followers: 6)
Constraints     Hybrid Journal  
Grey Systems : Theory and Application     Hybrid Journal  
International Journal of Parallel Programming     Hybrid Journal   (Followers: 6)
International Journal of People-Oriented Programming     Full-text available via subscription  
International Journal of Soft Computing and Software Engineering     Open Access   (Followers: 14)
Journal of Computer Languages     Hybrid Journal   (Followers: 5)
Journal of Functional Programming     Hybrid Journal   (Followers: 1)
Journal of Logical and Algebraic Methods in Programming     Hybrid Journal   (Followers: 1)
Linux Journal     Full-text available via subscription   (Followers: 25)
Mathematical and Computational Applications     Open Access   (Followers: 3)
Mathematical Programming     Hybrid Journal   (Followers: 15)
Optimization: A Journal of Mathematical Programming and Operations Research     Hybrid Journal   (Followers: 6)
Proceedings of the ACM on Programming Languages     Open Access   (Followers: 8)
Programming and Computer Software     Hybrid Journal   (Followers: 16)
Python Papers     Open Access   (Followers: 11)
Python Papers Monograph     Open Access   (Followers: 4)
Python Papers Source Codes     Open Access   (Followers: 9)
Science of Computer Programming     Hybrid Journal   (Followers: 14)
Scientific Programming     Open Access   (Followers: 12)
Theory and Practice of Logic Programming     Hybrid Journal   (Followers: 3)
Similar Journals
Journal Cover
Proceedings of the ACM on Programming Languages
Number of Followers: 8  

  This is an Open Access Journal Open Access journal
ISSN (Online) 2475-1421
Published by ACM Homepage  [83 journals]
  • 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)
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 35.172.165.64
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-