Random Interpretation (Random Testing + Abstract Interpretation)

Established: December 1, 2008

Publications

View by:

- Program Analysis using Random Interpretation
  
  Sumit Gulwani
  
  September 2005
  
  PhD Thesis: 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
  
  PhD Thesis: 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
  
  PhD Thesis: PhD Dissertation, University of California, Berkeley | September 2005
  
  ACM SIGPLAN Doctoral Dissertation Award
  
  Publication Publication

People

Sumit Gulwani

Distinguished Scientist and Vice President

Learn more