Software developer at IBM. Interested in static analysis, feature interactions, and software engineering.
Rex. Rex is a ROS-enabled extractor that parses ROS messages in C++ programs.
3ClangEx. A Clang-based C/C++ fact extractor. Generates a tuple-attribute file from corresponding source code facts.
2Grok-Scripts. A collection of Grok scripts for various fact extractors.
1SandwichBar. Example program for use in C++ fact extractors ClangEx and Rex.
1Sparc_Assembly_Programs. Collection of programs written in SPARC assembly language. These demonstrate a proficiency in assembly language.
1FunctionGraph. Generates a function call graph for a program.
1Leap-Motion-Controller. Surgical assessment tool that tracks hand motions of surgeons to assess performance.
1