andrecostea

Pinned Repositories

antlr-java
Language:ANTLR0 3 01
CubeCart2
wsa
Language:PHP1 3 00
go-survey
00
hipsleek
Language:OCaml00
incubator-singa
Mirror of Apache Singa (Incubating)
Language:C++00
infer
A fork of Infer - static analyzer for Java, C, C++, and Objective-C - with updated domain for locks (from numerical to synthetic paths) for RacerD.
Language:HTML00
race-fix
00
rust-survey
A survey on Rust works: empirical studies, verification tools, analysis tools, etc
51
robosuslik
Synthesis with Read-Only Borrows
Language:Scala1 2 01
hippodrome
An automatic program repair tool for data races in Java programs.
Language:Java4 4 261

andrecostea's Repositories

andrecostea/rust-survey
A survey on Rust works: empirical studies, verification tools, analysis tools, etc
51
andrecostea/CubeCart2
wsa
Language:PHP1 3 00
andrecostea/antlr-java
Language:ANTLR0 3 01
andrecostea/go-survey
00
andrecostea/hipsleek
Language:OCaml00
andrecostea/incubator-singa
Mirror of Apache Singa (Incubating)
Language:C++00
andrecostea/infer
A fork of Infer - static analyzer for Java, C, C++, and Objective-C - with updated domain for locks (from numerical to synthetic paths) for RacerD.
Language:HTML00
andrecostea/race-fix
00
andrecostea/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
Language:Rust
andrecostea/spacemacs-config
Language:Emacs Lisp
andrecostea/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
andrecostea/tlaplus
Language:TLA2 0