Semantics of an algorithm. - Krishna M. Kavi (SIGARCH Comput. Archit. News, 1980)

Innovative architectures and commercial computers: a summary of the panel discussion at NCC 1981. - Krishna M. Kavi (SIGARCH Comput. Archit. News, 1981)

HLL architectures: Pitfalls and predilections. - Krishna M. Kavi; Boumediene Belkhouche; Evelyn Bullard; Lois M. L. Delcambre; Stephen M. Nemecek (ISCA, 1982)

Effect of Declarations on Software Metrics: An Experiment in Software Science. - Krishna M. Kavi; U. B. Jackson (SCORE (1), 1982)

Message Repository Definitional Facility: An Architectural Model for Interprocess Communication. - Krishna M. Kavi; Edward W. Banios (ISCA, 1984)

Architecture quality. - Krishna M. Kavi; K. Krishnamohan (SIGARCH Comput. Archit. News, 1984)

A Formal Definition of Data Flow Graph Models. - Krishna M. Kavi; Bill P. Buckles; U. Narayan Bhat (IEEE Trans. Computers, 1986)

Architectural Support for Object Oriented Languages. - Krishna M. Kavi; Deng-Jyi Chen (COMPCON, 1987)

Isomorphisms Between Petri Nets and Dataflow Graphs. - Krishna M. Kavi; Bill P. Buckles; U. Narayan Bhat (IEEE Trans. Software Eng., 1987)

A review of specification and verification methods for parallel programs including the dataflow approach. - Akshay K. Deshpande; Krishna M. Kavi (Proc. IEEE, 1989)

An n-grid model for group authorization. - Wen-Gong Shieh; Bob P. Weems; Krishna M. Kavi (ACSAC, 1990)

A decomposition approach for analysis of parallel processing systems. - Krishna M. Kavi; S. R. Kuthalam; Akshay K. Deshpande (SPDP, 1990)

A Heterogeneous Distributed Processing Interface Specification Language. - David D. H. Lin; Behrooz A. Shirazi; Krishna M. Kavi (ICPP (2), 1991)

Stochastic Data flow Graph Models for the Reliability Analysis of Interconnection and Computer Networks. - Deng-Jyi Chen; Krishna M. Kavi (J. Inf. Sci. Eng., 1991)

Specification of concurrent processes using a dataflow model of computation and partially ordered events. - Krishna M. Kavi; Akshay K. Deshpande (J. Syst. Softw., 1991)

Real-time systems - abstractions, languages, and design methodologies. - Krishna M. Kavi (IEEE, 1992)

An Efficient Data Interface for Heterogeneous Distributed Environments. - David D. H. Lin; Behrooz A. Shirazi; Krishna M. Kavi (ICDCS, 1992)

A New Cache Coherency and Address Translation Consistency Protocol. - Jen-Tien Yen; Behrooz A. Shirazi; Krishna M. Kavi (ICPP (1), 1992)

Extending N-grid group authorization using compact encoding. - Wen-Gong Shieh; Bob P. Weems; Krishna M. Kavi (SAC, 1992)

SUVS: a distributed real-time system testbed for fault-tolerant computing. - Seung-Min Yang; Krishna M. Kavi; A. Agarwalla; M. Reddy; S. Anam (SAC, 1992)

Hierarchical Interconnection Networks: Routing Performance in the Presence of Faults. - Beomsu Kim; Hee Yong Youn; Krishna M. Kavi (SPDP, 1992)

Real-time systems design methodologies: An introduction and a survey. - Krishna M. Kavi; Seung-Min Yang (J. Syst. Softw., 1992)

Reliability Measurement: From Theory to Practice. - Frederick T. Sheldon; Krishna M. Kavi; Robert C. Tausworthe; James T. Yu; Ralph Brettschneider; William W. Everett (IEEE Softw., 1992)

Parallelism in Object-Oriented Languages: A Survey. - Barbara B. Wyatt; Krishna M. Kavi; Stephen P. Hufnagel (IEEE Softw., 1992)

PARSA: A Parallel Program Scheduling and Assessment Environment. - Behrooz A. Shirazi; Krishna M. Kavi; Ali R. Hurson; Prasenjit Biswas (ICPP (2), 1993)

