David Porfirio

28 papers A* 8A 2B 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
Examining the Effectiveness of Obfuscatory Planning Strategies through Human Observation.
HRI Companion
Dakota Sullivan, David Porfirio, Bilge Mutlu, Laura M. Hiatt
2026 — conf
Nose Knows: A Human-Centered Robotic Air Quality Monitor.
HRI Companion
JP Tiger, Paige Williamson, Neha Kannan, Jacob Henley, Eileen Roesler, David Porfirio
2025 A* conf
An Interaction Specification Language for Robot Application Development.
HRI
David Porfirio, Mark Roberts, Laura M. Hiatt
2025 B conf
Bootstrapping Human-Like Planning via LLMs.
RO-MAN
David Porfirio, Vincent Hsiao, Morgan Fine-Morris, Leslie Smith, Laura M. Hiatt
2025 J jnl
Bootstrapping Human-Like Planning via LLMs.
CoRR
David Porfirio, Vincent Hsiao, Morgan Fine-Morris, Leslie Smith, Laura M. Hiatt
2025 J jnl
POrTAL: Plan-Orchestrated Tree Assembly for Lookahead.
CoRR
Evan Conway, David Porfirio, David Chan, Mark Roberts, Laura M. Hiatt
2025 A conf
Uncertainty Expression for Human-Robot Task Communication.
AAMAS
David Porfirio, Mark Roberts, Laura M. Hiatt
2025 J jnl
Uncertainty Expression for Human-Robot Task Communication.
CoRR
David Porfirio, Mark Roberts, Laura M. Hiatt
2025 A* conf
VeriPlan: Integrating Formal Verification and LLMs into End-User Planning.
CHI
Christine P. Lee, David Porfirio, Xinyu Jessica Wang, Kevin Chenkai Zhao, Bilge Mutlu
2025 J jnl
VeriPlan: Integrating Formal Verification and LLMs into End-User Planning.
CoRR
Christine P. Lee, David Porfirio, Xinyu Jessica Wang, Kevin Chenkai Zhao, Bilge Mutlu
2024 J jnl
Considerations for End-User Development in the Caregiving Domain.
CoRR
Laura Stegner, David Porfirio, Mark Roberts, Laura M. Hiatt
2024 J jnl
Crowdsourcing Task Traces for Service Robotics.
CoRR
David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu
2024 — conf
Designing Human-Robot Interactions: A StEER Tutorial.
NordiCHI (Adjunct)
Hannah R. M. Pelikan, Katie Winkle, David Porfirio
2024 — conf
End-User Development for Human-Robot Interaction.
HRI (Companion)
Laura Stegner, David Porfirio, Laura M. Hiatt, Séverin Lemaignan, Ross Mead, Bilge Mutlu
2024 J jnl
End-User Development for Human-Robot Interaction.
CoRR
Laura Stegner, David Porfirio, Laura M. Hiatt, Séverin Lemaignan, Ross Mead, Bilge Mutlu
2024 A* conf
Goal-Oriented End-User Programming of Robots.
HRI
David Porfirio, Mark Roberts, Laura M. Hiatt
2024 J jnl
Goal-Oriented End-User Programming of Robots.
CoRR
David Porfirio, Mark Roberts, Laura M. Hiatt
2024 A conf
Understanding On-the-Fly End-User Robot Programming.
Conference on Designing Interactive Systems
Laura Stegner, Yuna Hwang, David Porfirio, Bilge Mutlu
2024 J jnl
Understanding On-the-Fly End-User Robot Programming.
CoRR
Laura Stegner, Yuna Hwang, David Porfirio, Bilge Mutlu
2023 — conf
Crowdsourcing Task Traces for Service Robotics.
HRI (Companion)
David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu
2023 B conf
Guidelines for a Human-Robot Interaction Specification Language.
RO-MAN
David Porfirio, Mark Roberts, Laura M. Hiatt
2023 A* conf
Sketching Robot Programs On the Fly.
HRI
David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2023 J jnl
Sketching Robot Programs On the Fly.
CoRR
David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2022 J jnl
PD/EUP Workshop Proceedings.
CoRR
Emmanuel Senft, David Porfirio, Katie Winkle
2020 A* conf
Transforming Robot Programs Based on Social Context.
CHI
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2019 A* conf
Bodystorming Human-Robot Interactions.
UIST
David Porfirio, Evan Fisher, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2019 A* conf
Computational Tools for Human-Robot Interaction Design.
HRI
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2018 A* conf
Authoring and Verifying Human-Robot Interactions.
UIST
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu