Search the dblp DataBase

Publications of Author

1. Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant
   A Programmable Hardware Path Profiler. [Citation Graph (0, 0)][DBLP]
   CGO, 2005, pp:217-228 [Conf]
   
2. Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant, P. J. Joseph
   Microarchitecture Sensitive Empirical Models for Compiler Optimizations. [Citation Graph (0, 0)][DBLP]
   CGO, 2007, pp:131-143 [Conf]
   
3. P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil
   A Predictive Performance Model for Superscalar Processors. [Citation Graph (0, 0)][DBLP]
   MICRO, 2006, pp:161-170 [Conf]
   
4. 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]
   
5. Kapil Vaswani, Y. N. Srikant
   Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler. [Citation Graph (0, 0)][DBLP]
   IEE Proceedings - Software, 2003, v:150, n:5, pp:296-302 [Journal]
   
6. 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]
   
7. 
   ISOLATOR: dynamically ensuring isolation in comcurrent programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Logical Concurrency Control from Sequential Proofs. [Citation Graph (, )][DBLP]
   
   
9. 
   Construction and use of linear regression models for processor performance analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    HOLMES: Effective statistical debugging via efficient path profiling. [Citation Graph (, )][DBLP]
    
    
11. 
    Safe programmable speculative parallelism. [Citation Graph (, )][DBLP]
    
    
12. 
    Quantifying the effectiveness of testing via efficient residual path profiling. [Citation Graph (, )][DBLP]
    
    
13. 
    Darwin: an approach for debugging evolving programs. [Citation Graph (, )][DBLP]
    
    
14. 
    Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. [Citation Graph (, )][DBLP]