Lucas Silver - ECOOP 2023

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

co-located with ECOOP and ISSTA 2023

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

	
		OSZAR »