Lucas Silver -

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

Author of Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification within the Research Papers-track
Author of Semantics for Noninterference with Interaction Trees within the Research Papers-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2021

POPL

Author of Dijkstra Monads Forever within the POPL-track