More Like this

1. An Incremental Algorithm for Algebraic Program Analysis

   https://doi.org/10.1145/3704901  

   Zhou, Chenyu; Fang, Yuzhou; Wang, Jingbo; Wang, Chao (January 2025, Proceedings of the ACM on Programming Languages)

   We propose a method for conducting algebraic program analysis (APA) incrementally in response to changes of the program under analysis. APA is a program analysis paradigm that consists of two distinct steps: computing a path expression that succinctly summarizes the set of program paths of interest, and interpreting the path expression using a properly-defined semantic algebra to obtain program properties of interest. In this context, the goal of an incremental algorithm is to reduce the analysis time by leveraging the intermediate results computed before the program changes. We have made two main contributions. First, we propose a data structure for efficiently representing path expression as a tree together with a tree-based interpreting method. Second, we propose techniques for efficiently updating the program properties in response to changes of the path expression. We have implemented our method and evaluated it on thirteen Java applications from the DaCapo benchmark suite. The experimental results show that both our method for incrementally computing path expression and our method for incrementally interpreting path expression are effective in speeding up the analysis. Compared to the baseline APA and two state-of-the-art APA methods, the speedup of our method ranges from 160X to 4761X depending on the types of program analyses performed. 

   more » « less
2. An Assertion-Based Program Logic for Probabilistic Programs

   Barthe, Gilles; Espitau, Thomas; Gaboardi, Marco; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves (April 2018, Lecture notes in computer science)
3. Capstone Project Design for an Undergraduate Cybersecurity Program

   https://doi.org/10.1007/978-3-031-89063-5_8  

   Etezady, Nooredin; Wang, Ping (May 2025, Springer Nature Switzerland)
4. Computing for communities: An Ethnographic examination of an after-school computing program

   Codding, D.; Rolón-Dow, R. (January 2019, 40th Ethnography in Education Research Forum)

   Despite recent efforts to increase diversity, female and racially minoritized youth 1 continue to be underrepresented in science, technology, engineering, and math (STEM). Our pilot study utilizes culturally responsive frameworks to address the underrepresentation of minoritized youth in computer science (CS) by supporting youth at a local Boys & Girls Club as they develop a sense of competence and belonging in the CS field. Culturally responsive frameworks shape our work with students and inform our research process. This paper examines the context of our pilot study and the positionality of our research team, which includes university researchers and community partners. It also provides a reflexive analysis of our community inquiry process and how it has influenced the development and adaptation of our CS programming. 

   more » « less
5. An Energy Lifestyles Program for Tweens: A Pilot Study

   https://doi.org/10.1145/3290607.3312760  

   Mauriello, Matthew Louis; Zanocco, Chad; Stelmach, Gregory; Flora, June; Boudet, Hilary; Rajagopal, Ram (January 2019, CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems)