Pinned Loading
Repositories
Showing 7 of 7 repositories
- thalia Public Forked from hephaestus-compiler-project/hephaestus
A framework for testing compilers' type checkers
hephaestus-compiler-project/thalia’s past year of commit activity - thalia-popl-eval Public
Replication package for the POPL 2024 paper titled "API-driven Program Synthesis for Testing Static Typing Implementations".
hephaestus-compiler-project/thalia-popl-eval’s past year of commit activity - hephaestus-pldi-eval Public
Replication package for the PLDI 2022 paper titled "Finding Typing Compiler Bugs".
hephaestus-compiler-project/hephaestus-pldi-eval’s past year of commit activity - 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".
hephaestus-compiler-project/types-bug-study-artifact’s past year of commit activity
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…