eregon / virtual-machines-research-graphLinks
A Virtual Machine Research Overview as a Graph
☆25Updated 4 years ago
Alternatives and similar repositories for virtual-machines-research-graph
Users that are interested in virtual-machines-research-graph are comparing it to the libraries listed below
Sorting:
- Parser for the llvm bitcode format☆60Updated this week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 7 months ago
- LVC verified compiler☆60Updated 7 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 6 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Unison's source code☆109Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- ☆65Updated 9 years ago
- Linux kernel library functions formally verified.☆52Updated last month
- Formal semantics of LLVM IR in K☆45Updated 7 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆50Updated 5 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 10 years ago
- ☆87Updated 5 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- ☆48Updated 5 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆130Updated 2 years ago
- SSA vs ANF☆47Updated 10 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆209Updated last year
- A tool for testing C compilers automatically☆21Updated 9 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- EBNF grammar of LLVM IR assembly.☆65Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
- ☆55Updated last year
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated last month
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 7 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago