This is the artifact for the OOPSLA'21 paper "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers". You can also find the latest version of this artifact in https://github.com/StefanosChaliasos/types-bug-study-artifact.git
We present a compiler for a concurrent programming language, which utilizes linear typing to create ...
These code and data (artifact) support the claims of the OOPSLA '21 paper: Type Stability in Julia...
This is an artifact for the research paper “VariantInc: Automating the Integration of Versioned Soft...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
We propose a testing framework for validating static typing procedures in compilers. Our core compon...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact for the paper "Inside Bug Report Templates: An Empirical Study on Bug Report Te...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
JGS-check is the accompanying artifact to "LJGS: Gradual Security Types for Object-Oriented Language...
This is the artifact of paper "Learning and Programming Challenges of Rust: A Mixed-Methods Study" a...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and...
We present a compiler for a concurrent programming language, which utilizes linear typing to create ...
These code and data (artifact) support the claims of the OOPSLA '21 paper: Type Stability in Julia...
This is an artifact for the research paper “VariantInc: Automating the Integration of Versioned Soft...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
We propose a testing framework for validating static typing procedures in compilers. Our core compon...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact for the paper "Inside Bug Report Templates: An Empirical Study on Bug Report Te...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
JGS-check is the accompanying artifact to "LJGS: Gradual Security Types for Object-Oriented Language...
This is the artifact of paper "Learning and Programming Challenges of Rust: A Mixed-Methods Study" a...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and...
We present a compiler for a concurrent programming language, which utilizes linear typing to create ...
These code and data (artifact) support the claims of the OOPSLA '21 paper: Type Stability in Julia...
This is an artifact for the research paper “VariantInc: Automating the Integration of Versioned Soft...