News items

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

SPLASH Awards(Thu 8 Dec 2022)

Most Influential OOPSLA Paper

Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer, and Paul Thomson. 2012. GPUVerify: a verifier for GPU kernels. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA ’12). Association for Computing Machinery, New York, NY, USA, 113–132. DOI

Distinguished OOPSLA Papers

Ben L. Titzer. 2022. A fast in-place interpreter for WebAssembly. Proc. ACM Program. Lang. 6, OOPSLA, Article 148 (October 2022), 27 pages. DOI

Thomas Haas, Roland Meyer, and Hernán Ponce de León. 2022. CAAT: consistency as a theory. Proc. ACM Program. Lang. 6, OOPSLA2, Article 129 (October 2022), 31 pages. DOI

Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, and Charles Zhang. 2022. Complexity-guided container replacement synthesis. Proc. ACM Program. Lang. 6, OOPSLA1, Article 68 (April 2022), 31 pages. DOI

Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, and Michael Hicks. 2022. C to checked C by 3C. Proc. ACM Program. Lang. 6, OOPSLA1, Article 78 (April 2022), 29 pages. DOI

Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, and Peter W. O’Hearn. 2022. Finding real bugs in big programs with incorrectness logic. Proc. ACM Program. Lang. 6, OOPSLA1, Article 81 (April 2022), 27 pages. DOI

Thibault Dardinier, Peter Müller, and Alexander J. Summers. 2022. Fractional resources in unbounded separation logic. Proc. ACM Program. Lang. 6, OOPSLA2, Article 163 (October 2022), 27 pages. DOI

Aïna Linn Georges, Alix Trieu, and Lars Birkedal. 2022. Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities. Proc. ACM Program. Lang. 6, OOPSLA1, Article 74 (April 2022), 30 pages. DOI

Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, and Chris Hawblitzel. 2022. Linear types for large-scale systems verification. Proc. ACM Program. Lang. 6, OOPSLA1, Article 69 (April 2022), 28 pages. DOI

Kevin Bierhoff. 2022. Wildcards need witness protection. Proc. ACM Program. Lang. 6, OOPSLA2, Article 138 (October 2022), 22 pages. DOI

Distinguished OOPSLA Artifacts

Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki. 2022. Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. Proc. ACM Program. Lang. 6, OOPSLA1, Article 76 (April 2022), 30 pages. DOI

Charles Yuan and Michael Carbin. 2022. Tower: data structures in Quantum superposition. Proc. ACM Program. Lang. 6, OOPSLA2, Article 134 (October 2022), 30 pages. DOI

Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang. 2022. Taming transitive redundancy for context-free language reachability. Proc. ACM Program. Lang. 6, OOPSLA2, Article 180 (October 2022), 27 pages. DOI

Student Research Competition Winners

Undergraduate Category:

1st place: Raphael Douglas Giles. 2022. Termination of Recursive Functions by Lexicographic Orders of Linear Combinations. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 75–77. DOI

2nd place: Siraphob Phipathananunth. 2022. Using Mutations to Analyze Formal Specifications. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 81–83. DOI

3rd place: Abhinandan Pal and Anubhab Ghosh. 2022. Qiwi: A Beginner Friendly Quantum Language. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 78–80. DOI

Graduate Category:

1st place: Julian Haas. 2022. LoRe: Local-First Reactive Programming with Verified Safety Guarantees. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 57–59. DOI

2nd place: Yuyi Zhong, Quang-Trung Ta, and Siau-Cheng Khoo. 2022. ARENA: Enhancing Abstract Refinement for Neural Network Verification. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 66–68. DOI

3rd place: Litao Zhou. 2022. Foundationally Sound Annotation Verifier via Control Flow Splitting. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion 2022). Association for Computing Machinery, New York, NY, USA, 69–71. DOI

Submitted Thu 8 Dec 2022 by Andreea Costea

SRC talks to start at 5.30pm on Wed(Tue 6 Dec 2022)

The SRC talks will start earlier, at 5.30pm on Wed, Dec 7th, in the AMRF Auditorium.

Submitted Tue 6 Dec 2022 by Andreea Costea

The full schedule is now available(Tue 22 Nov 2022)

Lots of exciting events to choose from. Mark your calendar at https://2022.splashcon.org/program/program-splash-2022

Submitted Tue 22 Nov 2022 by Andreea Costea

Accepted papers at OOPSLA(Mon 12 Sep 2022)

The full list of papers accepted at OOPSLA 2022 is now out: https://dl.acm.org/toc/pacmpl/2022/6/OOPSLA2

Submitted Mon 12 Sep 2022 by Andreea Costea

SPLASH 2022 Registration is Open(Fri 9 Sep 2022)

Early bird registration ends on the 15th of November 2022: