Programming Systems Laboratory @ KAIST
The window through which you see the SW world
- 24 followers
- Daejeon, Korea
Pinned Loading
Repositories
Showing 10 of 54 repositories
- alive-nj Public Forked from rutgers-apl/alive-nj
Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
prosyslab/alive-nj’s past year of commit activity - prosyslab.github.io Public
prosyslab/prosyslab.github.io’s past year of commit activity - publications Public
prosyslab/publications’s past year of commit activity - wasmtime Public Forked from bytecodealliance/wasmtime
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
prosyslab/wasmtime’s past year of commit activity - nl-2-postcond Public Forked from microsoft/nl-2-postcond
Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages
prosyslab/nl-2-postcond’s past year of commit activity - optimuzz Public
prosyslab/optimuzz’s past year of commit activity - unitcon-infer Public
prosyslab/unitcon-infer’s past year of commit activity - bug-bench Public
prosyslab/bug-bench’s past year of commit activity - recursion Public
prosyslab/recursion’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…