Quoc-Sang Phan's repositories
qsphan.github.io
My papers
the-omega-project
Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email davew@cs.haverford.edu).
cgc-release-documentation
DARPA Cyber Grand Challenge Documentation
diagrams
:art: Diagram as Code for prototyping cloud system architectures
kani
Kani Rust Verifier
klee-utils
Some utils for the KLEE symbolic execution engine
mls-implementations
Coordination of implementation and interop specific details
phasar
A LLVM-based static analysis framework.
pypush
Cross-platform iMessage POC
security-research
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
system-design-101
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.