Dr. Vivek Sarkar is a Research Staff Member
and Senior Manager of the Programming Technologies department at the
IBM T. J. Watson Research Center.
The research focus of the Programming Technologies department is on new programming technologies and tools to advance the state of the art in
current and future software development.
The projects currently under way in the Programming Technologies department are:
- Canvas: tools for verifying client code with respect to component constraints, and synthesizing correct-by-construction templates for client code
(Project leader: John Field)
- Gnosis: advanced static interprocedural program analysis for code optimization and program understanding tools
(Project leader: Frank Tip)
- Jalapeno: Adaptive Optimization in the Jikes Research Virtual Machine
(Project leader: Michael Hind)
- Middleware Optimization (Project leader: Steve Fink)
- Mindframes: visual programming (Project leader: Don Pazel)
- Stellation: programming environments for distributed software development
(Project leader: Mark Chu-Carroll)
- Shrike: use of static and dynamic co-analysis for advanced debugging functionalities such as datarace detection, time travel, and deadlock detection
(Project leader: Jong-Deok Choi)
- XAOS: PATH Analysis and Optimization System (Project leader: Vivek Sarkar)
If you are interested in learning more about these projects,
or if you're a Computer Science
graduate student or faculty member who would like to collaborate with
feel free to send email to Vivek Sarkar or any of the project leaders.
For information on other exciting research projects at IBM,
check out the IBM Research home page.
For details on
Vivek Sarkar's research background and interests,
scroll up and follow the links in the left panel of this page.