Krishna M. Kavi
University of North Texas
Computer Science and Engineering
(940) 369-7216
Email:

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

Professional Positions

Academic - Post-Secondary
Regents Professor, University of North Texas. (2019 – Present).
Professor and Chair, UNT. (2001 – Present).
Director of NSF Net-Centric IUCRC, UNT. (20092021).

Professional Memberships

SIGARCH, SIGPLAN, SIGOPS, SIGMICRO, Association for Computing Machinery. (Present).

Member, Sigma Xi, UTA chapter. (Present).

Member, Upsilon Pi Epsilon, UTA chapter. (Present).

Senior Member; Technical committees on Architecture, Distributed processing, IEEE computer society. (1986 – Present).

Member, Intelligent Systems Technical Committee, AIAA. (20012004).

Awards and Honors

IEEE CS Certificate of Appreciation. (Present).

SMU CSE Distinguished Alum at CSE 40th Anniversary Banquet. (20072007).

Keynote speaker, 19th Intl. Conf. on Parallel and Distributed Computing Systems (PDCS-2006) Sept. 20, San Francisco, CA. (20062006).

Keynote Speaker, 11th Intl. Conference on Advanced Computing, Coimbatore, India, Dec. 17-20. (20032003).

Keynote Speaker, INFOFEST-98, (Budva, Montenegro, Yugoslavia), Sept. 28. (19981998).

Keynote Speaker, PAPM-98 (Process Algebra and Performance Modeling), Nice, France, Sept. 12. (19981998).

Editor, IEEE Transactions on Computers. (19931997).

Halliburton Outstanding Young Faculty Award, UTA College of Eng.. (19881988).

Listed in Who is Who in Technology. (19881988).

Senior Member, IEEE. (19861986).

Teaching award, Dept. CSE, UTA. (19851985).

Listed in Who is Who in Frontier Science and Technology. (19841985).

Listed in Outstanding Young Men of America. (19831983).

F. E. Termann Award (Outstanding Graduate Student), SMU. (19791979).

Indian Institute of Science Merit Fellowship. (19721975).

Indian National Merit Scholarship. (19721972).

Teaching

Teaching Experience

University of North Texas
CSCE 2610, Assembly Language and Computer Organization, 19 courses.
CSCE 2900, Special Problems in Computer Science and Engineering, 7 courses.
CSCE 2999Z, CSCE Research, 4 courses.
CSCE 3030, Parallel Programming, 1 course.
CSCE 4610, Computer Systems Architecture, 9 courses.
CSCE 4890, Directed Study, 13 courses.
CSCE 4950, Special Problems in Computer Science and Engineering, 2 courses.
CSCE 5160, Parallel Processing and Algorithms, 9 courses.
CSCE 5610, Computer System Architecture, 18 courses.
CSCE 5760, Design for Fault Tolerance, 3 courses.
CSCE 5934, Directed Study, 24 courses.
CSCE 5950, Master's Thesis, 20 courses.
CSCE 6610, Advanced Topics in Computer Architecture, 7 courses.
CSCE 6900, Special Problems, 6 courses.
CSCE 6933, Advanced Topics in Computer Science and Engineering, 1 course.
CSCE 6940, Individual Research, 28 courses.
CSCE 6950, Doctoral Dissertation, 46 courses.
CSCI 3100, Computer Organization, 1 course.
CSCI 5890, Directed Study, 1 course.
CSCI 6900, Special Problems, 2 courses.
CSCI 6940, Individual Research, 3 courses.
CSCI 6950, Doctoral Dissertation, 3 courses.

Directed Student Learning

Dissertation Committee Chair,"Near Memory Support of Memory Side Acceleration of Irregular Data Accesses," Computer Science and Engineering. (January 2021 – Present).

Dissertation Committee Chair,"Accelerating Sparse Data Accesses for ML and Graph Applications," Computer Science and Engineering. (January 2019 – Present).

Dissertation Committee Chair, Computer Science and Engineering. (January 15, 20192023).

Dissertation Committee Chair,"Mitigating Cache-Side Channel and Speculative Execution Attacks," Computer Science and Engineering. (January 2018December 2023).

Dissertation Committee Chair,"Thesis: Scheduled Dataflow," Computer Science and Engineering. (20162023).

Dissertation Committee Member, Computer Science and Engineering. (August 2020May 2023).

