25:13

[APLAS] RHLE: Modular Deductive Verification of Relational ∀∃ Properties

ACM SIGPLAN

28:10

[APLAS] Automated Temporal Verification for Algebraic Effects

ACM SIGPLAN

1:03:31

[APLAS] Verification of Concurrent Programs under Release-Acquire Concurrency

ACM SIGPLAN

29:45

[APLAS] An Algebraic Theory for Shared-State Concurrency

ACM SIGPLAN

30:02

[APLAS] Applicative Intersection Types

ACM SIGPLAN

29:04

[APLAS] Decoupling the Ascending and Descending Phases in Abstract Interpretation

ACM SIGPLAN

31:36

[APLAS] Characterizing functions mappable over GADTs

ACM SIGPLAN

30:08

[APLAS] Novice Type Error Diagnosis with Natural Language Models

ACM SIGPLAN

25:26

[APLAS] A Calculus with Recursive Types, Record Concatenation and Subtyping

ACM SIGPLAN

29:29

[APLAS] Inferring Region Types via an Abstract Notion of Environment Transformation

ACM SIGPLAN

31:42

[APLAS] Model-based Fault Classification for Automotive Software

ACM SIGPLAN