News items - SPLASH 2023 (original) (raw)

Shaohua Li and Zhendong Su. Accelerating Fuzzing through Prefix-Guided Execution. Proc. ACM Program. Lang. 7, OOPSLA1, Article 75 (April 2023). DOI

Shraddha Barke, Michael B. James, and Nadia Polikarpova. Grounded Copilot: How Programmers Interact with Code-Generating Models. Proc. ACM Program. Lang. 7, OOPSLA1, Article 78 (April 2023). DOI

Paul Krogmeier and P. Madhusudan. Languages with Decidable Learning: A Meta-theorem. Proc. ACM Program. Lang. 7, OOPSLA1, Article 80 (April 2023). DOI

Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar. Live Pattern Matching with Typed Holes. Proc. ACM Program. Lang. 7, OOPSLA1, Article 96 (April 2023). DOI

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, and Harshit Jitendra Motwani. Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. Proc. ACM Program. Lang. 7, OOPSLA1, Article 100 (April 2023). DOI

Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan. Randomized Testing of Byzantine Fault Tolerant Algorithms. Proc. ACM Program. Lang. 7, OOPSLA1, Article 101 (April 2023). DOI

Simon Friis Vindum and Lars Birkedal. Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory. Proc. ACM Program. Lang. 7, OOPSLA2, Article 244 (October 2023). DOI

Fengyun Liu, Ondřej Lhoták, David Hua, and Enze Xing. Initializing Global Objects: Time and Order. Proc. ACM Program. Lang. 7, OOPSLA2, Article 268 (October 2023). DOI

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen. Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7, OOPSLA2, Article 269 (October 2023). DOI

Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski. Bring Your Own Data Structures to Datalog. Proc. ACM Program. Lang. 7, OOPSLA2, Article 264 (October 2023). DOI

Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč. Solving String Constraints with Lengths by Stabilization. Proc. ACM Program. Lang. 7, OOPSLA2, Article 296 (October 2023). DOI