Dissertation Committee Member,"Feature-Oriented Hardware Design," Computer Science and Engineering. (April 28, 2023).

Dissertation Committee Member,"Building reliable and cost-effective HPC Storage Systems," Computer Science and Engineering. (20182022).

Other, Computer Science and Engineering. (September 20202021).

Master's Thesis Committee Chair, Computer Science and Engineering. (May 15, 20192021).

Dissertation Committee Chair,"Customized Levels of Security and Privacy," Computer Science and Engineering. (January 2016December 2021).

Other, Texas Academy of Mathematics and Science. (September 2019August 2021).

Other, Texas Academy of Mathematics and Science. (August 2019August 2021).

Dissertation Committee Chair,"Improving Memory performance for both High Performance Computing and Embedded/Edge Computing Systems," Computer Science and Engineering. (August 2015August 29, 2021).

Other, Other - Outside UNT. (September 2020May 2021).

Other, Texas Academy of Mathematics and Science. (June 1, 2020May 2021).

Dissertation Committee Member, Computer Science and Engineering. (January 2019May 11, 2021).

Other, Texas Academy of Mathematics and Science. (June 1, 2020December 2020).

Other, Computer Science and Engineering. (January 1, 20202020).

Other, Computer Science and Engineering. (June 01, 2020August 31, 2020).

Other, Computer Science and Engineering. (June 01, 2020August 01, 2020).

Other, Computer Science and Engineering. (August 2019May 2020).

Other, Texas Academy of Mathematics and Science. (August 2019May 2020).

Other, Texas Academy of Mathematics and Science. (January 2019May 2020).

Other, Texas Academy of Mathematics and Science. (August 15, 2018May 2020).

Other, Computer Science and Engineering. (August 2019December 2019).

Other, Computer Science and Engineering. (May 2019December 2019).

Other,"Varying Cache Indexes to Improve Security," Texas Academy of Mathematics and Science. (January 2018August 15, 2019).

Other, Texas Academy of Mathematics and Science. (January 15, 2017August 15, 2019).

Dissertation Committee Member, Computer Science and Engineering. (May 2019).

Dissertation Committee Chair,"Processing in Memory Technologies," Computer Science and Engineering. (January 2012May 2019).

Dissertation Committee Chair,"Heterogeneous memories," Computer Science and Engineering. (August 2011May 2019).

Dissertation Committee Chair,"Ontology Based Security Threat Assessment And Mitigation For Cloud Systems," Computer Science and Engineering. (August 2012December 2018).

Dissertation Committee Chair,"Dataflow Processing In Memory Achieves Significant Energy Efficiency," Computer Science and Engineering. (August 2011August 2018).

Dissertation Committee Chair,"Secure and Trusted Execution Framework for Virtualized Workloads," Computer Science and Engineering. (August 2010August 2018).

Supervised Research, Computer Science and Engineering. (August 2017May 2018).

Other, Texas Academy of Mathematics and Science. (2017May 31, 2018).

Other, Computer Science and Engineering. (May 2017December 2017).

Other, Computer Science and Engineering. (May 2017December 2017).

Other, Computer Science and Engineering. (January 2017December 2017).

Other, Electrical Engineering. (May 2016August 2017).

Other, Computer Science and Engineering. (May 2015August 2017).

Other, Computer Science and Engineering. (May 2016December 2016).

Master's Thesis Committee Chair,"Probabilistic analysis of contracting ebola virus suing contextual intelligence," Computer Science and Engineering. (August 2015December 2016).

Other, Computer Science and Engineering. (May 2015August 2016).

Other, Computer Science and Engineering. (May 2015August 2016).

Other, Computer Science and Engineering. (May 2014May 2016).

Dissertation Committee Member,"Dissertation: Wasted Writes," Computer Science and Engineering. (2013May 2016).

Master's Thesis Committee Chair,"An accelerometer-based gesture recognition system for tactical communications application," Computer Science and Engineering. (August 2013December 2015).

Other, Computer Science and Engineering. (May 2015August 2015).

Postdoctoral Research Supervision,"Post doctoral Research," Computer Science and Engineering. (January 2013June 2015).

Dissertation Committee Member, Computer Science and Engineering. (2012May 2015).

Dissertation Committee Member,"Doctoral Dissertation: High Performance Architecture using Speculative threads and dynamic memory management hardware," Computer Science and Engineering. (20092014).

