Blogs (61) >>
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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:30
SALAD 3SALAD at Paris
Chair(s): Jan Vitek Northeastern University
16:00
37m
Talk
On the Effectiveness of Kernel Debloating via Compile-time Configuration
SALAD
Mansour Alharthi , Hong Hu Georgia Institute of Technology, Hyungon Moon Georgia Tech, Taesoo Kim Georgia Tech
16:37
37m
Talk
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
SALAD
Julian Dolby IBM Thomas J. Watson Research Center
17:15
37m
Talk
Detection of Spectre vulnerabilities via static analysis
SALAD
Omer Tripp Google Inc.
17:52
37m
Talk
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
SALAD
Taddeus Kroes Vrije Universiteit Amsterdam, Anil Altinay , Joseph Nash , Yeoul Na , Stijn Volckaert University of California, Irvine, Herbert Bos , Michael Franz University of California, Irvine, Cristiano Giuffrida