Charles Wallace

Affiliations:
  • Michigan Technological University, Houghton, MI, USA


According to our database1, Charles Wallace authored at least 75 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Member Spotlight: Ismaila Sanusi.
ACM SIGCSE Bull., January, 2024

For those who don't know (how) to ask: Building a dataset of technology questions for digital newcomers.
CoRR, 2024

2023
Member Spotlight: Tamara Pearson.
ACM SIGCSE Bull., October, 2023

The Trans & Non-Binary Computing Education Research Project.
ACM SIGCSE Bull., January, 2023

Member Spotlight.
ACM SIGCSE Bull., January, 2023

Member Spotlight.
ACM SIGCSE Bull., 2023

Member Spotlight.
ACM SIGCSE Bull., 2023

Equity Spotlight.
ACM SIGCSE Bull., 2023

FG<sup>2</sup>AN: Fairness-Aware Graph Generative Adversarial Networks.
Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023

Beyond Summer Reading: Enabling Covert Student Learning Through a Cross-Campus Connecting Theme.
Proceedings of the IEEE Frontiers in Education Conference, 2023

The role of peer dialogue as disruptor in critical ethical analysis for computing students.
Proceedings of the IEEE Frontiers in Education Conference, 2023

2022
Preparing First-Year Engineering Students to Think About Code: A Guided Inquiry Approach.
IEEE Trans. Educ., 2022

Making It Strange: Disrupting Assumptions About Technology and Ethics in Engineering and Computing Education.
IEEE Technol. Soc. Mag., 2022

Member Spotlight.
ACM SIGCSE Bull., 2022

A Technical Symposium for All.
ACM SIGCSE Bull., 2022

As a CS educator, how do you think we can address inequity issues that exist in the field?
ACM SIGCSE Bull., 2022

Member spotlight.
ACM SIGCSE Bull., 2022

Member spotlight: Adrienne Decker.
ACM SIGCSE Bull., 2022

SIGCSE Bulletin seeks a new co-editor.
ACM SIGCSE Bull., 2022

Member spotlight.
ACM SIGCSE Bull., 2022

As a CS educator, how do you think we can address inequity issues that exist in the field?
ACM SIGCSE Bull., 2022

2021
As a CS educator, how do you think we can address inequity issues that exist in the field?
ACM SIGCSE Bull., 2021

Developing a Comic-Creation Assignment and Rubric for Teaching and Assessing Algorithmic Concepts.
Proceedings of the IEEE Frontiers in Education Conference, 2021

2020
Infusing Computing Identity into Introductory Engineering Instruction.
Proceedings of the IEEE Frontiers in Education Conference, 2020

2019
Automated Critique of Early Programming Antipatterns.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

A Prototype MATLAB Code Critiquer.
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

1.5 Degrees of Separation: Computer Science Education in the Age of the Anthropocene.
Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, 2019

Patterns of identity and interaction in an agile community of practice.
Proceedings of the 12th International Workshop on Cooperative and Human Aspects of Software Engineering, 2019

The Case for Kairos: The Importance of Moment and Manner in Software Engineering Communication.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018
Learning Discrete Structures Interactively With Alloy: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