Cache Design for an Explicit Token Store Data Flow Architecture. - Ponnarasu Shanmugam; Shirish Andhare; Krishna M. Kavi; Behrooz A. Shirazi (SPDP, 1993)

A Performability Model for Soft Real-Time Systems. - Krishna M. Kavi; Hee Yong Youn; Behrooz A. Shirazi; Ali R. Hurson (HICSS (2), 1994)

Improvements to the ETS Dynamic Dataflow Architecture. - Phenil Patadia; Vijay Karani; Krishna M. Kavi; Ponnarasu Shanmugam; Behrooz A. Shirazi; Ali R. Hurson (HICSS (1), 1994)

Specification of Stochastic Properties with CSP. - Krishna M. Kavi; Frederick T. Sheldon (ICPADS, 1994)

Loop Allocation Scheme for Multithreaded Dataflow Computers. - Ali R. Hurson; Joford T. Lim; Krishna M. Kavi; Behrooz A. Shirazi (IPPS, 1994)

Straggered Scheme: A Loop Allocation Policy. - Ali R. Hurson; Joford T. Lim; Behrooz A. Shirazi; Krishna M. Kavi (PARLE, 1994)

Reliability analysis of CSP specifications using Petri nets and Markov processes. - Krishna M. Kavi; Frederick T. Sheldon; Behrooz A. Shirazi; Ali R. Hurson (HICSS (2), 1995)

Design of Cache Memories for Multi-Threaded Dataflow Architecture. - Krishna M. Kavi; Ali R. Hurson; Phenil Patadia; Elizabeth Abraham; Ponnarasu Shanmugam (ISCA, 1995)

Cache memories in dataflow architecture. - Krishna M. Kavi; Ali R. Hurson (SPDP, 1995)

A loop allocation policy for DOACROSS loops. - Joford T. Lim; Ali R. Hurson; Krishna M. Kavi; Ben Lee (SPDP, 1996)

Cache Memories for Dataflow Systems. - Ali R. Hurson; Krishna M. Kavi; Behrooz A. Shirazi; Ben Lee (IEEE Parallel Distributed Technol. Syst. Appl., 1996)

Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. - Krishna M. Kavi; Frederick T. Sheldon; Sherman Reed (Int. J. Softw. Eng. Knowl. Eng., 1996)

Guest Editors' Introduction: Software Tools Assessment. - Krishna M. Kavi; Ez Nahouraii (IEEE Softw., 1996)

VL-STAG: An Allocation Policy for DOACROSS Loops. - Joford T. Lim; Ali R. Hurson; Krishna M. Kavi (Euro-PDS, 1997)

Multi-Threaded Systems: Issues, Solutions and Future. - Krishna M. Kavi; Ali R. Hurson (HICSS (1), 1997)

Parallelization of DOALL and DOACROSS Loops - A Survey. - Ali R. Hurson; Joford T. Lim; Krishna M. Kavi; Ben Lee (Adv. Comput., 1997)

Memory Latency And Thread Migration Challenges For Distributed Shared Memory Systems. - Krishna M. Kavi; William E. Cohen (HICSS (7), 1998)

Multithreaded Systems. - Krishna M. Kavi; Ben Lee; Ali R. Hurson (Adv. Comput., 1998)

Design of cache memories for dataflow architecture. - Krishna M. Kavi; Ali R. Hurson (J. Syst. Archit., 1998)

Cyclic Staggered Scheme: A Loop Allocation Policy for DOACROSS Loops. - Ali R. Hurson; Krishna M. Kavi; Joford T. Lim (IEEE Trans. Computers, 1998)

Concurrent Data Access in Mobile Heterogeneous Systems. - James B. Lim; Ali R. Hurson; Krishna M. Kavi (HICSS, 1999)

Fault-Tolerance Using Cache-Coherent Distributed Shared Memory Systems. - Diana Hecht; Krishna M. Kavi; Rhonda Kay Gaede; Constantine Katsinis (ISPAN, 1999)

A Decoupled Scheduled Dataflow Multithreaded Architecture. - Krishna M. Kavi; Hyong-Shik Kim; Joseph Arul; Ali R. Hurson (ISPAN, 1999)

