research
∙
11/03/2022
Little Tricky Logic: Misconceptions in the Understanding of LTL
Context: Linear Temporal Logic (LTL) has been used widely in verificatio...
share
research
∙
06/28/2022
Gradual Soundness: Lessons from Static Python
Context: Gradually-typed languages allow typed and untyped code to inter...
research
∙
11/19/2021
Types for Tables: A Language Design Benchmark
Context: Tables are ubiquitous formats for data. Therefore, techniques f...
research
∙
11/19/2021