Krishna M. Kavi

Previous Scheduled Teaching

Published Intellectual Contributions

Book

• Kavi, K.M. (1992). IEEE CS Tutorial on Real-Time Systems: Abstractions, Languages and Design Methodologies. IEEE Computer Society Press.

Book Chapter

• Shelor, C., Pace, D., Kavi, K.M. (2015). Concurrency, Synchronization, Speculation - the Dataflow way, Advances in Computers. Advances in Computers. 96 47-104. Elsevier.
• Janjusic , T., Kavi, K.M. (2014). Hardware and application profiling tools - a survey, Advances in Computers. 12 (1) 105-160. Elsevier.
• Paul, R., Yen, I.L., Bastani, F., Tsai, W.T., Kavi, K.M., Ghafoor , A., Srivastava, J., Sheu, C. (2008). An ontology-based integrated assessment framework for high-assurance systems. Semantic Computing.
• Hurson, A.R., Kavi, K.M. (2008). Dataflow Revival " a renewed interest in dataflow architecture". Wiley Encyclopedia of Computer Science.
• Kavi, K.M., Akl, R., Hurson, A.R. (2008). Real-Time Systems: An introduction and the state-of-the-art. Wiley Encyclopedia of Computer Science.
• Kavi, K.M., Akl, R. (2007). Modeling and Analysis using Computational Tools. Queuing Theory: Modeling and Analysis by U. Narayan Bhat. Boston, Birkhauser.
• Kavi, K.M., Kim, H.S., Lee, B., Hurson, A., Zerkowitz, M. (2000). Distributed Shared Memory Systems: A survey. Advances in Computers. 53 55-108. Academic Press.
• Kavi, K.M., Lee, B., Hurson, A., Zerkowitz, M. (1998). Multithreaded systems: A survey. Advances in Computers. 46 287-327. Academic Press.
• Kavi, K.M., Lin, T.C., Law, A.G., Wang, C.L. (1990). Reliability analysis using dataflow graph models and approximate solution. Approximation, Optimization and Computing. 105-109. New York, North-Holland/Elsevier.

Conference Proceeding