Computer Systems Research: The Pressure Is On. - Krishna M. Kavi; James C. Browne; Anand Tripathi (Computer, 1999)

Shared memory and distributed shared memory systems: A survey. - Krishna M. Kavi; Hyong-Shik Kim; Ben Lee; Ali R. Hurson (Adv. Comput., 2000)

Execution and Cache Performance of the Scheduled Dataflow Architecture. - Krishna M. Kavi; Joseph Arul; Roberto Giorgi (J. Univers. Comput. Sci., 2000)

Multimedia File Allocation on VC Networks Using Multipath Routing. - Pao-Yuan Chang; Deng-Jyi Chen; Krishna M. Kavi (IEEE Trans. Computers, 2000)

Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications. - Krishna M. Kavi; Joseph Arul; Roberto Giorgi (PDCS, 2001)

Storage Allocation for Real-Time, Embedded Systems. - Steven M. Donahue; Matthew P. Hampton; Morgan Deters; Jonathan M. Nye; Ron Cytron; Krishna M. Kavi (EMSOFT, 2001)

File Allocation Algorithms to Minimize Data Transmission Time in Distributed Computing Systems. - Pao-Yuan Chang; Deng-Jyi Chen; Krishna M. Kavi (J. Inf. Sci. Eng., 2001)

Scheduled Dataflow: Execution Paradigm, Architecture, and Performance Evaluation. - Krishna M. Kavi; Roberto Giorgi; Joseph Arul (IEEE Trans. Computers, 2001)

Modeling Multithreaded Applications Using Petri Nets. - Krishna M. Kavi; Alireza Moshtaghi; Deng-Jyi Chen (Int. J. Parallel Program., 2002)

Visual requirement representation. - Deng-Jyi Chen; Wu-Chi Chen; Krishna M. Kavi (J. Syst. Softw., 2002)

Mutual Exclusion on Optical Buses. - Krishna M. Kavi; Dinesh P. Mehta (Parallel Process. Lett., 2002)

Utilization of Separate Caches to Eliminate Cache Pollution Caused by Memory Management Functions. - Mehran Rezaei; Krishna M. Kavi (PDCS, 2003)

Loop Transformation Techniques To Aid In Loop Unrolling and Multithreading. - Litong Song; Yuhua Zhang; Krishna M. Kavi (PDCS, 2003)

An Unfolding-Based Loop Optimization Technique. - Litong Song; Krishna M. Kavi; Ron Cytron (SCOPES, 2003)

A Study of Separate Array and Scalar Caches. - Afrin Naz; Krishna M. Kavi; Philip H. Sweany; Mehran Rezaei (HPCS, 2004)

Multi-Agent System Case Studies in Command and Control, Information Fusion and Datat Managment. - Frederick T. Sheldon; Thomas E. Potok; Krishna M. Kavi (Informatica (Slovenia), 2004)

What can we gain by unfolding loops? - Litong Song; Krishna M. Kavi (ACM SIGPLAN Notices, 2004)

An Efficient Non-Preemptive Real-Time Scheduling. - Wenming Li; Krishna M. Kavi; Robert Akl (PDCS, 2005)

Improving data cache performance with integrated use of split caches, victim cache and stream buffers. - Afrin Naz; Mehran Rezaei; Krishna M. Kavi; Philip H. Sweany (SIGARCH Comput. Archit. News, 2005)

Speculative Thread Execution in a Multithreaded Dataflow Architecture. - Wentong Li 003; Krishna M. Kavi; Afrin Naz; Philip H. Sweany (PDCS, 2006)

A Hardware Assisted High Performance PHK Memory Manager. - Wentong Li 003; Saraju P. Mohanty; Krishna M. Kavi (PDCS, 2006)

A Study of Reconfigurable Split Data Caches and Instruction Caches. - Afrin Naz; Krishna M. Kavi; Philip H. Sweany; Wentong Li 003 (PDCS, 2006)

Performance Enhancement by Eliminating Redundant Function Execution. - Peng Chen 012; Krishna M. Kavi; Robert Akl (Annual Simulation Symposium, 2006)

A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator. - Wentong Li 003; Saraju P. Mohanty; Krishna M. Kavi (IEEE Comput. Archit. Lett., 2006)

