Search the dblp DataBase

Publications of Author

1. Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
   Preferential path profiling: compactly numbering interesting paths. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:351-362 [Conf]
   
2. Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
   SYNERGY: a new algorithm for property checking. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2006, pp:117-127 [Conf]
   
3. Aditya V. Nori, P. Shankar
   Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes. [Citation Graph (0, 0)][DBLP]
   IEEE Transactions on Information Theory, 2006, v:52, n:10, pp:4431-4443 [Journal]
   
4. Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
   Quantifying the effectiveness of testing via efficient residual path profiling. [Citation Graph (0, 0)][DBLP]
   ESEC/SIGSOFT FSE, 2007, pp:545-548 [Conf]
   
5. 
   HOLMES: Effective statistical debugging via efficient path profiling. [Citation Graph (, )][DBLP]
   
   
6. 
   An empirical study of optimizations in YOGI. [Citation Graph (, )][DBLP]
   
   
7. 
   Proofs from tests. [Citation Graph (, )][DBLP]
   
   
8. 
   Merlin: specification inference for explicit information flow problems. [Citation Graph (, )][DBLP]
   
   
9. 
   Compositional may-must program analysis: unleashing the power of alternation. [Citation Graph (, )][DBLP]
   
   
10. 
    Bottom-Up Shape Analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    Alternation for Termination. [Citation Graph (, )][DBLP]
    
    
12. 
    Quantifying the effectiveness of testing via efficient residual path profiling. [Citation Graph (, )][DBLP]
    
    
13. 
    The YogiProject: Software Property Checking via Static Analysis and Testing. [Citation Graph (, )][DBLP]
    
    
14. 
    Automatically Refining Abstract Interpretations. [Citation Graph (, )][DBLP]
    
    
15. 
    Verification, Testing and Statistics. [Citation Graph (, )][DBLP]
    
    
16. 
    Combining Tests and Proofs. [Citation Graph (, )][DBLP]