research
∙
09/08/2023
A Grounded Conceptual Model for Ownership Types in Rust
Programmers learning Rust struggle to understand ownership types, Rust's...
share
research
∙
04/09/2023
Dependently Typing R Vectors, Arrays, and Matrices
The R programming language is widely used in large-scale data analyses. ...
research
∙
11/03/2022
Little Tricky Logic: Misconceptions in the Understanding of LTL
Context: Linear Temporal Logic (LTL) has been used widely in verificatio...
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
Automated, Targeted Testing of Property-Based Testing Predicates
Context: This work is based on property-based testing (PBT). PBT is an i...
research
∙
11/19/2021
Types for Tables: A Language Design Benchmark
Context: Tables are ubiquitous formats for data. Therefore, techniques f...
research
∙
08/05/2021
Computing and Authentication Practices in Global Oil and Gas Fields
Oil and gas fields are a critical part of our infrastructure, and vulner...
research
∙
10/30/2020
Using Relational Problems to Teach Property-Based Testing
Context: The success of QuickCheck has led to the development of propert...
research
∙
04/30/2020
Data Science as a Route to AI for Middle- and High-School Students
The Bootstrap Project's Data Science curriculum has trained about 100 te...
research
∙
02/02/2019
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
The World model is an existing functional input-output mechanism for eve...
research
∙
02/08/2018