3 citations · 7 across the 5 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.DC2013
IMSuite: A Benchmark Suite for Simulating Distributed Algorithms
Suyash Gupta, V. Krishna Nandivada
Considering the diverse nature of real-world distributed applications that makes it hard to identify a representative subset of distributed benchmarks, we focus on their underlying…
cs.FL2013
Lexical State Analyzer
Kartik Gupta, V. Krishna Nandivada
Lexical states provide a powerful mechanism to scan regular expressions in a context sensitive manner. At the same time, lexical states also make it hard to reason about the correc…