Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Thu 19 Jul 2018 16:37 - 17:15 at Paris - SALAD 3 Chair(s): Jan Vitek

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

salad-2018-papers
16:00 - 18:30: SALAD - SALAD 3 at Paris
Chair(s): Jan VitekNortheastern University
salad-2018-papers16:00 - 16:37
Talk
Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech
salad-2018-papers16:37 - 17:15
Talk
Julian DolbyIBM Thomas J. Watson Research Center
salad-2018-papers17:15 - 17:52
Talk
Omer TrippGoogle Inc.
salad-2018-papers17: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