davidkelk

Pinned Repositories

website_kevinjalbert
Personal website for Kevin Jalbert that is created with nanoc.
Language:Ruby1 1 00
ARC
A tool to automatically repair concurrency bugs in Java.
Language:TXL6 4 240
CORE
An automatic bug repair tool for concurrent Java programs. Utilizes Java PathFinder (JPF) model checker.
Language:Python0 2 00

davidkelk's Repositories

davidkelk/website_kevinjalbert
Personal website for Kevin Jalbert that is created with nanoc.
Language:Ruby1 1 00