-
Cambridge
- Cambridge
- utpalbora.com
- @utpal4060
Stars
A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
Static Value-Flow Analysis Framework for Source Code
A Speculation-Aware Collaborative Dependence Analysis Framework
Clang frontend to Tapir Compiler, includes implementation of Cilk language in frontend
Tapir extension to LLVM for optimizing Parallel Programs
Collection of Cilk tools, built using the Cilk OpenKimono framework.
List of Computer Science courses with video lectures.
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.
Resources for the CMPUT 416 course at the University of Alberta
Lectures for the CMPUT 416 course at the University of Alberta
Outline for the CMPUT 416 course at the University of Alberta
A cheatsheet of modern C++ language and library features.
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
Gdbinit for OS X, iOS and others - x86, x86_64 and ARM