Jeffrey Tao

schoolUniversity of Pennsylvaniabar_chart#5314 Global Rank

Total Papers

HCI Rank

#5314

Research Areas

Years Active

Recent Publications

Answering Developer Questions with Annotated Agent-Discovered Program Traces

Developers often find themselves asking questions that cut across a code base. Answering these questions requires gathering relevant facts and tracing flow through the program. Yet today’s tools offer limited support for answering these questions. Developers can either use imprecise AI tools that ignore flow or flow-t…

CHI '251st AuthorGraphic Design & Typography Tools +1

FreeForm: Flexibly Augmenting Formulas with Synchronized Markup and Graphical Edits

Authors of typeset formulas augment those formulas to make them easier to understand. When they do so, they trade off between using markup tools like LaTeX and formula-unaware graphical editors. In this paper, we explore how editing tools could combine the best affordances of both kinds of tools. We develop FreeForm,…

UIST '242nd AuthorExplainable AI (XAI) +2

Tyche: Making Sense of Property-Based Testing Effectiveness

Software developers increasingly rely on automated methods to assess the correctness of their code. One such method is property-based testing (PBT), wherein a test harness generates hundreds or thousands of inputs and checks the outputs of the program on those inputs using parametric properties. Though powerful, P…

Quick Actions

Share this page

ios_share

X in mail

https://hci.top/en/authors/16095?source=all