more informationMore information: JSTools 2012 | JSTools 2013 | CLAP (PLDI 2013 paper) | ICfinder (FSE 2013 paper) | Jikes RVM | JSTools 2014 | DECAF workshop site | JSTools 2016 | JSTools 2015 | WALA Hackathon at PLDI 2017 | JS Tools 2017 | Quetzal RDF Store | Watson Libraries for Analysis
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. You can see a summary of much of our Semantic Web work in keynote I gave at the Semantic Big Data workshop at SIGMOD 2017: https://www.youtube.com/watch?v=YTSgXrGnxjg&t=2h1m44s
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.