WebTA: Online Code Critique and Assignment Feedback (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Building and Nurturing Communities of Practice among K-12 CS Teachers: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Modeling global competencies for computing education.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

Modelling competencies for computing education beyond 2020: a research based approach to defining competencies in the computing disciplines.
Proceedings of the Proceedings Companion of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

2017
Breaking barriers, building understanding: a multigenerational approach to digital literacy instruction for older adults.
ACM SIGACCESS Access. Comput., 2017

Eliciting Best Practices in Digital Literacy Tutoring: A Cognitive Task Analysis Approach.
Proceedings of the Human Aspects of IT for the Aged Population. Aging, Design and User Experience, 2017

Identifying and Mitigating Technology-Related Anxiety.
Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016
Mentoring trajectories in an evolving agile workplace.
Proceedings of the 38th International Conference on Software Engineering, 2016

Among the agilists: participant observation in a rapidly evolving workplace.
Proceedings of the 9th International Workshop on Cooperative and Human Aspects of Software Engineering, 2016

Breaking Digital Barriers: A Social-Cognitive Approach to Improving Digital Literacy in Older Adults.
Proceedings of the HCI International 2016 - Posters' Extended Abstracts, 2016

Discrete mathematics for computing students: A programming oriented approach with Alloy.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Breaking Barriers to Digital Literacy: An Intergenerational Social-Cognitive Approach.
Proceedings of the 18th International ACM SIGACCESS Conference on Computers and Accessibility, 2016

2015
WebTA: Automated iterative critique of student programming assignments.
Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

Agile Communicators: Cognitive Apprenticeship to Prepare Students for Communication-Intensive Software Development.
Proceedings of the 2015 Agile Conference, 2015

2014
Copper country programmers: a novel curriculum for beginning programmers in middle and high school (abstract only).
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Adding unit test experience to a usability centered project course.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Communication strategies for mentoring in software development projects.
Proceedings of the 7th International Workshop on Cooperative and Human Aspects of Software Engineering, 2014

Instruction in software project communication through guided inquiry and reflection.
Proceedings of the IEEE Frontiers in Education Conference, 2014

2013
An empirical study of three access control systems.
Proceedings of the 6th International Conference on Security of Information and Networks, 2013

Communication patterns: a tool for analyzing communication in emerging computer science educational practices (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Patterns of inquiry in computer literacy help sessions for the elderly.
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, 2013

Lessons from our elders: identifying obstacles to digital literacy through direct engagement.
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, 2013

Software for senior citizens: An experiential learning course in gerontology, software usability and digital literacy.
Proceedings of the IEEE Frontiers in Education Conference, 2013

A tale of two projects: A pattern based comparison of communication strategies in student software development.
Proceedings of the IEEE Frontiers in Education Conference, 2013

Guidance for exploratory testing through problem frames.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012
Scrum across the CS/SE curricula: a retrospective.
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

2010
Understanding relaxed memory consistency through interactive visualization.
Proceedings of the ACM 2010 Symposium on Software Visualization, 2010

Abstract State Machines and the Inquiry Process.
Proceedings of the Fields of Logic and Computation, 2010

2008
Teaching Communication Skills in the Software Engineering Curriculum.
Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

2007
Can abstract state machines be useful in language theory?
Theor. Comput. Sci., 2007

RFID Cards: A New Deal for Elderly Accessibility.
Proceedings of the Universal Access in Human Computer Interaction. Coping with Diversity, 2007

Addressing Communication Issues in Software Development: A Case Study Approach.
Proceedings of the 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 2007

2006
Can Abstract State Machines Be Useful in Language Theory?.
Proceedings of the Developments in Language Theory, 10th International Conference, 2006

Instruction in Problem Structuring and Analysis Through Problem Frames.
Proceedings of the 19th Conference on Software Engineering Education and Training (CSEE&T 2006), 2006

2004
The UPC Memory Model: Problems and Prospects.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.
Proceedings of the Abstract State Machines, 2003

A Unified Formal Specification and Analysis of the New Java Memory Models.
Proceedings of the Abstract State Machines, 2003

2002
On the Tamability of the Location Consistency Memory Model.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

2001
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.
J. Univers. Comput. Sci., 2001

2000
Investigating Java Concurrency Using Abstract State Machines.
Proceedings of the Abstract State Machines, 2000

1999
Formal specification of software using abstract state machines.
PhD thesis, 1999

1997
Formalizing Database Recovery.
J. Univers. Comput. Sci., 1997

1995
Formalizing Recovery in Transaction-Oriented Database Systems.
Proceedings of the Advances in Data Management, 1995

1993
The semantics of the C++ programming language.
Proceedings of the Specification and validation methods, 1993


  Loading...