Pinned Repositories
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
doop
The official repo of Doop, the declarative pointer analysis framework.
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
DIPs
D Improvement Proposals
pcminer
PC-miner tool for program chairs
souffle-num-addon
Souffle Datalog functors (extensions) for more complex arithmetic
yanniss.github.io
yanniss's Repositories
yanniss/souffle-num-addon
Souffle Datalog functors (extensions) for more complex arithmetic
yanniss/yanniss.github.io
yanniss/pcminer
PC-miner tool for program chairs
yanniss/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
yanniss/DIPs
D Improvement Proposals