Dissertation Defense Committee Chair,"Title of Research: Formal specification techniques for agent oriented systems," Computer Science and Engineering. (May 1, 2003May 2014).

Master's Thesis Committee Chair,"QoS aware service composition," Computer Science and Engineering. (20122013).

Major Professor,"3D DRAMs in Processor Memory," Computer Science and Engineering. (20112013).

Master's Thesis Committee Co-Chair,"Performance engineering of software web services and distributed software systems," Computer Science and Engineering. (20032013).

Dissertation Committee Chair,"Title: Transactional Memories in multi-threaded and multi-core processors," Computer Science and Engineering. (August 2008August 2013).

Other. (20102011).

Master's Thesis Committee Chair,"Programmable decoders for improving cache conflicts," Computer Science and Engineering. (20082011).

Major Professor, Computer Science and Engineering. (August 2009May 2011).

Supervised Research,"Title: Cache memory issue in multi-core and many-core processors," Electrical Engineering. (20012009).

Dissertation Committee Chair,"Doctoral Dissertation: High Performance Architecture using Speculative threads and dynamic memory management hardware," Computer Science and Engineering. (January 2004December 2007).

Dissertation Committee Chair,"A study of Split Data Caches including Array and Scalar Caches," Computer Science and Engineering. (August 2003August 2007).

Dissertation Committee Chair,"Group-EDF - a new approach and an efficient non-preemptive algorithm for soft real-time systems," Computer Science and Engineering. (January 2001August 2006).

Master's Thesis Committee Chair,"Some optimizations to SDF Compiler (Thesis)," Computer Science and Engineering. (20042004).

Other,"Research Conducted: Compiler optimizations for SDF,". (20022004).

Dissertation Committee Chair,"Intelligent memory manager: Towards improving the locality behavior of allocation intensive applications," Computer Science and Engineering. (May 1999May 2004).

Dissertation Committee Co-Chair,"Personal Wireless Network for Medical Sensors," Computer Science and Engineering. (20032003).

Master's Thesis Committee Chair,"A comparison of agent-oriented software engineering methodologies and frameworks (Thesis)," Computer Science and Engineering. (20032003).

Other,"A Framework for the Specification, Modeling and Analysis of Agent-Oriented Real-Time Intelligent Software Systems," Computer Science and Engineering. (20022002).

Other,"Design, Implementation and Evaluation of the Scheduled Dataflow Architecture,". (20012001).

Master's Thesis Committee Chair,"A Petri-net based testing tool for Pthread programs (Thesis)," Electrical Engineering. (20012001).

Master's Thesis Committee Chair,"A back-end compiler for a non-blocking multithreaded architecture, SDF (Thesis)," Electrical Engineering. (20012001).

Master's Thesis Committee Chair,"(Paper Option)," Electrical Engineering. (20012001).

Postdoctoral Research Supervision,"Research Conducted: Evaluation of SDF architecture," Electrical Engineering. (19992001).

Postdoctoral Research Supervision,"Research conducted: Decoupled Multithreaded Architectures," Electrical Engineering. (19982000).

Master's Thesis Committee Chair,"Comparison of Fibre Channel with Ultra SCSI for Disk accesses. Intergraph, Huntsville (Paper option)," Electrical Engineering. (19971998).

Other,"Hyperactive Messages (Thesis),". (19971997).

Other,"AMI: An active messages implementation (Thesis),". (19971997).

Other,"Migratable Dynamically Linakable Objets: A new paradigm for client/server systems (Thesis); Received UTA College of Engineering Award for Exemplary Teaching by a Graduate Student, 1995,". (19961996).

Other,"Specification and analysis of stochastic properties for concurrent systems expressed using CSP (Received UTA Chapter Sigma Xi Doctoral Dissertation Award),". (19961996).

Other,"Reuse of Operand Memory in ETS Dataflow Architecture (Thesis),". (19961996).

Other,"Converting IF1 to ETS architecture (Thesis),". (19941994).

Other,"Cache memories for multiprocessor dataflow architectures (Thesis),". (19941994).

Other,"Design and evaluation of I-structure cache memory for dataflow multiprocessor environment (Thesis),". (19941994).

Other,"Debugging environment with Dataflow simulator DEK (Project),". (19931993).

Other,"Dataflow Architecture and Multithreading (Project),". (19931993).

