Sorin Lerner

schoolUniversity of Californiabar_chart#2311 Global Rank

Total Papers

HCI Rank

#2311

Research Areas

Years Active

Recent Publications

Tidynote: Always-Clear Notebook Authoring

Recent work identified clarity as one of the top quality attributes that notebook users value, but notebooks lack support for maintaining clarity throughout the exploratory phases of the notebook authoring workflow. We propose always-clear notebook authoring that supports both clarity and exploration, and present a Ju…

CHI '24CorrespondingHuman-LLM Collaboration +1

Validating AI-Generated Code with Live Programming

AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, however, producing code suggestions that may be incorrect in subtle ways. As a result, developers face a new challenge: validating AI's suggest…

UIST '204th AuthorComputational Methods in HCI

Small-Step Live Programming by Example

Live programming is a paradigm in which the programming environment continually displays runtime values. Program synthesis is a technique that can generate programs or program snippets from examples. Previous works that combine the two have taken a holistic approach to the way examples describe the behavior of functio…

UIST '20CorrespondingCreative Collaboration & Feedback Systems +1

Focused Live Programming with Loop Seeds

Live programming is a paradigm in which the programmer can visualize the runtime values of the program each time the program changes. The promise of live programming depends on using test cases to run the program and thereby provide these runtime values. In this paper we show that in some situations test cases are ins…

CHI '18CorrespondingAging-Friendly Technology Design +2

Inferring Loop Invariants through Gamification

In today's modern world, bugs in software systems incur significant costs. One promising approach to improve software quality is automated software verification. In this approach, an automated tool tries to prove the software correct once and for all. Although significant progress has been made in this direction, ther…

Quick Actions

Share this page

ios_share

X in mail

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