research
∙
09/11/2023
Latte: Lightweight Aliasing Tracking for Java
Many existing systems track aliasing and uniqueness, each with their own...
share
research
∙
10/10/2022
Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming
Genetic Programming (GP) is an heuristic method that can be applied to m...
research
∙
05/30/2022
Type Systems in Resource-Aware Programming: Opportunities and Challenges
Type systems provide software developers immediate feedback about a subs...
research
∙
10/11/2021