19:49

[OOPSLA23] Functional collection programming with semi-ring dictionaries

ACM SIGPLAN

18:21

[OOPSLA23] Aliasing Limits on Translating C to Safe Rust

ACM SIGPLAN

16:52

[OOPSLA23] Adventure of a Lifetime: Extract Method Refactoring for Rust

ACM SIGPLAN

17:55

[OOPSLA23] Inductive Program Synthesis Guided by Observational Program Similarity

ACM SIGPLAN

14:19

[OOPSLA23] Automated Translation of Functional Big Data Queries to SQL

ACM SIGPLAN

22:13

[OOPSLA23] User-Customizable Transpilation of Scripting Languages

ACM SIGPLAN

18:20

[OOPSLA23] Hybrid Multiparty Session Types: Compositionality for Protocol Specification th...

ACM SIGPLAN

19:17

[OOPSLA23] Mechanizing Session-Types using a Structural View: Enforcing Linearity without ...

ACM SIGPLAN

17:14

[OOPSLA23] Message Chains for Distributed System Verification

ACM SIGPLAN

17:57

[OOPSLA23] Randomized Testing of Byzantine Fault Tolerant Algorithms

ACM SIGPLAN

17:33

[OOPSLA23] Validating IoT Devices with Rate-Based Session Types

ACM SIGPLAN

19:47

[OOPSLA23] Awards and SPLASH 2024

ACM SIGPLAN

17:42

[OOPSLA23] Deep Learning Robustness Verification for Few-Pixel Attacks

ACM SIGPLAN

19:08

[OOPSLA23] Rhombus: A New Spin on Macros without All the Parentheses

ACM SIGPLAN

14:44

[OOPSLA23] Simple Reference Immutability for System F-sub

ACM SIGPLAN