Dennis G. Kafura

Affiliations:
  • Virginia Tech, Blacksburg, Virginia, USA


According to our database1, Dennis G. Kafura authored at least 76 papers between 1974 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
When Does Collaborative Interaction Support Learning of Computational Thinking Among Undergraduate Students.
Proceedings of the IEEE Frontiers in Education Conference, 2022

2021
A Specification Language for Matching Mistake Patterns with Feedback.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Authoring Semi-automated Feedback for Python Code with Pedal.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

PDL: Scaffolding Problem Solving in Programming Courses.
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2020
Design and Evaluation of a Block-based Environment with a Data Science Context.
IEEE Trans. Emerg. Top. Comput., 2020

Pedal: An Infrastructure for Automated Feedback Systems.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019
Be Constructive: Learning Computational Thinking Using Scratch™ Online Community.
Proceedings of the Advances in Web-Based Learning - ICWL 2019, 2019

2018
Instructional Design + Knowledge Components: A Systematic Method for Refining Instruction.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Analysis of Collaborative Learning in a Computational Thinking Class.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Reconciling the Promise and Pragmatics of Enhancing Computing Pedagogy with Data Science.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Misconception-Driven Feedback: Results from an Experimental Study.
Proceedings of the 2018 ACM Conference on International Computing Education Research, 2018

2017
Computing with CORGIS: Diverse, Real-world Datasets for Introductory Computing.
Inroads, 2017

BlockPy: An Open Access Data-Science Environment for Introductory Programmers.
Computer, 2017

BlockPy Interactive Demo: Dual Text/Block Python Programming Environment for Guided Practice and Data Science (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016
Implementing an Open-Access, Data Science Programming Environment for Learners.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Design and Preliminary Results From a Computational Thinking Course.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

2014
Process Authentication for High System Assurance.
IEEE Trans. Dependable Secur. Comput., 2014

DroidBarrier: know what is executing on your android.
Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

RaBit EscAPE: a board game for computational thinking.
Proceedings of the IDC '14, 2014

2013
Preprocess before You Build: Introducing a Framework for Privacy Requirements Engineering.
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

An information flow control meta-model.
Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Device-based Isolation for Securing Cryptographic Keys.
Proceedings of the 4th International Conference on Ambient Systems, 2013

2012
A Case Study of Community Privacy.
Proceedings of the 2012 International Conference on Social Informatics (SocialInformatics), 2012

Identifying Critical Factors of Community Privacy.
Proceedings of the 2012 International Conference on Privacy, 2012

Identifying native applications with high assurance.
Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011
An Approach to Community-Oriented Email Privacy.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Initial experience with a computational thinking course for computer science students.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

2008
Authorisation and identity mapping services for the Open Science Grid.
Int. J. High Perform. Comput. Netw., 2008

2005
Authorization and account management in the Open Science Grid.
Proceedings of the 6th IEEE/ACM International Conference on Grid Computing (GRID 2005), 2005

2004
The PRIMA Grid Authorization System.
J. Grid Comput., 2004

A hardware-secured credential repository for Grid PKIs.
Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), 2004

2003
First experiences using XACML for access control in distributed systems.
Proceedings of the 2003 ACM Workshop on XML Security, Fairfax, VA, USA, October 31, 2003, 2003

An XACML-based Policy Management and Authorization Service for Globus Resources.
Proceedings of the 4th International Workshop on Grid Computing (GRID 2003), 2003

The PRIMA System for Privilege Management, Authorization and Enforcement in Grid Environments.
Proceedings of the 4th International Workshop on Grid Computing (GRID 2003), 2003

2002
Programming environments for multidisciplinary Grid communities.
Concurr. Comput. Pract. Exp., 2002

Supporting Secure Ad-hoc User Collaboration in Grid Environments.
Proceedings of the Grid Computing, 2002

Symphony - A Java-Based Composition and Manipulation Framework for Computational Grids.
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

1999
The Usability Problem Taxonomy: A Framework for Classification and Analysis.
Empir. Softw. Eng., 1999

Symphony: A Java-Based Composition and Manipulation Framework for Distributed Legacy Resources.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998
A Process-Calculus-Based Abstraction for Coordinating Multi-Agent Groups.
Theor. Comput. Sci., 1998

Actors And Agents.
IEEE Concurr., 1998

1996
CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995
Concurrent and Distributed Garbage Collection of Active Objects.
IEEE Trans. Parallel Distributed Syst., 1995

Workshop on design patterns for concurrent, parallel, and distributed object-oriented system.
Proceedings of the Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, 1995

Measuring Object-Oriented Design.
J. Object Oriented Program., 1995

1994
Improving Software Maintenance at Martin Marietta.
IEEE Softw., 1994

Workshop on multi-language object models.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994

Programming with ASN.1 Using Polymorphic Types and Type Specialization.
Proceedings of the Upper Layer Protocols, 1994

1992
A protection model incorporating both authorization and constraints.
Comput. Secur., 1992

Human factors and software reuse: the manager's impact.
Proceedings of the 30th Annual Southeast Regional Conference, 1992

1991
An Empirical Study of the Object-Oriented Paradigm and Software Reuse.
Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Distributed garbage collection of active objects.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990
Progress in the garbage collection of active objects.
Proceedings of the Workshop on Object-based Concurrent Programming, 1990

Recent progress in combining actor-based concurrency with object-oriented programming.
Proceedings of the Workshop on Object-based Concurrent Programming, 1990

Incremental Garbage Collection of Concurrent Objects for Real-Time Applications.
Proceedings of the Real-Time Systems Symposium, 1990

Garbage Collection of Actors.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989
Inheritance in Actor Based Concurrent Object-Oriented Languages.
Comput. J., 1989

1988
Concurrent object-oriented real-times systems research.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

1987
The Use of Software Complexity Metrics in Software Maintenance.
IEEE Trans. Software Eng., 1987

1985
Memory-Constrained Task Scheduling on a Network of Dual Processors
J. ACM, January, 1985

A Validation of Software Metrics Using Many Metrics and Two Resources.
Proceedings of the Proceedings, 1985

A survey of software metrics.
Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1984
The Evaluation of Software Systems' Structure Using Quantitative Software Metrics.
Softw. Pract. Exp., 1984

Strategy independent program restructuring using the critical reference principle.
Perform. Evaluation, 1984

1982
Predicting cost-of-change: from design structure metrics.
ACM SIGSOFT Softw. Eng. Notes, 1982

1981
Software Structure Metrics Based on Information Flow.
IEEE Trans. Software Eng., 1981

On the relationships among three software metrics.
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, 1981

Working set measurements based on sampled reference string information.
Perform. Evaluation, 1981

Software quality metrics based on interconnectivity.
J. Syst. Softw., 1981

1980
A simple reference string sampling method.
Proceedings of the ACM 1980 Annual Conference, 1980

1978
An Algorithm to Design the Memory Configuration of a Computer Network.
J. ACM, 1978

1977
Task Scheduling on a Multiprocessor System with Independent Memories.
SIAM J. Comput., 1977

Task Scheduling with Critical Section Constraints.
Proceedings of the Information Processing, 1977

Scheduling tasks with critical sections.
Proceedings of the 1977 annual conference, 1977

1974
Analysis of scheduling algorithms for a model of a multiprocessor computer system.
PhD thesis, 1974

Scheduling independent processors with different storage capacities.
Proceedings of the 1974 ACM Annual Conference, 1974


  Loading...