Mon 26 Oct 2015 15:30 - 15:45 at Edenburg - Session IV Chair(s): Aharon Abadi, Lori Flynn, Jeff Gray

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 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. 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.

Conference Day
Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:00
Session IVMobileDeLi at Edenburg
Chair(s): Aharon AbadiIBM Research, Lori FlynnCERT, Jeff GrayUniversity of Alabama, USA
15:30
15m
Talk
Program Analysis for Mobile: how and why to run WALA on your phone
MobileDeLi
Julian DolbyIBM Research
15:45
15m
Talk
Gaps and Future Directions in Mobile Security Research
MobileDeLi
Violetta VylegzhaninaVanderbilt University, Jules WhiteVanderbilt University, Douglas C. SchmidtVanderbilt University
16:00
60m
Other
Activity:Mobile Computing to Support Sustainability
MobileDeLi