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++18 2 07
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 240

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
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/bwat
Language:Python1 0
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/ghost-kernel
Language:C0 0
aoli-al/guava
Google core libraries for Java
Language:Java0 0
aoli-al/hugo-primer
Hugo theme based on GitHub's Primer CSS
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: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/rust
Empowering everyone to build reliable and efficient software.
Language:Rust0 0
aoli-al/sled
the champagne of beta embedded databases
Language:Rust0 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
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 Script
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