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

Proceedings of the ACM on Programming Languages, Volume 7, Number OOPSLA1, October 22–27, 2023, Cascais, Portugal

OOPSLA1 2023 – Author Index

Contents - Abstracts - Authors

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

Avneri, Eran OOPSLA1 '23: "Deep Learning Robustness Verification ..."
Baluta, Teodora OOPSLA1 '23: "User-Customizable Transpilation ..."
Barke, Shraddha OOPSLA1 '23: "Grounded Copilot: How Programmers ..."
Becker, Hanno OOPSLA1 '23: "A Verification Methodology ..."
Boyland, Peter OOPSLA1 '23: "Aliasing Limits on Translating ..."
Brachthäuser, Jonathan Immanuel OOPSLA1 '23: "Back to Direct Style: Typed ..."
Brun, Matthias OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Buse, Florena OOPSLA1 '23: "Randomized Testing of Byzantine ..."
Chen, Mingshuai OOPSLA1 '23: "Lower Bounds for Possibly ..."
Chen, Xiaohong OOPSLA1 '23: "Generating Proof Certificates ..."
Chiang, David OOPSLA1 '23: "Exact Recursive Probabilistic ..."
Cho, Chanhee OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Chong, Nathan OOPSLA1 '23: "A Verification Methodology ..."
Criswell, John OOPSLA1 '23: "Fat Pointers for Temporal ..."
Dardinier, Thibault OOPSLA1 '23: "Verification-Preserving Inlining ..."
De Graaf, Daan OOPSLA1 '23: "Randomized Testing of Byzantine ..."
Dewey, Kyle OOPSLA1 '23: "Aliasing Limits on Translating ..."
Dillig, Işıl OOPSLA1 '23: "Automated Translation of Functional ..."
Drachsler-Cohen, Dana OOPSLA1 '23: "Deep Learning Robustness Verification ..."
Dreyer, Derek OOPSLA1 '23: "Outcome Logic: A Unifying ..."
Emre, Mehmet OOPSLA1 '23: "Aliasing Limits on Translating ..."
Feng, Shenghua OOPSLA1 '23: "Lower Bounds for Possibly ..."
Fox, Anthony C. J. OOPSLA1 '23: "A Verification Methodology ..."
Garg, Deepak OOPSLA1 '23: "Compositional Security Definitions ..."
Gheri, Lorenzo OOPSLA1 '23: "Hybrid Multiparty Session ..."
Gil, Yossi OOPSLA1 '23: "Fluent APIs in Functional ..."
Goharshady, Amir Kafshdar OOPSLA1 '23: "Algebro-geometric Algorithms ..."
Griffis, Eric OOPSLA1 '23: "Live Pattern Matching with ..."
Guest, Scott OOPSLA1 '23: "Live Pattern Matching with ..."
Guo, Guanchen OOPSLA1 '23: "Bidirectional Object-Oriented ..."
Hance, Travis OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Hardekopf, Ben OOPSLA1 '23: "Aliasing Limits on Translating ..."
Hawblitzel, Chris OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
He, Xiao OOPSLA1 '23: "Bidirectional Object-Oriented ..."
Hicks, Michael OOPSLA1 '23: "Fat Pointers for Temporal ..."
Hirsch, Andrew K. OOPSLA1 '23: "Compositional Security Definitions ..."
Hitarth, S. OOPSLA1 '23: "Algebro-geometric Algorithms ..."
Howell, Jon OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Hu, Zhenjiang OOPSLA1 '23: "Bidirectional Object-Oriented ..." OOPSLA1 '23: "Improving Oracle-Guided Inductive ..."
Jaber, Nouraldin OOPSLA1 '23: "Enabling Bounded Verification ..."
James, Michael B. OOPSLA1 '23: "Grounded Copilot: How Programmers ..."
Ji, Ruyi OOPSLA1 '23: "Improving Oracle-Guided Inductive ..."
Jiang, Yu OOPSLA1 '23: "Pushing the Limit of 1-Minimality ..."
Kaminski, Benjamin Lucien OOPSLA1 '23: "Lower Bounds for Possibly ..."
Kang, Chan Gu OOPSLA1 '23: "Modular Component-Based Quantum ..."
Katoen, Joost-Pieter OOPSLA1 '23: "Lower Bounds for Possibly ..."
Kolluri, Aashish OOPSLA1 '23: "User-Customizable Transpilation ..."
Kong, Chaozhe OOPSLA1 '23: "Improving Oracle-Guided Inductive ..."
Kong, Lingkun OOPSLA1 '23: "Regular Expression Matching ..."
Krebbers, Robbert OOPSLA1 '23: "Proof Automation for Linearizability ..."
Krogmeier, Paul OOPSLA1 '23: "Languages with Decidable Learning: ..."
Kulahcioglu Ozkan, Burcu OOPSLA1 '23: "Randomized Testing of Byzantine ..."
Lattuada, Andrea OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Le Glaunec, Alexis OOPSLA1 '23: "Regular Expression Matching ..."
Li, Peixuan OOPSLA1 '23: "Compositional Security Definitions ..."
Li, Shaohua OOPSLA1 '23: "Accelerating Fuzzing through ..."
Lin, Fangzhen OOPSLA1 '23: "Solving Conditional Linear ..."
Lin, Zhengyao OOPSLA1 '23: "Generating Proof Certificates ..."
Madhusudan, P. OOPSLA1 '23: "Languages with Decidable Learning: ..."
Mamouras, Konstantinos OOPSLA1 '23: "Regular Expression Matching ..."
Mariano, Benjamin OOPSLA1 '23: "Automated Translation of Functional ..."
McDonald, Colin OOPSLA1 '23: "Exact Recursive Probabilistic ..."
Menz, Jan OOPSLA1 '23: "Compositional Security Definitions ..."
Mohammadi, Fatemeh OOPSLA1 '23: "Algebro-geometric Algorithms ..."
Moon, David OOPSLA1 '23: "Live Pattern Matching with ..."
Motwani, Harshit Jitendra OOPSLA1 '23: "Algebro-geometric Algorithms ..."
Mulder, Ike OOPSLA1 '23: "Proof Automation for Linearizability ..."
Müller, Marius OOPSLA1 '23: "Back to Direct Style: Typed ..."
Müller, Peter OOPSLA1 '23: "Verification-Preserving Inlining ..."
Mulligan, Dominic P. OOPSLA1 '23: "A Verification Methodology ..."
Nikolić, Ivica OOPSLA1 '23: "User-Customizable Transpilation ..."
Oh, Hakjoo OOPSLA1 '23: "Modular Component-Based Quantum ..."
Olmedo, Federico OOPSLA1 '23: "A Gradual Probabilistic Lambda ..."
Omar, Cyrus OOPSLA1 '23: "Live Pattern Matching with ..."
Ostermann, Klaus OOPSLA1 '23: "Back to Direct Style: Typed ..."
Parekh, Aesha OOPSLA1 '23: "Aliasing Limits on Translating ..."
Parno, Bryan OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Parthasarathy, Gaurav OOPSLA1 '23: "Verification-Preserving Inlining ..."
Petri, Gustavo OOPSLA1 '23: "A Verification Methodology ..."
Polikarpova, Nadia OOPSLA1 '23: "Grounded Copilot: How Programmers ..."
Potter, Hannah OOPSLA1 '23: "Live Pattern Matching with ..."
Roşu, Grigore OOPSLA1 '23: "Generating Proof Certificates ..."
Roth, Ori OOPSLA1 '23: "Fluent APIs in Functional ..."
Samanta, Roopsha OOPSLA1 '23: "Enabling Bounded Verification ..."
Saxena, Prateek OOPSLA1 '23: "User-Customizable Transpilation ..."
Schroeder, Ryan OOPSLA1 '23: "Aliasing Limits on Translating ..."
Schuster, Philipp OOPSLA1 '23: "Back to Direct Style: Typed ..."
Shan, Chung-chieh OOPSLA1 '23: "Exact Recursive Probabilistic ..."
Shapira, Yuval OOPSLA1 '23: "Deep Learning Robustness Verification ..."
Shen, Xipeng OOPSLA1 '23: "Automated Translation of Functional ..."
Silva, Alexandra OOPSLA1 '23: "Outcome Logic: A Unifying ..."
Stockwell, Gareth OOPSLA1 '23: "A Verification Methodology ..."
Su, Han OOPSLA1 '23: "Lower Bounds for Possibly ..."
Su, Zhendong OOPSLA1 '23: "Accelerating Fuzzing through ..."
Subasinghe, Isitha OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Sun, Chengnian OOPSLA1 '23: "Pushing the Limit of 1-Minimality ..."
Tian, Yongqiang OOPSLA1 '23: "Pushing the Limit of 1-Minimality ..."
Toro, Matías OOPSLA1 '23: "A Gradual Probabilistic Lambda ..."
Trinh, Minh-Thai OOPSLA1 '23: "Generating Proof Certificates ..."
Von Gleissenthall, Klaus OOPSLA1 '23: "Randomized Testing of Byzantine ..."
Wagner, Christopher OOPSLA1 '23: "Enabling Bounded Verification ..."
Wang, Bo OOPSLA1 '23: "User-Customizable Transpilation ..."
Wang, Chenglin OOPSLA1 '23: "Solving Conditional Linear ..."
Wang, John OOPSLA1 '23: "Generating Proof Certificates ..."
Winter, Levin N. OOPSLA1 '23: "Randomized Testing of Byzantine ..."
Xiong, Shale OOPSLA1 '23: "A Verification Methodology ..."
Xiong, Yingfei OOPSLA1 '23: "Improving Oracle-Guided Inductive ..."
Xu, Zhenyang OOPSLA1 '23: "Pushing the Limit of 1-Minimality ..."
Ye, Wenjia OOPSLA1 '23: "A Gradual Probabilistic Lambda ..."
Yoshida, Nobuko OOPSLA1 '23: "Hybrid Multiparty Session ..."
Yuan, Yongwei OOPSLA1 '23: "Live Pattern Matching with ..."
Zhan, Naijun OOPSLA1 '23: "Lower Bounds for Possibly ..."
Zhang, Guoqiang OOPSLA1 '23: "Automated Translation of Functional ..."
Zhang, Mengxiao OOPSLA1 '23: "Pushing the Limit of 1-Minimality ..."
Zhang, Xing OOPSLA1 '23: "Bidirectional Object-Oriented ..."
Zhao, Gaosen OOPSLA1 '23: "Pushing the Limit of 1-Minimality ..."
Zhou, Jie OOPSLA1 '23: "Fat Pointers for Temporal ..."
Zhou, Yi OOPSLA1 '23: "Verus: Verifying Rust Programs ..."
Zilberstein, Noam OOPSLA1 '23: "Outcome Logic: A Unifying ..."

119 authors

proc time: 26.69