r-mukund

University of Southern CaliforniaLos Angeles, CA

Pinned Repositories

egs-artifact
Language:Lasso2 3 01
bingo
Language:Python51
ExampleGuidedSynthesis.github.io
Language:HTML00
popl2020-artifact
Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
Language:C++17 11 12
github-demo-ntp
Language:C0 1 00
leon
The Leon system for verification, synthesis, and more.
Language:Scala00
petablox-test
Language:C01

r-mukund's Repositories

r-mukund/github-demo-ntp
Language:C0 1 00
r-mukund/leon
The Leon system for verification, synthesis, and more.
Language:Scala00
r-mukund/petablox-test
Language:C01