Other,"A Performability Tool (Project),". (19931993).

Other,"Cache Memories with Dynamic Dataflow architecture (Thesis),". (19931993).

Other,"Object Name Resolution Techniques (Project),". (19931993).

Other,"DISTIL: A specification, design and implementation language for reliable distributed computing,". (19921992).

Other,"Implementing inheritance in a distributed object-oriented environment (Thesis); Received UTA Chapter Sigma Xi Research Award, May 1993,". (19911991).

Other,"Control-flow based extensions to dataflow language SISAL (Thesis),". (19911991).

Other,"A framework and a proof system for concurrent processes (Received UTA College of Engineering Outstanding Graduate Student Award, 1988),". (19901990).

Other,"Decomposition and aggregation of stochastic dataflow graphs (Thesis),". (19901990).

Other,"Partitioning and mapping of parallel algorithms using dataflow graphs: Mapping (Thesis),". (19891989).

Other,"LARS: A list, array, raster and string processor,". (19891989).

Other,"Partitioning and mapping of parallel algorithms using dataflow graphs: Partitioning (Thesis),". (19891989).

Other,"Logical verification of MRDF (Thesis),". (19891989).

Other,"A concurrent C compiler for Transputer based systems (Project),". (19891989).

Other,"Stochastic dataflow graph models for reliability analysis of communication networks and computer systems,". (19881988).

Other,"Software development and reliability modeling: Software life cycle model (Thesis),". (19881988).

Other,"A concurrent C language for Transputers (Project),". (19881988).

Other,"Code optimization for pipelined processors (Thesis),". (19871987).

Other,"A conceptual model for interprocess message passing,". (19861986).

Other,"CACTTUES: A computer architecture teaching tool using expert systems (Project),". (19861986).

Other,"A comparative evaluation of dataflow, pipelined and array processors for signal processing algorithms (Project),". (19861986).

Other,"Simulation of computer systems using DFDLS,". (19851985).

Other,"Implementation details of SWARD prototype, evaluation and proposed extensions (Thesis),". (19851985).

Other,"A survey of LISP machines (Project),". (19851985).

Other,"DFDLS: A dataflow simulation environment (Thesis),". (19851985).

Other,"SWARD environment at UTA (Project),". (19841984).

Other,"A message repository model for distributed operating systems (Thesis),". (19841984).

Other,"Architecture quality measurement (Thesis),". (19841984).

Other,"Performance evaluation of Multics at USL (Thesis),". (19821982).

Research

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.

Presentations Given

Invited Talk

Kavi, K. (Author & Presenter), CERIAS Security Seminar Series, Hardware Side-Channel Attacks and Some Solutions, Computer Science Department, Purdue University, West Lafayette, IN, United States of America. (20192019).

Kavi, K. M. (Author & Presenter), NIST, Computer Systems Security Research at UNT, NIST, Gaithersburg, MD, United States of America. (20182018).

Kavi, K. M. (Author & Presenter), Computer Systems Security Research at UNT, NOBLIS, Reston, Virginia, United States of America. (20182018).

Kavi, K. M. (Presenter), Department of Computer Science Invited Seminar, Computer Systems Research at UNT, University of Siena, Siena, Italy, Italy. (20182018).

Kavi, K. M. (Presenter), Computer Systems Research at UNT, University of Georgia, Athnes Georgia, United States of America. (20172017).

Kavi, K. M. (Presenter), High Performance Computing Research, Jet Propulsion Laboratory, Pasadena, CA, United States of America. (20162016).

Kavi, K. M. (Presenter), Security Vulnerability Evaluations, Boeing, Huntington Beach, CA, United States of America. (20162016).

Kavi, K. M. (Presenter), Computer Systems Research at UNT, Washington State University, Pullman, WA, United States of America. (20162016).

Kavi, K. M. (Presenter), Computer Systems Research at UNT, University of Idaho, Moscow, ID, United States of America. (20162016).

Kavi, K. M. (Other), 3rd International Conference on Software and Data Technologies (ICSOFT), United States of America. (20082008).

Kavi, K. M. (Presenter), Billion Transistor Chips: How to garner the silicon real-estate for improved performance, Auburn University, Auburn, AL, United States of America. (20062006).

Kavi, K. M. (Presenter), Billion Transistor Chips: How to garner the silicon real-estate for improved performance, University of Alabama in Huntsville, United States of America. (20062006).

