( en | de | ru )

 

Disambiguation of "Das, Manuvir"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic path simulation in path-sensitive dataflow analysis.

, , and . PASTE, page 52-58. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Romy Das

Bio-economic modeling of soil resource conservation in Mid Hill Region of Nepal. Uni Gießen, (2009)

Anita Das

Arabindo Das

Amitabh Das

Animesh Das

 

Other publications of authors with the same name

Symbolic path simulation in path-sensitive dataflow analysis., , and . PASTE, page 52-58. ACM, (2005)Software validation via scalable path-sensitive value flow analysis., , , and . ISSTA, page 12-22. ACM, (2004)Unleashing the Power of Static Analysis.. SAS, volume 4134 of Lecture Notes in Computer Science, page 1-2. Springer, (2006)Formal Specifications on Industrial-Strength Code-From Myth to Reality.. CAV, volume 4144 of Lecture Notes in Computer Science, page 1. Springer, (2006)Estimating the Impact of Scalable Pointer Analysis on Optimization., , , and . SAS, volume 2126 of Lecture Notes in Computer Science, page 260-278. Springer, (2001)PASTE at Microsoft.. PASTE, page 1. ACM, (2005)Modular checking for buffer overflows in the large., , , and . ICSE, page 232-241. ACM, (2006)ESP: Path-Sensitive Program Verification in Polynomial Time., , and . PLDI, page 57-68. ACM, (2002)PSE: explaining program failures via postmortem static analysis., , , , and . SIGSOFT FSE, page 63-72. ACM, (2004)Perracotta: mining temporal API rules from imperfect traces., , , , and . ICSE, page 282-291. ACM, (2006)