Tiny split data-caches make big performance impact for embedded applications. - Afrin Naz; Krishna M. Kavi; Wentong Li 003; Philip H. Sweany (J. Embed. Comput., 2006)

Intelligent memory manager: Reducing cache pollution due to memory management functions. - Mehran Rezaei; Krishna M. Kavi (J. Syst. Archit., 2006)

Making a case for split data caches for embedded applications. - Afrin Naz; Krishna M. Kavi; Mehran Rezaei; Wentong Li 003 (SIGARCH Comput. Archit. News, 2006)

A Methodology to Evaluate Agent Oriented Software Engineering Techniques. - Chia-En Lin; Krishna M. Kavi; Frederick T. Sheldon; Kris M. Daley; Robert K. Abercrombie (HICSS, 2007)

Estimate Validity Regions for Nearest Neighbor Queries. - Xing Gao; Ali R. Hurson; Krishna M. Kavi (ICSOFT (ISDM/EHST/DC), 2007)

Reconfigurable split data caches: a novel scheme for embedded systems. - Afrin Naz; Krishna M. Kavi; Jung-Hwan Oh 001; Pierfrancesco Foglia (SAC, 2007)

A non-preemptive scheduling algorithm for soft real-time systems. - Wenming Li; Krishna M. Kavi; Robert Akl (Comput. Electr. Eng., 2007)

Feasibility of decoupling memory management from the execution pipeline. - Wentong Li 003; Mehran Rezaei; Krishna M. Kavi; Afrin Naz; Philip H. Sweany (J. Syst. Archit., 2007)

A Non-blocking Multithreaded Architecture with Support for Speculative Threads. - Krishna M. Kavi; Wentong Li 003; Ali R. Hurson (ICA3PP, 2008)

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. - Raymond A. Paul; I-Ling Yen; Farokh B. Bastani; Jing Dong 005; Wei-Tek Tsai; Krishna M. Kavi; Arif Ghafoor; Jaideep Srivastava (ICSC, 2008)

