Faculty Profile

Krishna Kavi

Title
Professor
Department
Computer Science and Engineering
College
College of Engineering

    

Education

PhD, Southern Methodist University, 1980.
Major: Computer Science
Degree Specialization: Computer Science and Engineering
MS, Southern Methodist University, 1977.
Major: Computer Science
Degree Specialization: Computer Science and Engineering
BE, Indian Institute of Science, 1975.
Major: Electrical

Current Scheduled Teaching*

CSCE 5610.002, Computer System Architecture, Spring 2024
CSCE 6940.937, Individual Research, Spring 2024

* Texas Education Code 51.974 (HB 2504) requires each institution of higher education to make available to the public, a syllabus for undergraduate lecture courses offered for credit by the institution.

Previous Scheduled Teaching*

CSCE 5610.003, Computer System Architecture, Fall 2023 SPOT
CSCE 5610.600, Computer System Architecture, Fall 2023 SPOT
CSCE 6950.837, Doctoral Dissertation, Fall 2023
CSCE 6900.837, Special Problems, Fall 2023
CSCE 5610.002, Computer System Architecture, Spring 2023 SPOT
CSCE 5760.002, Design for Fault Tolerance, Spring 2023 SPOT
CSCE 6950.737, Doctoral Dissertation, Spring 2023
CSCE 6610.738, Advanced Topics in Computer Architecture, Fall 2022
CSCE 6950.837, Doctoral Dissertation, Fall 2022
CSCE 6940.837, Individual Research, Fall 2022
CSCE 5610.002, Computer System Architecture, Spring 2022 Syllabus SPOT
CSCE 6950.737, Doctoral Dissertation, Spring 2022
CSCE 6940.737, Individual Research, Spring 2022
CSCE 5160.001, Parallel Processing and Algorithms, Spring 2022 SPOT
CSCE 6610.737, Advanced Topics in Computer Architecture, Fall 2021 SPOT
CSCE 5610.001, Computer System Architecture, Fall 2021 SPOT
CSCE 2999Z.737, CSCE Research, Fall 2021
CSCE 4890.737, Directed Study, Fall 2021
CSCE 6950.737, Doctoral Dissertation, Fall 2021
CSCE 6940.737, Individual Research, Fall 2021
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2021
CSCE 4890.737, Directed Study, Spring 2021
CSCE 6950.737, Doctoral Dissertation, Spring 2021
CSCE 6940.737, Individual Research, Spring 2021
CSCE 2900.737, Special Problems in Computer Science and Engineering, Spring 2021
CSCE 2610.001, Assembly Language and Computer Organization, Fall 2020 Syllabus SPOT
CSCE 2610.004, Assembly Language and Computer Organization, Fall 2020 Syllabus SPOT
CSCE 2610.201, Assembly Language and Computer Organization, Fall 2020 SPOT
CSCE 2610.202, Assembly Language and Computer Organization, Fall 2020 SPOT
CSCE 2610.203, Assembly Language and Computer Organization, Fall 2020 SPOT
CSCE 2610.204, Assembly Language and Computer Organization, Fall 2020 SPOT
CSCE 2610.205, Assembly Language and Computer Organization, Fall 2020 SPOT
CSCE 2610.206, Assembly Language and Computer Organization, Fall 2020 SPOT
CSCE 2610.285, Assembly Language and Computer Organization, Fall 2020 SPOT
CSCE 2999Z.737, CSCE Research, Fall 2020
CSCE 5934.737, Directed Study, Fall 2020
CSCE 6950.737, Doctoral Dissertation, Fall 2020
CSCE 6940.737, Individual Research, Fall 2020
CSCE 2999Z.737, CSCE Research, Summer 10W 2020
CSCE 2610.001, Assembly Language and Computer Organization, Spring 2020 Syllabus
CSCE 2610.201, Assembly Language and Computer Organization, Spring 2020
CSCE 2610.202, Assembly Language and Computer Organization, Spring 2020
CSCE 2610.203, Assembly Language and Computer Organization, Spring 2020
CSCE 2610.204, Assembly Language and Computer Organization, Spring 2020
CSCE 5934.737, Directed Study, Spring 8W2 2020
CSCE 5934.737, Directed Study, Spring 2020
CSCE 6950.737, Doctoral Dissertation, Spring 2020
CSCE 6940.737, Individual Research, Spring 2020
CSCE 2999Z.737, CSCE Research, Fall 2019
CSCE 5760.001, Design for Fault Tolerance, Fall 2019 SPOT
CSCE 4890.737, Directed Study, Fall 2019
CSCE 5934.737, Directed Study, Fall 2019
CSCE 6950.737, Doctoral Dissertation, Fall 2019
CSCE 6940.737, Individual Research, Fall 2019
CSCE 5934.737, Directed Study, Summer 10W 2019
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2019
CSCE 5934.737, Directed Study, Spring 2019
CSCE 6950.737, Doctoral Dissertation, Spring 2019
CSCE 5160.002, Parallel Processing and Algorithms, Spring 2019 SPOT
CSCE 2900.737, Special Problems in Computer Science and Engineering, Spring 2019
CSCE 5610.001, Computer System Architecture, Fall 2018 SPOT
CSCE 5610.600, Computer System Architecture, Fall 2018 SPOT
CSCE 5934.737, Directed Study, Fall 2018
CSCE 6950.737, Doctoral Dissertation, Fall 2018
CSCE 6940.737, Individual Research, Fall 2018
CSCE 2900.737, Special Problems in Computer Science and Engineering, Fall 2018
CSCE 5934.737, Directed Study, Summer 5W2 2018
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2018
CSCE 2900.737, Special Problems in Computer Science and Engineering, Summer 10W 2018
CSCE 2610.001, Assembly Language and Computer Organization, Spring 2018 Syllabus SPOT
CSCE 5934.737, Directed Study, Spring 2018
CSCE 6950.737, Doctoral Dissertation, Spring 2018
CSCE 6940.737, Individual Research, Spring 2018
CSCE 2900.737, Special Problems in Computer Science and Engineering, Spring 2018
CSCE 2610.001, Assembly Language and Computer Organization, Fall 2017 Syllabus SPOT
CSCE 4890.737, Directed Study, Fall 2017
CSCE 5934.737, Directed Study, Fall 2017
CSCE 6950.737, Doctoral Dissertation, Fall 2017
CSCE 6940.737, Individual Research, Fall 2017
CSCE 5950.737, Master's Thesis, Fall 2017
CSCE 4890.737, Directed Study, Summer 10W 2017
CSCE 4610.001, Computer Systems Architecture, Spring 2017 Syllabus SPOT
CSCE 4890.737, Directed Study, Spring 2017
CSCE 5934.737, Directed Study, Spring 2017
CSCE 6950.737, Doctoral Dissertation, Spring 2017
CSCE 6940.737, Individual Research, Spring 2017
CSCE 6610.001, Advanced Topics in Computer Architecture, Fall 2016 SPOT
CSCE 5934.737, Directed Study, Fall 2016
CSCE 6950.737, Doctoral Dissertation, Fall 2016
CSCE 6940.737, Individual Research, Fall 2016
CSCE 5950.737, Master's Thesis, Fall 2016
CSCE 5160.001, Parallel Processing and Algorithms, Fall 2016 SPOT
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2016
CSCE 5950.737, Master's Thesis, Summer 10W 2016
CSCE 5610.001, Computer System Architecture, Spring 2016 SPOT
CSCE 5610.600, Computer System Architecture, Spring 2016 SPOT
CSCE 5934.737, Directed Study, Spring 2016
CSCE 6950.737, Doctoral Dissertation, Spring 2016
CSCE 6940.737, Individual Research, Spring 2016
CSCE 5950.737, Master's Thesis, Spring 2016
CSCE 6950.737, Doctoral Dissertation, Fall 2015
CSCE 6940.737, Individual Research, Fall 2015
CSCE 5950.737, Master's Thesis, Fall 2015
CSCE 5160.001, Parallel Processing and Algorithms, Fall 2015 SPOT
CSCE 5934.737, Directed Study, Summer 10W 2015
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2015
CSCE 5610.001, Computer System Architecture, Spring 2015
CSCE 4610.001, Computer Systems Architecture, Spring 2015 Syllabus
CSCE 6950.737, Doctoral Dissertation, Spring 2015
CSCE 6940.737, Individual Research, Spring 2015
CSCE 5950.737, Master's Thesis, Spring 2015
CSCE 6610.001, Advanced Topics in Computer Architecture, Fall 2014
CSCE 6950.737, Doctoral Dissertation, Fall 2014
CSCE 6940.737, Individual Research, Fall 2014
CSCE 5950.737, Master's Thesis, Fall 2014
CSCE 5610.001, Computer System Architecture, Spring 2014
CSCE 4610.001, Computer Systems Architecture, Spring 2014 Syllabus
CSCE 5934.737, Directed Study, Spring 2014
CSCE 6950.737, Doctoral Dissertation, Spring 2014
CSCE 6940.737, Individual Research, Spring 2014
CSCE 6900.737, Special Problems, Spring 2014
CSCE 5760.001, Design for Fault Tolerance, Fall 2013
CSCE 4890.737, Directed Study, Fall 2013
CSCE 5934.737, Directed Study, Fall 2013
CSCE 6950.737, Doctoral Dissertation, Fall 2013
CSCE 6940.737, Individual Research, Fall 2013
CSCE 5950.737, Master's Thesis, Fall 2013
CSCE 5160.001, Parallel Processing and Algorithms, Fall 2013
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2013
CSCE 5610.001, Computer System Architecture, Spring 2013
CSCE 4610.001, Computer Systems Architecture, Spring 2013 Syllabus
CSCE 5934.737, Directed Study, Spring 2013
CSCE 6950.737, Doctoral Dissertation, Spring 2013
CSCE 6940.737, Individual Research, Spring 2013
CSCE 5950.737, Master's Thesis, Spring 2013
CSCE 6933.007, Advanced Topics in Computer Science and Engineering, Fall 2012
CSCE 5934.737, Directed Study, Fall 2012
CSCE 6950.737, Doctoral Dissertation, Fall 2012
CSCE 5950.737, Master's Thesis, Fall 2012
CSCE 5160.001, Parallel Processing and Algorithms, Fall 2012
CSCE 6940.737, Individual Research, Summer 10W 2012
CSCE 5950.737, Master's Thesis, Summer 10W 2012
CSCE 5610.001, Computer System Architecture, Spring 2012
CSCE 4610.001, Computer Systems Architecture, Spring 2012 Syllabus
CSCE 6950.737, Doctoral Dissertation, Spring 2012
CSCE 6940.737, Individual Research, Spring 2012
CSCE 6610.001, Advanced Computer Architecture, Fall 2011
CSCE 4890.737, Directed Study, Fall 2011
CSCE 5934.737, Directed Study, Fall 2011
CSCE 6950.737, Doctoral Dissertation, Fall 2011
CSCE 5160.001, Parallel Processing and Algorithms, Fall 2011
CSCE 4890.737, Directed Study, Summer 10W 2011
CSCE 5610.001, Computer System Architecture, Spring 2011
CSCE 4610.001, Computer Systems Architecture, Spring 2011 Syllabus
CSCE 6950.737, Doctoral Dissertation, Spring 2011
CSCE 6940.737, Individual Research, Spring 2011
CSCE 5950.737, Master's Thesis, Spring 2011
CSCE 3030.001, Parallel Programming, Spring 2011 Syllabus
CSCE 6900.737, Special Problems, Spring 2011
CSCE 6610.001, Advanced Computer Architecture, Fall 2010
CSCE 4890.737, Directed Study, Fall 2010
CSCE 5934.737, Directed Study, Fall 2010
CSCE 6950.737, Doctoral Dissertation, Fall 2010
CSCE 5950.737, Master's Thesis, Fall 2010
CSCE 5950.737, Master's Thesis, Summer 10W 2010
CSCE 2900.737, Special Problems in Computer Science and Engineering, Summer 10W 2010
CSCE 4890.737, Directed Study, Spring 2010
CSCE 6950.737, Doctoral Dissertation, Spring 2010
CSCE 6940.737, Individual Research, Spring 2010
CSCE 5950.737, Master's Thesis, Spring 2010
CSCE 6900.737, Special Problems, Spring 2010
CSCE 4890.737, Directed Study, Fall 2009
CSCE 5934.737, Directed Study, Fall 2009
CSCE 6950.737, Doctoral Dissertation, Fall 2009
CSCE 6940.737, Individual Research, Fall 2009
CSCE 5950.737, Master's Thesis, Fall 2009
CSCE 5160.001, Parallel Processing and Algorithms, Fall 2009
CSCE 5610.001, Computer System Architecture, Spring 2009
CSCE 4610.001, Computer Systems Architecture, Spring 2009
CSCE 5934.737, Directed Study, Spring 2009
CSCE 6950.737, Doctoral Dissertation, Spring 2009
CSCE 6940.737, Individual Research, Spring 2009
CSCE 5950.737, Master's Thesis, Spring 2009
CSCE 6950.737, Doctoral Dissertation, Fall 2008
CSCE 5950.737, Master's Thesis, Fall 2008
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2008
CSCE 5950.737, Master's Thesis, Summer 10W 2008
CSCE 5160.021, Parallel Processing and Algorithms, Summer 10W 2008
CSCE 6900.737, Special Problems, Summer 10W 2008
CSCE 5610.001, Computer System Architecture, Spring 2008
CSCE 4610.001, Computer Systems Architecture, Spring 2008
CSCE 6950.737, Doctoral Dissertation, Spring 2008
CSCE 5950.737, Master's Thesis, Spring 2008
CSCE 6610.001, Advanced Computer Architecture, Fall 2007
CSCE 6950.737, Doctoral Dissertation, Fall 2007
CSCE 5934.737, Directed Study, Summer 10W 2007
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2007
CSCE 2610.002, Computer Organization, Spring 2007
CSCE 2610.090, Computer Organization, Spring 2007
CSCE 6950.737, Doctoral Dissertation, Spring 2007
CSCE 2900.737, Special Problems in Computer Science and Engineering, Spring 2007
CSCE 4890.737, Directed Study, Fall 2006
CSCE 5934.737, Directed Study, Fall 2006
CSCE 6950.737, Doctoral Dissertation, Fall 2006
CSCE 2610.021, Computer Organization, Summer 10W 2006
CSCE 6950.737, Doctoral Dissertation, Summer 10W 2006
CSCE 4950.700, Special Problems in Computer Science and Engineering, Summer 10W 2006
CSCE 5610.001, Computer System Architecture, Spring 2006
CSCE 4610.001, Computer Systems Architecture, Spring 2006
CSCE 6950.737, Doctoral Dissertation, Spring 2006
CSCE 6940.737, Individual Research, Spring 2006
CSCE 6950.737, Doctoral Dissertation, Fall 2005
CSCE 6940.737, Individual Research, Fall 2005
CSCE 6900.737, Special Problems, Fall 2005
CSCE 4950.700, Special Problems in Computer Science and Engineering, Fall 2005
CSCI 6950.737, Doctoral Dissertation, Summer 10W 2005
CSCI 6940.737, Individual Research, Summer 10W 2005
CSCI 3100.004, Computer Organization, Spring 2005
CSCI 5890.737, Directed Study, Spring 2005
CSCI 6950.737, Doctoral Dissertation, Spring 2005
CSCI 6940.737, Individual Research, Spring 2005
CSCI 6900.737, Special Problems, Spring 2005
CSCI 6950.737, Doctoral Dissertation, Fall 2004
CSCI 6940.737, Individual Research, Fall 2004
CSCI 6900.737, Special Problems, Fall 2004

