David Porfirio
Email: dporfirio@wisc.edu

About Me
I’m a PhD candidate at the University of Wisconsin–Madison, and my goal is to investigate and build new technologies that can help people program social robots. To do that, I create software and hardware interfaces that capture the intent of interaction designers and developers and convert their intent into programs by means of program verification and synthesis.
You can learn more about me on my website: https://dporfirio.github.io/
Publications
-
Stegner, L., Y. Hwang, D. Porfirio, and B. Mutlu. “Understanding On-the-Fly End-User Robot Programming”. Proceedings of the 2024 ACM Designing Interactive Systems Conference, Association for Computing Machinery, 2024, pp. 2468-80.
-
Porfirio, D., L. Stegner, M. Cakmak, A. Sauppé, A. Albarghouthi, and B. Mutlu. “"Sketching Robot Programs On the Fly"”. Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction (HRI ’23), Association for Computing Machinery, 2023, p. 584-93.
-
Porfirio, D., L. Stegner, M. Cakmak, A. Sauppé, A. Albarghouthi, and B. Mutlu. “"Figaro: A Tabletop Authoring Environment for Human-Robot Interaction"”. CHI ’21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, Association for Computing Machinery, 2021, pp. 1-15.
-
Porfirio, D., A. Sauppé, A. Albarghouthi, and B. Mutlu. “Transforming Robot Programs Based on Social Context”. Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, 2020, pp. 1-12.
-
Porfirio, D., E. Fisher, A. Sauppé, A. Albarghouthi, and B. Mutlu. “Bodystorming Human-Robot interactions”. Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, ACM, 2019, pp. 479-91.
-
Porfirio, D., A. Sauppé, A. Albarghouthi, and B. Mutlu. “Authoring and Verifying Human-Robot interactions”. Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, 2018, pp. 75-86.