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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Vivek Nirkhe

dblp:15/4536 · DBLP profile ↗
← Back
5ranked-venue papers
4as first author
0since 2021 · last 1993
—ORCID · none

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

Applied, interdisciplinary, general and emerging computing · 2 · 2 first-authorSystems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1Theory of computation · 1

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.

Computer architecture, parallel and distributed computing, and storage systems
3 papers
Embedded and real-time systems · 100%
Software engineering, system software, and programming languages
2 papers
Compilers and program optimization · 65% Programming languages and type systems · 35%

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

TopicWeightPapersLastEvidence papers
Compilers and program optimization
partial evaluation		 0.021992
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems · POPL 1992
A partial evaluator for the Maruti hard real-time system · RTSS 1991
Programming languages and type systems › programming paradigms
imperative languages		 0.011992
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems · POPL 1992
Embedded and real-time systems
worst-case execution time analysis		 0.011991
A partial evaluator for the Maruti hard real-time system · RTSS 1991
Embedded and real-time systems › real-time scheduling
prescheduling		 0.011990
Language Support for the Maruti Real-Time System · RTSS 1990
Embedded and real-time systems
real-time programming languages		 0.011990
Language Support for the Maruti Real-Time System · RTSS 1990
Embedded and real-time systems
real-time scheduling		 0.011990
Language Support for the Maruti Real-Time System · RTSS 1990
Embedded and real-time systems › real-time embedded systems
hard real-time systems		 0.021992
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems · POPL 1992
A partial evaluator for the Maruti hard real-time system · RTSS 1991

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

partial evaluation · 0.0language constructs for time constraints · 0.0
YearPublicationVenuePosition
1993 A Partial Evaluator for the Maruti Hard Real-Time System
Vivek Nirkhe, William W. Pugh
 Real Time Syst.1
1992 Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems
abstract
Article Free Access Share on Partial evaluation of high-level imperative programming languages with applications in hard real-time systems Authors: Vivek Nirkhe View Profile , William Pugh View Profile Authors Info & Claims POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languagesFebruary 1992 Pages 269–280https://doi.org/10.1145/143165.143223Published:01 February 1992Publication History 25citation374DownloadsMetricsTotal Citations25Total Downloads374Last 12 Months15Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Vivek Nirkhe, William W. Pugh
 POPL1
1992 A Discrete-State Model of the Two-Headed Disk
Scott D. Carson, Vivek Nirkhe, Paul Vongsathorn
 Inf. Process. Lett.2
1991 A partial evaluator for the Maruti hard real-time system
abstract
The use of high-level programming constructs makes it difficult to estimate at compile-time the execution time and resource requirements of a program. The authors contend that partial evaluation provides a solution to this problem. They describe the application of partial evaluation to programming languages for hard-real-time systems and give examples of programs handled by the techniques. They discuss how the system appears from a user's perspective, provide a brief overview of the partial evaluation techniques used, and describe some limitations of the techniques and possible solutions. >
Vivek Nirkhe, William W. Pugh
 RTSS1
1990 Language Support for the Maruti Real-Time System
abstract
Maruti is a testbed for the design of time-driven hard real-time systems. It uses the technique of prescheduling, where the application is scheduled prior to execution and resources required by the application are reserved, in order to ensure that deadlines are met. A description is given of the features of MPL, a language for Maruti. MPL provides constructs for expressing time constraints, precedence relations, and synchronization directly in the programs. The MPL features are designed to facilitate prescheduling.>
Vivek Nirkhe, Satish K. Tripathi, Ashok K. Agrawala
 RTSS1