Dataflow Computers: Their History and Future. - Ali R. Hurson; Krishna M. Kavi (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Real-Time Systems: An Introduction and the State-of-the-Art. - Krishna M. Kavi; Robert Akl; Ali R. Hurson (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Improving Uniformity of Cache Access Pattern using Split Data Caches. - Afrin Naz; Oluwayomi B. Adamo; Krishna M. Kavi; Tomislav Janjusic (PDCCS, 2009)

Smaller Split L-1 Data Caches for Multi-core Processing Systems. - Oluwayomi B. Adamo; Afrin Naz; Tommy Janjusic; Krishna M. Kavi; Chung-Ping Chung (ISPAN, 2009)

Evaluation of Techniques to Improve Cache Access Uniformities. - Izuchukwu Nwachukwu; Krishna M. Kavi; Fawibe Ademola; Chris Yan (ICPP, 2011)

Parabilis: Speeding up Single-Threaded Applications by Extracting Fine-Grained Threads for Multi-core Execution. - Fawibe Ademola; Oghenekarho Okobiah; Oleg Garitselov; Krishna M. Kavi; Izuchukwu Nwachukwu; Mohana Asha Latha Dubasi; Vinay R. Prabhu (ISPDC, 2011)

International Conference on Computational Science, ICCS 2011 Gleipnir: A Memory Analysis Tool. - Tomislav Janjusic; Krishna M. Kavi; Brandon Potter (ICCS, 2011)

New Memory Organizations for 3D DRAM and PCMs. - Ademola Fawibe; Jared Sherman; Krishna M. Kavi; Mike Ignatowski; David Mayhew (ARCS, 2012)

Trace Driven Data Structure Transformations. - Tomislav Janjusic; Krishna M. Kavi; Christos Kartsaklis (SC Companion, 2012)

A comparative analysis of performance improvement schemes for cache memories. - Krishna M. Kavi; Izuchukwu Nwachukwu; Ademola Fawibe (Comput. Electr. Eng., 2012)

A Multi-core Memory Organization for 3-D DRAM as Main Memory. - Jared Sherman; Krishna M. Kavi; Brandon Potter; Mike Ignatowski (ARCS, 2013)

VULCAN: Vulnerability Assessment Framework for Cloud Computing. - Patrick Kamongi; Srujan D. Kotikela; Krishna Kavi; Mahadevan Gomathisankaran; Anoop Singhal (SERE, 2013)

Finding Near-Optimum Message Scheduling Settings for SHA-256 Variants Using Genetic Algorithms. - Chu-Hsing Lin; Chen-Yu Lee; Krishna M. Kavi; Deng-Jyi Chen; Yi-Shiung Yeh (J. Inf. Sci. Eng., 2013)

Gleipnir: a memory profiling and tracing tool. - Tomislav Janjusic; Krishna M. Kavi (SIGARCH Comput. Archit. News, 2013)

3D DRAM and PCMs in Processor Memory Hierarchy. - Krishna M. Kavi; Stefano Pianelli; Giandomenico Pisano; Giuseppe Regina; Mike Ignatowski (ARCS, 2014)

Improving Node-Level MapReduce Performance Using Processing-in-Memory Technologies. - Mahzabeen Islam; Marko Scrbak; Krishna M. Kavi; Mike Ignatowski; Nuwan Jayasena (Euro-Par Workshops (2), 2014)

Trash in cache: detecting eternally silent stores. - Jonathan A. Shidal; Zachary Gottlieb; Ron K. Cytron; Krishna M. Kavi (MSPC@PLDI, 2014)

Characterizing Workload of Web Applications on Virtualized Servers. - Xiajun Wang; Song Huang; Song Fu; Krishna Kavi (BPOE@ASPLOS/VLDB, 2014)

Hardware and Application Profiling Tools. - Tomislav Janjusic; Krishna M. Kavi (Adv. Comput., 2014)

Potential Energy Savings through Eliminating Unnecessary Writes in the Cache-Memory Hierarchy. - Charles Shelor; Jim Buchanan; Krishna M. Kavi; Ron Cytron (Int. J. Comput. Their Appl., 2014)

Processing-in-Memory: Exploring the Design Space. - Marko Scrbak; Mahzabeen Islam; Krishna M. Kavi; Mike Ignatowski; Nuwan Jayasena (ARCS, 2015)

Ontology of Secure Service Level Agreement. - Chen-Yu Lee; Krishna M. Kavi; Raymond A. Paul; Mahadevan Gomathisankaran (HASE, 2015)

Recycling trash in cache. - Jonathan A. Shidal; Ari J. Spilo; Paul T. Scheid; Ron K. Cytron; Krishna M. Kavi (ISMM, 2015)

Concurrency, Synchronization, and Speculation - The Dataflow Way. - Krishna M. Kavi; Charles Shelor; Domenico Pace (Adv. Comput., 2015)

Optimus: Framework of Vulnerabilities, Attacks, Defenses and SLA Ontologies. - Chen-Yu Lee; Patrick Kamongi; Krishna Kavi; Mahadevan Gomathisankaran (Int. J. Next Gener. Comput., 2015)

Memory organizations for 3D-DRAMs and PCMs in processor memory hierarchy. - Krishna M. Kavi; Stefano Pianelli; Giandomenico Pisano; Giuseppe Regina; Mike Ignatowski (J. Syst. Archit., 2015)

Prefetching as a Potentially Effective Technique for Hybrid Memory Optimization. - Mahzabeen Islam; Soumik Banerjee; Mitesh R. Meswani; Krishna M. Kavi (MEMSYS, 2016)

HBM-Resident Prefetching for Heterogeneous Memory System. - Mahzabeen Islam; Krishna M. Kavi; Mitesh R. Meswani; Soumik Banerjee; Nuwan Jayasena (ARCS, 2017)

DVFS Space Exploration in Power Constrained Processing-in-Memory Systems. - Marko Scrbak; Joseph L. Greathouse; Nuwan Jayasena; Krishna M. Kavi (ARCS, 2017)

Dataflow based Near Data Computing Achieves Excellent Energy Efficiency. - Charles Shelor; Krishna M. Kavi (HEART, 2017)

Exploring the Processing-in-Memory design space. - Marko Scrbak; Mahzabeen Islam; Krishna M. Kavi; Mike Ignatowski; Nuwan Jayasena (J. Syst. Archit., 2017)

3D-DRAM Performance for Different OpenMP Scheduling Techniques in Multicore Systems. - Shashank Adavally; Krishna Kavi (HPCC/SmartCity/DSS, 2018)

Reconfigurable dataflow graphs for processing-in-memory. - Charles F. Shelor; Krishna M. Kavi (ICDCN, 2019)

ExPress: Simultaneously Achieving Storage, Execution and Energy Efficiencies in Moderately Sparse Matrix Computations. - Shashank Adavally; Nagendra Gulur; Krishna Kavi; Alex Weaver; Pranoy Dutta; Benjamin Wang (MEMSYS, 2020)

Towards Application-Specific Address Mapping for Emerging Memory Devices. - Shashank Adavally; Krishna Kavi (MEMSYS, 2020)

CHASM: Security Evaluation of Cache Mapping Schemes. - Fernando Mosquera; Nagendra Gulur; Krishna Kavi; Gayatri Mehta; Hua Sun 001 (SAMOS, 2020)

On-the-fly Page Migration and Address Reconciliation for Heterogeneous Memory Systems. - Mahzabeen Islam; Shashank Adavally; Marko Scrbak; Krishna Kavi (ACM J. Emerg. Technol. Comput. Syst., 2020)

Dynamically Adapting Page Migration Policies Based on Applications' Memory Access Behaviors. - Shashank Adavally; Mahzabeen Islam; Krishna Kavi (ACM J. Emerg. Technol. Comput. Syst., 2021)

Sparse-T: Hardware Accelerator Thread for Unstructured Sparse Data Processing. - Pranathi Vasireddy; Krishna Kavi; Gayatri Mehta (ICCAD, 2022)

HETEROGENEOUS ARCHITECTURE FOR SPARSE DATA PROCESSING. - Shashank Adavally; Alex Weaver; Pranathi Vasireddy; Krishna Kavi; Gayatri Mehta; Nagendra Gulur (IPDPS Workshops, 2022)

Memory-Side Acceleration and Sparse Compression for Quantized Packed Convolutions. - Alex Weaver; Krishna Kavi; Pranathi Vasireddy; Gayatri Mehta (SBAC-PAD, 2022)

NextGen-Malloc: Giving Memory Allocator Its Own Room in the House. - Ruihao Li 002; Qinzhe Wu; Krishna Kavi; Gayatri Mehta; Neeraja J. Yadwadkar; Lizy K. John (HotOS, 2023)

Performance Implications of Async Memcpy and UVM: A Tale of Two Data Transfer Modes. - Ruihao Li 002; Sanjana Yadav; Qinzhe Wu; Krishna Kavi; Gayatri Mehta; Neeraja J. Yadwadkar; Lizy K. John (IISWC, 2023)

Streaming Sparse Data on Architectures with Vector Extensions using Near Data Processing. - Pranathi Vasireddy; Krishna Kavi; Alex Weaver; Gayatri Mehta (MEMSYS, 2023)

Guard Cache: Creating False Cache Hits and Misses To Mitigate Side-Channel Attacks. - Fernando Mosquera; Krishna Kavi; Gayatri Mehta; Lizy K. John (SVCC, 2023)

Guard Cache: Creating Noisy Side-Channels. - Fernando Mosquera; Krishna Kavi; Gayatri Mehta; Lizy K. John (IEEE Comput. Archit. Lett., 2023)

Granularity- and Interference-Aware GPU Sharing with MPS. - Alex Weaver; Krishna Kavi; Dejan S. Milojicic; Rolando Pablo Hong Enriquez; Ninad Hogade; Alok Mishra 002; Gayatri Mehta (SC Workshops, 2024)

SecurityCloak: Protection against cache timing and speculative memory access attacks. - Fernando Mosquera; Ashen Ekanayake; William Hua; Krishna Kavi; Gayatri Mehta; Lizy Kurian John (J. Syst. Archit., 2024)

CADOSys: Cache Aware Design Space Optimization for Spatial ML Accelerators. - Ruihao Li 002; Siyuan Ma; Krishna Kavi; Gayatri Mehta; Neeraja J. Yadwadkar; Lizy K. John (ACM Great Lakes Symposium on VLSI, 2025)