My research interests lie at the intersection between programing language and operating system. Specifically, my work improves the overall performance of modern object-oriented languages through collaborations between operating systems and language runtime systems. To enable such collaborations, various techniques ranging from static program analyses through low-overhead runtime analyses are used to generate necessary information.
Recently, I have initiated a new line of work on securing Additive Manufacturing ecosystems. I’m also working on a project to validate the conformance of software and hardware implementations of TCP/IP protocols. I am a member of The Laboratory for Empirically-based Software Quality Research and Development (ESQuaReD). More information about my research activities can be found below.
- Publication (DBLP, Google Scholar)
- Funding
- Students
- Tools
Witty's Homepage 