Joan M. Francioni

Learn More
Nondeterminism makes concurrent programs difficult to test. The testing task is made more difficult by the presence of races that are deliberately introduced by a programmer. A powerful approach towards testing a concurrent program is to test all instances of its execution for a given input. The only known general purpose run-time testing technique for(More)
Portraying the behavior of parallel programs can be done in a variety of ways. One way is to generate a graphical display related to the program’s behavior so that a user can visualize what happens during the program’s execution. As an alternative to visualization, auralization can also be used to portray the behavior of parallel programs. This paper(More)
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at different levels of abstraction. Such representations are not very accessible to non-sighted programmers, as screen readers are not able to portray the underlying hierarchical(More)
Students with visual disabilities face unique challenges in learning to be computer scientists. These challenges can be overcome, however, with the use of specialized software tools and hardware equipment, collectively called assistive technology. In this paper, we discuss the environment we are using for three students with visual disabilities who are(More)
This paper reports on a tool for assisting students with visual disabilities in learning how to program. The tool is meant to be used by computer science majors learning the programming language Java. As part of the developmental process of building this tool, we have implemented a rapid prototype to be used by people with disabilities in order to define(More)
The Computer Science Department at Winona State University revised its curriculum to include an interdisciplinary approach adapted to the study of computer science. The new curriculum consists of a traditional Computer Science option and an Applied Computer Science option consisting of four separate tracks, namely: bioinformatics, computer information(More)