| |
Ahmed, Amal
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Gradually Typed Languages ..."
Gradually Typed Languages Should Be Vigilant!
Olek Gierczak, Lucy Menon, Christos Dimoulas, and Amal Ahmed
(Northeastern University, USA; Northwestern University, USA)
 Publisher's Version
 Archive submitted (830 kB)
Article: oopslaa24main-p120-p doi:10.1145/3649842
|
| |
Alshnakat, Anoud |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "HOL4P4: Mechanized Small-Step ..."
HOL4P4: Mechanized Small-Step Semantics for P4
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, and Mads Dam
(KTH Royal Institute of Technology, Sweden; Saab, Sweden)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p25-p doi:10.1145/3649819
|
| |
Amin, Nada |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Persimmon: Nested Family Polymorphism ..."
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, and Nada Amin
(Harvard University, USA; University of Waterloo, Canada)
Publisher's Version
Archive submitted (2.4 MB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p80-p doi:10.1145/3649836
|
| |
Apostolakis, Sotiris |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PROMPT: A Fast and Extensible ..."
PROMPT: A Fast and Extensible Memory Profiling Framework
Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, and David I. August
(Princeton University, USA; Northwestern University, USA; Google, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p45-p doi:10.1145/3649827
|
| |
August, David I. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PROMPT: A Fast and Extensible ..."
PROMPT: A Fast and Extensible Memory Profiling Framework
Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, and David I. August
(Princeton University, USA; Northwestern University, USA; Google, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p45-p doi:10.1145/3649827
|
| |
Avanzini, Martin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Hopping Proofs of Expectation-Based ..."
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, and Gabriele Vanoni
(Centre Inria d’Université Côte d’Azur, France; MPI-SP, Germany; IMDEA Software Institute, Spain; University of Innsbruck, Austria)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p96-p doi:10.1145/3649839
|
| |
Bambeck, Jacob
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cocoon: Static Information ..."
Cocoon: Static Information Flow Control in Rust
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin
(Ohio State University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p19-p doi:10.1145/3649817
|
| |
Bangaru, Sai Praveen |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Bansal, Sorav |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Modeling Dynamic (De)Allocations ..."
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Abhishek Rose and Sorav Bansal
(IIT Delhi, India)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p375-p doi:10.1145/3649863
|
| |
Barthe, Gilles |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Hopping Proofs of Expectation-Based ..."
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, and Gabriele Vanoni
(Centre Inria d’Université Côte d’Azur, France; MPI-SP, Germany; IMDEA Software Institute, Spain; University of Innsbruck, Austria)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p96-p doi:10.1145/3649839
|
| |
Beardsley, Vincent |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cocoon: Static Information ..."
Cocoon: Static Information Flow Control in Rust
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin
(Ohio State University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p19-p doi:10.1145/3649817
|
| |
Bernstein, Gilbert |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Bichsel, Benjamin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Synthetiq: Fast and Versatile ..."
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p12-p doi:10.1145/3649813
|
| |
Binder, David |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Deriving Dependently-Typed ..."
Deriving Dependently-Typed OOP from First Principles
David Binder, Ingo Skupin, Tim Süberkrüb, and Klaus Ostermann
(University of Tübingen, Tübingen, Germany; Aleph Alpha, Germany)
Publisher's Version
Archive submitted (110 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p129-p doi:10.1145/3649846
|
| |
Blumenthal, Christian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Exact Bayesian Inference for ..."
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Zhejiang University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p124-p doi:10.1145/3649844
|
| |
Bond, Michael D. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cocoon: Static Information ..."
Cocoon: Static Information Flow Control in Rust
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin
(Ohio State University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p19-p doi:10.1145/3649817
|
| |
Boruch-Gruszecki, Aleksander |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Degrees of Separation: A Flexible ..."
Degrees of Separation: A Flexible Type System for Safe Concurrency
Yichen Xu, Aleksander Boruch-Gruszecki, and Martin Odersky
(EPFL, Lausanne, Switzerland)
Publisher's Version
Archive submitted (1.7 MB)
Article: oopslaa24main-p164-p doi:10.1145/3649853
|
| |
Bove, Ethan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Brachthäuser, Jonathan Immanuel |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Qualifying System F<:: ..."
Qualifying System F<:: Some Terms and Conditions May Apply
Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
(University of Waterloo, Canada; EPFL, Lausanne, Switzerland; University of Tübingen, Tübingen, Germany)
Publisher's Version
Published Artifact
Archive submitted (290 kB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p73-p doi:10.1145/3649832
|
| |
Brock, Benjamin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "UniSparse: An Intermediate ..."
UniSparse: An Intermediate Language for General Sparse Format Customization
Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, and Zhiru Zhang
(Cornell University, USA; University of California at Los Angeles, Los Angeles, USA; Intel, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p18-p doi:10.1145/3649816
|
| |
Cambronero, José Pablo
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PyDex: Repairing Bugs in Introductory ..."
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, and Gust Verbruggen
(University of Waterloo, Canada; Microsoft, USA; Yale University, USA; Microsoft, Belgium)
Publisher's Version
Article: oopslaa24main-p144-p doi:10.1145/3649850
|
| |
Campanoni, Simone |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PROMPT: A Fast and Extensible ..."
PROMPT: A Fast and Extensible Memory Profiling Framework
Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, and David I. August
(Princeton University, USA; Northwestern University, USA; Google, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p45-p doi:10.1145/3649827
|
| |
Carbin, Michael |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quantum Control Machine: The ..."
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles Yuan, Agnes Villanyi, and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Archive submitted (430 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p8-p doi:10.1145/3649811
|
| |
Castello, Jonathan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Inductive Diagrams for Causal ..."
Inductive Diagrams for Causal Reasoning
Jonathan Castello, Patrick Redmond, and Lindsey Kuper
(University of California at Santa Cruz, Santa Cruz, USA)
Publisher's Version
Article: oopslaa24main-p60-p doi:10.1145/3649830
|
| |
Cetin, Burcu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Accurate Data Race Prediction ..."
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, and Suman Jana
(Columbia University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p102-p doi:10.1145/3649840
|
| |
Chatterjee, Krishnendu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quantitative Bounds on Resource ..."
Quantitative Bounds on Resource Usage of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Đorđe Žikelić
(IST Austria, Austria; Hong Kong University of Science and Technology, China; Lancaster University Leipzig, Germany; Singapore Management University, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p39-p doi:10.1145/3649824
|
| |
Chen, Mingshuai |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Exact Bayesian Inference for ..."
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Zhejiang University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p124-p doi:10.1145/3649844
|
| |
Chen, Qian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
|
| |
Chen, Qianfan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Chen, Zhe |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Design and Implementation ..."
Design and Implementation of an Aspect-Oriented C Programming Language
Zhe Chen, Yunlong Zhu, and Zhemin Wang
(Nanjing University of Aeronautics and Astronautics, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p78-p doi:10.1145/3649834
|
| |
Chon, Yebin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PROMPT: A Fast and Extensible ..."
PROMPT: A Fast and Extensible Memory Profiling Framework
Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, and David I. August
(Princeton University, USA; Northwestern University, USA; Google, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p45-p doi:10.1145/3649827
|
| |
Clement, Blaudeau |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Fulfilling OCaml Modules with ..."
Fulfilling OCaml Modules with Transparency
Blaudeau Clement, Didier Rémy, and Gabriel Radanne
(Inria, France; Université de Paris Cité, France)
Publisher's Version
Archive submitted (630 kB)
Article: oopslaa24main-p23-p doi:10.1145/3649818
|
| |
Cohen, Dana Drachsler |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Verification of Neural Networks’ ..."
Verification of Neural Networks’ Global Robustness
Anan Kabaha and Dana Drachsler Cohen
(Technion, Israel)
Publisher's Version
Article: oopslaa24main-p139-p doi:10.1145/3649847
|
| |
Collins, Elias Rojas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Crichton, Will |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Profiling Programming Language ..."
Profiling Programming Language Learning
Will Crichton and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p10-p doi:10.1145/3649812
|
| |
Cutler, Joseph W. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Cutting, Charles |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Dam, Mads
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "HOL4P4: Mechanized Small-Step ..."
HOL4P4: Mechanized Small-Step Semantics for P4
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, and Mads Dam
(KTH Royal Institute of Technology, Sweden; Saab, Sweden)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p25-p doi:10.1145/3649819
|
| |
Dekoninck, Jasper |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Synthetiq: Fast and Versatile ..."
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p12-p doi:10.1145/3649813
|
| |
Delaware, Benjamin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Taypsi: Static Enforcement ..."
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
Qianchuan Ye and Benjamin Delaware
(Purdue University, USA)
Publisher's Version
Archive submitted (540 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p255-p doi:10.1145/3649861
|
| |
Del Vecchio, Thomas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Dimoulas, Christos |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Gradually Typed Languages ..."
Gradually Typed Languages Should Be Vigilant!
Olek Gierczak, Lucy Menon, Christos Dimoulas, and Amal Ahmed
(Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Archive submitted (830 kB)
Article: oopslaa24main-p120-p doi:10.1145/3649842
|
| |
Ding, Yangruibo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "CYCLE: Learning to Self-Refine ..."
CYCLE: Learning to Self-Refine the Code Generation
Yangruibo Ding, Marcus J. Min, Gail Kaiser, and Baishakhi Ray
(Columbia University, USA)
Publisher's Version
Article: oopslaa24main-p41-p doi:10.1145/3649825
|
| |
Ding, Zijian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "UniSparse: An Intermediate ..."
UniSparse: An Intermediate Language for General Sparse Format Customization
Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, and Zhiru Zhang
(Cornell University, USA; University of California at Los Angeles, Los Angeles, USA; Intel, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p18-p doi:10.1145/3649816
|
| |
Disselkoen, Craig |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Dyer, Tristan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Eline, Aaron
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Enea, Constantin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Scenario-Based Proofs for ..."
Scenario-Based Proofs for Concurrent Objects
Constantin Enea and Eric Koskinen
(LIX - CNRS - École Polytechnique, France; Stevens Institute of Technology, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p205-p doi:10.1145/3649857
|
| |
Feng, Gary
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Persimmon: Nested Family Polymorphism ..."
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, and Nada Amin
(Harvard University, USA; University of Waterloo, Canada)
Publisher's Version
Archive submitted (2.4 MB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p80-p doi:10.1145/3649836
|
| |
Gierczak, Olek
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Gradually Typed Languages ..."
Gradually Typed Languages Should Be Vigilant!
Olek Gierczak, Lucy Menon, Christos Dimoulas, and Amal Ahmed
(Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Archive submitted (830 kB)
Article: oopslaa24main-p120-p doi:10.1145/3649842
|
| |
Goharshady, Amir Kafshdar |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quantitative Bounds on Resource ..."
Quantitative Bounds on Resource Usage of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Đorđe Žikelić
(IST Austria, Austria; Hong Kong University of Science and Technology, China; Lancaster University Leipzig, Germany; Singapore Management University, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p39-p doi:10.1145/3649824
|
| |
Greenman, Ben |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Grégoire, Benjamin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Hopping Proofs of Expectation-Based ..."
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, and Gabriele Vanoni
(Centre Inria d’Université Côte d’Azur, France; MPI-SP, Germany; IMDEA Software Institute, Spain; University of Innsbruck, Austria)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p96-p doi:10.1145/3649839
|
| |
Guanciale, Roberto |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "HOL4P4: Mechanized Small-Step ..."
HOL4P4: Mechanized Small-Step Semantics for P4
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, and Mads Dam
(KTH Royal Institute of Technology, Sweden; Saab, Sweden)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p25-p doi:10.1145/3649819
|
| |
Gulwani, Sumit |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PyDex: Repairing Bugs in Introductory ..."
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, and Gust Verbruggen
(University of Waterloo, Canada; Microsoft, USA; Yale University, USA; Microsoft, Belgium)
Publisher's Version
Article: oopslaa24main-p144-p doi:10.1145/3649850
|
| |
Haase, Darion
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Exact Bayesian Inference for ..."
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Zhejiang University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p124-p doi:10.1145/3649844
|
| |
Hao, Yu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Enhancing Static Analysis ..."
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian
(University of California at Riverside, Riverside, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p56-p doi:10.1145/3649828
|
| |
He, Shaobo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
He, Yang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "VeriEQL: Bounded Equivalence ..."
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yang He, Pinhan Zhao, Xinyu Wang, and Yuepeng Wang
(Simon Fraser University, Canada; University of Michigan, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p142-p doi:10.1145/3649849
|
| |
Headley, Kyle |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Hicks, Michael |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Hietala, Kesha |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Honoré, Wolf |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "AdoB: Bridging Benign and ..."
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA; Inha University, South Korea)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p43-p doi:10.1145/3649826
|
| |
Hou, Weidong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Understanding and Finding ..."
Understanding and Finding Java Decompiler Bugs
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, and Zhendong Su
(Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopslaa24main-p254-p doi:10.1145/3649860
|
| |
Ioannidis, Eleftherios
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Iskander, Jonas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Persimmon: Nested Family Polymorphism ..."
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, and Nada Amin
(Harvard University, USA; University of Waterloo, Canada)
Publisher's Version
Archive submitted (2.4 MB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p80-p doi:10.1145/3649836
|
| |
Jana, Suman
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Accurate Data Race Prediction ..."
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, and Suman Jana
(Columbia University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p102-p doi:10.1145/3649840
|
| |
Jia, Zhihao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quarl: A Learning-Based Quantum ..."
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia
(Carnegie Mellon University, USA; Columbia University, USA; Microsoft, USA; Tsinghua University, China; VMware Research, USA)
Publisher's Version
Article: oopslaa24main-p65-p doi:10.1145/3649831
|
| |
Kabaha, Anan
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Verification of Neural Networks’ ..."
Verification of Neural Networks’ Global Robustness
Anan Kabaha and Dana Drachsler Cohen
(Technion, Israel)
Publisher's Version
Article: oopslaa24main-p139-p doi:10.1145/3649847
|
| |
Kaiser, Gail |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "CYCLE: Learning to Self-Refine ..."
CYCLE: Learning to Self-Refine the Code Generation
Yangruibo Ding, Marcus J. Min, Gail Kaiser, and Baishakhi Ray
(Columbia University, USA)
Publisher's Version
Article: oopslaa24main-p41-p doi:10.1145/3649825
|
| |
Kastner, John |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Katoen, Joost-Pieter |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Exact Bayesian Inference for ..."
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Zhejiang University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p124-p doi:10.1145/3649844
|
| |
Kavanagh, Ryan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Message-Observing Sessions ..."
Message-Observing Sessions
Ryan Kavanagh and Brigitte Pientka
(Université du Québec à Montréal, Canada; McGill University, Canada)
Publisher's Version
Article: oopslaa24main-p213-p doi:10.1145/3649859
|
| |
Kim, Jieung |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "AdoB: Bridging Benign and ..."
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA; Inha University, South Korea)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p43-p doi:10.1145/3649826
|
| |
Kim, Yoonseung |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "AdoB: Bridging Benign and ..."
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA; Inha University, South Korea)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p43-p doi:10.1145/3649826
|
| |
Kjolstad, Fredrik |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Compiling Recurrences over ..."
Compiling Recurrences over Dense and Sparse Arrays
Shiv Sundram, Muhammad Usman Tariq, and Fredrik Kjolstad
(Stanford University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p27-p doi:10.1145/3649820
|
| |
Klinkenberg, Lutz |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Exact Bayesian Inference for ..."
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, and Joost-Pieter Katoen
(RWTH Aachen University, Aachen, Germany; Zhejiang University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p124-p doi:10.1145/3649844
|
| |
Koskinen, Eric |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Scenario-Based Proofs for ..."
Scenario-Based Proofs for Concurrent Objects
Constantin Enea and Eric Koskinen
(LIX - CNRS - École Polytechnique, France; Stevens Institute of Technology, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p205-p doi:10.1145/3649857
|
| |
Kravchuk-Kirilyuk, Anastasiya |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Persimmon: Nested Family Polymorphism ..."
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, and Nada Amin
(Harvard University, USA; University of Waterloo, Canada)
Publisher's Version
Archive submitted (2.4 MB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p80-p doi:10.1145/3649836
|
| |
Krishnamurthi, Shriram |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Identifying and Correcting ..."
Identifying and Correcting Programming Language Behavior Misconceptions
Kuang-Chen Lu and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Published Artifact
Archive submitted (1.1 MB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p37-p doi:10.1145/3649823
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Profiling Programming Language ..."
Profiling Programming Language Learning
Will Crichton and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p10-p doi:10.1145/3649812
|
| |
Kuper, Lindsey |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Inductive Diagrams for Causal ..."
Inductive Diagrams for Causal Reasoning
Jonathan Castello, Patrick Redmond, and Lindsey Kuper
(University of California at Santa Cruz, Santa Cruz, USA)
Publisher's Version
Article: oopslaa24main-p60-p doi:10.1145/3649830
|
| |
Lamba, Ada
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cocoon: Static Information ..."
Cocoon: Static Information Flow Control in Rust
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin
(Ohio State University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p19-p doi:10.1145/3649817
|
| |
Le, Vu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PyDex: Repairing Bugs in Introductory ..."
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, and Gust Verbruggen
(University of Waterloo, Canada; Microsoft, USA; Yale University, USA; Microsoft, Belgium)
Publisher's Version
Article: oopslaa24main-p144-p doi:10.1145/3649850
|
| |
Lee, Edward |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Qualifying System F<:: ..."
Qualifying System F<:: Some Terms and Conditions May Apply
Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
(University of Waterloo, Canada; EPFL, Lausanne, Switzerland; University of Tübingen, Tübingen, Germany)
Publisher's Version
Published Artifact
Archive submitted (290 kB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p73-p doi:10.1145/3649832
|
| |
Lei, Yuxiang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Iterative-Epoch Online Cycle ..."
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Pei Xu, Yuxiang Lei, Yulei Sui, and Jingling Xue
(University of Technology Sydney, Australia; UNSW, Sydney, Australia)
Publisher's Version
Article: oopslaa24main-p321-p doi:10.1145/3649862
|
| |
LeVine, Sidney |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Lhoták, Ondřej |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Qualifying System F<:: ..."
Qualifying System F<:: Some Terms and Conditions May Apply
Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
(University of Waterloo, Canada; EPFL, Lausanne, Switzerland; University of Tübingen, Tübingen, Germany)
Publisher's Version
Published Artifact
Archive submitted (290 kB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p73-p doi:10.1145/3649832
|
| |
Li, Haonan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Enhancing Static Analysis ..."
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian
(University of California at Riverside, Riverside, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p56-p doi:10.1145/3649828
|
| |
Li, Tzu-Mao |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Li, Xuandong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Understanding and Finding ..."
Understanding and Finding Java Decompiler Bugs
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, and Zhendong Su
(Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopslaa24main-p254-p doi:10.1145/3649860
|
| |
Li, Yi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Learning-Based Approach ..."
A Learning-Based Approach to Static Program Slicing
Aashish Yadavally, Yi Li, Shaohua Wang, and Tien N. Nguyen
(University of Texas, Dallas, USA; Central University of Finance and Economics, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p14-p doi:10.1145/3649814
|
| |
Li, Yongjian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Mechanizing the CMP Abstraction ..."
Mechanizing the CMP Abstraction for Parameterized Verification
Yongjian Li, Bohua Zhan, and Jun Pang
(Institute of Software at Chinese Academy of Sciences, China; University of Luxembourg, Luxembourg)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p212-p doi:10.1145/3649858
|
| |
Li, Zikun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quarl: A Learning-Based Quantum ..."
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia
(Carnegie Mellon University, USA; Columbia University, USA; Microsoft, USA; Tsinghua University, China; VMware Research, USA)
Publisher's Version
Article: oopslaa24main-p65-p doi:10.1145/3649831
|
| |
Lim, Yongwhan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Accurate Data Race Prediction ..."
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, and Suman Jana
(Columbia University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p102-p doi:10.1145/3649840
|
| |
Lin, Sina |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quarl: A Learning-Based Quantum ..."
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia
(Carnegie Mellon University, USA; Columbia University, USA; Microsoft, USA; Tsinghua University, China; VMware Research, USA)
Publisher's Version
Article: oopslaa24main-p65-p doi:10.1145/3649831
|
| |
Lin, Zhiqiang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cocoon: Static Information ..."
Cocoon: Static Information Flow Control in Rust
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin
(Ohio State University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p19-p doi:10.1145/3649817
|
| |
Liu, Congyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Liu, Jie |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "UniSparse: An Intermediate ..."
UniSparse: An Intermediate Language for General Sparse Format Customization
Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, and Zhiru Zhang
(Cornell University, USA; University of California at Los Angeles, Los Angeles, USA; Intel, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p18-p doi:10.1145/3649816
|
| |
Liu, Ruyan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
|
| |
Liu, Xuwei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Lu, Kuang-Chen |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Identifying and Correcting ..."
Identifying and Correcting Programming Language Behavior Misconceptions
Kuang-Chen Lu and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Published Artifact
Archive submitted (1.1 MB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p37-p doi:10.1145/3649823
|
| |
Lu, Yifei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Understanding and Finding ..."
Understanding and Finding Java Decompiler Bugs
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, and Zhendong Su
(Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopslaa24main-p254-p doi:10.1145/3649860
|
| |
Lundberg, Didrik |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "HOL4P4: Mechanized Small-Step ..."
HOL4P4: Mechanized Small-Step Semantics for P4
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, and Mads Dam
(KTH Royal Institute of Technology, Sweden; Saab, Sweden)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p25-p doi:10.1145/3649819
|
| |
Ma, Pingchuan
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PP-CSA: Practical Privacy-Preserving ..."
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Zhaoyu Wang, Pingchuan Ma, Huaijin Wang, and Shuai Wang
(Hong Kong University of Science and Technology, China)
Publisher's Version
Article: oopslaa24main-p203-p doi:10.1145/3649856
|
| |
Mamat, Anwar |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Marshall, Daniel |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Functional Ownership through ..."
Functional Ownership through Fractional Uniqueness
Daniel Marshall and Dominic Orchard
(University of Kent, United Kingdom; University of Cambridge, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p140-p doi:10.1145/3649848
|
| |
McAdams, Darin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
McCutchen, Matt |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Meggendorfer, Tobias |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quantitative Bounds on Resource ..."
Quantitative Bounds on Resource Usage of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Đorđe Žikelić
(IST Austria, Austria; Hong Kong University of Science and Technology, China; Lancaster University Leipzig, Germany; Singapore Management University, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p39-p doi:10.1145/3649824
|
| |
Mei, Yixuan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quarl: A Learning-Based Quantum ..."
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia
(Carnegie Mellon University, USA; Columbia University, USA; Microsoft, USA; Tsinghua University, China; VMware Research, USA)
Publisher's Version
Article: oopslaa24main-p65-p doi:10.1145/3649831
|
| |
Menon, Lucy |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Gradually Typed Languages ..."
Gradually Typed Languages Should Be Vigilant!
Olek Gierczak, Lucy Menon, Christos Dimoulas, and Amal Ahmed
(Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Archive submitted (830 kB)
Article: oopslaa24main-p120-p doi:10.1145/3649842
|
| |
Michel, Jesse |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Min, Marcus J. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "CYCLE: Learning to Self-Refine ..."
CYCLE: Learning to Self-Refine the Code Generation
Yangruibo Ding, Marcus J. Min, Gail Kaiser, and Baishakhi Ray
(Columbia University, USA)
Publisher's Version
Article: oopslaa24main-p41-p doi:10.1145/3649825
|
| |
Mirakhorli, Mehdi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Seneca: Taint-Based Call Graph ..."
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Joanna C. S. Santos, Mehdi Mirakhorli, and Ali Shokri
(University of Notre Dame, USA; University of Hawaii, Manoa, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslaa24main-p145-p doi:10.1145/3649851
|
| |
Moser, Georg |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Hopping Proofs of Expectation-Based ..."
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, and Gabriele Vanoni
(Centre Inria d’Université Côte d’Azur, France; MPI-SP, Germany; IMDEA Software Institute, Spain; University of Innsbruck, Austria)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p96-p doi:10.1145/3649839
|
| |
Mu, Kevin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Mukherjee, Manasij |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Hydra: Generalizing Peephole ..."
Hydra: Generalizing Peephole Optimizations with Program Synthesis
Manasij Mukherjee and John Regehr
(University of Utah, USA)
Publisher's Version
Article: oopslaa24main-p90-p doi:10.1145/3649837
|
| |
Naik, Aaditya
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "TorchQL: A Programming Framework ..."
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, and Eric Wong
(University of Pennsylvania, USA)
Publisher's Version
Archive submitted (1.1 MB)
Article: oopslaa24main-p119-p doi:10.1145/3649841
|
| |
Naik, Mayur |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "TorchQL: A Programming Framework ..."
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, and Eric Wong
(University of Pennsylvania, USA)
Publisher's Version
Archive submitted (1.1 MB)
Article: oopslaa24main-p119-p doi:10.1145/3649841
|
| |
Nakamaru, Tomoki |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Multiverse Notebook: Shifting ..."
Multiverse Notebook: Shifting Data Scientists to Time Travelers
Shigeyuki Sato and Tomoki Nakamaru
(University of Electro-Communications, Japan; University of Tokyo, Japan)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p93-p doi:10.1145/3649838
|
| |
Nelson, Tim |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Nguyen, Tien N. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Learning-Based Approach ..."
A Learning-Based Approach to Static Program Slicing
Aashish Yadavally, Yi Li, Shaohua Wang, and Tien N. Nguyen
(University of Texas, Dallas, USA; Central University of Finance and Economics, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p14-p doi:10.1145/3649814
|
| |
Odersky, Martin
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Degrees of Separation: A Flexible ..."
Degrees of Separation: A Flexible Type System for Safe Concurrency
Yichen Xu, Aleksander Boruch-Gruszecki, and Martin Odersky
(EPFL, Lausanne, Switzerland)
Publisher's Version
Archive submitted (1.7 MB)
Article: oopslaa24main-p164-p doi:10.1145/3649853
|
| |
Orchard, Dominic |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Functional Ownership through ..."
Functional Ownership through Fractional Uniqueness
Daniel Marshall and Dominic Orchard
(University of Kent, United Kingdom; University of Cambridge, United Kingdom)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p140-p doi:10.1145/3649848
|
| |
Ostermann, Klaus |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Deriving Dependently-Typed ..."
Deriving Dependently-Typed OOP from First Principles
David Binder, Ingo Skupin, Tim Süberkrüb, and Klaus Ostermann
(University of Tübingen, Tübingen, Germany; Aleph Alpha, Germany)
Publisher's Version
Archive submitted (110 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p129-p doi:10.1145/3649846
|
| |
Padon, Oded
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quarl: A Learning-Based Quantum ..."
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia
(Carnegie Mellon University, USA; Columbia University, USA; Microsoft, USA; Tsinghua University, China; VMware Research, USA)
Publisher's Version
Article: oopslaa24main-p65-p doi:10.1145/3649831
|
| |
Pan, Minxue |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Understanding and Finding ..."
Understanding and Finding Java Decompiler Bugs
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, and Zhendong Su
(Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopslaa24main-p254-p doi:10.1145/3649860
|
| |
Pang, Jun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Mechanizing the CMP Abstraction ..."
Mechanizing the CMP Abstraction for Parameterized Verification
Yongjian Li, Bohua Zhan, and Jun Pang
(Institute of Software at Chinese Academy of Sciences, China; University of Luxembourg, Luxembourg)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p212-p doi:10.1145/3649858
|
| |
Paradis, Anouk |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Synthetiq: Fast and Versatile ..."
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p12-p doi:10.1145/3649813
|
| |
Peng, Jinjun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quarl: A Learning-Based Quantum ..."
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia
(Carnegie Mellon University, USA; Columbia University, USA; Microsoft, USA; Tsinghua University, China; VMware Research, USA)
Publisher's Version
Article: oopslaa24main-p65-p doi:10.1145/3649831
|
| |
Pientka, Brigitte |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Message-Observing Sessions ..."
Message-Observing Sessions
Ryan Kavanagh and Brigitte Pientka
(Université du Québec à Montréal, Canada; McGill University, Canada)
Publisher's Version
Article: oopslaa24main-p213-p doi:10.1145/3649859
|
| |
Piskac, Ruzica |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PyDex: Repairing Bugs in Introductory ..."
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, and Gust Verbruggen
(University of Waterloo, Canada; Microsoft, USA; Yale University, USA; Microsoft, Belgium)
Publisher's Version
Article: oopslaa24main-p144-p doi:10.1145/3649850
|
| |
Prasad, Siddhartha |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Qian, Zhiyun
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Enhancing Static Analysis ..."
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian
(University of California at Riverside, Riverside, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p56-p doi:10.1145/3649828
|
| |
Qiu, Longfei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "AdoB: Bridging Benign and ..."
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA; Inha University, South Korea)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p43-p doi:10.1145/3649826
|
| |
Radanne, Gabriel
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Fulfilling OCaml Modules with ..."
Fulfilling OCaml Modules with Transparency
Blaudeau Clement, Didier Rémy, and Gabriel Radanne
(Inria, France; Université de Paris Cité, France)
Publisher's Version
Archive submitted (630 kB)
Article: oopslaa24main-p23-p doi:10.1145/3649818
|
| |
Ragan-Kelley, Jonathan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Ray, Baishakhi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "CYCLE: Learning to Self-Refine ..."
CYCLE: Learning to Self-Refine the Code Generation
Yangruibo Ding, Marcus J. Min, Gail Kaiser, and Baishakhi Ray
(Columbia University, USA)
Publisher's Version
Article: oopslaa24main-p41-p doi:10.1145/3649825
|
| |
Redmond, Patrick |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Inductive Diagrams for Causal ..."
Inductive Diagrams for Causal Reasoning
Jonathan Castello, Patrick Redmond, and Lindsey Kuper
(University of California at Santa Cruz, Santa Cruz, USA)
Publisher's Version
Article: oopslaa24main-p60-p doi:10.1145/3649830
|
| |
Regehr, John |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Hydra: Generalizing Peephole ..."
Hydra: Generalizing Peephole Optimizations with Program Synthesis
Manasij Mukherjee and John Regehr
(University of Utah, USA)
Publisher's Version
Article: oopslaa24main-p90-p doi:10.1145/3649837
|
| |
Rémy, Didier |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Fulfilling OCaml Modules with ..."
Fulfilling OCaml Modules with Transparency
Blaudeau Clement, Didier Rémy, and Gabriel Radanne
(Inria, France; Université de Paris Cité, France)
Publisher's Version
Archive submitted (630 kB)
Article: oopslaa24main-p23-p doi:10.1145/3649818
|
| |
Reps, Thomas |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Newtonian Program Analysis ..."
Newtonian Program Analysis of Probabilistic Programs
Di Wang and Thomas Reps
(Peking University, China; University of Wisconsin, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p30-p doi:10.1145/3649822
|
| |
Rigger, Manuel |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Finding Cross-Rule Optimization ..."
Finding Cross-Rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, and Manuel Rigger
(Nanjing University, China; National University of Singapore, Singapore)
Publisher's Version
Archive submitted (460 kB)
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p15-p doi:10.1145/3649815
|
| |
Rong, Hongbo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "UniSparse: An Intermediate ..."
UniSparse: An Intermediate Language for General Sparse Format Customization
Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, and Zhiru Zhang
(Cornell University, USA; University of California at Los Angeles, Los Angeles, USA; Intel, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p18-p doi:10.1145/3649816
|
| |
Rose, Abhishek |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Modeling Dynamic (De)Allocations ..."
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Abhishek Rose and Sorav Bansal
(IIT Delhi, India)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p375-p doi:10.1145/3649863
|
| |
Rudner, Julianne |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Rümmer, Philipp |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Constraint Solving Approach ..."
A Constraint Solving Approach to Parikh Images of Regular Languages
Amanda Stjerna and Philipp Rümmer
(Uppsala University, Uppsala, Sweden; University of Regensburg, Regensburg, Germany)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p181-p doi:10.1145/3649855
|
| |
Rungta, Neha |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Ryan, Gabriel |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Accurate Data Race Prediction ..."
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Gabriel Ryan, Burcu Cetin, Yongwhan Lim, and Suman Jana
(Columbia University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p102-p doi:10.1145/3649840
|
| |
Ryjikov, Ben |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Saliling, Angelina
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Outcome Separation Logic: ..."
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Noam Zilberstein, Angelina Saliling, and Alexandra Silva
(Cornell University, USA)
Publisher's Version
Article: oopslaa24main-p29-p doi:10.1145/3649821
|
| |
Santos, Joanna C. S. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Seneca: Taint-Based Call Graph ..."
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Joanna C. S. Santos, Mehdi Mirakhorli, and Ali Shokri
(University of Notre Dame, USA; University of Hawaii, Manoa, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslaa24main-p145-p doi:10.1145/3649851
|
| |
Satheeskumar, Kavin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Qualifying System F<:: ..."
Qualifying System F<:: Some Terms and Conditions May Apply
Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
(University of Waterloo, Canada; EPFL, Lausanne, Switzerland; University of Tübingen, Tübingen, Germany)
Publisher's Version
Published Artifact
Archive submitted (290 kB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p73-p doi:10.1145/3649832
|
| |
Sato, Shigeyuki |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Multiverse Notebook: Shifting ..."
Multiverse Notebook: Shifting Data Scientists to Time Travelers
Shigeyuki Sato and Tomoki Nakamaru
(University of Electro-Communications, Japan; University of Tokyo, Japan)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p93-p doi:10.1145/3649838
|
| |
Shao, Zhong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "AdoB: Bridging Benign and ..."
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA; Inha University, South Korea)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p43-p doi:10.1145/3649826
|
| |
Shi, Qingkai |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Shi, Yuanfeng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Learning Abstraction Selection ..."
Learning Abstraction Selection for Bayesian Program Analysis
Yifan Zhang, Yuanfeng Shi, and Xin Zhang
(Peking University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p128-p doi:10.1145/3649845
|
| |
Shin, Ji-Yong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "AdoB: Bridging Benign and ..."
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA; Inha University, South Korea)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p43-p doi:10.1145/3649826
|
| |
Shokri, Ali |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Seneca: Taint-Based Call Graph ..."
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Joanna C. S. Santos, Mehdi Mirakhorli, and Ali Shokri
(University of Notre Dame, USA; University of Hawaii, Manoa, USA; Virginia Tech, USA)
Publisher's Version
Article: oopslaa24main-p145-p doi:10.1145/3649851
|
| |
Silva, Alexandra |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Outcome Separation Logic: ..."
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Noam Zilberstein, Angelina Saliling, and Alexandra Silva
(Cornell University, USA)
Publisher's Version
Article: oopslaa24main-p29-p doi:10.1145/3649821
|
| |
Skupin, Ingo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Deriving Dependently-Typed ..."
Deriving Dependently-Typed OOP from First Principles
David Binder, Ingo Skupin, Tim Süberkrüb, and Klaus Ostermann
(University of Tübingen, Tübingen, Germany; Aleph Alpha, Germany)
Publisher's Version
Archive submitted (110 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p129-p doi:10.1145/3649846
|
| |
Smith, Scott |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Pure Demand Operational ..."
A Pure Demand Operational Semantics with Applications to Program Analysis
Scott Smith and Robert Zhang
(Johns Hopkins University, USA)
Publisher's Version
Archive submitted (1.1 MB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p150-p doi:10.1145/3649852
|
| |
Soares, Gustavo |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PyDex: Repairing Bugs in Introductory ..."
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, and Gust Verbruggen
(University of Waterloo, Canada; Microsoft, USA; Yale University, USA; Microsoft, Belgium)
Publisher's Version
Article: oopslaa24main-p144-p doi:10.1145/3649850
|
| |
Stein, Adam |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "TorchQL: A Programming Framework ..."
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, and Eric Wong
(University of Pennsylvania, USA)
Publisher's Version
Archive submitted (1.1 MB)
Article: oopslaa24main-p119-p doi:10.1145/3649841
|
| |
Stjerna, Amanda |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Constraint Solving Approach ..."
A Constraint Solving Approach to Parikh Images of Regular Languages
Amanda Stjerna and Philipp Rümmer
(Uppsala University, Uppsala, Sweden; University of Regensburg, Regensburg, Germany)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p181-p doi:10.1145/3649855
|
| |
Su, Ting |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
|
| |
Su, Yian |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PROMPT: A Fast and Extensible ..."
PROMPT: A Fast and Extensible Memory Profiling Framework
Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, and David I. August
(Princeton University, USA; Northwestern University, USA; Google, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p45-p doi:10.1145/3649827
|
| |
Su, Zhendong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Understanding and Finding ..."
Understanding and Finding Java Decompiler Bugs
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, and Zhendong Su
(Nanjing University, China; ETH Zurich, Switzerland)
Publisher's Version
Article: oopslaa24main-p254-p doi:10.1145/3649860
|
| |
Süberkrüb, Tim |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Deriving Dependently-Typed ..."
Deriving Dependently-Typed OOP from First Principles
David Binder, Ingo Skupin, Tim Süberkrüb, and Klaus Ostermann
(University of Tübingen, Tübingen, Germany; Aleph Alpha, Germany)
Publisher's Version
Archive submitted (110 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p129-p doi:10.1145/3649846
|
| |
Sui, Yulei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Iterative-Epoch Online Cycle ..."
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Pei Xu, Yuxiang Lei, Yulei Sui, and Jingling Xue
(University of Technology Sydney, Australia; UNSW, Sydney, Australia)
Publisher's Version
Article: oopslaa24main-p321-p doi:10.1145/3649862
|
| |
Sundram, Shiv |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Compiling Recurrences over ..."
Compiling Recurrences over Dense and Sparse Arrays
Shiv Sundram, Muhammad Usman Tariq, and Fredrik Kjolstad
(Stanford University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p27-p doi:10.1145/3649820
|
| |
Tan, Zujun
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PROMPT: A Fast and Extensible ..."
PROMPT: A Fast and Extensible Memory Profiling Framework
Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, and David I. August
(Princeton University, USA; Northwestern University, USA; Google, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p45-p doi:10.1145/3649827
|
| |
Tariq, Muhammad Usman |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Compiling Recurrences over ..."
Compiling Recurrences over Dense and Sparse Arrays
Shiv Sundram, Muhammad Usman Tariq, and Fredrik Kjolstad
(Stanford University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p27-p doi:10.1145/3649820
|
| |
Taylor, Max |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cocoon: Static Information ..."
Cocoon: Static Information Flow Control in Rust
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin
(Ohio State University, USA)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p19-p doi:10.1145/3649817
|
| |
Torlak, Emina |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
Vanoni, Gabriele
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Hopping Proofs of Expectation-Based ..."
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, and Gabriele Vanoni
(Centre Inria d’Université Côte d’Azur, France; MPI-SP, Germany; IMDEA Software Institute, Spain; University of Innsbruck, Austria)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p96-p doi:10.1145/3649839
|
| |
Varga, Alexander |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Vechev, Martin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Synthetiq: Fast and Versatile ..."
Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, and Martin Vechev
(ETH Zurich, Switzerland)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p12-p doi:10.1145/3649813
|
| |
Verbruggen, Gust |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PyDex: Repairing Bugs in Introductory ..."
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, and Gust Verbruggen
(University of Waterloo, Canada; Microsoft, USA; Yale University, USA; Microsoft, Belgium)
Publisher's Version
Article: oopslaa24main-p144-p doi:10.1145/3649850
|
| |
Villanyi, Agnes |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quantum Control Machine: The ..."
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles Yuan, Agnes Villanyi, and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Archive submitted (430 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p8-p doi:10.1145/3649811
|
| |
Wagner, Andrew
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Wang, Di |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Newtonian Program Analysis ..."
Newtonian Program Analysis of Probabilistic Programs
Di Wang and Thomas Reps
(Peking University, China; University of Wisconsin, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p30-p doi:10.1145/3649822
|
| |
Wang, Huaijin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PP-CSA: Practical Privacy-Preserving ..."
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Zhaoyu Wang, Pingchuan Ma, Huaijin Wang, and Shuai Wang
(Hong Kong University of Science and Technology, China)
Publisher's Version
Article: oopslaa24main-p203-p doi:10.1145/3649856
|
| |
Wang, Ke |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
|
| |
Wang, Linzhang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Finding Cross-Rule Optimization ..."
Finding Cross-Rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, and Manuel Rigger
(Nanjing University, China; National University of Singapore, Singapore)
Publisher's Version
Archive submitted (460 kB)
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p15-p doi:10.1145/3649815
|
| |
Wang, Shaohua |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Learning-Based Approach ..."
A Learning-Based Approach to Static Program Slicing
Aashish Yadavally, Yi Li, Shaohua Wang, and Tien N. Nguyen
(University of Texas, Dallas, USA; Central University of Finance and Economics, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p14-p doi:10.1145/3649814
|
| |
Wang, Shuai |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PP-CSA: Practical Privacy-Preserving ..."
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Zhaoyu Wang, Pingchuan Ma, Huaijin Wang, and Shuai Wang
(Hong Kong University of Science and Technology, China)
Publisher's Version
Article: oopslaa24main-p203-p doi:10.1145/3649856
|
| |
Wang, Xinyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "VeriEQL: Bounded Equivalence ..."
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yang He, Pinhan Zhao, Xinyu Wang, and Yuepeng Wang
(Simon Fraser University, Canada; University of Michigan, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p142-p doi:10.1145/3649849
|
| |
Wang, Yu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
|
| |
Wang, Yuepeng |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "VeriEQL: Bounded Equivalence ..."
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yang He, Pinhan Zhao, Xinyu Wang, and Yuepeng Wang
(Simon Fraser University, Canada; University of Michigan, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p142-p doi:10.1145/3649849
|
| |
Wang, Zhaoyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PP-CSA: Practical Privacy-Preserving ..."
PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Zhaoyu Wang, Pingchuan Ma, Huaijin Wang, and Shuai Wang
(Hong Kong University of Science and Technology, China)
Publisher's Version
Article: oopslaa24main-p203-p doi:10.1145/3649856
|
| |
Wang, Zhemin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Design and Implementation ..."
Design and Implementation of an Aspect-Oriented C Programming Language
Zhe Chen, Yunlong Zhu, and Zhemin Wang
(Nanjing University of Aeronautics and Astronautics, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p78-p doi:10.1145/3649834
|
| |
Wei, Guannan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Wells, Andrew M. |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Cedar: A New Language for ..."
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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, and Andrew M. Wells
(University of Pennsylvania, USA; Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p79-p doi:10.1145/3649835
|
| |
West, Luke |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Forge: A Tool and Language ..."
Forge: A Tool and Language for Teaching Formal Methods
Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi
(Brown University, USA; University of Utah, USA; Stashpad, USA; Northeastern University, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p76-p doi:10.1145/3649833
|
| |
Wong, Eric |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "TorchQL: A Programming Framework ..."
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, and Eric Wong
(University of Pennsylvania, USA)
Publisher's Version
Archive submitted (1.1 MB)
Article: oopslaa24main-p119-p doi:10.1145/3649841
|
| |
Wu, Yi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quarl: A Learning-Based Quantum ..."
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, and Zhihao Jia
(Carnegie Mellon University, USA; Columbia University, USA; Microsoft, USA; Tsinghua University, China; VMware Research, USA)
Publisher's Version
Article: oopslaa24main-p65-p doi:10.1145/3649831
|
| |
Wu, Yinjun |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "TorchQL: A Programming Framework ..."
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, and Eric Wong
(University of Pennsylvania, USA)
Publisher's Version
Archive submitted (1.1 MB)
Article: oopslaa24main-p119-p doi:10.1145/3649841
|
| |
Xu, Pei
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Iterative-Epoch Online Cycle ..."
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Pei Xu, Yuxiang Lei, Yulei Sui, and Jingling Xue
(University of Technology Sydney, Australia; UNSW, Sydney, Australia)
Publisher's Version
Article: oopslaa24main-p321-p doi:10.1145/3649862
|
| |
Xu, Xiangzhe |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Xu, Yichen |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Degrees of Separation: A Flexible ..."
Degrees of Separation: A Flexible Type System for Safe Concurrency
Yichen Xu, Aleksander Boruch-Gruszecki, and Martin Odersky
(EPFL, Lausanne, Switzerland)
Publisher's Version
Archive submitted (1.7 MB)
Article: oopslaa24main-p164-p doi:10.1145/3649853
|
| |
Xu, Ziyang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PROMPT: A Fast and Extensible ..."
PROMPT: A Fast and Extensible Memory Profiling Framework
Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, and David I. August
(Princeton University, USA; Northwestern University, USA; Google, USA)
Publisher's Version
Artifacts Reusable
Article: oopslaa24main-p45-p doi:10.1145/3649827
|
| |
Xue, Jingling |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Iterative-Epoch Online Cycle ..."
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Pei Xu, Yuxiang Lei, Yulei Sui, and Jingling Xue
(University of Technology Sydney, Australia; UNSW, Sydney, Australia)
Publisher's Version
Article: oopslaa24main-p321-p doi:10.1145/3649862
|
| |
Yadavally, Aashish
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Learning-Based Approach ..."
A Learning-Based Approach to Static Program Slicing
Aashish Yadavally, Yi Li, Shaohua Wang, and Tien N. Nguyen
(University of Texas, Dallas, USA; Central University of Finance and Economics, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p14-p doi:10.1145/3649814
|
| |
Yang, Xuanda |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Distributions for Compositionally ..."
Distributions for Compositionally Differentiating Parametric Discontinuities
Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, and Tzu-Mao Li
(Massachusetts Institute of Technology, USA; University of Washington, USA; University of California at San Diego, San Diego, USA)
Publisher's Version
Archive submitted (620 kB)
Article: oopslaa24main-p121-p doi:10.1145/3649843
|
| |
Ye, Qianchuan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Taypsi: Static Enforcement ..."
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
Qianchuan Ye and Benjamin Delaware
(Purdue University, USA)
Publisher's Version
Archive submitted (540 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p255-p doi:10.1145/3649861
|
| |
You, James |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Qualifying System F<:: ..."
Qualifying System F<:: Some Terms and Conditions May Apply
Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
(University of Waterloo, Canada; EPFL, Lausanne, Switzerland; University of Tübingen, Tübingen, Germany)
Publisher's Version
Published Artifact
Archive submitted (290 kB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p73-p doi:10.1145/3649832
|
| |
Yu, Chenyang |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
|
| |
Yu, Le |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Yuan, Charles |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quantum Control Machine: The ..."
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles Yuan, Agnes Villanyi, and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version
Archive submitted (430 kB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p8-p doi:10.1145/3649811
|
| |
Zhai, Yizhuo
|
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Enhancing Static Analysis ..."
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian
(University of California at Riverside, Riverside, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p56-p doi:10.1145/3649828
|
| |
Zhan, Bohua |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Mechanizing the CMP Abstraction ..."
Mechanizing the CMP Abstraction for Parameterized Verification
Yongjian Li, Bohua Zhan, and Jun Pang
(Institute of Software at Chinese Academy of Sciences, China; University of Luxembourg, Luxembourg)
Publisher's Version
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p212-p doi:10.1145/3649858
|
| |
Zhang, Chi |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Evaluating the Effectiveness ..."
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; East China Normal University, China)
Publisher's Version
Archive submitted (450 kB)
Article: oopslaa24main-p57-p doi:10.1145/3649829
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Finding Cross-Rule Optimization ..."
Finding Cross-Rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, and Manuel Rigger
(Nanjing University, China; National University of Singapore, Singapore)
Publisher's Version
Archive submitted (460 kB)
Artifacts Functional
Results Reproduced
Article: oopslaa24main-p15-p doi:10.1145/3649815
|
| |
Zhang, Jialu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "PyDex: Repairing Bugs in Introductory ..."
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, and Gust Verbruggen
(University of Waterloo, Canada; Microsoft, USA; Yale University, USA; Microsoft, Belgium)
Publisher's Version
Article: oopslaa24main-p144-p doi:10.1145/3649850
|
| |
Zhang, Robert |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "A Pure Demand Operational ..."
A Pure Demand Operational Semantics with Applications to Program Analysis
Scott Smith and Robert Zhang
(Johns Hopkins University, USA)
Publisher's Version
Archive submitted (1.1 MB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p150-p doi:10.1145/3649852
|
| |
Zhang, Xiangyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Zhang, Xin |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Learning Abstraction Selection ..."
Learning Abstraction Selection for Bayesian Program Analysis
Yifan Zhang, Yuanfeng Shi, and Xin Zhang
(Peking University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p128-p doi:10.1145/3649845
|
| |
Zhang, Yifan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Learning Abstraction Selection ..."
Learning Abstraction Selection for Bayesian Program Analysis
Yifan Zhang, Yuanfeng Shi, and Xin Zhang
(Peking University, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p128-p doi:10.1145/3649845
|
| |
Zhang, Yizhou |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Persimmon: Nested Family Polymorphism ..."
Persimmon: Nested Family Polymorphism with Extensible Variant Types
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, and Nada Amin
(Harvard University, USA; University of Waterloo, Canada)
Publisher's Version
Archive submitted (2.4 MB)
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p80-p doi:10.1145/3649836
|
| |
Zhang, Zhiru |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "UniSparse: An Intermediate ..."
UniSparse: An Intermediate Language for General Sparse Format Customization
Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, and Zhiru Zhang
(Cornell University, USA; University of California at Los Angeles, Los Angeles, USA; Intel, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p18-p doi:10.1145/3649816
|
| |
Zhao, Pinhan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "VeriEQL: Bounded Equivalence ..."
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yang He, Pinhan Zhao, Xinyu Wang, and Yuepeng Wang
(Simon Fraser University, Canada; University of Michigan, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p142-p doi:10.1145/3649849
|
| |
Zhao, Yaoyu |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Qualifying System F<:: ..."
Qualifying System F<:: Some Terms and Conditions May Apply
Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, and Jonathan Immanuel Brachthäuser
(University of Waterloo, Canada; EPFL, Lausanne, Switzerland; University of Tübingen, Tübingen, Germany)
Publisher's Version
Published Artifact
Archive submitted (290 kB)
Artifacts Available
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p73-p doi:10.1145/3649832
|
| |
Zhao, Zhongyuan |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "UniSparse: An Intermediate ..."
UniSparse: An Intermediate Language for General Sparse Format Customization
Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, and Zhiru Zhang
(Cornell University, USA; University of California at Los Angeles, Los Angeles, USA; Intel, USA)
Publisher's Version
Artifacts Functional
Article: oopslaa24main-p18-p doi:10.1145/3649816
|
| |
Zheng, Mingwei |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "ParDiff: Practical Static ..."
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang
(Purdue University, USA)
Publisher's Version
Article: oopslaa24main-p171-p doi:10.1145/3649854
|
| |
Zhu, Yunlong |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Design and Implementation ..."
Design and Implementation of an Aspect-Oriented C Programming Language
Zhe Chen, Yunlong Zhu, and Zhemin Wang
(Nanjing University of Aeronautics and Astronautics, China)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p78-p doi:10.1145/3649834
|
| |
Žikelić, Đorđe |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Quantitative Bounds on Resource ..."
Quantitative Bounds on Resource Usage of Probabilistic Programs
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Đorđe Žikelić
(IST Austria, Austria; Hong Kong University of Science and Technology, China; Lancaster University Leipzig, Germany; Singapore Management University, Singapore)
Publisher's Version
Artifacts Reusable
Results Reproduced
Article: oopslaa24main-p39-p doi:10.1145/3649824
|
| |
Zilberstein, Noam |
Proc. ACM Program. Lang., vol. 8, issue OOPSLA1: "Outcome Separation Logic: ..."
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Noam Zilberstein, Angelina Saliling, and Alexandra Silva
(Cornell University, USA)
Publisher's Version
Article: oopslaa24main-p29-p doi:10.1145/3649821
|