• Li, R., Yadav, S., Wu, Q., Kavi, K.M., Mehta, G., Yadwadkar, N.J., John, L.K. Performance implications of Async Memcpy and UVM: A tale of two data transfer modes. Ghent, 2023 IEEE International Symposium on Workload Characterization (IISCW-2023).
• Vasireddy, P., Kavi, K.M., Weaver, A., Mehta, G. (2023). Streaming Sparse Data on Architectures with Vector Extensions using Near Data Processing. ACM.
• Li, R.H., Wu, Q., Kavi, K.M., Mehta, G., Yadwadkar, N., John, L. (2023). NextGen-Malloc: Giving Memory Allocator Its Own Room in the House. 6. New York, ACM 19th Workshop on Hot Topics in Operating Systems.
• Mosquera, F., Kavi, K.M., Mehta, G., John, L. (2023). Creating False Cache Hits and Misses To Mitigate Side-Channel Attacks. IEEE Proceesings of the Silicon Valley Cybsersecurity Conference (SVCC 2023).
• Weaver, A., Kavi, K.M., Vasireddy, P., Mehta, G. (2022). Memory-side acceleration and sparse compression for quantized packed convolutions. IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-2022).
• Vasireddy, P., Kavi, K.M., Mehta, G. (2022). HHT: Hardware accelerator thread for unstructured sparse data processing. Washington, DC, IEEE/ACM.
• Vasireddy, P., Kavi, K.M., Mehta, G. (2022). Sparse-T: Hardware accelerator thread for unstructured sparse data processing. San Diego, IEEE/ACM International Conference on Computer Aided Design (ICCAD-2022).
• Adavally, S., Kavi, K., Mehta, G. (2021). Subpage Migration in Heterogeneous Memory Systems. Proceedings of the 2nd Workshop on Heterogeneous Memory Systems (HMEM-2021), Colocated with ICS 2021.
• Adavally, S., Kavi, K.M. (2021). Subpage migration in heterogeneous memory systems. 2nd Workshop on Heterogeneous Memory Systems (HMEM-2021), Colocated with ICS 2021.
• Yanambaka, V., Brown, N., Ting, D., Kavi, K.M. (2020). Offensive and Defensive Perspectives in Additive Manufacturing Security. 2020 Porto, International Conference on Software Engineering Advances (ICSEA-2020).
• Adavally, S., Gulur, N., Kavi, K.M., Weaver, A., Dutta, P., Wang, B. (2020). ExPress: Simultaneously Achieving Storage, Performance andEnergy Efficiencies in Sparse Matrix Computations. ACM.
• Adavally, S., Kavi, K.M. (2020). Towards Automating Application-Specific Address Mapping for Emerging Memory Devices. ACM.
• Mosquera, F., Gulur, N., Kavi, K.M., Mehta, G., Sun, H. (2020). CHASM: Security Evaluation of Cache Mapping Schemes. International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.
• Mosquera, F., Gulur, N., Kavi, K.M., Mehta, G., Sun, H. (2020). CHASM: Security Evaluation of Cache Mappings Schemes. pp 245-261. Samos Island, Greece, International Conference on Embedded Computer Systems: Architecture, Modeling and Simulation (SAMOS 2020). https://samos-conference.com/Drupal/?q=node/4
• Yanambaka, R., Maheshwari, R., Kavi, K.M. (2019). Requirements traceability in CPS using Semantic Inference. 7. Valencea, Spaina, International Conference on Software Engineering Advances (ICSEA-2019).
• Yanambaka, R., Maheshwari, R., Kavi, K.M. (2019). SIMON: Semantic Inference Model for Security in CPS using Ontologies (Received Best Paper Award). 8 pages. Valencia, International Conference on Software Engineering Advances (ICSEA-2019), IARIA.
• Adavally , S., Kavi, K.M. (2019). Improving Performance of Sparse and Dense Matrices using a Specialized Load-Store Unit. 6 pages. Zhanggiajie, China, IThe 21st IEEE International Conference on High Performance Computing and Communications (HPCC-2019). http://csee.hnu.edu.cn/hpcc2019/
• Shelor, C., Kavi, K.M. (2019). Reconfigurable Dataflow Graphs For Processing-In-Memory. 110-119. ACM International Conference on Distributed Computing and Networking (ICDCN-2019).
• Yanambaka, R., Kamongi, P., Kavi, K. (2018). An Ontology-Driven Framework for Security and Resiliency in Cyber Physical Systems. 7 pages. International Conference on Software Engineering Advances (ICSEA 2018), Published by IARIA.
• Adavally, S., Kavi, K.M. (2018). 3D-DRAM performance for different OpenMP scheduling techniques in multicore systems. Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications. 675-683. IEEE.
• Yanambaka, R., Kavi, K.M. (2017). CLIPS: Customized levels of IoT privacy and security. 7 pages. Athens, Proceedings of the 12th International Conference on Softare Engineering Advances (ICSEA-2017).
• Shelor, C., Kavi, K.M. (2017). Dataflow based near data computing achieves excellent energy efficiency. 7 pages. Bochum, International symposium on Highly-Efficient Accelerators and Reconfigurable Technologies (HEART 2017).
• Scrbak, M., Kavi, K.M., Greathouse, J., Jayasena, N. (2017). DVFS Space Exploration in Power Constrained Processing-in-Memory Systems. 12 pages.
• Islam, M., Kavi, K.M., Meswani, M., Banerjee, S., Jayasena, N. (2017). HBM-Resident prefetching for heterogeneous memory systems. 12 pages.
• Islam, M., Banerjee, S., Meswani, M., Kavi, K.M. (2016). Prefetching as a potentially effective technique for hybrid memory optimization. Washington, DC, Proceedings of the International Symposium on Memory Systems (MEMSYS 16).
• Kamongi, P., Kavi, K.M. (2016). Predicting unknown vulnerabilities using software metrics and maturity models. The 8th International conferences on software engineering advances (ICSEA-2016).
• Gopalakrishnan, A., Kavi, K.M. (2016). Probabilistic analysis of contracting Ebola virus using contextual intelligence. Las Vegas, Proceedings of the 2nd International conference on health informatics and medical systems (HiMS'16).
• Shelor, C., Kavi, K.M., Adavally, S. (2015). Dataflow based near-data processing using coarse grained reconfigurable logi. Waikiki, HI, 3rd Workshop on Near-Data Processing (WoNdp-3).
• Shelor , C., Kavi, K.M. (2015). Moola: Multicore Cache Simulator. 30th International Conference on Computers and Their Applications (CATA-2015) Honolulu, Hawaii. http://csrl.cse.unt.edu/~kavi/Research/CATA-2015.pdf
• Lee., C., Kavi, K.M., Paul, R., Gomathisankaran, M. (2015). Ontology of secure service level agreement. 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015). http://csrl.cse.unt.edu/~kavi/Research/HASE-2015.pdf
• Scrbak, M., Islam, M., Kavi, K.M., Ignatowski, M., Jayasena, N. (2015). Processing-in-Memory: Exploring the design Space. 28th International Conference on the Architecture of Computer Systems (ARCS-2015). http://csrl.cse.unt.edu/~kavi/Research/ARCS-2015.pdf
• Lee, C., Kavi, K.M. (2015). Evaluation of Security Service Level Agreements. Barcelona, Tenth International Conference on Software Engineering Advances (ICSEA 2015).
• Shidal, J., Spilo, A.J., Scheid, P.T., Cytron, R., Kavi, K.M. (2015). Recycling trash in cache. Portland, Proceedings of the International Symposium on Memory Management (ISMM-2015).
• Kamongi, P., Gomathisankaran, M., Kavi, K.M. (2014). 6th ASE International Conference on Privacy, Security, Risk and Trust (PASSAT-2014). http://csrl.cse.unt.edu/~kavi/Research/PSSAT-2014.pdf
• Kavi, K.M., Pianelli, S., Pisano, G., Regina, G., Ignatowski, M. (2014). 3D DRAM and PCMs in processor memory hierarchy, International conference on the Architecture of Computer Systems (ARCS-2014), Feb. 2014. International conference on the Architecture of Computer Systems (ARCS-2014), Feb. IEEE.
• Wang, X., Fu, S., Kavi, K.M. (2014). Characterizing workload of web applications on virtualized servers, BPOE-4: the fourth workshop on Big data benchmarks, Performance Optimizations and Emerging hardware. Held in conjunction with ASPLOS-2014, Salt Lake City, UT, March 1, 2014. ACM.
• Lee, C., Kavi, K.M., Gomathisankaran, M. (2014). Component rejuvenation for security in Cloud services. Proceedings of the 2014 International conference on Security and Management (SAM'14), July 21-24, Las Vegas, USA. IEEE.
• Lee, C., Kavi, K.M., Gomathisankaran, M. (2014). Ontology based privacy setting transfer scheme on social networking systems. Proceedings of the 2014 International conference on Security and Management (SAM'14), July 21-24, Las Vegas, USA. IEEE.
• Lin, C., Kavi, K.M. (2014). Performance engineering using performance anti-patterns. 9th International Conference on Software Engineering Advances (ICSEA-2014), Oct. 12-16, Nice, France. IARIA. http://csrl.cse.unt.edu/~kavi/Research/ICSEA-2014-1.pdf
• Shelor, C., Buchanan, J., Kavi, K.M. (2014). Quantifying wasted writes energy in memory hierarchy. Proceedings of the International Conference on Computers and Their Applications (CATA-2014), March. ISCA.
• Shidal, J., Gottlieb, Z., Cytron, R., Kavi, K.M. (2014). Trash in Cache: Detecting eternally silent stores. ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC-2014), Edinburgh, Scotland. ACM.
• Sherman, J., Potter, B., Kavi, K.M., Igantowski, M. (2013). A multicore memory organization for 3D-DRAM as main memory. Proceedings of the 26th International conference the Architecture of Computer Systems (ARCS-2013), Prague, Czech Republic, Feb 19-22.
• Pace, D., Kavi, K.M., Shelor, C. (2013). MT-SDF: Scheduled Dataflow Architecture with mini-threads, DFM-2013 Workshop. Held in conjunction with PACT-2013, Edinburgh, Scotland, Sept 8-11. ACM.
• Kavi, K.M. (2012). A description language for QoS properties and a framework for service composition using QoS properties. Proceedings of the Seventh International Conference on Software Engineering Advances (ICSEA 2012), Lisbon, Portugal.
• Fawibe, A., Sherman, J., Kavi, K.M., Ignatowski, M., Mayhew, D. (2012). New memory organizations for 3D DRAM and PCMs. Proceedings of the ARCS2012: Architecture of Computing Systems, TU Muenchen, Germany.
• Kavi, K.M. (2012). Trace driven data structure transformations. PMBS 2012: 3rd International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Salt Lake City, UT.
• Kotikeala, S., Kavi, K.M., Gomathisankaran, M. (2012). Vulnerability assessment in cloud computing. Proceedings of the 2012 International conference on Security and Management (SAM'12) Las Vegas.
• Nwachukwu, I., Kavi, K.M., Fawibe, A., Yan, C. (2011). Evaluation of techniques to improve cache access uniformities. Proceedings of the 40th Annual Conference on Parallel Processing (ICPP-2011) Taipei, Taiwan. 31-40.
• Janjusic, T., Kavi, K.M., Potter, B. (2011). Gleipnir: A memory analysis tool. Proceeding of the 2011 International Conference on Computational Science, Tsukuba, Japan.
• Dubasi, M., Fawibe, A., Garitselov, O., Kavi, K.M., Nwachuku, I., Okabia, O. (2011). Parabilis: Speeding up single-threaded applications by extracting fine-grained threads for multi-core execution. Proceedings of the 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011) Cluj Napoca, Romania.
• Naz, A., Adamo, O., Kavi, K.M., Janjusic, T. (2009). Improving uniformity of cache access patterns using split data caches. Proceedings of ISCAPDCS-2009, Louisville, KY.
• Adamo, O., Naz, A., Kavi, K.M., Janjusic, T. (2009). Smaller split L-1 data caches for multi-core processing systems. Proceedings of IEEE 10th International Symposium on Pervasive Systems, Algorithms and Networks (I-SPAN 2009) to be held in Kao-Hsiung, Taiwan.
• Kavi, K.M., Li, W., Hurson, A. (2008). A non-blocking multithreaded architecture with support for speculative threads. Proceedings of the 8th International Conference on Algorithms, Architectures and Applications of Parallel Processing (ICA3PP-208), Cyprus.
• Chen, Kavi, K.M., Sweany , P., Chung, C.P. (2008). Evaluating redundant function elimination. Proceeding of ISCA 21st International Conference on Parallel and Distributed Computing and Communications (PDCCS-2008), New Orleans, LA.
• Lin, C., Kavi, K.M., Sheldon , F., Daley, K.M. (2007). A methodology to evaluate agent-oriented software engineering techniques. Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS-07), Hawaii. 60a-69a.
• Kung, D., Kavi, K.M., Krogstle, J., Lothe, A., Brinkkemper, S. (2007). Conceptual modeling and software design of multi-agent systems. Conceptual Modeling in Information Systems Engineering. 159-171. Springer.
• Gao, X., Hurson, A., Kavi, K.M. (2007). Estimate validity regions for nearest neighbor queries. Proceeding the 2nd International Conference on Software and Data Technologies (ICSOFT-2007) Barcelona, Spain. 129-136.
• Naz, A., Kavi, K.M., Oh, J., Foglia, P. (2007). Reconfigurable split data caches: A novel scheme for embedded systems. Proceedings of the 22nd Annual ACM Symposium on Applied Computing, Seoul, Korea. 707-7112.
• Naz, A., Kavi, K.M., Sweany, P., Li, W. (2006). A study of reconfigurable split data caches and instruction caches. Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, San Francisco, CA. 235-240.
• Li, W., Mohanty, S., Kavi, K.M. (2006). Page-based software-hardware co-design of a dynamic memory allocator. Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, San Francisco, CA. 229-234.
• Chen, P., Kavi, K.M., Akl, R. (2006). Performance enhancement by eliminating redundant function execution. Proceedings of the IEEE 39th Annual Simulation Conference, Huntsville, AL. 143-150.
• Li, W., Kavi, K.M., Naz, A., Sweany, P. (2006). Speculative thread execution in a multithreaded dataflow architecture. Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, San Francisco, CA. 102-107.
• Li, W., Kavi, K.M., Akl, R. (2005). An efficient non-pre-emptive real-time scheduling algorithm. Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing (PDCS-2005), Las Vegas. 154-160.
• Naz, A., Rezaei, M., Kavi, K.M., Sweany, P. (2005). Making a case for split data caches for embedded applications. Proceedings of the workshop on MEDEA-2005 (held in conjunction with Parallel Architecture and Compiler Technology, PACT-2005), St. Louis.
• Naz, A., Kavi, K.M., Sweany, P., Rezaei, M. (2004). A study of separate array and scalar caches. Proceedings of the 18th International Symposium on High Performance Computing Systems and Applications (HPCS 2004), Winnipeg, Manitoba, Canada. 157-164.
• Naz, A., Rezaei, M., Kavi, K.M., Sweany, P. (2004). Improving Data Cache Performance With Integrated Use Of Split Caches, Victim Cache And Stream Buffers. Proceedings of the Workshop on Memory performance dealing with applications, systems and architecture (MEDEA-2004), held with Parallel Architectures and Compiler Technology (PACT-2004) Conference, Antibes Juan-Les-Pins, France.
• Song, L., Zhang, Y., Kavi, K.M. (2003). A simple loop transformation for multithreaded, superscalar and VLIW architectures. Proceedings of the 16th International Conference on Parallel and Distributed Computing Systems, Reno, Nevada, USA.
• Song, L., Kavi, K.M., Cytron, R.K. (2003). An Unfolding-Based Loop Optimization Technique. Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES'03), Vienna, Austria. 2826 117-132. Springer Verlag.
• Kavi, K.M., Chen, P. (2003). Dynamic function result reuse. Proceedings of the 11th International Conference on Advanced Computing (ADCOM-2003), Coimbatore, India.
• Kavi, K.M., Kung, D., Bharnbhani, H., Pancholi, G., Kanikarla , M., Shah, R. (2003). Extending UML to modeling and design of multi-agent systems. Proceedings of the 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03), held in conjunction with the IEEE International Conference on Software Engineering (2003), Portland, Oregon.
• Fox, L.M., Hill, C.R., Cytron, R.K., Kavi, K.M. (2003). Optimization of storage-referencing gestures. Proceedings of the Workshop on Compilers and Tools for Constrained Embedded Systems (CTES-2003), held in conjunction with Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES-2003) San Jose, CA.
• Rezaei, M., Kavi, K.M. (2003). Utilization of Separate Caches to Eliminate Cache Pollution Caused By Memory Management Functions. Proceedings of the 16th International Conference on Parallel and Distributed Computing Systems, Reno, Nevada, USA.
• Kavi, K.M., Aborizka, M., Kung, D. (2002). A framework for the design of intelligent agent based real-time systems. Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China. 196-201.
• Song, L., Kavi, K.M. (2002). A technique for variable dependent driven loop peeling. Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China. 390-395.
• Donahue, S., Hampton, M.P., Cytron, R., Franklin, M., Kavi, K.M. (2002). Hardware support for fast and bounded time storage allocation. Proceedings of the Workshop on Memory Processor Interfaces (WMPI), in conjunction with the International Symposium on Computer Architecture, Anchorage, Alaska.
• Arul, J., Kavi, K.M. (2002). Scalability of Scheduled Dataflow Architecture (SDF) with register contexts. Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China. 214-221.
• Kavi, K.M., Aborizka, M. (2001). Glass-Box: An intelligent flight data recorder and real-time monitoring systems. Proc. of the 39th AIAA Aerospace Sciences Meeting, Reno, NV, AIAA 2001-0317.
• Raskovic, D., Jovanov, E., Kavi, K.M. (2001). Hierarchical Digital Signal Processing. Proc. of 2001 IEEE International Symposium on Intelligent Signal Processing and Communication Systems, ISPACS 2001, Nashville, TN.
• Kavi, K.M., Arul, J., Giorgi, R. (2001). Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications. Proceedings of the ISCA PDCS-2001, Dallas Texas. 365-371.
• Donahue, S.M., Hampton, M.P., Deters, M., Nye, J.M., Cytron, R.K., Kavi, K.M. (2001). Storage Allocation for real-time, embedded systems. Proceedings of the First International Workshop on Embedded Software (EMSOFT 2001). 131-147. Springer Verlag.
• Rezaei, M., Kavi, K.M. (2000). A new implementation for memory management. Proceedings of the IEEE Southeastcon 2000 Conference, Nashville, TN.
• Kavi, K.M., Rezaei, M., Cytron, R. (2000). An efficient memory management technique that improves localities. Proc. 8th International Conference on Advanced Computing and Communications (ADCOM 2000), Cochin, India. 87-94.
• Arul, J., Kavi, K.M., Hanief, S. (2000). Cache Performance of Scheduled Dataflow Architecture. Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong. 110-123.
• Kavi, K.M., Giorgi, R., Arul, J. (2000). Comparing execution performance of Scheduled Dataflow Architecture with RISC processors. Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00) Las Vegas. 41-47. International Society of Computers and Their Applications.
• Giorgi, R., Kavi, K.M., Arul, J. (2000). Exploiting Thread Level Parallelism in a New Decoupled Non-Blocking Multithreaded Architecture. Proceedings of the joint 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS'2000), Orlando, USA.
• Aborizka, M., Kavi, K.M. (2000). Learning technologies with flight data recorders. Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong. 478-489.
• Kavi, K.M., Mehta, D. (2000). Mutual Exclusion. On Optical Networks. Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00), Las Vegas. 250-255. International Society of Computers and Their Applications.
• Kavi, K.M., Kim, H., Arul, J., Hurson, A.R. (1999). A decoupled scheduled dataflow multithreaded architecture. Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN-99), Fremantle, Western Australia. 138-143.
• Kim, H.S., Kavi, K.M., Hurson, A.R. (1999). A simple non-blocking multithreaded architecture. Proceedings of the 12th ISCA Parallel and Distributed Computing Systems Conference (PDCS-99) Ft. Lauderdale, FL. 231-236. International Society of Computers and Their Applications.
• Lim, J.B., Hurson, A.R., Kavi, K.M. (1999). Concurrent data access in mobile heterogeneous systems. Proceedings of the Hawaii International Conference on System Sciences (HICSS-99).
• Hecht, D., Kavi, K.M., Gaede , R., Katsinis, C. (1999). Implementation Of Recovery Blocks On Cache-Coherent Distributed Shared Memory Systems. Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN-99), Fremantle, Western Australia. 100-105.
• Hurson, A.R., Kavi, K.M. (1999). Interactive teaching practices in small class sizes while cutting into the high cost of education. Proceedings of the International Conference on Engineering Education, Ostrava, Czech.
• Kavi, K.M., Hernandez, A., Levine, D. (1998). Hyperactive Messages. Proceeding of the International Conference on Parallel and Distributed Computing Systems, Los Vegas. 704-708.
• Kavi, K.M., Levine, D., Hurson, A.R. (1997). A non-blocking multithreaded architecture. Proceedings of the Fifth International Conference on Advanced Computing (ADCOMP'97), Madras, India. 171-177.
• Chen, T.S., Youn, H.Y., Kavi, K.M. (1997). Scalable software system architecture for parallel logic simulation. Parallel and distributed computing systems symposium, New Orleans, LA. 59-64.
• Lim, J.T., Hurson, A.R., Kavi, K.M. (1997). VL-Stag: An allocation policy for Doacross loops. 111-116. Proceedings of the First European Conference on Parallel and Distributed Systems (Euro-PDS 97), Barcelona.
• Hurson, A.R., Lim, J.T., Kavi, K.M. (1996). Cyclic staggered loop allocation. Proceedings of the IEEE Symposium on Parallel and Distributed Processing, New Orleans, LA. 240-249.
• Kavi, K.M., Hurson, A.R. (1996). Investigation of operand memory reuse in a dynamic dataflow architecture. Proceedings of the High Performance Computing Symposium, New Orleans, Louisiana. 288-295.
• Youn, H.Y., Choo, H., Kavi, K.M. (1996). Performance enhancements of multistage interconnection networks using unit step buffering (USB) scheme. Proc. of the international conference on systems engineering , Las Vegas, NV.
• Kavi, K.M., Youn, H.Y. (1995). A real-time performability evaluation tool. Proceedings of the Computers in Aerospace-10, San Antonio.
• Kavi, K.M., Hurson, A.R. (1995). Cache memories in dataflow architecture. Proc of the 7th IEEE Symposium on Parallel and Distributed Processing, San Antonio, TX. 182-189.
• Kavi, K.M., Hurson, A.R., Patadia, P., Abraham , E., Shanmugam, P. (1995). Design of cache memories for multi-threaded dataflow architecture. Proceedings of the 22nd Intl. Symp. on Computer Architecture (ISCA-22), St. Margherita Ligure, Italy. 253-264.
• Lim, J., Hurson, A., Miller, L., Kavi, K.M. (1995). Dynamic object allocation for distributed object-oriented databases. Proceedings of the International Conference on High Performance Computing (HiPC), New Delhi, India.
• Kavi, K.M., Sheldon, F.T., Shirazi , B., Hurson, A.R. (1995). Reliability analysis of CSP specifications using Petri nets and Markov processes. Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS-28), Maui, Hawaii. II 516-524.
• Sheldon, F.T., Kavi, K.M. (1995). Reliability analysis of CSP specifications: A new method using Petri nets. Proceedings of the Computers in Aerospace-10, (San Antonio, March 1995). 317-326.
• Kavi, K.M., Sheldon, F.T. (1995). Specification and Analysis of Real-Time Systems using CSP and Petri Nets. Proceedings of the Fault Tolerant Systems Conference (FTS-95) I.I.T. Madras, India, Dec. 20-22, 1995. 141-147. New Delhi, Narosa Publishing House.
• Kavi, K.M., Youn, H.Y., Shirazi , B., Hurson, A.R. (1994). A performability model for soft real-time systems. Proceedings the 27th Hawaii International Conference on Systems Sciences, HICSS-27, Maui, HI. II 571-580.
• Karani, V., Patadia, P., Kavi, K.M., Shanmugam, P., Shirazi, B., Hurson, A.R. (1994). Improvements to the ETS dynamic dataflow architecture. Proceedings of the 27th Hawaii Intl Conference on Systems Sciences, HICSS-27, Maui, HI. I 378-387.
• Hurson, A.R., Lim, J.T., Kavi, K.M., Shirazi, B. (1994). Loop allocation scheme for multithreaded dataflow computers. Proceedings of the 8th International Parallel Processing Symposium (IPPS 94), Cancun, Mexico. 316-322.
• Shirazi, B., Chen, H.B., Kavi, K.M., Marquis, J., Hurson, A.R. (1994). PARSA: A parallel program software development tool. 3rd Symposium on Assessment of Quality Software Development Tools, Washington, DC. 96-111.
• Kavi, K.M., Sheldon, F.T. (1994). Specification of Stochastic Properties with CSP. Proceeding of the International Conference on Parallel and Distributed Systems (ICPADS), Hsinchu, Taiwan. 288-293.
• Hurson, A.R., Lim, J.J., Shirazi, B., Kavi, K.M. (1994). Staggered Scheme: A loop allocation policy. 6th International Parallel Architectures and Languages Europe Conference (PARLE'94), Athens Greece, Proceedings available as Lecture Notes in Computer Science #817. 793-796. Springer Verlag.
• Yang, S.M., Pizzorni, P.R., Kavi, K.M., Mei, H. (1993). A protocol for real-time message scheduling in LAN/MAN. Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26). II 613-621.
• Shanmugam, P., Andhare, S., Kavi, K.M., Shirazi, B., Hurson, A.R. (1993). Cache memory for an explicit token store dataflow architecture. Proceedings of the 5th IEEE symposium on parallel and distributed processing, Dallas, Texas. 45-50.
• Chen, H.B., Shirazi, B., Kavi, K.M., Hurson, A.R. (1993). Linear clustering with task duplication: A novel static scheduling method for distributed memory systems. Proc. of the 9th international conference on systems engineering, Las Vegas, Nevada. 16-20.
• Shirazi, B., Kavi, K.M., Hurson, A.R., Biswas, P. (1993). PARSA: A parallel program scheduling and assessment environment. Proc of 1993 International Conference on Parallel Processing. 68-72.
• Lee, B., Kavi, K.M. (1993). Program partitioning for multithreaded dataflow computers. Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26). II 487-495.
• Chen, H.B., Shirazi, B., Kavi, K.M., Hurson, A.R. (1993). Static scheduling using linear clustering with task duplication. Proc. of sixth Intl. Conf. on Parallel and Distributed Computing Systems, Lexington, Kentucky. 285-290.
• Krishnaprasad, S., Shirazi, B., Kavi, K.M., Hurson, A. (1992). A model for dataflow computations with result sharing and its performance evaluation. Proc. of 25th Hawaii Intl. Conf. on System Sciences (HICSS-25), Koloa, HI. I 515-525.
• Yen, J.T., Shirazi, B., Kavi, K.M. (1992). A new cache coherency and address translation consistency protocol. Proc. of 1992 Intl Conference on Parallel Processing, Ann Arbor, MI. 18-21.
• Lin, D.H., Shirazi, B., Kavi, K.M. (1992). An efficient data interface for heterogeneous distributed environment. Proc of the International Conference on Distributed Computing Systems (ICDCS-92), Yokohama, Japan. 390-397.
• Kavi, K.M., Vijayaraghavan, V., Shirazi, B., Hurson, A. (1992). Barriers and breakpoints in dataflow: extensions to SISAL language. Proc. of 25th Hawaii Intl. Conf. on System Sciences (HICSS-25), Koloa, HI. I 526-534.
• Shieh, W.G., Weems, B.P., Kavi, K.M. (1992). Extending N-grid group authorization using compact encoding. Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA. 190-196.
• Kim, B., Youn, H.Y., Kavi, K.M. (1992). Hierarchical interconnection networks: Routing in the presence of faults. Proc. of 4th IEEE Symp. on Parallel and Distr. Processing, Arlington, Texas, Dec. 1-4, 1992. 162-165.
• Yang, S.M., Kavi, K.M., Agrawala, A., Reddi , M., Anam, S. (1992). SUVS: A distributed real-time system testbed for fault-tolerant computing. Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA. 782-791.
• Lin, D.H., Shirazi, B., Kavi, K.M. (1991). A heterogeneous distributed processing interface specification language. Proc. of 1991 Intl Conference on Parallel Processing. II-274-275.
• Vijayaraghavan, V., Kavi, K.M., Shirazi, B. (1991). Control flow extensions to the dataflow language SISAL. Proc. of the 1991 Symposium on Applied Computing, Kansas City, MO. 130-138.
• Kavi, K.M., Kuthalam, S.R., Deshpande, A.K. (1990). A decomposition approach for analysis of parallel processing systems. Proc. of 2nd IEEE symposium on parallel and distributed processing , Dallas. 776-779.
• Kavi, K.M., Deshpande, A.K. (1990). A model and a proof system for parallel and distributed processes. Proc. of Hawaii Intl. Conf. on System Sciences, HICSS-23, Kona, Hawaii. II 386-392.
• Shieh, W.G., Weems , B.P., Kavi, K.M. (1990). An N-grid model for group authorization. Proc. of the 6th annual IEEE computer security applications conference, Tucson, AZ. 384-392.
• Kavi, K.M., Lin, T.C., Law, A.G., Wang, C.L. (1990). Reliability analysis using dataflow graph models and approximate solutions. Proc. of Intl. Symp. on Approximations, Optimization and Computing, Dalian, China. 105-109. North-Holland.
• Sheldon, F.T., Kavi, K.M. (1989). A new software reliability model for estimating failure rate due to residual defects. Proc. of Workshop on Applied Computing (WAC-89), Stillwater, OK. 7-13.
• Chen, D.J., Sheng, M.C., Kavi, K.M. (1989). The discrete time stochastic dataflow graphs for the reliability modeling and analysis of computer systems. Proc. of ICCI 89 (Intl. Conf. on Computing and Information), Toronto, Canada. II 94-98.
• Kavi, K.M., Chen, D.J. (1988). A qualitative assessment of object-oriented architectures: SWARD, Intel 432 and IBM S/38. Proc. of International Computer Symposium, ICS-88, Taipei, Taiwan. 175-181.
• Chen, D.J., Kavi, K.M., Hsia, P. (1987). A planned incremental construction methodology using dataflow graphs. Proc. COMPSAC-87, Tokyo. 96-102.
• Kavi, K.M., Chen, D.J. (1987). Architectural support for object-oriented programming languages. Proc. COMPCON, San Francisco. 54-58.
• Chen, D.J., Kavi, K.M., Bhat, U.N. (1987). Dynamic reliability analysis of communication networks using continuous time stochastic dataflow graphs. Proc. of ACM South Central Regional conference, Lafayette, LA. 158-171.
• Kavi, K.M., Banios, E.W., Shriver, B.D. (1984). MRDF: An architectural model for distributed processing. Proc. 11th annual Symp. on computer architecture, (ISCA-11) Ann Arbor, MI. 271-278.
• Kavi, K.M., Cragon, H.G. (1983). A conceptual framework for the description and classification of computer architecture. Proc. IEEE intl. wksp. on Comp. Syst. Org., New Orleans. 10-19.
• Kavi, K.M. (1983). Dataflow modeling techniques. Proc. IASTED Intl. conf. on Siml. and Modl., Orlando, FL. 1-4.
• Perkins, T.E., Kavi, K.M. (1983). Heuristic graph algorithms for modularization. Proc. 5th intl. conf. on computer capacity management, New Orleans. 246-252.
• Kavi, K.M., Shriver, B.D. (1983). Proceedings of the IEEE workshop on Computer Systems Organization.
• Kavi, K.M., Jackson, U.B. (1982). Effects of declaration statements on software science. Proc. of SCORE-82: Wksp. on software counting rules, IBM-SRI, New York. 11 (2) 57-71.
• Kavi, K.M., Belkhouche, B., Bullard, E., Delcambre, L., Nemecek, S. (1982). HLL architectures: pitfalls and predilections. Proc. 9th annl. symp. on comp. arch., (ISCA-9) Austin, TX. 18-23.
• Kavi, K.M., Cragon, H.G. (1980). Quest for an 'Ideal" machine language. Proc. of intl. wksp. on HLL comp. arch., Ft. Lauderdale, FL. 33-39.

