more informationMore information: WALA site | JSTools 2012 | JSTools 2013 | CLAP (PLDI 2013 paper) | ICfinder (FSE 2013 paper) | Jikes RVM | JSTools 2014 | DECAF workshop site | JSTools 2016 | JSTools 2015
I have been a Research Staff Member at IBM's Thomas J. Watson Research Center since 2000. I work on a range of topics, including static program analysis, software testing and the semantic web. I have also worked on the Jikes Research Virtual Machine (Jikes RVM).
- My testing work has been primarily focused on Web applications in the Apollo project, and on finding concurrency bugs using both dynamic execution and model checking.
- My semantic Web work has been on scalable inference with the SHER project; recently, I have focused on representing RDF data efficiently in an RDBMS.
I was educated at the University of Wisconsin-Madison as an undergraduate, and at the University of Illinois at Urbana-Champaign as a graduate student where I worked with Professor Andrew Chien on programming systems for massively-parallel machines.