Pinned Loading
Repositories
Showing 9 of 9 repositories
- eris Public Forked from hephaestus-compiler-project/thalia
A framework for testing compilers' type checkers
- eris-pldi-eval Public
- thalia Public archive Forked from hephaestus-compiler-project/hephaestus
A framework for testing compilers' type checkers
- thalia-popl-eval Public
Replication package for the POPL 2024 paper titled "API-driven Program Synthesis for Testing Static Typing Implementations".
- hephaestus-pldi-eval Public
Replication package for the PLDI 2022 paper titled "Finding Typing Compiler Bugs".
- types-bug-study-artifact Public
Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…