Keynote/Plenary Address

Kavi, K. M. (Presenter), International Conference on Computing, Communications and Networking Technologies (ICCCNT-2015),, Heterogeneous Memory Systems, Denton, TX, United States of America. (20152015).

Panel Presentation

Kavi, K. M. (Panelist), 15th Internatioanl Conference on Software Engineering Advances (ICSEA-2020), Are Citizen-Oriented Services fair to all citizens: Issues and Challenges, IARIA, Porto, Portugal, Portugal. (20202020).

Kavi, K. M. (Panelist), Security Challenges for IoT, UNT College of Engineering, Allen, Texas, United States of America. (20172017).

Kavi, K. M. (Moderator), International Conference on Software Engineering Advances, Challenges for Building Applications and Services for Smart Devices, Rome, Italy, Italy. (20162016).

Kavi, K. M. (Panelist), International Conference on Software Engineering Advances, Quo Vadis Software Engineering?,, Barcelona, Spain, Spain. (20152015).

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).
Uncategorized
Kavi, K. M. (Principal), "Development of tools to analyze memory accesses in multicore processors," Sponsored by AMD, $40000. (20102011).
Kavi, K. M. (Co-Principal), "Development of a Flexible Instrument and Tools for Experimental Research in Next-Generation 9-1-1 Services; PIs: Ram Dantu, K.M. Kavi and P. Guturu," Sponsored by NSF CISE CNS MRI, $400000. (20082011).
Kavi, K. M. (Principal), "REU supplement for NSF IIP Industry/University Cooperative Research Center on Net-Centric Software and Systems," Sponsored by NSF, $16000. (20092010).
Kavi, K. M. (Co-Principal), "Texas Youth in Technology Grant Program at UNT," Sponsored by Texas Workforce Development, $150000. (20092010).
Kavi, K. M. (Co-Principal), "PIs: R.Akl, K.M. Kavi and D. Keathly," Sponsored by Texas Workforce Commission Youth in Technology Grant Program, $132514. (20082009).
Kavi, K. M. (Principal), "NCCS High Assurance Project; PI: K.M. Kavi," Sponsored by KJV Inc. (subcontract on a US Navy SPAWAR contract), $20000. (20072008).
Kavi, K. M. (Principal), "PI: K.M. Kavi," Sponsored by NSF IUCRC Planning Grant to form NetCentric Consortium, $10000. (20072008).
Kavi, K. M. (Principal), "Planning Visit to Taiwan; PI: K.M. Kavi," Sponsored by NSF International, $8437. (20072008).
Kavi, K. M. (Co-Principal), "Recruiting and Retention Strategies in CS at UNT; PIs: R. Akl, D. Keathly, K.M. Kavi," Sponsored by Texas Workforce Development (TWD), $125322. (20052007).
Kavi, K. M. (Principal), "Improving Retention of Computer Science students at UNT; PI: K.M. Kavi," Sponsored by Texas Workforce Development, $46253. (20052005).
Kavi, K. M. (Co-Principal), "Support for SCPES-2005 Workshop; PIs: Phil Sweany and K.M. Kavi," Sponsored by NSF CNS, $12500. (20052005).
Kavi, K. M. (Principal), "Improving Retention of Computer Science students at UNT; PI: K.M. Kavi," Sponsored by Texas Workforce Development (TETC), $83322. (20032004).
Kavi, K. M. (Principal), "Computational Science and Engineering: Intelligent Information; PI: K.M. Kavi, Co-PIs: K. Swigger and A. Wilson," Sponsored by NSF-Research Resources (RR-0222628), $180000. (20022004).
Kavi, K. M. (Principal), "Intelligent software systems for object-oriented programs; PI: K.M. Kavi (jointly with Ron Cytron and Mark Franklin of Washington University in St. Louis, MO)," Sponsored by NSF-ITR Program (Award #: CCR-0117263); UAH/UNT Share $208,000, $450000. (20002003).
Kavi, K. M. (Principal), "Performance Measurement and Evaluation of Multithreaded Systems; PIs: K. M. Kavi and W. Cohen," Sponsored by NSF Research Experience for Undergraduates-Site (EIA-9820147), $145278. (19992002).
Kavi, K. M. (Principal), "Investigation multithreaded dataflow and hybrid architectures; PI: K. M. Kavi," Sponsored by NSF - MIPS Micro Systems Architecture (MIP-9796310/CCR-9796310), $382857. (19962000).
Kavi, K. M. (Co-Principal), "Design of distributed computing environment using PowerPC microkernel; PIs: D. J. Cook, K. M. Kavi and B. Shirazi," Sponsored by NSF- CISE Research Instrumentation (CDA-9529561). (19961999).
Kavi, K. M. (Co-Principal), "Research Experience for Undergraduates in Software Tools for Concurrent Programming; PIs: B. Shirazi and K. M. Kavi," Sponsored by NSF - Research Experience for Undergraduates Site (CDA-9531535), $113690. (19961999).
Kavi, K. M. (Co-Principal), "PARSA: A parallel processing environment; PIs: B. Shirazi, Co-Investigator: K. M. Kavi," Sponsored by Texas Advanced Technology Program, $206000. (19961997).
Kavi, K. M. (Principal), "Parallelization of VERILOG logic simulation; PIs: K. M. Kavi and Hee Yong Youn," Sponsored by Tarek Computers, $15000. (19961996).
Kavi, K. M. (Co-Principal), "Software Tools for Parallel Program Development and Assessment; PIs: B. Shirazi, and K. M. Kavi," Sponsored by NSF-Research Experience for Undergraduates, $119375. (19931996).
Kavi, K. M. (Principal), "Graduate Fellowship (for F.T. Sheldon); PI: K. M. Kavi," Sponsored by NASA Langley Research Center, $66000. (19931995).
Kavi, K. M. (Principal), "IPA Mobility Agreement; PI: K. M. Kavi," Sponsored by National Science Foundation (NSF), $171957. (19931995).
Kavi, K. M. (Principal), "Study of parallel power plant simulator; PI: K. M. Kavi," Sponsored by International Computing Technologies (NSF-SBIR subcontract), $11025. (19941994).
Kavi, K. M. (Co-Principal), "Undergraduate Honors Program in Parallel Processing (HIPP); PIs: B. P. Weems and K. M. Kavi," Sponsored by NSF-Instrumentation and Laboratory Improvement, $78318. (19911994).
Kavi, K. M. (Principal), "Formal Methods for Integrated Diagnostics Software Design; PI: K. M. Kavi," Sponsored by General Dynamics, Ft. Worth Division, $22000. (19921992).
Kavi, K. M. (Principal), "The design of very high-performance object-oriented computer systems; PIs: K. M. Kavi and S. P. Hufnagle," Sponsored by State of Texas Coordinating Board - Advanced Technology Program, $195025. (19901991).
Kavi, K. M. (Principal), "Analysis of fault-tolerant computers using dataflow graphs; PI: K. M. Kavi," Sponsored by State of Texas Coordinating Board - Advanced Research Program, $82676. (19881990).
Kavi, K. M. (Principal), "Develop reliability models for dataflow and demand driven computer systems; PI: K. M. Kavi," Sponsored by NASA-Ames Research Center, $32685. (19841985).
Kavi, K. M. (Principal), "PI: K. M. Kavi," Sponsored by IBM Equipment Gift. (19831983).
Kavi, K. M. (Principal), "Model ultrareliable avionics computers using dataflow graphs; PI: K. M. Kavi," Sponsored by NASA-Langley Research Center, $93761. (19821983).

Copyrights, Patents

Patent
Gulur, N., Kavi, K. M., "Improved efficienceies in moderately sparse matrix compuations," Provisional, United States, Date Submitted to University: August, 2020 –.
Kavi, K. M., Kamongi, P., "Systems and methods for adaptive vulnerability detection and management”.," US20180205755. Provisional, United States, Date of Patent Application: January 19, 2018 –.
Kavi, K. M., "SYSTEMS AND METHODS FOR DEVICE SPECIFIC SECURITY POLICY CONTROL," US20180176262. Provisional, United States, Date of Patent Application: August 16, 2017 –.
Kavi, K. M., "A method and apparatus for improving computer cache performance and for protecting memory systems against some side channel attacks.," 9396135. Regular, United States, Date Submitted to University: April, 25, 2010 –. Date of Patent Application: April 27, 2012 –. Date Patent Approved: July 19, 2016 –.

Awards and Honors

Nominated for: Regents Professor, UNT Board of Regents. (May 2019 – Present).

Nominated for: Fellow of International Academy, Research and Industry Association (IARIA), IARIA.org. (2016 – Present).

Nominated for: IEEE CS Distinguished visitor, IEEE Computer Society. (20062008).

Service

University Service

Member, Grievance Committee. (December 2021 – Present).

Member, Tenure Track Faculty Search Committee. (November 23, 2021 – Present).

Faculty Mentor, Faculty menor. (November 2021 – Present).

Member, College of Engineering Personnel Affairs Committee. (September 2021 – Present).

Member, CSE Research Roadmap. (September 2021 – Present).

Member, Graduate Studies. (September 2020 – Present).

Member, CENG IT Advisory Committee. (2019 – Present).

Member, Faculty Search Committee. (2017 – Present).

Committee Member, Regents Professor Selection Committee. (September 2022August 2024).

Faculty Mentor, Facultty Mentor. (20192020).

Member, Personnel Affairs Committee. (April 20092019).

Other, University of North Texas. (20022003).

Other, University of Alabama in Huntsville. (20002001).

Other, University of Alabama in Huntsville. (20002001).

Other, University of Alabama in Huntsville. (19992000).

Other, University of Alabama in Huntsville. (19992000).

Other, University of Alabama in Huntsville. (19981999).

Other, University of Alabama in Huntsville. (19971998).

University of Texas at Arlington. (19821997).

Other, University of Texas at Arlington. (19821997).

Other, University of Texas at Arlington. (19821997).

Other, University of Texas at Arlington. (19821997).

Other, University of Texas at Arlington. (19861988).

Other, University of Southwestern Louisiana. (19841984).

Professional Service

Committee Member, Annual Heterogeneity in Computing Workshop (HCW-2019), varies, varies. (November 2018 – Present).

Editor, Journal Editor, International Journal On Advances in Software. (January 2018 – Present).

Reviewer, Journal Article, Elsevier Journal of Systems Architecture. (2015 – Present).

Reviewer, Textbook, Morgan Kaufman. (2014 – Present).

Committee Member, International Conference on Software Engineering Advances. (2013 – Present).

Session Chair, International Conference on Software Engineering Advances. (2013 – Present).

Committee Member, Dataflow Models for Extreme Scale Computing. (2011 – Present).

Editor, Associate Editor, International Scholarly Research Network Journal of Software Engineering. (2011 – Present).

Reviewer, Journal Article, IEEE Transactions on Computer. (2010 – Present).

Reviewer, Ad Hoc Reviewer, NSF Panel Reviewer, Washington, DC. (2009 – Present).

Other, ABET Engineering Accreditation Commission (EAC). (March 2023March 2028).

Committee Chair, IEEE 35th International Symposium on Computer Arachitecture and High Performance Computing (SBAC-PAD 2023), Porto Alegre, Brazil. (April 2023November 2023).

Committee Member, IEEE International Conference on Microarchitecture (MICRO-54), Athen. (March 2021October 2021).

Committee Member, IEEE/ACM International Symposium Computer Architecture (ISCA-2021), Valencia. (October 20, 2020May 26, 2021).

Other, IEEE International Conference on High Performance Computer Architecture (HPCA-2020), San Diego, California. (April 2019February 2020).

Other, International Conference on Software Engineering Advances (ICSEA-2019), Valencea. (June 2019November 2019).

Editor, Associate Editor, Journal of Information Science and Engineering, Taipei. (20112016).

Other, ABET (Computer Engineering). (19992005).

Other, IEEE Transactions on Computers. (19931997).

Other, CSAB. (19911997).

Other, IEEE Software; Special Issue on Assessment of Software Tools. (19961996).

IEEE CS Technical Committee on Distributed Computing Systems Executive Committee. (19921992).

Other, IEEE CS-Press. (19881992).

Consulting

Sidley, Austin, Brown and Wood. (20032006).

SigmaTech Interactive, Huntsville, AL. (20002001).

Computing Technologies, San Jose, CA. (19961996).

Jet Propulsion Laboratories, Pasadena, CA. (19921993).

General Dynamics (now part of Lockheed Martin Aero), Ft. Worth Division. (19921992).

Motorola, Tempe, AZ. (19861986).

Communications Enterprises, Inc., Dallas. (19841984).

Recognition Equipment, Inc., Dallas. (19841984).