WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
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 program analysis work has recently been focused on scripting languages like JavaScript and on security analysis of Web applications; our work has been included in IBM products, most notably Rational AppScan products, and I am one of the primary authors of the publicly-available Watson Libraries for Analysis (WALA) program analysis infrastructure. My recent work in this area has focused on JavaScript, and you can see a summary of that work in a talk I gave at SPLASH-I.
-
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; more recently, I have focused on representing RDF data efficiently in an RDBMS, semantics of SPARQL, and extending SPARQL to integrate Web data. You can see a summary of our work in this area in a keynote I gave at the Semantic Big Data workshop at SIGMOD 2017.
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.
Thu 19 Jul
16:00 - 16:37 Talk | Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech | |||||||||||||||||||||||||||||||||||||||||
16:37 - 17:15 Talk | Julian DolbyIBM Thomas J. Watson Research Center | |||||||||||||||||||||||||||||||||||||||||
17:15 - 17:52 Talk | Omer TrippGoogle Inc. | |||||||||||||||||||||||||||||||||||||||||
17:52 - 18:30 Talk | Taddeus KroesVrije Universiteit Amsterdam, Anil Altinay, Joseph Nash, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Herbert Bos, Michael FranzUniversity of California, Irvine, Cristiano Giuffrida |