|
Office: Gates Building 420
Mailing address:
Computer Science Department, office 420
353 Serra Mall
Stanford University,
Stanford, CA 94305
Phone: 650-723-9273
E-mail: isil@cs.stanford.edu
I graduated from Stanford University in June, 2006 with a degree in computer science (with honors).
I'm currently a third year Ph.D student at Stanford. I work on static program analysis and verification, and my advisor is Alex Aiken.
Here is my resume .
|
Current Areas of Research
|
My main research interests are static program analysis/verification and decision procedures. I'm interested in developing techniques and tools that are sound and sufficiently precise to automate error detection (such as memory safety errors) in software systems. For the first two years of my PhD, I was a member of the SATURN project, which is a SAT-based bug finding and verification framework for analyzing millions of lines of C-code. More recently, I have been working on a constraint-solver, Mistral, which is based on the combined theory of linear arithmetic over integers and uninterpreted functions. Mistral integrates constraint solving, simplification, and quantifier elimination, and it is specifically designed for a new program analysis system, called Compass, which I am also currently developing.
- "Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers" . Isil Dillig, Thomas Dillig, Alex Aiken. To appear in Computer Aided Verification (CAV) 2009.
- "Sound, Complete, and Scalable Path-Sensitive Analysis". Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the Conference on Programming Language Design and Implementation, June 2008. [slides]
- "The CLOSER: Automating Resource Management in Java". Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra. Proceedings of the International Symposium on Memory Management, June 2008. [slides]
- "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. [slides]
- 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 Flow-, Path-, and Context-Sensitive Null Dereference Analysis for C Programs". Isil Dillig. Undergraduate 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.
- "Constraint-Based Analysis in the Presence of Uncertainty and Imprecision". Invited talk at Microsoft Research, Redmond, February 2009.
- "Sound, Complete, and Scalable Path-Sensitive Analysis". PLDI 2008, Tucson, AZ.
- "The CLOSER: Automating Resource Management in Java". ISMM 2008, Tucson, AZ.
- "Static Error Detection Using Semantic Inconsistency Inference". PLDI 2007, San Diego, CA.
Research Assistant, Stanford University. September 2007- Present. Advisor: Alex Aiken
Intern at IBM T.J Watson Hawthorne Research Lab. June 2007-September 2007. Mentors: Satish Chandra and Eran Yahav.
2008-2010: Recipient of the Stanford Graduate Fellowship
2006-2007: Recipient of Forbes School of Engineering Fellowship
2006: Wegbreit Award for the Best Undergraduate Honors Thesis in Computer Science. Stanford University.
2006: Firestone Medal for Excellence in Undergraduate Research. Stanford University.
2006: Frederick Emmons Terman Engineering Scholatic Award for outstanding achievement in engineering. Stanford University.
2002: Mary Mills Patrick Award for highest GPA at Robert College. Robert College, Istanbul.
2002: Dora Aksoy Award for Excellence in Mathematics. Robert College, Istanbul.
2002: Aysun Sualp Award for excellence in arts and science . Robert College, Istanbul.
I am originally from Istanbul, Turkey. I am married to Thomas Dillig , who is also a PhD student in computer science at Stanford.
We both enjoy hiking, reading, being outdoors, watching movies, and photography. Here are some photos that Tom and I have taken recently.
Photos
Stanford University
Stanford University Computer Science Department
New York Times
Slashdot
Robert College (my high school)
My first name is pronounced as "Ishil" rather than "Isil".
|
