Isıl Dillig - Computer Science - College of William and Mary
Isıl Dillig - Computer Science - College of William and Mary
Isıl Dillig - Computer Science - College of William and Mary
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
I¸sıl <strong>Dillig</strong><br />
Employment Assistant Pr<strong>of</strong>essor<br />
<strong>Computer</strong> <strong>Science</strong> Department<br />
<strong>College</strong> <strong>of</strong> <strong>William</strong> & <strong>Mary</strong><br />
Contact<br />
Information<br />
Research<br />
Interests<br />
<strong>College</strong> <strong>of</strong> <strong>William</strong> & <strong>Mary</strong> E-mail: idillig@cs.wm.edu<br />
<strong>Computer</strong> <strong>Science</strong> Department WWW: http://www.cs.wm.edu/~idillig<br />
McGlothlin-Street Hall 111<br />
<strong>William</strong>sburg, VA 23185<br />
Program verification, static analysis, automated logical reasoning, formal methods,<br />
tools <strong>and</strong> techniques for improving program reliability <strong>and</strong> security.<br />
Education 2006-2011 PhD, <strong>Computer</strong> <strong>Science</strong><br />
Stanford University, Stanford, CA<br />
Advisor: Alex Aiken<br />
Journal<br />
Publications<br />
Conference <strong>and</strong><br />
Workshop<br />
Publications<br />
2002-2006 BS, <strong>Computer</strong> <strong>Science</strong> with honors <strong>and</strong> distinction<br />
Stanford University, Stanford, CA<br />
GPA: 4.14/4.00<br />
Cuts from Pro<strong>of</strong>s: A Complete <strong>and</strong> Practical Technique for Solving Linear Inequalities<br />
over Integers. Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Invited paper, Formal<br />
Methods in System Design (FMSD) CAV ’09 special issue.<br />
Reasoning About the Unknown in Static Analysis. Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex<br />
Aiken. Research highlight, Communications <strong>of</strong> the ACM (CACM), August 2010.<br />
Publishing Content on the Web: Content Management Fitting Any Structure. Isil<br />
<strong>Dillig</strong>, Thomas <strong>Dillig</strong>. Stanford Undergraduate Research Journal, Spring 2005.<br />
Minimum Satisfying Assignments for SMT.<br />
Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Proceedings <strong>of</strong> the International Conference<br />
on <strong>Computer</strong> Aided Verification (CAV) 2012.<br />
Automating Error Diagnosis Using Abductive Inference.<br />
Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Proceedings <strong>of</strong> Programming Language Design<br />
<strong>and</strong> Implementation (PLDI) 2012.<br />
Simplifying Loop Invariant Generation Using Splitter Predicates.<br />
Rahul Sharma, Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Proceedings <strong>of</strong> the International<br />
Conference on <strong>Computer</strong> Aided Verification (CAV) 2011.<br />
Precise <strong>and</strong> Compact Modular Procedure Summaries for Heap Manipulating Programs.<br />
Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken, Mooly Sagiv. Proceedings <strong>of</strong> Programming<br />
Language Design <strong>and</strong> Implementation (PLDI) 2011.<br />
Precise Reasoning for Programs Using Containers. Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex<br />
Aiken. Principles <strong>of</strong> Programming Languages (POPL) 2011.
Unpublished<br />
Manuscripts<br />
Symbolic Heap Abstraction with Dem<strong>and</strong>-Driven Axiomatization <strong>of</strong> Memory Invariants.<br />
Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Object-Oriented Programming,<br />
Systems, Languages & Applications (OOPSLA) 2010.<br />
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable<br />
Static Analysis. Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Proceedings <strong>of</strong> the International<br />
Static Analysis Symposium (SAS) 2010.<br />
Fluid Updates: Beyond Strong vs. Weak Updates. Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex<br />
Aiken. Proceedings <strong>of</strong> the European Symposium on Programming (ESOP) 2010.<br />
Cuts from Pro<strong>of</strong>s: A Complete <strong>and</strong> Practical Technique for Solving Linear Inequalities<br />
over Integers. Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Proceedings <strong>of</strong> <strong>Computer</strong><br />
Aided Verification (CAV) 2009.<br />
Sound, Complete, <strong>and</strong> Scalable Path-Sensitive Analysis. Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>,<br />
Alex Aiken. Proceedings <strong>of</strong> the Conference on Programming Language Design <strong>and</strong><br />
Implementation (PLDI), June 2008.<br />
The CLOSER: Automating Resource Management in Java. Isil <strong>Dillig</strong>, Thomas<br />
<strong>Dillig</strong>, Eran Yahav, Satish Ch<strong>and</strong>ra. Proceedings <strong>of</strong> the International Symposium<br />
on Memory Management (ISMM), June 2008.<br />
Static Error Detection Using Semantic Inconsistency Inference. Isil <strong>Dillig</strong>, Thomas<br />
<strong>Dillig</strong>, Alex Aiken. Proceedings <strong>of</strong> the Conference on Programming Language Design<br />
<strong>and</strong> Implementation (PLDI), pages 435-446, June 2007.<br />
An Overview <strong>of</strong> the Saturn Project. Alex Aiken, Suhabe Bugrara, Isil <strong>Dillig</strong>, Thomas<br />
<strong>Dillig</strong>, Peter Hawkins <strong>and</strong> Brian Hackett. Proceedings <strong>of</strong> the Workshop on Program<br />
Analysis for S<strong>of</strong>tware Tools <strong>and</strong> Engineering (PASTE), pages 43-48, June 2007.<br />
SAIL: Static Analysis Intermediate Language with a Two-Level Representation. Isil<br />
<strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. Technical Report, Stanford University, September<br />
2009.<br />
The Saturn Program Analysis System. A. Aiken, S. Bugrara, I. <strong>Dillig</strong>, T. <strong>Dillig</strong>, B.<br />
Hackett, <strong>and</strong> P. Hawkins. Stanford University, <strong>Computer</strong> <strong>Science</strong> Technical Report,<br />
December 2006.<br />
A Flow-, Path-, <strong>and</strong> Context-Sensitive Null Dereference Analysis for C Programs.<br />
Isil <strong>Dillig</strong>. Undergraduate Honors Thesis, Stanford University, June 2006.<br />
Talks Minimum Satisfying Assignments for SMT.<br />
Isil <strong>Dillig</strong>, Thomas <strong>Dillig</strong>, Alex Aiken. <strong>Computer</strong> Aided Verification (CAV).<br />
June 2012, Berkeley, CA.<br />
Automated Error Diagnosis Using Abductive Inference<br />
ACM Conference on Programming Language Design <strong>and</strong> Implementation (PLDI).<br />
June 2012, Beijing, China.
Precise <strong>and</strong> Fully Automatic Verification <strong>of</strong> Container-Manipulating Programs<br />
• The <strong>College</strong> <strong>of</strong> <strong>William</strong> <strong>and</strong> <strong>Mary</strong>, February 2011, <strong>William</strong>sburg, VA<br />
• Massachusetts Institute <strong>of</strong> Technology, March 2011, Cambridge, MA<br />
• Montana State University, March 2011, Bozeman, MT<br />
• IMDEA S<strong>of</strong>tware, March 2011, Madrid, Spain<br />
• Virginia Tech, March 2011, Blacksburg, VA<br />
• Princeton University, April 2011, Princeton, NJ<br />
• University <strong>of</strong> Pennsylvania, April 2011, Philadephia, PA<br />
• NEC Labs, April 2011, Princeton, NJ<br />
Precise Reasoning for Programs Using Containers.<br />
Principles <strong>of</strong> Programming Languages (POPL).<br />
January 2011, Austin, TX, USA.<br />
Symbolic Heap Abstraction with Dem<strong>and</strong>-Driven Axiomatization <strong>of</strong><br />
Memory Invariants.<br />
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA).<br />
October 2010, Reno, NV, USA.<br />
Small Formulas for Large Programs: Constraint Simplification for<br />
Scalable Static Analysis.<br />
Static Analysis Symposium (SAS).<br />
September 2010, Perpignan, France.<br />
Fluid Updates: Beyond Strong vs. Weak Updates.<br />
European Symposium on Programming (ESOP).<br />
March 2010, Paphos, Cyprus.<br />
Cuts from Pro<strong>of</strong>s: A Complete <strong>and</strong> Practical Technique for Solving Linear Inequalities<br />
over Integers.<br />
International Conference on <strong>Computer</strong> Aided Verification (CAV).<br />
June 2009, Grenoble, France.<br />
Constraint-Based Analysis in the Presence <strong>of</strong> Uncertainty <strong>and</strong> Imprecision.<br />
Invited talk at Micros<strong>of</strong>t Research.<br />
Redmond, WA, USA, February 2009.<br />
Sound, Complete, <strong>and</strong> Scalable Path-Sensitive Analysis.<br />
ACM Conference on Programming Language Design <strong>and</strong> Implementation (PLDI).<br />
June 2008, Tucson, AZ, USA.<br />
The CLOSER: Automating Resource Management in Java.<br />
International Symposium on Memory Management (ISMM)<br />
June 2008, Tucson, AZ, USA.<br />
Static Error Detection Using Semantic Inconsistency Inference.<br />
ACM Conference on Programming Language Design <strong>and</strong> Implementation (PLDI).<br />
June 2007, San Diego, CA, USA.
Awards 2008-2010 Stanford Graduate Fellowship<br />
Work<br />
Experience<br />
Teaching<br />
Experience<br />
2006-2007 Forbes School <strong>of</strong> Engineering Fellowship<br />
2006 Wegbreit Award<br />
For best undergraduate honors thesis, Stanford University.<br />
2006 Firestone Medal for excellence in undergraduate research.<br />
Stanford University.<br />
2006 Frederick Emmons Terman Engineering Scholastic Award<br />
For outst<strong>and</strong>ing achievement in engineering. Stanford University.<br />
2002 <strong>Mary</strong> Mills Patrick Award<br />
For highest GPA at Robert <strong>College</strong>, Istanbul.<br />
2002 Dora Aksoy Award<br />
For excellence in mathematics. Robert <strong>College</strong>, Istanbul.<br />
2002 Aysun Sualp Award<br />
For excellence in arts <strong>and</strong> science. Robert <strong>College</strong>, Istanbul.<br />
Assistant Pr<strong>of</strong>essor <strong>of</strong> <strong>Computer</strong> <strong>Science</strong><br />
<strong>College</strong> <strong>of</strong> <strong>William</strong> & <strong>Mary</strong><br />
2011-present<br />
Graduate Research Assistant<br />
Stanford University, <strong>Computer</strong> <strong>Science</strong> Department<br />
2006-2011<br />
Research Internship<br />
IBM T.J Watson Research Lab, Hawthorne, NY<br />
June 2007-September 2007<br />
Mentors: Satish Ch<strong>and</strong>ra <strong>and</strong> Eran Yahav<br />
CURIS Program for Undergraduate Research<br />
Stanford University, <strong>Computer</strong> <strong>Science</strong> Department<br />
June 2005-September 2005<br />
Internship at Carnegie Institution for <strong>Science</strong><br />
Stanford, CA<br />
June 2004-September 2004<br />
Instructor for CS243: Discrete Mathematics<br />
Fall Semester, 2012-13<br />
<strong>College</strong> <strong>of</strong> <strong>William</strong> & <strong>Mary</strong><br />
Instructor for CS780: Automated Logical Reasoning<br />
Spring Semester, 2011-2012<br />
<strong>College</strong> <strong>of</strong> <strong>William</strong> & <strong>Mary</strong>
Pr<strong>of</strong>essional<br />
Activities<br />
S<strong>of</strong>tware<br />
Projects<br />
Teaching Assistant for CS143: Compilers<br />
Fall Quarter, 2010<br />
Stanford University<br />
Teaching Assistant for CS143: Compilers<br />
Fall Quarter, 2009<br />
Stanford University<br />
Program Committees:<br />
• Static Analysis Symposium (SAS) 2013<br />
• Chair <strong>of</strong> OOPSLA Student Research Competition 2013<br />
• OOPSLA 2013 Extended Review Committee<br />
• Principles <strong>of</strong> Programming Languages (POPL) 2013<br />
• Object-Oriented Programming, Systems, Languages, <strong>and</strong> Applications (OOP-<br />
SLA) 2012<br />
• Judge for PLDI Student Research Competition 2012<br />
External Reviewer for:<br />
• Journal <strong>of</strong> Theoretical <strong>Computer</strong> <strong>Science</strong>, 2011.<br />
• ACM Transactions on S<strong>of</strong>tware Engineering <strong>and</strong> Methodology (TOSEM),<br />
2011.<br />
• Conference on Principles <strong>of</strong> Programming Languages (POPL) 2011.<br />
• Conference on Verification, Model Checking, <strong>and</strong> Abstract Interpretation (VM-<br />
CAI) 2011.<br />
• Conference on Programming Language Design <strong>and</strong> Implementation (PLDI)<br />
2010.<br />
• Conference on Principles <strong>of</strong> Programming Languages (POPL) 2010.<br />
• International Conference on S<strong>of</strong>tware Engineering (ICSE) 2008.<br />
COMPASS Program Analysis System<br />
Co-developed with Thomas <strong>Dillig</strong><br />
Ongoing work<br />
Mistral SMT Solver<br />
Co-developed with Thomas <strong>Dillig</strong><br />
Ongoing work<br />
SAIL Program Analysis Front-end for C <strong>and</strong> C++<br />
Available under BSD license at www.stanford.edu/~isil/sail/index.html<br />
Co-developed with Thomas <strong>Dillig</strong><br />
SATURN Program Analysis System<br />
Co-developed with Brian Hackett, Yichen Xie, Peter Hawkins, Suhabe Bugrara,<br />
<strong>and</strong> Thomas <strong>Dillig</strong><br />
Available under BSD license at http://saturn.stanford.edu/
Honors Societies Phi Beta Kappa Society, 2006<br />
Citizenship Turkey