Welcome to my website!
I'm currently a second year PhD student at the computer science department of Stanford University. My advisor is Prof. Alex Aiken. My main research focus is program analysis, in particular bug finding and verification of pragrams via static analysis. Here is my resume .
Publications
"Sound, Complete, and Scalable Path-Sensitive Analysis". Isil Dillig, Thomas Dillig, Alex Aiken. To appear in Proceedings of the Conference on Programming Language Design and Implementation, June 2008.
"The CLOSER: Automating Resource Management in Java". Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra. To appear in Proceedings of the International Symposium on Memory Management, June 2008.
"Static Error Detection Using Semantic Inconsistency Inference". Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the Conference on Programming Language Design and Implementation, pages 435-446, June 2007.
An Overview of the Saturn Project. A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins and B. Hackett. Proceedings of the Workshop on Program Analysis for Software Tools and Engineering, pages 43-48, June 2007.
The Saturn Program Analysis System. A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett, and P. Hawkins. Stanford University Computer Science Technical Report, December 2006.
A Precise SAT-Based Pointer Analysis Framework for the C Language. Thomas Dillig. Honors Thesis, Stanford University June 2006.
"Publishing Content on the Web: Content Management Fitting Any Structure". Isil Dillig, Thomas Dillig. Stanford Undergraduate Research Journal, Spring 2005.
Contact Information
E-mail: tdillig@cs.stanford.edu
Office: Gates Building Rm #444, Stanford CA 94305
Office phone: 650-725-3053
Home address: 63 Abrams House Apt.813 Stanford CA 94305
Home phone: 650-497-9078
Personal
I am married to Isil Dillig, also a PhD student in Computer Science at Stanford. Here are some of our Pictures.
|