Journal Article

• Mosquera, F., Kavi, K.M., Mehta, G., John, L.K. Guard Cache: Creating Noisy Side-Channels. IEEE Computer Architecture Letters. 4 pages. Piscataway, New Jersey,
• Adavally, S., Kavi, K.M., Islam, M. (2021). Dynamically adapting page migration policies based on applications memory access behaviors. ACM Journal on Emerging Technologies in Computing Systems (JETC). 17 (2) 24 pages.
• Yanambaka, R., Brown, N., Maheshwari, R., Kavi, K.M. (2020). A Domain-Agnostic Framework for Secure Design and Validation of CPS systems. International Journal on Advances in Security. 13 (3&4) 13 pages. IARIA.
• Islam, M., Adavally, S., Scrbak, M., Kavi, K.M. (2020). On-the-Fly Page Migration and Address Reconciliation for Heterogeneous Memory Systems. ACM Journal on Emerging Technologies in Computing Systems (JETC). 16 (1) 27 pages.
• Scrbak, M., Islam, M., Kavi, K.M., Ignatowski, M., Jayasena, N. (2016). Exploring the processing in memory design space. Journal of Systems Architecture. Elsevier.
• Kavi, K.M., Rezaei, M. (2016). ABT and SBT revisited: Efficient memory management techniques for object-oriented and web-based applications. International Journal of Science and Technology. 23 (3) 1217-1227. Scietia Irancia.
• Kavi, K.M., Pianelli, S., Pisano, G., Regina, G., Ignatowski, M. (2015). Memory organizations for 3D-DRAM and PCMs in processor memory hierarchy. Journal of Systems Architecture. 61 539-552.
• Lee, C., Kamongi, P., Kavi, K.M., Gomathisankaran, M. (2015). Optimus: A framework of vulnerabilities, attacks, defenses and SLA ontologies. International Journal of Next-Generation Computing. 6 (1)
• Shelor, C.F., Buchanan, J., Kavi, K.M., Cytron, R. (2014). Potential energy savings through eliminating unnecessary writes in the cache-memory hierarchy. International Journal of Computers and Applications. 21 (3) 178-187. http://csrl.cse.unt.edu/~kavi/Research/IJCA-2014
• Lin, C.H., Lin, C.Y., Kavi, K.M., Chen, D. (2013). Finding near-optimal message scheduling settings for SHA-256 algorithm using genetic algorithms. Journal of Information Science and Engineering. 29 (5) 889-905.
• Lin, C., Kavi, K.M. (2013). A QoS-Aware BPEL Framework for Service Selection and Composition Using QoS Properties. 38 (1 & 2) 56-58. IARIA.
• Kavi, K.M., Nwachukwu, I., Fawibe, A. (2012). A comparative analysis of performance improvement schemes for L-1 caches. Elsevier International Journal on Computers and Electrical Engineering. 243-257.
• Li, W., Rezaei, M., Kavi, K.M., Naz, A., Sweany, P. (2007). Feasibility of decoupling memory management from the execution pipeline. Journal of Systems Architecture. 53 (12) 927-936. Elsevier.
• Li, W., Kavi, K.M., Akl, R. (2007). A non-preemptive scheduling algorithm for soft real-time systems. Elsevier International Journal on Computers and Electrical Engineering. 33 (1) 12-29.
• Naz, A., Kavi, K.M., Li, W., Sweany, P. (2006). Tiny split data caches make big performance impact for embedded applications. Journal of Embedded Computing. 2 (2) 207-219. IOS Press.
• Li, W., Mohanty , S., Kavi, K.M. (2006). Page-based software-hardware co-design of a dynamic memory allocator. IEEE Computer Architecture Letters. 5 (2)
• Rezaei, M., Kavi, K.M. (2006). Elimination of Cache Pollution Due to Memory Management using an Intelligent Memory Manager. Journal of Systems Architecture. 52 (1) 41-55. Elsevier.
• Sheldon, F., Potok, T., Kavi, K.M. (2004). Multi-agent system case studies in command and control, information fusion and data management. Journal of Informatica. 28 (1) 78-89. Solvene Society Informatica. http://ai.ijs.si/informatica/
• Kavi, K.M., Mehta, D. (2002). Mutual Exclusion. On Optical Networks. Parallel Processing Letters. 12 (3 & 4) 341-358.
• Kavi, K.M., Moshtaghi , A.R., Chen, D. (2002). Modeling multithreaded applications using Petri nets. International Journal on Parallel Programming. 30 (5) 353-371. Kluwer/Plenum Publishing.
• Chen, D.J., Chen, W.C., Kavi, K.M. (2002). Visual Requirements Representation. Journal of Systems and Software. 61 (2) 129-143.
• Chang, P.Y., Chen, D.J., Kavi, K.M. (2001). File allocation algorithms to minimize data transmission time for real-time applications in distributed computing systems. Journal of Information Science and Engineering. 17 633-646. Institute of Information Science, Taipei, Taiwan.
• Kavi, K.M., Giorgi, R., Arul, J. (2001). Scheduled Dataflow: Execution paradigm, architecture and performance evaluation. IEEE Transactions on Computers. 50 (8) 834-846.
• Kavi, K.M., Arul, J., Giorgi, R. (2000). Execution and cache performance of the Scheduled Dataflow Architecture. Journal of Universal Computer Science. 6 (10) 948-967.
• Chang, P.Y., Chen, D.J., Kavi, K.M. (2000). Multimedia file allocation under virtual circuit using multipath routing. IEEE Transactions on Computers. 49 (9) 971-977.
• Kavi, K.M. (1999). Multithreaded System Implementations. IASTED Journal of Microcomputer Applications. 17 (2) 70-84.
• Kavi, K.M., Kim, H.S., Hurson, A.R. (1999). Scheduled dataflow architecture: A synchronous execution paradigm for dataflow. IASTED International Journal of Computers and Applications. 21 (3) 114-124.
• Kavi, K.M., Browne, J.C., Tripathi, A. (1999). Computer systems research: The pressure is on. Computer. 30-39.
• Kavi, K.M., Hurson, A.R. (1998). Design of cache memories in dataflow architectures. Journal of Systems Architecture. 44 (9-10) 657-674. Elsevier.
• Hurson, A.R., Kavi, K.M., Lim, J.T. (1998). Cyclic Staggering Scheme: A loop allocation policy for DOACROSS loops. IEEE Transactions on Computers. 251-255.
• Kavi, K.M., Nahouraii, E. (1996). Assessment of Software Tools: Guest Editors Introduction. IEEE Software. 23-26.
• Hurson, A.R., Kavi, K.M., Lee, B. (1996). Cache Memories in Dataflow Architectures. Other. 50-64.
• Kavi, K.M., Wyatt, B., Shirazi, B. (1996). Evaluation of dynamic inheritance in distributed environments. IASTED Journal of Microcomputer Applications. 15 (1) 26-37.
• Kavi, K.M., Sheldon, F.T., Reed, S. (1996). Specification and analysis of real-time systems using CSP and Petri nets. International Journal of Software Engineering and Knowledge Engineering. 6 (2) 229-248. World Scientific Publishing Company.
• Weems, B.P., Kavi, K.M., Shirazi, B. (1995). HIPP: An honors program in parallel processing. International Journal of Engineering Education. 11 (4 & 5) 329-335.
• Wyatt, B.G., Kavi, K.M., Hufnagle, S.P. (1992). Parallelism in object oriented languages: A survey. IEEE Software. 56-66.
• Kavi, K.M., Shirazi, B. (1992). Dataflow Architecture: Are dataflow computers commercially viable?. IEEE Potentials. 27-30.
• Sheldon, F.T., Kavi, K.M., Tausworthe, C., Yu, J.T., Brettschneider, R., Everett, W.W. (1992). Software reliability measurement: From theory to practice. IEEE Software. 13-20.
• Kavi, K.M., Yang, S.M. (1992). A survey of real-time design methodologies. Journal of Systems and Software. 85-99. Elsevier.
• Kavi, K.M., Deshpande, A.K. (1991). Specification of concurrent processes using a dataflow model of computation and partially ordered events. Journal of Systems and Software. 6 (2) 107-120. Elsevier Science Publishing.
• Chen, D.J., Kavi, K.M. (1991). Stochastic dataflow graph models for the reliability analysis of interconnection and computer networks. Journal of Information Science and Engineering. 7 (2) 253-278. Taipei, Institute of Information Science.
• Deshpande, A.K., Kavi, K.M. (1989). A Model for the specification of concurrent processes. IASTED Journal of Microcomputer Applications. 8 (3) 95-102. ACTA Press for International Society for Mini and Microcomputers - ISMM.
• Deshpande, A.K., Kavi, K.M. (1989). A review of specification and verification methods for parallel programs, including the dataflow approach. IEEE Proceedings. 77 (12) 1816-1828.
• Kavi, K.M., Buckles, B.P., Bhat, U.N. (1987). Isomorphisms between Petri nets and Dataflow graphs. IEEE Transactions on Software Engineering. 1127-1134.
• Bhat, U.N., Kavi, K.M. (1987). Reliability analysis of computer systems including Petri nets and dataflow graphs. 11 (1 &2) 167-186.
• Kavi, K.M., Bhat, U.N. (1986). Reliability analysis of computer systems using dataflow graph models. IEEE Transactions on Reliability. R-35 (5) 529-532.
• Kavi, K.M., Buckles, B.P., Bhat, U.N. (1986). A formal definition of dataflow graph models. IEEE Transactions on Computers. 940-948.

