Lucas Silver

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Human Computer Interaction

Asynchronous Circuits

Framework Enables

Top Venues

Dagstuhl Artifacts Ser.

Proc. ACM Program. Lang.

Publications

Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
Semantics for Noninterference with Interaction Trees. ECOOP (2023)
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
Semantics for Noninterference with Interaction Trees (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification. ECOOP (2023)
Lucas Silver, Steve Zdancewic
Dijkstra monads forever: termination-sensitive specifications for interaction trees. Proc. ACM Program. Lang. 5 (POPL) (2021)