Travelled to:1 × Croatia
1 × Cyprus
1 × The Netherlands
2 × Canada
2 × Italy
3 × France
4 × USA
Collaborated with:G.Ramalingam G.Ramalingam V.P.Ranganath M.J.Thazhuthaveetil T.M.Chilimbi A.V.Nori R.Madhavan Y.N.Srikant P.J.Joseph D.Lo M.Costa S.K.Rajamani P.Prabhu M.J.Parkinson D.Vytiniotis Aaron Blankstein J.V.Deshmukh D.Qi A.Roychoudhury Z.Liang B.Liblit K.K.Mehra Piyus Kedia R.S.0001 A.Lal N.P.Lopes S.A.Seshia P.Deligiannis D.McDermott Jonathan Balkind
Talks about:path (5) profil (4) quantifi (3) program (3) analysi (3) safe (3) isol (3) algorithm (2) programm (2) tempor (2)
Person: Kapil Vaswani
DBLP: Vaswani:Kapil
Contributed to:
2013
20122011
2010
2010
2009
2009
2009
2012
200720072007
200620052009
201720162017Wrote 18 papers:
- POPL-2013-RamalingamV #fault tolerance
- Fault tolerance via idempotence (GR, KV), pp. 249–262.
- SAS-2012-MadhavanRV #analysis #composition #higher-order #source code
- Modular Heap Analysis for Higher-Order Programs (RM, GR, KV), pp. 370–387.
- SAS-2011-MadhavanRV #abstract interpretation #analysis
- Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.
- ESOP-2010-DeshmukhRRV #concurrent #logic #proving
- Logical Concurrency Control from Sequential Proofs (JVD, GR, VPR, KV), pp. 226–245.
- PLDI-2010-PrabhuRV #parallel #programmable
- Safe programmable speculative parallelism (PP, GR, KV), pp. 50–61.
- ASPLOS-2009-RajamaniRRV #named #source code
- ISOLATOR: dynamically ensuring isolation in comcurrent programs (SKR, GR, VPR, KV), pp. 181–192.
- ESEC-FSE-2009-QiRLV #approach #debugging #evolution #named #source code
- Darwin: an approach for debugging evolving programs (DQ, AR, ZL, KV), pp. 33–42.
- ICSE-2009-ChilimbiLMNV #debugging #effectiveness #named #performance #profiling #statistics
- HOLMES: Effective statistical debugging via efficient path profiling (TMC, BL, KKM, AVN, KV), pp. 34–44.
- WCRE-J-2009-LoRRV12 #algorithm #evaluation #mining #quantifier
- Mining quantified temporal rules: Formalism, algorithms, and evaluation (DL, GR, VPR, KV), pp. 743–759.
- CGO-2007-VaswaniTSJ #architecture #compilation #empirical #modelling #optimisation
- Microarchitecture Sensitive Empirical Models for Compiler Optimizations (KV, MJT, YNS, PJJ), pp. 131–143.
- ESEC-FSE-2007-ChilimbiNV #effectiveness #performance #profiling #testing
- Quantifying the effectiveness of testing via efficient residual path profiling (TMC, AVN, KV), pp. 545–548.
- POPL-2007-VaswaniNC #profiling
- Preferential path profiling: compactly numbering interesting paths (KV, AVN, TMC), pp. 351–362.
- HPCA-2006-JosephVT #analysis #linear #modelling #performance
- Construction and use of linear regression models for processor performance analysis (PJJ, KV, MJT), pp. 99–108.
- CGO-2005-VaswaniTS #hardware #profiling #programmable
- A Programmable Hardware Path Profiler (KV, MJT, YNS), pp. 217–228.
- WCRE-1999-LoRRV99a #algorithm #evaluation #mining #quantifier
- Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation (DL, GR, VPR, KV), pp. 62–71.
- OOPSLA-2017-ParkinsonVVCDMB #dot-net #memory management
- Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.
- PLDI-2016-0001CLLRSV #design #verification
- A design and verification methodology for secure isolated regions (RS0, MC, AL, NPL, SKR, SAS, KV), pp. 665–681.
- PLDI-2017-KediaCPVVB #memory management #performance
- Simple, fast, and safe manual memory management (PK, MC, MJP, KV, DV, AB), pp. 233–247.