 | Dennis KafuraProfessor
|
Research Interests
Dennis Kafura received his Ph.D. and M.S. degrees in Computer Science from Purdue University in 1974 and 1972, respectively. He had earlier received a B.S. in Mathematics from the University of San Francisco in 1970. He served on the faculty at Iowa State University from 1975 to 1981 where he received tenure. He joined the faculty at Virginia Tech in 1982, serving as Head of the department from 1998 to 2008.
His current research interests are in Computer Science Education, specifically focusing on the curriculum and technology related to computational thinking for novice learners. His previous research interests were broadly in systems and software engineering. He has directed several projects involving object-oriented concurrent programming (ACT++), object-oriented distributed systems (OOSI, and Symphony), and security in grid computing systems (PRIMA). He is the author of over 50 refereed journal and conference publications and the author of two books on object-oriented programming. He has been awarded 18 research grants exceeding $4.5 million in funding and over $2.5 million in equipment grants and donations. He is a member of the ACM, the IEEE, and the IEEE Computer Society.
2014
Almohri, H., D. D. Yao, and D. Kafura,
"DroidBarrier: Know What is Executing on Your Android",
ACM Conference on Data and Application Security and Privacy (CODASPY), San Antonio, TX, ACM, 03/2014.
Almohri, H., D. D. Yao, and D. Kafura,
"Process Authentication for High System Assurance",
IEEE Transactions on Dependable and Secure Computing (TDSC), vol. 11, no. 2, 03/2014.
2013
Kafura, D., and D. Gracanin,
"An Information Flow Control Meta-model",
18th ACM Symposium on Access Control Models and Technologies (SACMAT), Amsterdam, The Netherlands, June 12-14, 2013.
Elish, K., Y. Deng, D. Yao, and D. Kafura,
"Device-Based Isolation for Securing Cryptographic Keys",
Third International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2013), Halifax, Nova Scotia, Canada, June 25-28, 2013.
2012
Almohri, H., D. Yao, and D. Kafura,
"Identifying Native Applications With High Assurance",
CODASPY'12, San Antonio, TX, February, 2012.
Abstract
Codio, S., D. Kafura, M. Perez-Quinones, and D. Gracanin,
"A Case Study of Community Privacy",
International Conference on Slocial Informatics, Washington, D.C., USA, Dec. 14-16, 2012.
Codio, S., D. Kafura, M. A. Perez-Quinones, and A. Kavanaugh,
"Identifying Critical Factors of Community Privacy",
International Conference on Privacy, Security, Risk and Trust (PASSAT'12), Amsterdam, The Netherlands, Sept. 3-5, 2012.
2011
Kafura, D., D. Gracanin, M. A. Pérez-Quiñones, and T. DeHart,
"An Approach to Community-Oriented Email Privacy",
Third IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2011), MIT, Boston, MA, pp. 966-973, 2011.
Kafura, D., and D. Tatar,
"Initial Experience with a Computational Thinking Course for Computer Science Students",
ACM SIGCSE'11, Dallas, TX, Association for Computing Machinery, March, 2011.
2008
Lorch, M., D. G. Kafura, I. Fisk, K. Keahy, T. Freeman, A. S. Rana, and F. Wurtherwein,
"Authorization and identity mapping services for the Open Science Grid",
International Journal of High Performance Computing and Networking, vol. 5, no. No. 3, pp. 144-155, 2008.
2005
Wurtherwein, F., M. Lorch, D. G. Kafura, K. Keahey, G. Carcassi, K. Keahy, T. Peremutov, and A. S. Rana,
"Authorization and Account Management in the Open Science Grid",
6th IEEE/ACM International Workshop on Grid Computing, Seattle, Washington, pp. 17-24, November 2005.
2004
Wurtherwein, F., and M. Lorch,
"The PRIMA Grid Authorization System",
International Journal of Grid Computing, vol. 2, no. 3, pp. 279-298, September 2004.
Wurtherwein, F., J. Basney, and M. Lorch,
"A Hardware-secured Credential Repository for Grid PKIs",
6th ACM/IEEE International Symposium on cluster Computing and the Grid (CCGrid 2004), Chicago, Illinois, April 2004.
2003
Wurtherwein, F., S. Proctor, R. Lepro, M. Lorch, and S. Shah,
"First Experiences using XACML for Access Control in Distributed Systems",
ACM Workshop on XML Security, Fairfax, VA, October 2003.
Wurtherwein, F., M. Lorch, and S. Shah,
"An XACML-based Policy management and Authorization Service for Globus Resources",
4th International Workship on Grid Computing (Grid 2003), Phoenix, AR, November 2003.
Wurtherwein, F., D. Adams, M. Lorch, M. Koneni, A. Rathi, and S. Shah,
"The PRIMA System for Privilege Management, Authorization and Enforcement in Grid Environments",
4th International Workship on Grid Computing (Grid 2003), Phoenix, AR, November 2003.
2002
Ramakrishnan, N., L. T. Watson, D. G. Kafura, C. J. Ribbens, and C. A. Shaffer,
"Programming Environments for Multidisciplinary Grid Communities",
Concurrency and Computation: Practice and Experience, vol. 13–15, pp. 1241–1273, Nov–December, 2002.
Wurtherwein, F., and M. Lorch,
"Supporting Secure Ad-hoc User Collaboration in Grid Environments",
3rd International Workshop on Grid Computing (Grid 2002), Baltimore, MD, November 2002.
Wurtherwein, F., and M. Lorch,
"Symphony - A java-Based Composition and Manipulation Framework for Computational Grids",
2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2002), Berlin, Germany, May 2002.
2000
Shaffer, C. A., L. T. Watson, D. G. Kafura, N. Ramakrishnan, and A. Tentner,
"Features of Problem Solving Environments for Computational Science",
Proceedings of the 2000 High Performance Computing Symposium (HPC'00), San Diego, CA, Society for Computer Simulation International, pp. 242–247, April 2000.
1999
Shaffer, C. A., L. T. Watson, and D. G. Kafura,
"Component Frameworks for Problem Solving Environments in Computational Science",
Proceedings of the 1st Symposium on Reusable Architectures and Components for Developing Distributed Information Systems (RACDIS'99), pp. 653–656, August, 1999.
Keenan, S., R. Hartson, M. Lorch, and R. Schulman,
"The Usability Problem Taxonomy: A Framework for Classification and Analysis",
Empirical Software Engineering: An International Journal, vol. 4, no. 1, pp. 71-104, March, 1999.
Shah, A., and M. Lorch,
"Symphony: A Java-based Composition and Manipulation Framework for Distributed Legacy Resources",
International Symposium on Software Engineering for Parallel and Distributed Systems, Los Angeles, CA, May 1999.
1998
Mukherji, M., and M. Lorch,
"Specification of Multi-Object Coordination Schemes Using Coordinating Environments",
Theory and Practice of Object Systems, 1998.
Mukherji, M., and M. Lorch,
"A Process-Based Abstraction for Coordinating-Multi-Agent Groups",
Theoretical Computer Science, vol. 192, no. 2, pp. 287-314, 1998.
1996
Lorch, M., and M. Mukherji,
"“CEE: A process-calculus based formalism for specifying multi-object coordination",
Coordination Languages and Models (Lecture Notes in Computer Science), vol. 1061, pp. 285-304, 1996.
Lorch, M., and L. Huang,
"Collective Communication and Communicators in mpi++",
MPI Developers Conference, Notre Dame, IN, July 1996.
Mukherji, M., and M. Lorch,
"CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination",
First International Conference on Coordination Languages and Models (Coordination ’96), Cesena, Italy, April 1996.
1995
Lorch, M., M. Mukherji, and D. Washabaugh,
"Concurrent and Distributed Garbage Collection of Active Objects",
IEEE Transactions on Parallel and Distributed Systems, vol. 6, no. 4, pp. 337-350, April, 1995.
Li, W., S. M. Henry, and M. Lorch,
"Measuring Object-Oriented Design",
Journal of Object-Oriented Programming, vol. 8, no. 4, pp. 48-55, July/august 1995.
1994
Lorch, M., and G. Lavender,
"Concurrent Object-Oriented Languages and the Inheritance Anomaly",
Parallel Computers: Theory and Practice: IEEE Press, pp. 165-198, 1994.
Henry, J., S. M. Henry, M. Lorch, and L. Matheson,
"Improving Software Maintenance at Martin Marietta",
IEEE Software, Special issue on Measurement-Based Process Improvement, vol. 11, no. 1, pp. 67-75, July 1994.
Lavender, G., M. Lorch, and R. Mullins,
"Programmings with ASN.1 Using Polymorphic Types and Type Specialization",
IFIP International Conference on Upper Layer Protocols, Architectures and Applications, June 1994.
1993
Lorch, M., M. Mukherji, and G. Lavendar,
"ACT++ 2.0: A Class Library for Concurrent Programming in C++ Using Actors",
Journal of Object-Oriented Programming, pp. 47-55, October 1993.
1992
Lewis, J., S. M. Henry, M. Lorch, and R. Schulman,
"On the Relationship Between the Object-Oriented Paradigm and Software Reuse: An Empirical Investigation",
Journal of Object-Oriented Programming, vol. 5, no. 4, pp. 35-41, July/august 1992.
Laribi, A., and M. Lorch,
"A Protection Model Incorporating Both Authorizations and Constraints",
Computer Security, vol. 11, pp. 57-73, 1992.
Lewis, J., S. M. Henry, M. Lorch, and R. Shulman,
"Human Factors and Software Reuse: the Manager’s Impact",
ACM 30th Southeast Conference, Raleigh, NC, April 1992.
Lavender, G., and M. Lorch,
"The Synergy Between Object-Oriented Programming and Open System Interconnection",
Workshop on Object-Oriented Software Engineering Practice, Denver, CO, February 1992.
1991
Lewis, J., S. M. Henry, M. Lorch, and R. Shulman,
"An Empirical Study of the Object-Oriented Paradigm and Software Reuse",
Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA91), Phoenix, AZ, October 1991.
1990
Washabaugh, D., and M. Lorch,
"Incremental Garbage Collection of Active Objects for Real-Time Applications",
11th Real-Time Systems Symposium, Orlando, FL, December 1990.
Lorch, M., and A. Yerneni,
"Reliability Using Complexity Metrics",
Eight Annual Pacific Northwest Software Quality Conference, Portland, OR, October 1990.
Lorch, M., D. Washabaugh, and J. Nelson,
"Garbage Collection of Actors",
OOPSLA/ECOOP’90, Ottawa, Canada, October 1990.
1989
Lorch, M., and K. Lee,
"Inheritance in Actor Based Concurrent Object-Oriented Languages",
The Computer Journal, vol. 32, no. 4, pp. 297-304, August 1989.
Lorch, M., and K. Lee,
"Inheritance in Actor Based Concurrent Object-Oriented Languages",
Third European Conference on Object-Oriented Programming, Nottingham, England, July 1989.
1988
Henry, S. M., and M. Lorch,
"A Reliability Model Based on Software Quality Factors",
Annual National Joint Conference on Software Quality and Reliability, Arlington, VA, March 1988.
1987
Lorch, M., and G. R. Reddy,
"The Use of Software Complexity Metrics in Software Maintenance",
IEEE Transactions on Software Engineering, vol. SE-13, no. 3, pp. 335-343, 1987.
1985
Fuchs, K., and M. Lorch,
"Memory-constrained Task Scheduling on a Network of Dual Processors",
Journal of the Association for Computing Machinery, vol. 32, no. 1, pp. 102-129, January 1985.
Lorch, M., and J. Canning,
"A Validation of Software Metrics Using Many Metrics and Two Resources",
Eighth International Conference on Software Engineering, London, England, August 1985.
Lorch, M.,
"A Survey of Software Metrics",
ACM Annual Conference, Denver, CO, October 1985.
Lorch, M., and S. M. Henry,
"Software Quality Measurement: Recent Experience and New Tools",
Eighth Annual Minnowbrook Workshop on Software Performance Evaluation, July 1985.
1984
Lindquist, T., J. Facemire, and M. Lorch,
"A Specification Technique for the Common APSE Interface Set",
Journal of Pqascal, ADA, and Modula-2, vol. 3, no. 5, pp. 25-32, October 1984.
Lan, K. - T., and M. Lorch,
"Strategy Independent Program Restructuring Using the Critical Reference Principle",
Performance Evaluation, vol. 4, pp. 105-115, 1984.
Henry, S. M., and M. Lorch,
"Evaluation of System Structure Using Software Metrics",
Software: Practice and Experience, vol. 14, no. 6, pp. 561-573, June 1984.
Lorch, M., J. Canning, and G. Reddy,
"The Independence of Software Metrics Taken at Different Life Cycle Stages",
Ninth Annual Software Engineering Workshop, NASA/Goddard, November 1984.
1982
Lorch, M.,
"Analyzing the Structure of Software Systems Using Software Metrics",
Fifth Minnowbrook Workshop on Software Performance Evaluation, July 1982.
1981
Lorch, M., and S. M. Henry,
"Software Quality Metrics Based on Interconnectivity",
Journal of Systems and Software, vol. 2, pp. 121-131, 1981.
Henry, S. M., and M. Lorch,
"Software Structure Metrics Based on Information Flow",
IEEE Transactions on Software Engineering, vol. SE-7, no. 5, pp. 510-518, September 1981.
Wittnebeng, J., and M. Lorch,
"Working Set Measurements Based on Sampled Reference String Inforrmation",
Performance Evaluation, vol. 1, no. 1, pp. 70-89, January 1981.
Lorch, M., S. M. Henry, and K. Harris,
"On the Relationships Among Three Software Metrics",
Performance Evaluation Review, vol. 10, no. 1, pp. 81-88, Spring, 1981.
1980
Wittneben, J., and M. Lorch,
"A Simple Reference String Sampling Method",
ACM Annual Conference, Nashville, TN, October, 1980.
1978
Lorch, M., and V. Y. Shen,
"An Algorithm to Design the Memory Configuration of a Computer Network",
Journal of the Association for Computing Machinery, vol. 25, no. 3, pp. 365-377, July 1978.
1977
Lorch, M., and V. Y. Shen,
"Task Scheduling on a Multiprocessor System with Independent Memories",
SIAM Journal on Computing, vol. 6, no. 1, pp. 167-187, March 1977.
Lorch, M.,
"Scheduling Tasks with Critical Sections",
ACM National Conference, October 1977.
Lorch, M.,
"Task Scheduling with Critical Section Constraints",
IFIP-77 Conference, August 1977.
1976
Lorch, M., and V. Y. Shen,
"Scheduling Independent Tasks on Processors of Different Speeds",
Ninth Hawaii International Conference on Systems Sciences, Honolulu, Hawaii, January 1976.
1974
Lorch, M., and V. Y. Shen,
"Scheduling Independent Processors with Different Storage Capabilities",
1974 ACM National Conference, San Diego, CA, November 1974.
Please see projects at: http://people.cs.vt.edu/~kafura/
Alliance Between Historical Black Universities And Research Universities For Collaborative Education And Research In Computing Disciplines
Granting Institution: National Science Foundation
Amount: $103,877
CE21 Planning Grant: Integrating Computational Thinking into Middle School Curriculum
Granting Institution: National Science Foundation
Amount: $199,998
Collaborative Research: ITR/NGS: Deja Vu: Transparent Checkpointing and Migration of Parallel Codes Over Grid Infrastructures
Granting Institution: National Science Foundation
Amount:
Déjà Vu: Transparent Checkpointing And Migration Of Parallel Codes Over Grid Infrastructures
Granting Institution: National Science Foundation
Amount: $715,000
Development of Trauma Surgery Simulation Software
Granting Institution: Carilion Clinic
Amount: $60,000
IUSE:A Scaffolded Data-Centric Approach to Improved Learning of Introductory Computing Concepts
Granting Institution: NSF
Amount: $532,671
Planning Grant: Integrating Computational Thinking Into Middle School Curriculum
Granting Institution: National Science Foundation
Amount: $199,998
REU Planning Grant: Integrating Computational Thinking Into Middle School Curriculum
Granting Institution: National Science Foundation
Amount: $16,000
TUES: EAGER: Scaffolding Big Data for Authentic Learning of Computing
Granting Institution: NSF
Amount: $97,658
U.S. Haiti Higher Education Partnership, Computer Science
Granting Institution: American Council on Education
Amount: $552,000