Sorin Lerner

school加利福尼亚大学bar_chart全球第 #2311 名

论文总数

HCI 排名

#2311

研究领域

活跃年数

近期发表

Sorin Lerner 最新论文

Huang 等人提出 Tidynote，通过草稿栏侧边栏、可移动单元格和带状态分叉的线性执行三个关键特性，在13人探索性研究中验证了该框架能有效维持笔记本编写全过程的清晰度。

Ferdowsi 等人研究实时编程(LP)验证AI生成代码的能力，17名被试结果表明LP降低执行验证成本，减少验证认知负荷。

Ferdowsifard 等人提出小步进示例实时编程范式 SNIPPY，允许用户通过修改运行时值生成本地程序片段，实验证明可帮助程序员更快解决难题。

Lerner等人针对实时编程中循环数据空白问题，提出循环种子聚焦实时编程范式，允许程序员提供假设值启动循环迭代并聚焦可视化，解决测试用例无法驱动不完整循环的难题。

Bounov等人提出游戏化方法解决循环不变量推断问题，玩家可解决自动化验证工具无法处理的复杂任务。

ios_share

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