Random Interpretation (Random Testing + Abstract Interpretation)

Program Analysis using Random Interpretation

Sumit Gulwani

September 2005

Thèse de doctorat : PhD Dissertation, University of California, Berkeley | September 2005

ACM SIGPLAN Doctoral Dissertation Award

Publication Publication

A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols

Sumit Gulwani, George C. Necula

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131

Publication Publication Publication Publication

Precise Interprocedural Analysis using Random Interpretation

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005

Publication Publication

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

Sumit Gulwani, George C. Necula

Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004

Publication Publication Publication

Global Value Numbering using Random Interpretation

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004

Publication Publication

Discovering Affine Equalities using Random Interpretation

Sumit Gulwani, George C. Necula

POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003

Publication Publication

A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols

Sumit Gulwani, George C. Necula

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131

Publication Publication Publication Publication

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

Sumit Gulwani, George C. Necula

Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004

Publication Publication Publication

Global Value Numbering using Random Interpretation

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004

Publication Publication

Discovering Affine Equalities using Random Interpretation

Sumit Gulwani, George C. Necula

POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003

Publication Publication

Program Analysis using Random Interpretation

Sumit Gulwani

September 2005

Thèse de doctorat : PhD Dissertation, University of California, Berkeley | September 2005

ACM SIGPLAN Doctoral Dissertation Award

Publication Publication

Precise Interprocedural Analysis using Random Interpretation

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005

Publication Publication

Discovering Affine Equalities using Random Interpretation

Sumit Gulwani, George C. Necula

POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003

Publication Publication

Precise Interprocedural Analysis using Random Interpretation

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005

Publication Publication

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

Sumit Gulwani, George C. Necula

Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004

Publication Publication Publication

Global Value Numbering using Random Interpretation

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004

Publication Publication

Discovering Affine Equalities using Random Interpretation

Sumit Gulwani, George C. Necula

POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003

Publication Publication

A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols

Sumit Gulwani, George C. Necula

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131

Publication Publication Publication Publication

Program Analysis using Random Interpretation

Sumit Gulwani

September 2005

Thèse de doctorat : PhD Dissertation, University of California, Berkeley | September 2005

ACM SIGPLAN Doctoral Dissertation Award

Publication Publication