3 papers
cs.HC2025
ReDemon UI: Reactive Synthesis by Demonstration for Web UI
Jay Lee, Gyuhyeok Oh, Joongwon Ahn +1
ReDemon UI synthesizes React applications from user demonstrations, enabling designers and non-expert programmers to create UIs that integrate with standard UI prototyping workflow…
cs.AI2025
ClassInvGen: Class Invariant Synthesis using Large Language Models
Chuyue Sun, Viraj Agashe, Saikat Chakraborty +5
Formal program specifications in the form of preconditions, postconditions, and class invariants have several benefits for the construction and maintenance of programs. They not on…
cs.AR2024
QED: Scalable Verification of Hardware Memory Consistency
Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi +1
Memory consistency model (MCM) issues in out-of-order-issue microprocessor-based shared-memory systems are notoriously non-intuitive and a source of hardware design bugs. Prior har…