Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.
VLDB 2026 Research / reviewers in the wild / expert

Prakash Krishnamurthy

dblp:64/6967 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2001
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 50% Program verification · 50%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 50% Parallel and multicore computing · 50%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › random testing
property-based testing		 0.012001
The Specification and Testing of Quantified Progress Properties in Distributed Systems · ICSE 2001
Program verification
temporal logic		 0.012001
The Specification and Testing of Quantified Progress Properties in Distributed Systems · ICSE 2001
Distributed systems
distributed system specification		 0.012001
The Specification and Testing of Quantified Progress Properties in Distributed Systems · ICSE 2001
Parallel and multicore computing › concurrent programming
progress guarantees		 0.012001
The Specification and Testing of Quantified Progress Properties in Distributed Systems · ICSE 2001

Methods — techniques the papers use, named apart from their topics

temporal logic · 0.1CORBA · 0.1
YearPublicationVenuePosition
2001 The Specification and Testing of Quantified Progress Properties in Distributed Systems
abstract
There are two basic parts to the behavioral specification of distributed systems: safety and progress. In earlier work, we developed a tool to monitor progress properties of CORBA components specified using the temporal operator transient. In this paper, we address the specification and testing of transient properties that are quantified (over both bounded and unbounded domains). We categorize typical quantifications that arise in practical systems and discuss possible implementation strategies. We define functional transients, a subclass of quantified transient properties that can be monitored in constant space and time. We outline the design and implementation of a tool for testing these properties in CORBA components.
Prakash Krishnamurthy, Paolo A. G. Sivilotti
 ICSE1