Demo Data from EDBT 2026 / reviewers in the wild / expert
Nirmit Desai
dblp:20/4938 · also Nirmit V. Desai
· DBLP profile ↗
22ranked-venue papers
9as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 9 · 4 first-author · 1 since 2021Software engineering, systems software and programming languages · 9 · 3 first-authorDatabases, data management, data science and information retrieval · 4 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 4 · 3 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 1 first-author · 1 since 2021Systems, architecture and hardware · 2 · 2 first-authorComputer networks · 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.
| Software engineering, system software, and programming languages
5 papers |
Requirements engineering and software design · 52% Services computing and microservices · 35% Concurrent programming · 13% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% | |
| Artificial intelligence
1 paper |
Multi-agent systems · 100% |
Topics — the 9 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Services computing and microservices
business process management |
0.2 | 3 | 2008 | On the Enactability of Business Protocols · AAAI 2008 A Modular Action Description Language for Protocol Composition · AAAI 2007 Representing and Reasoning about Commitments in Business Processes · AAAI 2007 |
Requirements engineering and software design
business process modeling |
0.1 | 2 | 2009 | Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009 Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005 |
Requirements engineering and software design › business process modeling
cross-organizational business processes |
0.1 | 1 | 2009 | Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009 |
Requirements engineering and software design › requirements management
requirements evolution |
0.1 | 1 | 2009 | Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009 |
Logic in computer science › knowledge representation and reasoning › knowledge representation
action language |
0.1 | 1 | 2007 | A Modular Action Description Language for Protocol Composition · AAAI 2007 |
Concurrent programming
communication protocols |
0.1 | 1 | 2005 | Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005 |
Knowledge, reasoning and agents › Multi-agent systems › normative multi-agent systems
commitments |
0.0 | 1 | 2009 | Amoeba: A methodology for modeling and evolving cross-organizational business processes · ACM Trans. Softw. Eng. Methodol. 2009 |
Concurrent programming › concurrency theory › process calculi
pi-calculus |
0.0 | 1 | 2005 | Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005 |
Concurrent programming › concurrency theory
process calculi |
0.0 | 1 | 2005 | Interaction Protocols as Design Abstractions for Business Processes · IEEE Trans. Software Eng. 2005 |
Methods — techniques the papers use, named apart from their topics
protocol composition · 0.2amoeba methodology · 0.2pi-calculus · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Data-Prep-Kit: getting your data ready for LLM application developmentabstractData preparation is the first and a very important step towards any Large Language Model (LLM) development. This paper introduces an easy-to-use, extensible, and scale-flexible open-source data preparation toolkit called Data Prep Kit (DPK). DPK is architected and designed to enable users to scale their data preparation to their needs. With DPK they can prepare data on a local machine or effortlessly scale to run on a cluster with thousands of CPU Cores. DPK comes with a highly scalable, yet extensible set of modules that transform natural language and code data. If the user needs additional transforms, they can be easily developed using extensive DPK support for transform creation. These modules can be used independently or pipelined to perform a series of operations. In this paper, we describe DPK architecture and show its performance from a small scale to a very large number of CPUs. The modules from DPK have been used for the preparation of Granite Models [1] [2]. We believe DPK is a valuable contribution to the AI community to easily prepare data to enhance the performance of their LLM models or to fine-tune models with Retrieval-Augmented Generation (RAG). Boris Lublinsky, Alexy Roytman, Shivdeep Singh, Constantin Adam, Abdulhamid Adebayo, Sungeun An, Yuan Chi Chang, Xuan-Hong Dang, Nirmit Desai, Michele Dolfi, Hajar Emami-Gohari, Revital Eres, Takuya Goto, Dhiraj Joshi, Yan Koyfman, Mohammad Nassar, Hima Patel, Paramesvaran Selvam, Syed Yousaf Shah, Saptha Surendran, Daiki Tsuzuku, Petros Zerfos, Shahrokh Daijavad |
IEEE Big Data | 10 |
| 2020 | NeuralFP: Out-of-distribution Detection using Fingerprints of Neural NetworksabstractEdge devices use neural network models learnt on cloud to predict labels of its data records, which may lead to incorrect predictions especially for records that are different from the data involved in the training process, i.e., out-of-distribution (OOD) records. However, recent efforts in OOD detection either require the retraining of the model or assume the existence of a certain amount of OOD records, thus limiting their application in practice. In this work, we propose a novel OOD detection method (named as NeuralFP) without requiring any access to OOD records, which constructs non-linear fingerprints of neural network models memorizing the information of data observed during training. The key idea of NeuralFP is to exploit the difference in how the neural network model responds to data records in its training set versus data records that are anomalous. Specifically, NeuralFP builds autoencoders for each layer of the neural network model and then carefully analyzes the error distribution of the autocoders in reconstructing the training set to identify OOD records. Through extensive experiments on multiple real-world datasets, we show the effectiveness of NeuralFP in detecting OOD records as well as its advantages over previous approaches. Furthermore, we provide useful guidelines for parameter selection in the practical adoption of NeuralFP. Wei-Han Lee, Steve Millman, Nirmit Desai, Mudhakar Srivatsa, Changchang Liu |
ICPR | 3 |
| 2019 | Large-Scale Hybrid ad hoc Network for Mobile Platforms: Challenges and ExperiencesabstractPeer-to-peer (p2p) networks and Mobile ad hoc networks (MANET) have been widely studied. However, a real-world deployment for the masses has remained elusive. Ever-increasing density of mobile devices, especially in urban areas, has given rise to new applications of p2p communication. However, the modern smartphone platforms have limited support for such communications. Further, the issues of battery life, range, and trust remain unaddressed. A key question then is, what kinds of applications can the modern mobile platforms support and what challenges remain? This paper identifies a class of applications and presents a novel center-to-peer-to-peer (c2p2p) architecture called Mesh Network Alerts (MNA) to support them. We describe our experiences in deploying MNA as a real-world system to millions of users for relaying severe weather information along with the challenges faced, and the approaches for addressing them. Nirmit Desai, Wendy Chong, Heather D. Achilles, Shahrokh Daijavad, Thomas La Porta |
SMARTCOMP | 1 |
| 2019 | Neural Networks at the EdgeabstractAs neural networks gain importance with several successful applications of them, this paper raises the question of how they can be applied in the context of coalition operations. A key challenge in military coalition operations is that of energy and severe bandwidth constraints. We address this challenge by exploring the use of Deep Neural Networks (DNNs) and splitting them across multiple edge nodes. Further, we explore the idea of using spiking neural networks that can lower the energy consumption significantly. Preliminary results show that both these approaches can have significant impact on coalition operations. Deboleena Roy, Gopalakrishnan Srinivasan, Priyadarshini Panda, Richard Tomsett, Nirmit Desai, Raghu K. Ganti, Kaushik Roy 0001 |
SMARTCOMP | 5 |
| 2017 | Kinaara: Distributed Discovery and Allocation of Mobile Edge ResourcesabstractEdge computing is an increasingly popular paradigm, wherein computation comes closer to the sources of data. A key challenge for edge computing is discovering and utilizing the heterogeneous resources of the vast number of mobile devices at the network edge. Mobile edge devices hide behind private networks, they are mobile and their owners hesitate to share them due to privacy considerations. We propose Kinaara a framework for discovering and allocating collective resources for edge computing applications. First, Kinaara uses a multi-tier architecture to organize geographically proximal edge devices in clusters and provide their resources via trusted mediator entities. Second, it uses a novel resource representation to name and encode devices in terms of the resources advertised by their users. Third, it uses a novel distributed indexing scheme to organize devices in a proximal cluster on a ring logical structure based on their resource similarity. Our extensive experimental evaluation on a large Wi-Fi mobility dataset of 150K users and 345 APs show that compared to existing approaches Kinaara reduces resource discovery overhead by up to 70% and is robust to device mobility. Ahmed Salem 0002, Theodoros Salonidis, Nirmit Desai, Tamer Nadeem |
MASS | 3 |
| 2012 | A Method for Assessing Influence Relationships among KPIs of Service Systems
Yedendra Babu Shrinivasan, Gargi Dasgupta, Nirmit Desai, Jayan Nallacherry |
ICSOC | 3 |
| 2011 | Event-Based Monitoring of Process Execution Violations
Matthias Weidlich 0001, Holger Ziekow, Jan Mendling, Oliver Günther 0001, Mathias Weske, Nirmit Desai |
BPM | 6 |
| 2011 | Stochastic Optimization for Adaptive Labor Staffing in Service Systems
Prashanth L. A., H. L. Prasad, Nirmit Desai, Shalabh Bhatnagar, Gargi Dasgupta |
ICSOC | 3 |
| 2011 | Process compliance analysis based on behavioural profiles
Matthias Weidlich 0001, Artem Polyvyanyy, Nirmit Desai, Jan Mendling, Mathias Weske |
Inf. Syst. | 3 |
| 2010 | Process Compliance Measurement Based on Behavioural Profiles
Matthias Weidlich 0001, Artem Polyvyanyy, Nirmit Desai, Jan Mendling |
CAiSE | 3 |
| 2010 | Multidisciplinary Views of Business Contracts
Munindar P. Singh, Nirmit Desai |
ICSOC | 2 |
| 2010 | What Can Agent-Based Computing Offer Service-Oriented Architectures, and Vice Versa?
Wayne Wobcke, Nirmit Desai, Frank Dignum, Aditya Ghose, Srinivas Padmanabhuni, Biplav Srivastava |
PRIMA | 2 |
| 2009 | Amoeba: A methodology for modeling and evolving cross-organizational business processesabstractBusiness service engagements involve processes that extend across two or more autonomous organizations. Because of regulatory and competitive reasons, requirements for cross-organizational business processes often evolve in subtle ways. The changes may concern the business transactions supported by a process, the organizational structure of the parties participating in the process, or the contextual policies that apply to the process. Current business process modeling approaches handle such changes in an ad hoc manner, and lack a principled means for determining what needs to be changed and where. Cross-organizational settings exacerbate the shortcomings of traditional approaches because changes in one organization can potentially affect the workings of another. This article describes Amoeba, a methodology for business processes that is based on business protocols . Protocols capture the business meaning of interactions among autonomous parties via commitments. Amoeba includes guidelines for (1) specifying cross-organizational processes using business protocols, and (2) handling the evolution of requirements via a novel application of protocol composition. This article evaluates Amoeba using enhancements of a real-life business scenario of auto-insurance claim processing, and an aerospace case study. Nirmit Desai, Amit K. Chopra, Munindar P. Singh |
ACM Trans. Softw. Eng. Methodol. | 1 |
| 2008 | On the Enactability of Business Protocols
Nirmit Desai, Munindar P. Singh |
AAAI | 1 |
| 2007 | Representing and Reasoning about Commitments in Business Processes
Nirmit Desai, Amit K. Chopra, Munindar P. Singh |
AAAI | 1 |
| 2007 | A Modular Action Description Language for Protocol Composition
Nirmit Desai, Munindar P. Singh |
AAAI | 1 |
| 2007 | A Domain-Specific Language for Web APIs and Services Mashups
E. Michael Maximilien, Hernán Wilkinson, Nirmit Desai, Stefan Tai |
ICSOC | 3 |
| 2005 | Interaction Protocols as Design Abstractions for Business ProcessesabstractBusiness process modeling and enactment are notoriously complex, especially in open settings, where business partners are autonomous, requirements must be continually finessed, and exceptions frequently arise because of real-world or organizational problems. Traditional approaches, which attempt to capture processes as monolithic flows, have proven inadequate in addressing these challenges. We propose (business) protocols as components for developing business processes. A protocol is an abstract, modular, publishable specification of an interaction among different roles to be played by different participants. When instantiated with the participants' internal policies, protocols yield concrete business processes. Protocols are reusable and refinable, thus simplifying business process design. We show how protocols and their composition are theoretically founded in the phi;-calculus. Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh |
IEEE Trans. Software Eng. | 1 |
| 2004 | Protocol-Based Business Process Modeling and EnactmentabstractBusiness processes are conventionally modeled as monolithic flows that capture the desired business logic. However, developing process flows is challenging. Because a flow specifies what its participants should do, it restricts the autonomy of its participants, thus limiting their ability to exploit opportunities or accommodate exceptions according to their business preferences. We take a dual perspective wherein business processes are modeled as compositions of (instantiated) business protocols. Each business protocol specifies interactions among its partners; each protocol serves a unique business purpose, e.g., processing a payment or shipping an item. Thus, modularizing a monolithic business process via business protocols allows clear separation of concerns for modeling and enacting the process. We develop an approach in which protocols are compiled into local skeletal flows for each participant that can be fleshed out with local business logic as needed. Such flows are naturally distributed but can be enacted using commercial business flow engines. Thus, our protocol-based approach combines the benefit of improved modeling with simplified implementations. Nirmit Desai, Munindar P. Singh |
ICWS | 1 |
| 2004 | Transaction policies for service-oriented computing
Stefan Tai, Thomas A. Mikalsen, Eric Wohlstadter, Nirmit Desai, Isabelle Rouvellou |
Data Knowl. Eng. | 4 |
| 2004 | Scalable hierarchical locking for distributed systems
Nirmit Desai, Frank Mueller 0001 |
J. Parallel Distributed Comput. | 1 |
| 2003 | Scalable Distributed Concurrency Services for Hierarchical LockingabstractMiddleware components are becoming increasingly important as applications share computational resources in distributed environments. One of the main challenges in such environments is to achieve scalability of concurrency control. Existing concurrency protocols lack scalability. Scalability enables resource sharing and computing with distributed objects in systems with a large number of nodes. We have designed and implemented a novel, scalable and filly decentralized middleware concurrency control protocol. Our experiments on a Linux cluster indicate that an average number of three messages is required per lock request on a system with as many as 120, which is a logarithmic asymptote. At the same time, the response time for the requests scales linearly with the increase in concurrency level. A comparison to another scalable concurrency protocol shows that our protocol results in significantly superior asymptotic savings in message overhead and response time for large number of nodes. While our approach follows the specification of general CORBA concurrency services for large-scale data and object repositories, the principles are applicable to any distributed concurrency services and transaction models. The results of this work impact scalability for distributed computing facilities ranging from embedded computing with distributed objects over peer-to-peer computing environments to arbitrating accesses in very large database environments. Nirmit Desai, Frank Mueller 0001 |
ICDCS | 1 |