Skip to content

@hephaestus-compiler-project hephaestus-compiler-project

Change the repository type filter

All

    Repositories list

    7 repositories

    • thalia

      Public
      A framework for testing compilers' type checkers
      Python
      •
      GNU General Public License v3.0
      •10•17•0•1•Updated Nov 11, 2024Nov 11, 2024

    • hephaestus

      Public
      A framework for testing compilers' type checkers
      Python
      •
      GNU General Public License v3.0
      •10•50•5•1•Updated Aug 2, 2024Aug 2, 2024

    • doc2json

      Public
      A script that converts an API documentation written in HTML into a JSON document
      Python
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated May 10, 2024May 10, 2024

    • hephaestus-compiler-project.github.io

      Public
      HTML
      •0•1•0•0•Updated Nov 9, 2023Nov 9, 2023

    • thalia-popl-eval

      Public
      Replication package for the POPL 2024 paper titled "API-driven Program Synthesis for Testing Static Typing Implementations".
      Python
      •
      GNU General Public License v3.0
      •0•4•0•0•Updated Nov 7, 2023Nov 7, 2023

    • hephaestus-pldi-eval

      Public
      Replication package for the PLDI 2022 paper titled "Finding Typing Compiler Bugs".
      Python
      •
      GNU General Public License v3.0
      •0•6•0•0•Updated Apr 4, 2022Apr 4, 2022

    • 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".
      kotlinjavatestinggroovyscalastudycompilersbugsstatic-typing
      Python
      •
      MIT License
      •1•6•0•0•Updated Sep 21, 2021Sep 21, 2021