cristina-david

Pinned Repositories

synth
Program synthesis
Language:C12 10 152
cbmc
C Bounded Model Checker
Language:C++0 1 00
cristina-david.github.io
Language:HTML00
demo-session
00
java-driver
DataStax Java Driver for Apache Cassandra
Language:Java00
cbmc
C Bounded Model Checker
Language:C++889 38 1.3k273
tex-common
Common LaTeX utilities
Language:TeX0 8 00
crown
Ownership analysis that helps translating C to Rust
Language:Rust19 8 45
refactoring-synthesis
Language:TeX0 3 00
plrg-bristol.github.io
Programming Languages Research Group (PLRG) website
Language:HTML1 2 90

cristina-david's Repositories

cristina-david/cbmc
C Bounded Model Checker
Language:C++0 1 00
cristina-david/cristina-david.github.io
Language:HTML00
cristina-david/demo-session
00
cristina-david/java-driver
DataStax Java Driver for Apache Cassandra
Language:Java00