Program Analysis using Random Interpretation
September 2005
博士論文:PhD Dissertation, University of California, Berkeley | September 2005
ACM SIGPLAN Doctoral Dissertation Award
出版物
-
-
-
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, 巻199(1): pp. 107-131
-
Precise Interprocedural Analysis using Random Interpretation
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
-
-
-
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
-
Global Value Numbering using Random Interpretation
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
-
-
-
Discovering Affine Equalities using Random Interpretation
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
-
-
-
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, 巻199(1): pp. 107-131
-
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
-
Global Value Numbering using Random Interpretation
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
-
Discovering Affine Equalities using Random Interpretation
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
-
-
-
Program Analysis using Random Interpretation
September 2005
博士論文:PhD Dissertation, University of California, Berkeley | September 2005
ACM SIGPLAN Doctoral Dissertation Award
-
Precise Interprocedural Analysis using Random Interpretation
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
-
Discovering Affine Equalities using Random Interpretation
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
-
-
-
Precise Interprocedural Analysis using Random Interpretation
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
-
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
-
Global Value Numbering using Random Interpretation
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
-
Discovering Affine Equalities using Random Interpretation
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
-
-
-
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, 巻199(1): pp. 107-131
-
-
-
Program Analysis using Random Interpretation
September 2005
博士論文:PhD Dissertation, University of California, Berkeley | September 2005
ACM SIGPLAN Doctoral Dissertation Award
-
人数
Sumit Gulwani
Distinguished Scientist and Vice President