Lucas Silver - ECOOP and ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Registered user since Sat 7 Nov 2020

Name:Lucas Silver

Country:United States

Affiliation:University of Pennsylvania

Personal website: https://www.seas.upenn.edu/~lucsil/

GitHub: https://github.com/lag47

Research interests:Formal Verification and Program Specifications

Contributions

2023

ECOOP

Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Semantics for Noninterference with Interaction Trees

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile