Author

Sumit Kumar

1,105 papers · 1974–2026

1974peak 143 in 20242026

Frequent co-authors

Papers

showing 1–25 of 1,105 RSS

SPARK: a high-level synthesis framework for applying parallelizing compiler transformations

Sumit Kumar Gupta, Nikil Dutt, Rajesh K. Gupta +1 more

Hardware and Architecture · 27 Aug 2003 · cited 386× · DOI ↗ · more like this ·

This paper presents a modular and extensible high-level synthesis research system, called SPARK, that takes a behavioral description in ANSI-C as input and produces synthesizable register-transfer level VHDL. SPARK uses parallelizing compiler technology, developed previously, to enhance instruction-level parallelism and re-instruments it for high-level synthesis by incorporating ideas of mutual exclusivity of operations, resource sharing and hardware cost models. In this paper, we present the design flow through the SPARK system, a set of transformations that include speculative code motions and dynamic transformations and show how these transformations and other optimizing synthesis and compiler techniques are employed by a scheduling heuristic. Experiments are performed on two moderately complex industrial applications, namely MPEG-1 and the GIMP image processing tool. The results…

FAST TCP: from theory to experiments

Cheng Jin, David X. Wei, Steven H. Low +9 more

Computer Networks and Communications · IEEE Network · 2005 · cited 200× · DOI ↗ · more like this ·

We describe a variant of TCP, called FAST, that can sustain high throughput and utilization at multigigabits per second over large distances. We present the motivation, review the background theory, summarize key features of FAST TCP, and report our first experimental results.

Learning Transferable Cooperative Behavior in Multi-Agent Teams

Akshat Agarwal, Sumit Kumar, Katia Sycara

cs.LG · 4 Jun 2019 · cited 161× · arXiv ↗ · more like this ·

While multi-agent interactions can be naturally modeled as a graph, the environment has traditionally been considered as a black box. We propose to create a shared agent-entity graph, where agents and environmental entities form vertices, and edges exist between the vertices which can communicate with each other. Agents learn to cooperate by exchanging messages along the edges of this graph. Our proposed multi-agent reinforcement learning framework is invariant to the number of agents or entities present in the system as well as permutation invariance, both of which are desirable properties for any multi-agent system representation. We present state-of-the-art results on coverage, formation and line control tasks for multi-agent teams in a fully decentralized framework and further show that the learned policies quickly transfer to scenarios with different team sizes along with strong…

Scientists in wonderland: A report on visualization applications in the CAVE virtual reality environment

Carolina Cruz‐Neira, Jason Leigh, Michael E. Papka +9 more

Computer Graphics and Computer-Aided Design · 1993 · cited 146× · DOI ↗ · more like this ·

The authors present the experiences at the Electronic Visualization Laboratory (EVL) in introducing computational scientists to the use of virtual reality as a research tool. They describe the virtual environment, the CAVE. They then describe several applications currently being developed at EVL using the CAVE and conclude with a discussion on possible research paths to follow in making virtual reality an effective tool for visualization.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

The Xception model: A potential feature extractor in breast cancer histology images classification

Shallu Sharma, Sumit Kumar

Artificial Intelligence · ICT Express · 29 Nov 2021 · cited 137× · DOI ↗ · more like this ·

Computer-assisted pathology analysis is an emerging field in health informatics and extremely important for effective treatment. Herein, we demonstrated the ability of the pre-trained Xception model for magnification-dependent breast cancer histopathological image classification in contrast to handcrafted approaches. The Xception model and SVM classifier with the ‘radial basis function’ kernel has achieved the best and consistent performance with the accuracy of 96.25%, 96.25%, 95.74%, and 94.11% for 40X, 100X, 200X and 400X level of magnification, respectively. A comparison with existing state-of-the-art techniques has been conducted based on accuracy, recall, precision, F1 score, area under ROC and precision–recall curve evaluation metrics.

Longevity Hedging 101

Guy Coughlan, Marwa Khalaf-Allah, Yijing Ye +4 more

Demography · North American Actuarial Journal · April 2011 · cited 137× · DOI ↗ · more like this ·

Abstract Basis risk is an important consideration when hedging longevity risk with instruments based on longevity indices, since the longevity experience of the hedged exposure may differ from that of the index. As a result, any decision to execute an index-based hedge requires a framework for (1) developing an informed understanding of the basis risk, (2) appropriately calibrating the hedging instrument, and (3) evaluating hedge effectiveness. We describe such a framework and apply it to a U.K. case study, which compares the population of assured lives from the Continuous Mortality Investigation with the England and Wales national population. The framework is founded on an analysis of historical experience data, together with an appreciation of the contextual relationship between the two related populations in social, economic, and demographic terms. Despite the different demographic…

Logistic regression analysis of sample survey data

Georgia Roberts, Naresh Krishna Rao, Sumit Kumar

Statistics and Probability · Biometrika · 1987 · cited 134× · DOI ↗ · more like this ·

Standard chi-squared, X2 or likelihood ratio, G2, test statistics for logistic regression analysis, involving a binary response variable, are adjusted to take account of the survey design. These adjustments are based on certain generalized design effects. Logistic regression diagnostics to detect any outlying cell proportions in the table and influential points in the factor space are also developed, taking account of the survey design. Finally, the results are used to analyse some data from the October 1980 Canadian Labour Force Survey.

Photon

R. Ananthanarayanan, Venkatesh Basker, Sumit Kumar Das +7 more

Computer Networks and Communications · 22 Jun 2013 · cited 130× · DOI ↗ · more like this ·

Web-based enterprises process events generated by millions of users interacting with their websites. Rich statistical data distilled from combining such interactions in near real-time generates enormous business value. In this paper, we describe the architecture of Photon, a geographically distributed system for joining multiple continuously flowing streams of data in real-time with high scalability and low latency, where the streams may be unordered or delayed. The system fully tolerates infrastructure degradation and datacenter-level outages without any manual intervention. Photon guarantees that there will be no duplicates in the joined output (at-most-once semantics) at any point in time, that most joinable events will be present in the output in real-time (near-exact semantics), and exactly-once semantics eventually.

Modular verification of software components in C

Sagar Chaki, E. M. Clarke, Alex Groce +2 more

Computational Theory and Mathematics · 25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · cited 130× · DOI ↗ · more like this ·

We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompose the verification of large software systems into subproblems of manageable complexity. The decomposition reflects the modularity in the software design. We use weak simulation as the notion of conformance between the program and its specification. Following the abstract-verify-refine paradigm, our tool MAGIC first extracts a finite model from C source code using predicate abstraction and theorem proving. Subsequently, simulation is checked via a reduction to Boolean satisfiability. MAGIC is able to interface with several publicly available theorem provers and SAT solvers. We report experimental results with procedures from the Linux kernel and the OpenSSL toolkit.

Predicting Heart Rate Variations of Deepfake Videos using Neural ODE

Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz +4 more

Computer Vision and Pattern Recognition · October 2019 · cited 126× · DOI ↗ · more like this ·

Deepfake is a technique used to manipulate videos using computer code. It involves replacing the face of a person in a video with the face of another person. The automation of video manipulation means that deepfakes are becoming more prevalent and easier to implement. This can be credited to the emergence of apps like FaceApp and FakeApp, which allow users to create their own deepfake videos using their smartphones. It has hence become essential to detect fake videos, to avoid the spread of false information. A recent study shows that the heart rate of fake videos can be used to distinguish original and fake videos. In the study presented, we obtained the heart rate of original videos and trained the state-of-the-art Neural Ordinary Differential Equations (Neural-ODE) model. We then created deepfake videos using commercial software. The average loss obtained for ten original videos is…

Randomization Based Probabilistic Approach to Detect Trojan Circuits

Susmit Jha, Sumit Kumar Jha

Hardware and Architecture · December 2008 · cited 123× · DOI ↗ · more like this ·

In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be inserted into the design or fabrication mask by a malicious manufacturer such that it monitors for a specific rare trigger condition, and then it produces a payload error in the circuit which alters the functionality of the circuit often causing a catastrophic crash of the system where the chip was being used. Since trojans are activated by rare input patterns, they are stealthy by nature and are difficult to detect through conventional techniques of functional testing. In this paper, we propose a novel randomized approach to probabilistically compare the functionality of the implemented circuit with the design of the circuit. Using hypothesis testing, we provide quantitative guarantees when our algorithm…

A new chaotic Lévy flight distribution optimization algorithm for solving constrained engineering problems

Betül Sultan Yıldız, Sumit Kumar, Nantiwat Pholdee +3 more

Artificial Intelligence · Expert Systems · 23 Mar 2022 · cited 95× · DOI ↗ · more like this ·

Abstract This work proposed a new metaheuristic dubbed as Chaotic Lévy flight distribution (CLFD) algorithm, to address physical world engineering optimization problems that incorporate the chaotic maps in the elementary Lévy flight distribution (LFD). Hybridization aims to increase the LFD rate of convergence while also providing a problem‐free optimization approach. The proposed methodology is investigated for five case studies of constrained optimization issues followed by shape optimization of structural design. The outcomes from the CFLD algorithm are further contrasted with its fundamental version and other distinguished recently introduced algorithms. The computational analysis illustrates the dominance of CLFD over other considered optimizers. Moreover, the present investigation shows that CLFD is a robust technique that can efficiently find optimal mechanical design problems…

MOPGO: A New Physics-Based Multi-Objective Plasma Generation Optimizer for Solving Structural Optimization Problems

Sumit Kumar, Pradeep Jangir, Ghanshyam G. Tejani +2 more

Computational Theory and Mathematics · IEEE Access · 2021 · cited 94× · DOI ↗ · more like this ·

This paper proposes a new Multi-Objective Plasma Generation Optimization (MOPGO) algorithm, and its non-dominated sorting mechanism is investigated for numerous challenging real-world structural optimization design problems. The Plasma Generation Optimization (PGO) algorithm is a recently reported physics-based algorithm inspired by the generation process of plasma in which electron movement and its energy level are based on excitation modes, de-excitation, and ionization processes. As the search progresses, a better balance between exploration and exploitation has a more significant impact on the results; thus, the crowding distance feature is incorporated in the proposed MOPGO algorithm. Also, the proposed posteriori method exercises a non-dominated sorting strategy to preserve population diversity, which is a crucial problem in multi-objective meta-heuristic algorithms. In truss…

Coordinated parallelizing compiler optimizations and high-level synthesis

Sumit Kumar Gupta, Rajesh K. Gupta, Nikil Dutt +1 more

Hardware and Architecture · ACM Transactions on Design Automation of Electronic Systems · October 2004 · cited 92× · DOI ↗ · more like this ·

We present a high-level synthesis methodology that applies a coordinated set of coarse-grain and fine-grain parallelizing transformations. The transformations are applied both during a pre-synthesis phase and during scheduling, with the objective of optimizing the results of synthesis and reducing the impact of control flow constructs on the quality of results. We first apply a set of source level presynthesis transformations that include common sub-expression elimination (CSE), copy propagation, dead code elimination and loop-invariant code motion, along with more coarse-level code restructuring transformations such as loop unrolling. We then explore scheduling techniques that use a set of aggressive speculative code motions to maximally parallelize the design by re-ordering, speculating and sometimes even duplicating operations in the design. In particular, we present a new technique…

Comparative Study on Ant Colony Optimization (ACO) and K-Means Clustering Approaches for Jobs Scheduling and Energy Optimization Model in Internet of Things (IoT).

Sumit Kumar, Vijender Kumar Solanki, Saket Kumar Choudhary +2 more

Computer Networks and Communications · International Journal of Interactive Multimedia and Artificial Intelligence · 2 Feb 2020 · cited 84× · DOI ↗ · more like this ·

The concept of Internet of Things (IoT) was proposed by Professor Kevin Ashton of the Massachusetts Institute of Technology (MIT) in 1999. IoT is an environment that people understand in many different ways depending on their requirement, point of view and purpose. When transmitting data in IoT environment, distribution of network traffic fluctuates frequently. If links of the network or nodes fail randomly, then automatically new nodes get added frequently. Heavy network traffic affects the response time of all system and it consumes more energy continuously. Minimization the network traffic/ by finding the shortest path from source to destination minimizes the response time of all system and also reduces the energy consumption cost. The ant colony optimization (ACO) and K-Means clustering algorithms characteristics conform to the auto-activator and optimistic response mechanism of the…

Blockchain Technology and Artificial Intelligence Based Decentralized Access Control Model to Enable Secure Interoperability for Healthcare

Sumit Kumar Rana, Sanjeev Rana, Kashif Nisar +4 more

Information Systems · Sustainability · 2 Aug 2022 · cited 83× · DOI ↗ · more like this ·

Healthcare, one of the most important industries, is data-oriented, but most of the research in this industry focuses on incorporating the internet of things (IoT) or connecting medical equipment. Very few researchers are looking at the data generated in the healthcare industry. Data are very important tools in this competitive world, as they can be integrated with artificial intelligence (AI) to promote sustainability. Healthcare data include the health records of patients, drug-related data, clinical trials data, data from various medical equipment, etc. Most of the data management processes are manual, time-consuming, and error-prone. Even then, different healthcare industries do not trust each other to share and collaborate on data. Distributed ledger technology is being used for innovations in different sectors including healthcare. This technology can be incorporated to maintain…

TWO-STAGE FAULT LOCATION

P.G. Ryan, Sumit Kumar Rawat, W.K. Fuchs

Hardware and Architecture · 24 Aug 2005 · cited 82× · DOI ↗ · more like this ·

A two-stage procedure for locating VLSI faults is presented. The approach utilizes dynamic fault dictionaries, test set partitioning, and reduced fault lists to achieve a reduction in size and complexity over classic static fault dictionaries. An industrial implementation is reported in which faults were injected and diagnosed in a VLSI chip and the perjiormunce of two-stage fault location was measured.

A multi-strategy boosted prairie dog optimization algorithm for global optimization of heat exchangers

Dildar Gürses, Pranav Mehta, Sadiq M. Sait +2 more

Computational Theory and Mathematics · Materials Testing · 5 Jul 2023 · cited 78× · DOI ↗ · more like this ·

Abstract In this article, a new prairie dog optimization algorithm (PDOA) is analyzed to realize the optimum economic design of three well-known heat exchangers. These heat exchangers found numerous applications in industries and are an imperative part of entire thermal systems. Optimization of these heat exchangers includes knowledge of thermo-hydraulic designs, design parameters and critical constraints. Moreover, the cost factor is always a challenging task to optimize. Accordingly, total cost optimization, including initial and maintenance, has been achieved using multi strategy enhanced PDOA combining PDOA with Gaussian mutation and chaotic local search (MSPDOA). Shell and tube, fin-tube and plate-fin heat exchangers are a special class of heat exchangers that are utilized in many thermal heat recovery applications. Furthermore, numerical evidences are accomplished to confirm the…

Blockchain-Based Model to Improve the Performance of the Next-Generation Digital Supply Chain

Sumit Kumar Rana, Hee‐Cheol Kim, Subhendu Kumar Pani +4 more

Information Systems · Sustainability · 7 Sep 2021 · cited 76× · DOI ↗ · more like this ·

In the era of the fourth industrial revolution, all aspects of the industrial domain are being affected by emerging technologies. Digitalization of every process is taking place or under process. One of the most important components common to every domain is the supply chain process. Organizations employ a digital supply chain to track the delivery of their products or materials. The digital supply chain is still suffering from a few issues such as no provenance, less transparency, and a trust issue. Blockchain technology, one of the emerging technologies, can be integrated with the supply chain to deal with the existing issues and to improve its performance. In this paper, a model is proposed to integrate blockchain technology with the supply chain to improve performance. The proposed model uses the combination of the Ethereum blockchain and the interplanetary file system to maintain…

Verifying parameterized networks

E. M. Clarke, Orna Grümberg, Sumit Kumar Jha

Computational Theory and Mathematics · ACM Transactions on Programming Languages and Systems · September 1997 · cited 72× · DOI ↗ · more like this ·

This article describes a technique based on network grammars and abstraction to verify families of state-transition systems. The family of state-transition systems is represented by a context-free network grammar. Using the structure of the network grammar our technique constructs a process invariant that simulates all the state-transition systems in the family. A novel idea introduced in this article is the use of regular languages to express state properties. We have implemented our techniques and verified two nontrivial examples.

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting

Susmit Jha, Sumit Kumar Jha, Patrick Lincoln +3 more

Artificial Intelligence · June 2023 · cited 70× · DOI ↗ · more like this ·

Large language models (LLMs) such as ChatGPT have been trained to generate human-like responses to natural language prompts. LLMs use a vast corpus of text data for training, and can generate coherent and contextually relevant responses to a wide range of questions and statements. Despite this remarkable progress, LLMs are prone to hallucinations making their application to safety-critical applications such as autonomous systems difficult. The hallucinations in LLMs refer to instances where the model generates responses that are not factually accurate or contextually appropriate. These hallucinations can occur due to a variety of factors, such as the model’s lack of real-world knowledge, the influence of biased or inaccurate training data, or the model’s tendency to generate responses based on statistical patterns rather than a true understanding of the input. While these hallucinations…

MEMTIS: Efficient Memory Tiering with Dynamic Page Classification and Page Size Determination

Taehyung Lee, Sumit Kumar Monga, Changwoo Min +1 more

Information Systems · VTechWorks (Virginia Tech) · 3 Oct 2023 · cited 69× · DOI ↗ · more like this ·

The evergrowing memory demand fueled by datacenter workloads is the driving force behind new memory technology innovations (e.g., NVM, CXL). Tiered memory is a promising solution which harnesses such multiple memory types with varying capacity, latency, and cost characteristics in an effort to reduce server hardware costs while fulfilling memory demand. Prior works on memory tiering make suboptimal (often pathological) page placement decisions because they rely on various heuristics and static thresholds without considering overall memory access distribution. Also, deciding the appropriate page size for an application is difficult as huge pages are not always beneficial as a result of skewed accesses within them. We present Memtis, a tiered memory system that adopts informed decision-making for page placement and page size determination. Memtis leverages access distribution of allocated…

A Survey on Scheduling Algorithms for Wireless Sensor Networks

Sumit Kumar, Siddhartha Chauhan

Computer Networks and Communications · International Journal of Computer Applications · 30 Apr 2011 · cited 69× · DOI ↗ · more like this ·

Wireless sensor networks(WSN) have wide range of application such as traffic analysis, environmental monitoring, industrial process monitoring, and tactical systems. Large-scale wireless sensor networks are expected to play increasingly important role in future civilian and military application. Designing of MAC layer protocol for wireless sensor network is a challenging task due to limited battery power and limited bandwidth. Time Division Multiple Access Protocol solves both problems at the level of MAC layer. Various scheduling method for TDMA protocol with different objective have been proposed for wireless sensor networks. In this paper, we first outline the sensor network properties that are crucial for the design of TDMA protocols and then, we describe several TDMA protocols which are proposed for sensor networks. Finally, we point out open research issue with regard to TDMA…

Decentralized Model to Protect Digital Evidence via Smart Contracts Using Layer 2 Polygon Blockchain

Sumit Kumar Rana, Arun Kumar Rana, Sanjeev Rana +4 more

Information Systems · IEEE Access · 2023 · cited 67× · DOI ↗ · more like this ·

Modern legal proceedings heavily rely on digital evidence as a basis for decisions in a variety of contexts, including criminal investigations and civil lawsuits. However, factors like data alteration, unauthorised access, or flaws in centralised storage can threaten the security and integrity of digital evidence. We suggest a decentralised methodology for using smart contracts to safeguard digital evidence in order to overcome these issues. The decentralised model makes use of smart contracts and blockchain technology to guarantee the integrity, transparency, and immutability of digital evidence. The approach does not require a centralised authority because it makes use of a distributed ledger, which lowers the possibility of data loss or manipulation. Multiple parties participating in the evidence lifecycle can build confidence and accountability thanks to smart contracts’…

Reliable open spectrum communications through proactive spectrum access

Prashanth Aravinda Kumar Acharya, Sumit Kumar Singh, Hai-Tao Zheng

Computer Networks and Communications · 5 Aug 2006 · cited 67× · DOI ↗ · more like this ·

Open Spectrum systems offer an attractive solution to the reuse of under-utilized licensed spectrum. Existing proposals take a reactive sense-and-avoid approach to impulsively reconfigure spectrum usage without any knowledge of future dynamics. We propose a proactive spectrum access approach where secondary users utilize past observations to build predictive models on spectrum availability, and intelligently plan channel usage to maximize utilization and minimize disruptions to primary users. Based on the characteristics of TV-broadcast, we develop a simple availability metric and apply a usability filter to eliminate unreliable channels with heavy and frequent appearance of primary users. Our experimental results show that the proactive approach can significantly reduce the number of disruptions. We also observe a clear tradeoff between the disruption rate and the throughput at…