aoli-al

Pittsburgh, PA

Pinned Repositories

ethminer
Ethereum miner with OpenCL, CUDA and stratum support
Language:C1 0 01
exchain
ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.
Language:HTML10 1 10
HFuse
Horizontal Fusion
Language:C++21 2 08
LLBeautifyImage
An Image Filter On iOS
Language:Objective-C1 1 22
MakeItRain
Language:C#1 2 00
net-verifier
Language:Python1 2 01
P
The P programming language.
Language:C#1 0 00
Solythesis
Solythesis: Securing Smart Contract with Runtime Validation
Language:Solidity12 1 05
solythesis-artifact
Language:Rust10 2 13
fray
A general-purpose concurrency testing framework
Language:Kotlin5 1 250

aoli-al's Repositories

aoli-al/exchain
ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.
Language:HTML10 1 10
aoli-al/P
The P programming language.
Language:C#1 0 00
aoli-al/activity-action-example
0 1 00
aoli-al/arrow-datafusion
Apache Arrow DataFusion SQL Query Engine
Language:Rust0 0
aoli-al/basic-web-app
Basic NextJS typescript Web App to Handle Requests
Language:CSS0 0
aoli-al/BeDivFuzz
Language:Java0 0
aoli-al/bwat
Language:Python1 0
aoli-al/cmu-thesis
Latex starters for creating a CMU thesis or thesis proposal
Language:TeX
aoli-al/coyote
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Language:C#0 0
aoli-al/dacapobench
The DaCapo benchmark suite
Language:Java0 0
aoli-al/dotfiles
Language:Shell2 01
aoli-al/guava
Google core libraries for Java
Language:Java0 0
aoli-al/hugo-primer
Hugo theme based on GitHub's Primer CSS
Language:HTML
aoli-al/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Language:Java0 0
aoli-al/JQF-ei
Language:Java
aoli-al/kafka
Mirror of Apache Kafka
Language:Java0 0
aoli-al/lucene
Apache Lucene open-source search software
Language:Java0 0
aoli-al/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++0 0
aoli-al/t1
1 0
aoli-al/t2
1 0
aoli-al/t3
1 0
aoli-al/template-test
1 0
aoli-al/test
1 0
aoli-al/test2
1 0
aoli-al/test3
1 0
aoli-al/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Language:Rust0 0
aoli-al/translator-service
Language:Python0 0
aoli-al/virgil-vim
Language:Vim Script1 0
aoli-al/wasm-r3
The repository that contains all material related to my master thesis
Language:WebAssembly0 0
aoli-al/wizard-engine
Research WebAssembly Engine
Language:WebAssembly0 0