default search action
Charles Wallace 0001
Person information
- affiliation: Michigan Technological University, Houghton, MI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j26]Julie M. Smith, Charles Wallace, Ismaila Sanusi:
Member Spotlight: Ismaila Sanusi. ACM SIGCSE Bull. 56(1): 7-9 (2024) - [j25]Julie M. Smith, Charles Wallace, Heidi J. C. Ellis:
Member Spotlight: Heidi J.C. Ellis. ACM SIGCSE Bull. 56(2) (2024) - [j24]Julie M. Smith, Charles Wallace:
Member Spotlight: Monica M. McGill. ACM SIGCSE Bull. 56(3): 7-8 (2024) - [j23]Julie M. Smith, Charles Wallace:
Equity Spotlight: Emma Hogan. ACM SIGCSE Bull. 56(3): 8-11 (2024) - [c52]Joshua Alele-Beals, Nathan Englehart, Ishaq Kothari, Ali Ebnenasir, Charles R. Wallace:
Exploring consequences of statutory law through lightweight modeling. VL/HCC 2024: 348-352 - [i1]Evan Lucas, Kelly S. Steelman, Leo C. Ureel, Charles Wallace:
For those who don't know (how) to ask: Building a dataset of technology questions for digital newcomers. CoRR abs/2403.18125 (2024) - 2023
- [j22]Julie M. Smith, Charles Wallace, Stacey Sexton, Amanda Menier:
The Trans & Non-Binary Computing Education Research Project. ACM SIGCSE Bull. 55(1): 6-8 (2023) - [j21]Julie M. Smith, Charles Wallace, Anne-Kathrin Peters:
Member Spotlight. ACM SIGCSE Bull. 55(1): 8-12 (2023) - [j20]Julie M. Smith, Charles Wallace:
Equity Spotlight. ACM SIGCSE Bull. 55(2): 12-13 (2023) - [j19]Julie M. Smith, Charles Wallace:
Member Spotlight. ACM SIGCSE Bull. 55(2): 13-16 (2023) - [j18]Julie M. Smith, Charles Wallace, Casey Fiesler:
Member Spotlight. ACM SIGCSE Bull. 55(3): 13-16 (2023) - [j17]Julie M. Smith, Charles Wallace:
Member Spotlight: Tamara Pearson. ACM SIGCSE Bull. 55(4): 6-7 (2023) - [c51]Andrew Ciminski, Charles Wallace:
The role of peer dialogue as disruptor in critical ethical analysis for computing students. FIE 2023: 1-9 - [c50]Laura Fiss, Brett Hamlin, Heather A. Love, Linda M. Ott, Charles Wallace, Steven A. Walton:
Beyond Summer Reading: Enabling Covert Student Learning Through a Cross-Campus Connecting Theme. FIE 2023: 1-5 - [c49]Zichong Wang, Charles Wallace, Albert Bifet, Xin Yao, Wenbin Zhang:
FG2AN: Fairness-Aware Graph Generative Adversarial Networks. ECML/PKDD (2) 2023: 259-275 - 2022
- [j16]Jeffrey Miller, Charles Wallace, Maria M. Klawe:
As a CS educator, how do you think we can address inequity issues that exist in the field? ACM SIGCSE Bull. 54(1): 7 (2022) - [j15]Jeffrey Miller, Charles Wallace, Frank Vahid:
Member spotlight. ACM SIGCSE Bull. 54(1): 8-9 (2022) - [j14]Jeffrey Miller, Charles Wallace:
SIGCSE Bulletin seeks a new co-editor. ACM SIGCSE Bull. 54(2): 3 (2022) - [j13]Jeffrey Miller, Charles Wallace, Adrienne Decker:
Member spotlight: Adrienne Decker. ACM SIGCSE Bull. 54(2): 8-11 (2022) - [j12]Jeffrey Miller, Charles Wallace, Kendra Walther, Shalini Kesar:
As a CS educator, how do you think we can address inequity issues that exist in the field? ACM SIGCSE Bull. 54(3): 5 (2022) - [j11]Jeffrey Miller, Charles Wallace, Mats Daniels:
Member spotlight. ACM SIGCSE Bull. 54(3): 6-10 (2022) - [j10]Julie M. Smith, Charles Wallace, Yasmine N. El-Glaly
, Earl W. Huff Jr.:
A Technical Symposium for All. ACM SIGCSE Bull. 54(4): 7-9 (2022) - [j9]Julie M. Smith, Charles Wallace, Jeffrey Miller:
Member Spotlight. ACM SIGCSE Bull. 54(4): 9-11 (2022) - [j8]Alexandra Morrison, Charles Wallace:
Making It Strange: Disrupting Assumptions About Technology and Ethics in Engineering and Computing Education. IEEE Technol. Soc. Mag. 41(3): 81-90 (2022) - [j7]Briana Bettin
Preparing First-Year Engineering Students to Think About Code: A Guided Inquiry Approach. IEEE Trans. Educ. 65(3): 309-319 (2022) - 2021
- [j6]Jeffrey Miller, Charles Wallace:
As a CS educator, how do you think we can address inequity issues that exist in the field? ACM SIGCSE Bull. 53(3): 6 (2021) - [c48]Briana Bettin
Developing a Comic-Creation Assignment and Rubric for Teaching and Assessing Algorithmic Concepts. FIE 2021: 1-5 - 2020
- [j5]Kelly S. Steelman, Charles Wallace:
Breaking barriers, building understanding: a multigenerational approach to digital literacy instruction for older adults. SIGCAS Comput. Soc. 49(1): 23-24 (2020) - [c47]Briana Bettin
Infusing Computing Identity into Introductory Engineering Instruction. FIE 2020: 1-5
2010 – 2019
- 2019
- [c46]Shreya Kumar, Charles Wallace:
The Case for Kairos: The Importance of Moment and Manner in Software Engineering Communication. HICSS 2019: 1-10 - [c45]Shreya Kumar, Charles Wallace:
Patterns of identity and interaction in an agile community of practice. CHASE@ICSE 2019: 71-78 - [c44]Ian Pollock, Bedour Alshaigy, Andrew Bradley, Birgit R. Krogstie, Viraj Kumar, Linda M. Ott
1.5 Degrees of Separation: Computer Science Education in the Age of the Anthropocene. ITiCSE-WGR 2019: 1-25 - [c43]Ian Pollock, Bedour Alshaigy, Andrew Bradley, Birgit R. Krogstie, Viraj Kumar
1.5 Degrees of Separation: Computer Science Education in the Age of the Anthropocene. ITiCSE 2019: 263-264 - [c42]Marissa Walther, Leo C. Ureel II, Charles Wallace:
A Prototype MATLAB Code Critiquer. ITiCSE 2019: 325 - [c41]Leo C. Ureel II, Charles Wallace:
Automated Critique of Early Programming Antipatterns. SIGCSE 2019: 738-744 - 2018
- [c40]Laura E. Brown, Adam Feltz, Charles Wallace:
Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy. ITiCSE 2018: 135-140 - [c39]Stephen Frezza, Mats Daniels
Modelling competencies for computing education beyond 2020: a research based approach to defining competencies in the computing disciplines. ITiCSE (Companion) 2018: 148-174 - [c38]Stephen Frezza, Arnold Pears
Modeling global competencies for computing education. ITiCSE 2018: 348-349 - [c37]Charles Wallace:
Learning Discrete Structures Interactively With Alloy: (Abstract Only). SIGCSE 2018: 1051 - [c36]Linda M. Ott, Leo C. Ureel II, Charles Wallace:
Building and Nurturing Communities of Practice among K-12 CS Teachers: (Abstract Only). SIGCSE 2018: 1067 - [c35]Leo C. Ureel II, Charles R. Wallace:
WebTA: Online Code Critique and Assignment Feedback (Abstract Only). SIGCSE 2018: 1111 - 2017
- [j4]Kelly S. Steelman, Charles Wallace:
Breaking barriers, building understanding: a multigenerational approach to digital literacy instruction for older adults. ACM SIGACCESS Access. Comput. 118: 9-15 (2017) - [c34]Kelly S. Steelman
Identifying and Mitigating Technology-Related Anxiety. ASSETS 2017: 323-324 - [c33]Kelly S. Steelman
Eliciting Best Practices in Digital Literacy Tutoring: A Cognitive Task Analysis Approach. HCI (27) 2017: 447-460 - 2016
- [c32]Keith Atkinson, Jaclyn A. Barnes, Judith Albee, Peter Anttila, Judith Haataja, Kanak Nanavati, Kelly S. Steelman, Charles Wallace:
Breaking Barriers to Digital Literacy: An Intergenerational Social-Cognitive Approach. ASSETS 2016: 239-244 - [c31]Leo C. Ureel II, Charles Wallace:
Discrete mathematics for computing students: A programming oriented approach with Alloy. FIE 2016: 1-5 - [c30]Kelly S. Steelman
Breaking Digital Barriers: A Social-Cognitive Approach to Improving Digital Literacy in Older Adults. HCI (26) 2016: 445-450 - [c29]Shreya Kumar, Charles Wallace:
Among the agilists: participant observation in a rapidly evolving workplace. CHASE@ICSE 2016: 52-55 - [c28]Shreya Kumar, Charles Wallace, Michael Young:
Mentoring trajectories in an evolving agile workplace. ICSE (Companion Volume) 2016: 142-151 - 2015
- [c27]Shreya Kumar, Leo C. Ureel II, Charles Wallace:
Agile Communicators: Cognitive Apprenticeship to Prepare Students for Communication-Intensive Software Development. AGILE 2015: 71-75 - [c26]Leo C. Ureel II, Charles Wallace:
WebTA: Automated iterative critique of student programming assignments. FIE 2015: 1-9 - 2014
- [c25]Shreya Kumar, Charles Wallace:
Instruction in software project communication through guided inquiry and reflection. FIE 2014: 1-9 - [c24]Shreya Kumar, Charles Wallace:
Communication strategies for mentoring in software development projects. CHASE 2014: 111-114 - [c23]Christopher Brown, Robert Pastel, Marika Seigel, Charles Wallace, Linda M. Ott:
Adding unit test experience to a usability centered project course. SIGCSE 2014: 259-264 - [c22]Leo C. Ureel II, John Earnest, Charles Wallace:
Copper country programmers: a novel curriculum for beginning programmers in middle and high school (abstract only). SIGCSE 2014: 722-723 - 2013
- [c21]Shreya Kumar, Charles Wallace:
Guidance for exploratory testing through problem frames. CSEE&T 2013: 284-288 - [c20]Leo C. Ureel II, Charles Wallace:
Software for senior citizens: An experiential learning course in gerontology, software usability and digital literacy. FIE 2013: 445-449 - [c19]Shreya Kumar, Charles Wallace:
A tale of two projects: A pattern based comparison of communication strategies in student software development. FIE 2013: 1844-1850 - [c18]Shreya Kumar, Leo C. Ureel II, Harriet King, Charles Wallace:
Lessons from our elders: identifying obstacles to digital literacy through direct engagement. PETRA 2013: 22:1-22:8 - [c17]Shreya Kumar, Charles Wallace:
Patterns of inquiry in computer literacy help sessions for the elderly. PETRA 2013: 54:1-54:2 - [c16]Charles Wallace, Shreya Kumar:
Communication patterns: a tool for analyzing communication in emerging computer science educational practices (abstract only). SIGCSE 2013: 729 - [c15]Lihui Hu, Jean Mayo, Charles Wallace:
An empirical study of three access control systems. SIN 2013: 287-291 - 2012
- [c14]Charles Wallace, Sriram Mohan, Douglas Troy, Mark E. Hoffman:
Scrum across the CS/SE curricula: a retrospective. SIGCSE 2012: 5-6 - 2010
- [c13]James K. Huggins, Charles Wallace:
Abstract State Machines and the Inquiry Process. Fields of Logic and Computation 2010: 405-413 - [c12]Øystein Thorsen, Charles Wallace:
Understanding relaxed memory consistency through interactive visualization. SOFTVIS 2010: 223-224
2000 – 2009
- 2008
- [c11]Janet E. Burge, Charles Wallace:
Teaching Communication Skills in the Software Engineering Curriculum. CSEE&T 2008: 265-266 - 2007
- [j3]Yuri Gurevich, Margus Veanes, Charles Wallace:
Can abstract state machines be useful in language theory? Theor. Comput. Sci. 376(1-2): 17-29 (2007) - [c10]Ann Brady, Marika Seigel, Thomas Vosecky, Charles Wallace:
Addressing Communication Issues in Software Development: A Case Study Approach. CSEE&T 2007: 301-308 - [c9]Robert Pastel, Charles Wallace, Jesse M. Heines:
RFID Cards: A New Deal for Elderly Accessibility. HCI (5) 2007: 990-999 - 2006
- [c8]Charles Wallace, Xinli Wang, Virginia Bluth:
Instruction in Problem Structuring and Analysis Through Problem Frames. CSEE&T 2006: 185-186 - [c7]Yuri Gurevich, Charles Wallace:
Can Abstract State Machines Be Useful in Language Theory?. Developments in Language Theory 2006: 14-19 - 2004
- [c6]William Kuchera, Charles Wallace:
The UPC Memory Model: Problems and Prospects. IPDPS 2004 - 2003
- [c5]Varsha Awhad, Charles Wallace:
A Unified Formal Specification and Analysis of the New Java Memory Models. Abstract State Machines 2003: 166-185 - [c4]James K. Huggins, Jean Mayo, Charles Wallace:
Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education. Abstract State Machines 2003: 414 - 2002
- [c3]Charles Wallace, Guy Tremblay, José Nelson Amaral:
On the Tamability of the Location Consistency Memory Model. PDPTA 2002: 1542-1550 - 2001
- [j2]Charles Wallace, Guy Tremblay, José Nelson Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol. J. Univers. Comput. Sci. 7(11): 1088-1112 (2001) - 2000
- [c2]Yuri Gurevich, Wolfram Schulte, Charles Wallace:
Investigating Java Concurrency Using Abstract State Machines. Abstract State Machines 2000: 151-176
1990 – 1999
- 1999
- [b1]Charles Wallace:
Formal specification of software using abstract state machines. University of Michigan, USA, 1999 - 1997
- [j1]Yuri Gurevich, Nandit Soparkar, Charles Wallace:
Formalizing Database Recovery. J. Univers. Comput. Sci. 3(4): 320-340 (1997) - 1995
- [c1]Charles Wallace, Yuri Gurevich, Nandit Soparkar:
Formalizing Recovery in Transaction-Oriented Database Systems. COMAD 1995 - 1993
- [p1]Charles Wallace:
The semantics of the C++ programming language. Specification and validation methods 1993: 131-164
Coauthor Index
aka: Leo C. Ureel
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: