Here I highlight some of the projects I have been working or had worked on.
A tool for detecting determinacy races in OpenMP task applications.
An extension to ThreadSanitizer for detecting races in embedded systems software.
Nondeterminism detection tool for shared memory dataflow programs.
Proof of concept virtual museum developed using OpenGL and Glut.
Parser of huge log data for performance analysis of TSX bottlenecks.
Tool for automatic construction of BioBricks in synthetic biology.