Charles Wallace: Research

Interests

software requirements • usability • formal methods• parallel computing • programming languages • software engineering education

Links

Speaking of Software • MTU UPC Research • ASM Forum

Refereed publications

• RFID cards: A new deal in accessibility for the elderly. With R. Pastel and J. Heines. International Conference on Human-Computer Interaction, Beijing, China, 2007 (to appear). (draft)
• Automated verification of UPC memory consistency. With Oystein Thorsen. Workshop on Verified Software: Theories, Tools, Experiments (VSTTE), Seattle, WA, 2006. (draft)
• The intersecting futures of Technical Communication and Software Engineering: Forging a multi-disciplinary alliance. With M.A. Brady and R.R. Johnson. Technical Communication 53(3), 2006. (draft)
• Can Abstract State Machines be useful in language theory? With Y. Gurevich and M. Veanes. Developments in Language Theory (DLT), Santa Barbara, CA, 2006. (draft)
• Student-based case studies in software communication. With T. Vosecky, L. Steinbacher, A. Mareck, R.R. Johnson and A. Brady. Conference on Software Engineering Education and Training (CSEET), Kahuku, Oahu, HI, 2006. (draft)
• A course in problem analysis and structuring through Problem Frames. With X. Wang and V. Bluth. Conference on Software Engineering Education and Training (CSEET), Kahuku, Oahu, HI, 2006. (draft)
• Incorporating and compensating: Some challenges of interdisciplinary research on programs inside and outside of technical communication. With A. Brady, R.R. Johnson and T. Vosecky. Council for Programs in Technical and Scientific Communication Conference (CPTSC), Lubbock, TX, 2005. (draft)
• UPC Language Specifications V. 1.2, 5.1.2.3 (Program execution) and B (Formal UPC memory consistency semantics). With D. Bonachea and K. Yelick. UPC Consortium, 2005.
• The UPC memory model: Problems and prospects. With W. Kuchera. International Parallel and Distributed Processing Symposium (IPDPS), 2004. (draft)
• Elucidating the UPC memory model through Abstract State Machines. With W. Kuchera, H. Suenaga, and A. Tomaszewski. Abstract State Machines Workshop, 2004. (draft)
• A unified formal specification and analysis of the new Java memory models. With Varsha Awhad. In Abstract State Machines 2003: Advances in Theory and Applications, ed. E. Boerger, A. Gargantini, and E. Riccobene, Springer LNCS 2589, 2003. (draft)
• Teaching ASMs, teaching with ASMs: Opportunities in undergraduate education. With James K. Huggins and Jean Mayo. In Abstract State Machines 2003: Advances in Theory and Applications, ed. E. Boerger, A. Gargantini, and E. Riccobene, Springer LNCS 2589, 2003. (draft)
• On the tamability of the Location Consistency memory model. With Guy Tremblay and José Nelson Amaral. Parallel & Distributed Programming, Techniques & Architectures conference (PDPTA), 2002. (draft)
• An Abstract State Machine specification and verification of the Location Consistency memory model and cache protocol. With Guy Tremblay and José Nelson Amaral. Journal of Univeral Computer Science 7(11), 2001. (draft)
• Investigating Java concurrency using Abstract State Machines. With Yuri Gurevich and Wolfram Schulte. In Abstract State Machines: Theory and applications, ed. Y. Gurevich, P.W. Kutter, M. Odersky and L. Theile, Springer LNCS 1912, 2000. (draft)
• Formalizing database recovery. With Yuri Gurevich and Nandit Soparkar. Journal of Universal Computer Science 3(4), 1997. (draft)
• Supervisory control of workflow scheduling. With Paul Jensen and Nandit Soparkar. Advanced Transaction Models & Architectures workshop (ATMA), 1996. (draft)
• Revisiting spheres of control: an approach to advanced recovery. With Nandit Soparkar. Advanced Transaction Models & Architectures workshop (ATMA), 1996. (draft)
• Formalizing recovery in transaction-oriented database systems. With Yuri Gurevich and Nandit Soparkar. Conference on Management of Data (COMAD), 1995. (draft)
• The semantics of the C++ programming language. In Specification and validation methods, ed. E. Boerger, Oxford University Press, 1995. (draft)

Other publications

• UPC Collective Conformance Suite. With L. Begum. Technical Report 06-01, Computer Science Dept., Michigan Technological University, 2006.
• A proposal for a UPC memory consistency model. With K. Yelick and D. Bonachea. Technical Report, Lawrence Berkeley National Laboratory, 2003.
• An Abstract State Machine primer. With James K. Huggins. Technical Report 02-04, Computer Science Dept., Michigan Technological University, 2002.
• Specification and verification of the Windows Card runtime environment using Abstract State Machines. With Yuri Gurevich. Technical Report MSR-TR-99-07, Microsoft Research.
• The semantics of the Java programming language: Preliminary version. Technical Report CSE-TR-355-97, University of Michigan.