quick-links

Please enable JavaScript in your browser preferences for optimal page viewing of this site.

Charles Wallace

"Understanding relaxed memory consistency through interactive visualization" (Tool Demo). With O. Thorsen. ASM Symposium on Software Visualization (SOFTVIS), Salt Lake City, 2010.
"Abstract State Machines and the inquiry process". With J.K. Huggins. In A. Blass, N. Dershowitz and W. Reisig (eds.), Fields of Logic and Computation. Lecture Notes in Computer Science 6300, 2010.
"Making and acting: Ethnographic development of a case study approach". With M. Seigel and T. Vosecky. Technical Communication, 55(4), 2008.
"Speaking of software: Case studies in software communication". With A. Brady, M. Seigel and T. Vosecky. In H.J.C. Ellis, S.A. Demurjian and J.F. Naveda (eds.), Software Engineering: Effective Teaching and Learning Approaches and Practices. IGI Global, 2008.
"Addressing communication issues in software development through case studies". With A. Brady, M. Seigel and T. Vosecky. Conference on Software Engineering Education & Training (CSEET), Dublin, Ireland, 2007.
"RFID cards: A new deal in accessibility for the elderly". With R. Pastel and J. Heines. International Conference on Human-Computer Interaction (HCII), Beijing, China, 2007.
"Automated verification of UPC memory consistency". With Oystein Thorsen. Workshop on Verified Software: Theories, Tools, Experiments (VSTTE), Seattle, WA, 2006.