Project: Telemetry Application for vCloud Director using Java Instrumentation

Java instrumentation and Byte code Manipulation to collect targeted performance data which can be used for monitoring, bug tracking and event tracing for product quality improvement.

• Implemented user-defined logic to capture targeted performance data such as performance metrics, execution time and number of invocations for a particular operation, amount of memory used and method arguments for a series of vCD REST API calls

• Integrated an open-source Interactive Java Profiler within the application to perform instrumentation by augmenting Java byte code dynamically using ASM Byte Code Manipulation and Analysis Framework

• Persisting captured data to be further processed and refined into a Performance Profile – to be measured against other Performance Profiles to determine if the vCloud Director installation is performing at, above or below expected values

Served as a Teaching Assistant to Prof. Thomas Wahl for the undergraduate course Logic and Computation

Introduce fundamental, foundational methods for modeling, design and reasoning about computation

Providing assistance to students learning ACL2s, a simple LISP-based language with contracts

Show how to use logic to formalize the syntax and semantics of the core ACL2s language

Holding ACL2s Practical Lab Sessions