OOPSLA1 2022
Proceedings of the ACM on Programming Languages, Volume 6, Number OOPSLA1
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 6, Number OOPSLA1, December 8–10, 2022, Auckland, New Zealand

OOPSLA1 2022 – Author Index

Contents - Abstracts - Authors

B C D E F G H J K L M N O P R S T U V W X Y Z

Batz, Kevin OOPSLA1 '22: "Weighted Programming: A Programming ..."
Bell, Christian J. OOPSLA1 '22: "C4: Verified Transactional ..."
Benzaken, Véronique OOPSLA1 '22: "Translating Canonical SQL ..."
Berdine, Josh OOPSLA1 '22: "Finding Real Bugs in Big Programs ..."
Birkedal, Lars OOPSLA1 '22: "Le Temps des Cerises: Efficient ..."
Bornholt, James OOPSLA1 '22: "Synthesizing Fine-Grained ..."
Boruch-Gruszecki, Aleksander OOPSLA1 '22: "Effects, Capabilities, and ..."
Brachthäuser, Jonathan Immanuel OOPSLA1 '22: "Effects, Capabilities, and ..."
Cameron, Jonathan OOPSLA1 '22: "Linear Types for Large-Scale ..."
Chen, Yanju OOPSLA1 '22: "Automated Transpilation of ..."
Chlipala, Adam OOPSLA1 '22: "C4: Verified Transactional ..."
Clément, Basile OOPSLA1 '22: "End-to-End Translation Validation ..."
Cohen, Albert OOPSLA1 '22: "End-to-End Translation Validation ..."
Contejean, Évelyne OOPSLA1 '22: "Translating Canonical SQL ..."
Deng, Yinlin OOPSLA1 '22: "Coverage-Guided Tensor Compiler ..."
Devriese, Dominique OOPSLA1 '22: "Purity of an ST Monad: Full ..." OOPSLA1 '22: "Plausible Sealing for Gradual ..."
Dillig, Işil OOPSLA1 '22: "Automated Transpilation of ..." OOPSLA1 '22: "Synthesizing Fine-Grained ..."
Dreyer, Derek OOPSLA1 '22: "Finding Real Bugs in Big Programs ..."
Durrett, Greg OOPSLA1 '22: "Automated Transpilation of ..."
Dyer, Tristan OOPSLA1 '22: "Applying Cognitive Principles ..."
Eline, Aaron OOPSLA1 '22: "C to Checked C by 3C ..."
Feng, Yu OOPSLA1 '22: "Automated Transpilation of ..."
Ferles, Kostas OOPSLA1 '22: "Synthesizing Fine-Grained ..."
Fisler, Kathi OOPSLA1 '22: "Applying Cognitive Principles ..."
Gallus, Adrian OOPSLA1 '22: "Weighted Programming: A Programming ..."
Georges, Aïna Linn OOPSLA1 '22: "Le Temps des Cerises: Efficient ..."
Grech, Neville OOPSLA1 '22: "Elipmoc: Advanced Decompilation ..."
Hachmaoui, Mohammed Houssem OOPSLA1 '22: "Translating Canonical SQL ..."
Hawblitzel, Chris OOPSLA1 '22: "Linear Types for Large-Scale ..."
Headley, Kyle OOPSLA1 '22: "C to Checked C by 3C ..."
Hicks, Michael OOPSLA1 '22: "C to Checked C by 3C ..."
Howell, Jon OOPSLA1 '22: "Linear Types for Large-Scale ..."
Huang, Jeff OOPSLA1 '22: "SHARP: Fast Incremental Context-Sensitive ..."
Huot, Mathieu OOPSLA1 '22: "Functional Collection Programming ..."
Jacobs, Koen OOPSLA1 '22: "Purity of an ST Monad: Full ..."
Jiang, Hanru OOPSLA1 '22: "On Incorrectness Logic for ..."
Kaminski, Benjamin Lucien OOPSLA1 '22: "Quantitative Strongest Post: ..." OOPSLA1 '22: "Weighted Programming: A Programming ..."
Kaseorg, Anders OOPSLA1 '22: "C4: Verified Transactional ..."
Kastner, John OOPSLA1 '22: "C to Checked C by 3C ..."
Katoen, Joost-Pieter OOPSLA1 '22: "Weighted Programming: A Programming ..."
Keller, Chantal OOPSLA1 '22: "Translating Canonical SQL ..."
Krishnamurthi, Shriram OOPSLA1 '22: "Applying Cognitive Principles ..."
Krishnan, Rahul OOPSLA1 '22: "Synthesizing Fine-Grained ..."
Labrada, Elizabeth OOPSLA1 '22: "Plausible Sealing for Gradual ..."
Lagouvardos, Sifis OOPSLA1 '22: "Elipmoc: Advanced Decompilation ..."
Lattuada, Andrea OOPSLA1 '22: "Linear Types for Large-Scale ..."
Le, Quang Loc OOPSLA1 '22: "Finding Real Bugs in Big Programs ..."
Lee, Edward OOPSLA1 '22: "Effects, Capabilities, and ..."
Lesani, Mohsen OOPSLA1 '22: "C4: Verified Transactional ..."
Li, Jialin OOPSLA1 '22: "Linear Types for Large-Scale ..."
Liu, Bozhen OOPSLA1 '22: "SHARP: Fast Incremental Context-Sensitive ..."
Liu, Jiawei OOPSLA1 '22: "Coverage-Guided Tensor Compiler ..."
Machiry, Aravind OOPSLA1 '22: "C to Checked C by 3C ..."
Mandel, Louis OOPSLA1 '22: "Translating Canonical SQL ..."
Mariano, Benjamin OOPSLA1 '22: "Automated Transpilation of ..."
McCutchen, Matt OOPSLA1 '22: "C to Checked C by 3C ..."
Misailovic, Sasa OOPSLA1 '22: "Proof Transfer for Fast Certification ..."
Nelson, Tim OOPSLA1 '22: "Applying Cognitive Principles ..."
O'Hearn, Peter W. OOPSLA1 '22: "Finding Real Bugs in Big Programs ..."
Olteanu, Dan OOPSLA1 '22: "Functional Collection Programming ..."
Paltenghi, Matteo OOPSLA1 '22: "Bugs in Quantum Computing ..."
Parno, Bryan OOPSLA1 '22: "Linear Types for Large-Scale ..."
Pelsmaeker, Daniel A. A. OOPSLA1 '22: "Language-Parametric Static ..."
Pierce, Benjamin C. OOPSLA1 '22: "C4: Verified Transactional ..."
Poulsen, Casper Bach OOPSLA1 '22: "Language-Parametric Static ..."
Pradel, Michael OOPSLA1 '22: "Bugs in Quantum Computing ..."
Raad, Azalea OOPSLA1 '22: "Finding Real Bugs in Big Programs ..."
Schuster, Philipp OOPSLA1 '22: "Effects, Capabilities, and ..."
Sepanski, Benjamin OOPSLA1 '22: "Synthesizing Fine-Grained ..."
Shaikhha, Amir OOPSLA1 '22: "Functional Collection Programming ..."
Shi, Qingkai OOPSLA1 '22: "Complexity-Guided Container ..."
Shinnar, Avraham OOPSLA1 '22: "Translating Canonical SQL ..."
Siméon, Jérôme OOPSLA1 '22: "Translating Canonical SQL ..."
Singh, Gagandeep OOPSLA1 '22: "Proof Transfer for Fast Certification ..."
Smaragdakis, Yannis OOPSLA1 '22: "Elipmoc: Advanced Decompilation ..."
Smith, Jaclyn OOPSLA1 '22: "Functional Collection Programming ..."
Tang, Wensheng OOPSLA1 '22: "Complexity-Guided Container ..."
Tanter, Éric OOPSLA1 '22: "Plausible Sealing for Gradual ..."
Timany, Amin OOPSLA1 '22: "Purity of an ST Monad: Full ..."
Toro, Matías OOPSLA1 '22: "Plausible Sealing for Gradual ..."
Trieu, Alix OOPSLA1 '22: "Le Temps des Cerises: Efficient ..."
Tsatiris, Ilias OOPSLA1 '22: "Elipmoc: Advanced Decompilation ..."
Ugare, Shubham OOPSLA1 '22: "Proof Transfer for Fast Certification ..."
Van Antwerpen, Hendrik OOPSLA1 '22: "Language-Parametric Static ..."
Villard, Jules OOPSLA1 '22: "Finding Real Bugs in Big Programs ..."
Visser, Eelco OOPSLA1 '22: "Language-Parametric Static ..."
Wang, Chengpeng OOPSLA1 '22: "Complexity-Guided Container ..."
Wei, Yuxiang OOPSLA1 '22: "Coverage-Guided Tensor Compiler ..."
Winkler, Tobias OOPSLA1 '22: "Weighted Programming: A Programming ..."
Xia, Li-yao OOPSLA1 '22: "C4: Verified Transactional ..."
Yan, Peng OOPSLA1 '22: "On Incorrectness Logic for ..."
Yang, Sen OOPSLA1 '22: "Coverage-Guided Tensor Compiler ..."
Yao, Peisen OOPSLA1 '22: "Complexity-Guided Container ..."
Yu, Nengkun OOPSLA1 '22: "On Incorrectness Logic for ..."
Zdancewic, Steve OOPSLA1 '22: "C4: Verified Transactional ..."
Zhang, Charles OOPSLA1 '22: "Complexity-Guided Container ..."
Zhang, Lingming OOPSLA1 '22: "Coverage-Guided Tensor Compiler ..."
Zhang, Linpeng OOPSLA1 '22: "Quantitative Strongest Post: ..."
Zhou, Yi OOPSLA1 '22: "Linear Types for Large-Scale ..."

99 authors

proc time: 24.02