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 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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 18:30
|On the Effectiveness of Kernel Debloating via Compile-time Configuration|
|WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support|
Julian Dolby IBM Thomas J. Watson Research Center
|Detection of Spectre vulnerabilities via static analysis|
Omer Tripp Google Inc.
|BinRec: Attack Surface Reduction Through Dynamic Binary Recovery|