Follow
Vineet Singh
Title
Cited by
Cited by
Year
Method and system of determining differential promotion allocations
C Santos, D Beyer, T Shahoumian, B Iqbal, H Crowder, V Singh
US Patent App. 09/851,514, 2002
1872002
Method and apparatus to sense and multicast window events to a plurality of existing applications for concurrent execution
MC Hao, AH Karp, V Singh
US Patent 5,742,778, 1998
1181998
Real time electronic service interaction management system and method
WK Wilkinson, V Singh, DM Beyer
US Patent 7,016,936, 2006
512006
MG++: Memory graphs for analyzing dynamic data structures
V Singh, R Gupta, I Neamtiu
2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015
92015
Proving concurrent data structures linearizable
V Singh, I Neamtiu, R Gupta
2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016
72016
Automatic fault location for data structures
V Singh, R Gupta, I Neamtiu
Proceedings of the 25th International Conference on Compiler Construction …, 2016
22016
An Adaptive, Load Balancing Parallel Join Algorithm
V Singh, M Amin, D Schneider
Technical Report HPL-95-46, Hewlett-Packard Labs, 1995
21995
User Assisted Data Structure Debugging and Verification
V Singh
University of California, Riverside, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–8