Surender Baswana, Manoj Gupta, Sandeep Sen. Fully Dynamic Maximal Matching in O(log n) time. SIAM J. Comput.
SIAM J. Comput., 27 July to 31 December 2015Surender Baswana, Keerti Choudhary, Liam Roditty. Fault Tolerant Reachability for Directed Graphs. DISC 2015.
DISC, Tokyo, 7 October to 9 October 2015Surender Baswana and Keerti Choudhary. On Dynamic DFS Tree in Directed Graphs. MFCS 2015.
Mathematical Foundations of Computer Science, Milano, Italy, August 24-28John Narayan, Sandeep K. Shukla, and T. Charles Clancy. 2015. A Survey of Automatic Protocol Reverse Engineering Tools. ACM Comput. Surv. 48, 3, Article 40 (December 2015), 26 pages. DOI=http://dx.doi.org/10.1145/2840724
ACM Computing Surveys, Vol. 48, Issue. 3Anshul Garg and Subhajit Roy. Synthesizing Heap Manipulations via Integer Linear Programming. SAS 2015.
Static Analysis Symposium, Saint Malo, France, September 9-11Rodney G. Downey, Satyadev Nandakumar and André Nies. Multiple Recurrence and Algorithmic Randomness. CCR 2015.
CCR, HeidelbergSubhabrata Debnath, Anjan Banerjee and Vinay P. Namboodiri. Adapting RANSAC SVM to detect outliers for Robust Classification. BMVC 2015.
British Machine Vision Conference, Swansea, UK, September 7-10Sudhanshu Shukla and Mainak Chaudhuri. Pool Directory: Efficient Coherence Tracking with Dynamic Directory Allocation in Many-core Systems. ICCD 2015.
33rd IEEE International Conference on Computer Design, New York City, USA, October 18-21
Research Areas | Publications | SIGTACS | SESRes | SIGDATA | SURGE | SIGML | Vision