* Texas Education Code 51.974 (HB 2504) requires each institution of higher education to make available to the public, a syllabus for undergraduate lecture courses offered for credit by the institution.

Published Publications

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.

Awarded Grants

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. (January 01, 2020December 31, 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. (January 1, 2020December 31, 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. (September 1, 2018August 31, 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. (September 2018August 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. (April 2014April 2021).
Kavi, K. M. (Principal), "Industrial Memberships with Netcentric I/UCRC," Sponsored by Various Industrial Organizations, Private, $911428 Funded. (April 2014April 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. (August 2017July 2018).
Kavi, K. M. (Principal), "A framework for epidemic contact tracing using multi-contextual information," Sponsored by NSF CISE/IIS, Federal, $99965 Funded. (20152017).
Kavi, K. M. (Principal), "Development of tools to analyze memory accesses in multicore processors," Sponsored by AMD, Private, $190000 Funded. (20102017).
Kavi, K. M. (Principal), "NSF ENG. Innovative MD: IUCRC Center for Net-Centric IUCRC," Sponsored by NSF, Federal, $573622 Funded. (January 2013May 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. (20132015).
Kavi, K. M. (Principal), "Net-Centric Software and Systems IUCRC," Sponsored by NSF - ENGR/IIP, Federal, $693645 Funded. (20092014).
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. (September 01, 2008August 31, 2014).
Kavi, K. M. (Principal), "Fundamental Research Program: Collaborative Research on QoS assured service composition and execution," Sponsored by NSF, Federal, $98320 Funded. (20112013).
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. (20112013).
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. (August 1, 2008July 31, 2013).
Kavi, K. M. (Principal), "REV Supplement to IUCRC Award," Sponsored by NSF, Federal, $8000 Funded. (20112012).
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. (20082012).
Kavi, K. M. (Principal), "Development of tools to analyze memory accesses in multicore processors," Sponsored by AMD, Private, $40000 Funded. (20112011).
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. (20102011).
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. (September 2001August 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. (20002001).
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. (19992001).
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. (19982001).
Kavi, K. M. (Principal), "Support for multithreaded programming of image processing; PI: K.M. Kavi," Sponsored by Intergraph, Huntsville, Alabama, Private, $25000 Funded. (19982000).
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. (19961999).
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. (19971997).
,
Overall
Summative Rating
Challenge and
Engagement Index
Response Rate

out of 5

out of 7
%
of
students responded
  • Overall Summative Rating (median):
    This rating represents the combined responses of students to the four global summative items and is presented to provide an overall index of the class’s quality. Overall summative statements include the following (response options include a Likert scale ranging from 5 = Excellent, 3 = Good, and 1= Very poor):
    • The course as a whole was
    • The course content was
    • The instructor’s contribution to the course was
    • The instructor’s effectiveness in teaching the subject matter was
  • Challenge and Engagement Index:
    This rating combines student responses to several SPOT items relating to how academically challenging students found the course to be and how engaged they were. Challenge and Engagement Index items include the following (response options include a Likert scale ranging from 7 = Much higher, 4 = Average, and 1 = Much lower):
    • Do you expect your grade in this course to be
    • The intellectual challenge presented was
    • The amount of effort you put into this course was
    • The amount of effort to succeed in this course was
    • Your involvement in course (doing assignments, attending classes, etc.) was
CLOSE