Contracts, Grants and Sponsored Research

Grant - Research

• Kavi, K.M. (Principal), Gulur, N. (Co-Principal), "EMPOWER: High-Performance, Low-Power and Fully Programmable Neural Network Architecture," sponsored by Semiconductor Research Consortium (SRC), Other, $240000 Funded. (2020 - 2022).
• Kavi, K.M. (Principal), Mehta, G. (Co-Principal), Gulur, N. (Co-Principal), "EMPOWER: High-Performance, Low-Power and Fully Programmable Neural Network Architecture," sponsored by Semiconductor Research Corporation, National, $240000 Funded. (2020 - 2022).
• Kavi, K.M. (Principal), Fu, S. (Co-Principal), Zhao, H. (Co-Principal), "MRI Collaborative: Development of ESPRIT - Emerging systems’ performance and energy evaluation instruments and testbench," sponsored by Cost-Share from UNT for a NSF Grant, University of North Texas, $128572 Funded. (2018 - 2021).
• Kavi, K.M. (Principal), Fu, S. (Co-Principal), Zhao, H. (Co-Principal), "MRl Collaborative: Development of ESPRIT - Emerging systems' performance and energy evaluation instruments and testbench," sponsored by National Science Foundation, Federal, $300001 Funded. (2018 - 2021).
• Kavi, K.M. (Principal), "Phase II, NSF Net-centric and Cloud Software and Systems I/UCRC," sponsored by NSF ENG/IIP IUCRC progrm, Federal, $1022179 Funded. (2014 - 2021).
• Kavi, K.M. (Principal), "Industrial Memberships with Netcentric I/UCRC," sponsored by Various Industrial Organizations, Private, $911428 Funded. (2014 - 2019).
• Kavi, K.M. (Principal), "Dynamic Multi-Group Secure Data Sharing Scheme For Cloud," sponsored by Air Force Research Lab (MIPR through NSF), Federal, $46615 Funded. (2017 - 2018).
• Kavi, K.M. (Principal), "A framework for epidemic contact tracing using multi-contextual information," sponsored by NSF CISE/IIS, Federal, $99965 Funded. (2015 - 2017).
• Kavi, K.M. (Principal), "Development of tools to analyze memory accesses in multicore processors," sponsored by AMD, Private, $190000 Funded. (2010 - 2017).
• Kavi, K.M. (Principal), "NSF ENG. Innovative MD: IUCRC Center for Net-Centric IUCRC," sponsored by NSF, Federal, $573622 Funded. (2013 - 2017).
• Kavi, K.M. (Co-Principal), "Risk assessment techniques for off-line and on-line security evaluation of cloud computing," sponsored by NSF, Federal, $89468 Funded. (2013 - 2015).
• Kavi, K.M. (Principal), "Net-Centric Software and Systems IUCRC," sponsored by NSF - ENGR/IIP, Federal, $693645 Funded. (2009 - 2014).
• Guturu, P. (Co-Principal), Dantu, R. (Principal), Kavi, K.M. (Co-Principal), "Collaborative Research: CRI: IAD: A Testbed for Research and Development of Next Generation 9-1-1 Services," sponsored by NSF, Federal, $385000 Funded. (2008 - 2014).
• Kavi, K.M. (Principal), "Fundamental Research Program: Collaborative Research on QoS assured service composition and execution," sponsored by NSF, Federal, $98320 Funded. (2011 - 2013).
• Kavi, K.M. (Principal), "MRI Consortium: Development of Instrumentation for Measuring the Dependability and Quality of Cloud Computing Systems," sponsored by NSF, Federal, $191320 Funded. (2011 - 2013).
• Guturu, P. (Co-Principal), Dantu, R. (Principal), Kavi, K.M. (Co-Principal), "MRI: Development of a Flexible Instrument and Tools for Experimental Research in Next-Generation 9-1-1 Services," sponsored by NSF, Federal, $400000 Funded. (2008 - 2013).
• Kavi, K.M. (Principal), "REV Supplement to IUCRC Award," sponsored by NSF, Federal, $8000 Funded. (2011 - 2012).
• Kavi, K.M. (Co-Principal), ""CRI: IAD: A Testbed for Research and Development of Next Generation 9-1-1 Services" PI: Ram Dantu, Co-PIs: K.M. Kavi and Partha Guturu (and Columbia and Texas A&M)," sponsored by NSF CISE-CNS, Federal, $650000 Funded. (2008 - 2012).
• Kavi, K.M. (Principal), "Development of tools to analyze memory accesses in multicore processors," sponsored by AMD, Private, $40000 Funded. (2011 - 2011).
• Kavi, K.M. (Principal), "REU supplement for NSF IIP Industry/University Cooperative Research Center on Net-Centric Software and Systems," sponsored by NSF, Federal, $16000 Funded. (2010 - 2011).
• Kavi, K.M. (Principal), "Design of a Distributed Computing Environment Using Microkernels; PI: K. M. Kavi," sponsored by NSF-CDA - Equipment Supplement (MIP 9622593; MIP-9796310/CCR-9796310), Federal, $19582 Funded. (2001 - 2002).
• Kavi, K.M. (Principal), "Exploratory research for correlating and data mining flight data from NTSB accident investigations; PI: K.M. Kavi," sponsored by NSF SGER (Digital Govt. Program, Award # EIA0087076), Federal, $62602 Funded. (2000 - 2001).
• Kavi, K.M. (Principal), "Experimental research for the evaluation of multithreaded architectures; PI: K. M. Kavi," sponsored by NSF CISE Postdoctoral Research (EIA-9805216), Federal, $65880 Funded. (1999 - 2001).
• Kavi, K.M. (Co-Principal), "Measurement and Instrumentation of Multithreaded Systems; PIs: W. Cohen, K. M. Kavi and E. Wells," sponsored by NSF-CDA. Research Instrumentation (EIA-9729889), Federal, $55000 Funded. (1998 - 2001).
• Kavi, K.M. (Principal), "Support for multithreaded programming of image processing; PI: K.M. Kavi," sponsored by Intergraph, Huntsville, Alabama, Private, $25000 Funded. (1998 - 2000).
• Kavi, K.M. (Co-Principal), "A Micro-Kernel based Operating Systems Laboratory; PIs: D. Cook K. M. Kavi and B. Shirazi," sponsored by NSF-ILI (Instrumentation and Laboratory Improvement) (DUE-9650119), Federal, $81500 Funded. (1996 - 1999).
• Kavi, K.M. (Principal), "Workshop on New challenges and directions for systems research; PI: K. M. Kavi," sponsored by NSF -CCR - Support for a workshop (CCR-9714873), Federal, $10000 Funded. (1997 - 1997).
• Mehta, G. (Co-Principal), Kavi, K.M. (Principal), Gulur, N.D. (Other), "EMPOWER: High-Performance, Low-Power and Fully Programmable Neural Network Architecture," sponsored by Semiconductor Research Corporation, NFP, Funded. (2020 - 2022).
• Zhao, H. (Co-Principal), Kavi, K.M. (Principal), Fu, S. (Co-Principal), "MRI Collaborative: Development of ESPRIT - Emerging Systems' Performance and Energy Evaluation Instruments and Testbench," sponsored by National Science Foundation, FED, Funded. (2018 - 2022).
• Kavi, K.M. (Principal), Fu, S. (Co-Principal), Zhao, H. (Co-Principal), "MRl Collaborative: Development of ESPRIT - Emerging systems' performance and energy evaluation instruments and testbench," sponsored by National Science Foundation, Federal, Funded. (2018 - 2021).
• Kavi, K.M. (Principal), "Phase II, NSF Net-centric and Cloud Software and Systems I/UCRC," sponsored by NSF ENG/IIP IUCRC progrm, Federal, Funded. (2014 - 2021).
• Kavi, K.M. (Principal), "I/UCRC: NSF Net-centric and Cloud Software and Systems," sponsored by National Science Foundation, FED, Funded. (2017 - 2021).
• Kavi, K.M. (Principal), Akl, R. (Principal), "I/UCRC: NSF Net-Centric and Cloud Software and Systems," sponsored by National Science Foundation, FED, Funded. (2014 - 2021).
• Kavi, K.M. (Principal), Akl, R. (Co-Principal), "Membership Fees: IUCRC Net Centric Software and Systems," sponsored by Generic Pooled Sponsor, OTH, Funded. (2012 - 2021).
• Kavi, K.M. (Principal), "Industrial Memberships with Netcentric I/UCRC," sponsored by Various Industrial Organizations, Private, Funded. (2014 - 2019).
• Kavi, K.M. (Principal), "User-centered quality engineering (UCQE) for software and systems," sponsored by Generic Pooled Sponsor, OTH, Funded. (2018 - 2018).
• Kavi, K.M. (Principal), "Dynamic Multi-Group Secure Data Sharing Scheme For Cloud," sponsored by Air Force Research Lab (MIPR through NSF), Federal, Funded. (2017 - 2018).
• Kavi, K.M. (Principal), "A framework for epidemic contact tracing using multi-contextual information," sponsored by NSF CISE/IIS, Federal, Funded. (2015 - 2017).
• Kavi, K.M. (Principal), "MRI Consortium: Development of Instrumentation for Measuring the Dependability and Quality of Cloud Computing Systems," sponsored by University of Texas at Dallas, ST, Funded. (2011 - 2016).
• Kavi, K.M. (Principal), Gomathisankaran, M. (Other), "I/UCRC FRP: Risk Assessment Techniques for Off-line and On-line Security Evaluation of Cloud Computing," sponsored by National Science Foundation, FED, Funded. (2013 - 2016).
• Kavi, K.M. (Co-Principal), "Risk assessment techniques for off-line and on-line security evaluation of cloud computing," sponsored by NSF, Federal, Funded. (2013 - 2015).
• Kavi, K.M. (Principal), Gomathisankaran, M. (Other), "A Framework for Epidemic Contract Tracing Using Multi-Contextual Information," sponsored by National Science Foundation, FED, Funded. (2014 - 2015).
• Kavi, K.M. (Principal), "Net-Centric Software and Systems IUCRC," sponsored by NSF - ENGR/IIP, Federal, Funded. (2009 - 2014).
• Guturu, P. (Co-Principal), Dantu, R. (Principal), Kavi, K.M. (Co-Principal), "Collaborative Research: CRI: IAD: A Testbed for Research and Development of Next Generation 9-1-1 Services," sponsored by NSF, Federal, Funded. (2008 - 2014).
• Kavi, K.M. (Principal), "Fundamental Research Program: Collaborative Research on QoS assured service composition and execution," sponsored by NSF, Federal, Funded. (2011 - 2013).
• Guturu, P. (Co-Principal), Dantu, R. (Principal), Kavi, K.M. (Co-Principal), "MRI: Development of a Flexible Instrument and Tools for Experimental Research in Next-Generation 9-1-1 Services," sponsored by NSF, Federal, Funded. (2008 - 2013).
• Kavi, K.M. (Principal), "REV Supplement to IUCRC Award," sponsored by NSF, Federal, Funded. (2011 - 2012).
• Kavi, K.M. (Co-Principal), ""CRI: IAD: A Testbed for Research and Development of Next Generation 9-1-1 Services" PI: Ram Dantu, Co-PIs: K.M. Kavi and Partha Guturu (and Columbia and Texas A&M)," sponsored by NSF CISE-CNS, Federal, Funded. (2008 - 2012).
• Kavi, K.M. (Principal), "Development of tools to analyze memory accesses in multicore processors," sponsored by AMD, Private, Funded. (2011 - 2011).
• Kavi, K.M. (Principal), "REU supplement for NSF IIP Industry/University Cooperative Research Center on Net-Centric Software and Systems," sponsored by NSF, Federal, Funded. (2010 - 2011).