Unit testing small concurrent abstractions with MultithreadedTC |
project page |
google code |
Visualize the results of searching audio.
For IBM Research | patent filed
Speech analysis and machine learning to identify spam voice messages.
For Sipera Systems |
Interactive Visualization of proofs to verify a pipelined microprocessor |
Master's Thesis (pdf)