314 citations · 317 across the 8 of their papers we have counts for
8 papers
LaTCoder: Converting Webpage Design to Code with Layout-as-Thought
Yi Gui, Zhen Li, Zhongyi Zhang +10
Converting webpage designs into code (design-to-code) plays a vital role in User Interface (UI) development for front-end developers, bridging the gap between visual design and fun…
UICopilot: Automating UI Synthesis via Hierarchical Code Generation from Webpage Designs
Yi Gui, Zhen Li, Zhongyi Zhang +8
Automating the synthesis of User Interfaces (UIs) plays a crucial role in enhancing productivity and accelerating the development lifecycle, reducing both development time and manu…
Using Graph Neural Networks for Program Termination
Yoav Alon, Cristina David
Termination analyses investigate the termination behavior of programs, intending to detect nontermination, which is known to cause a variety of program bugs (e.g. hanging programs,…
Online Coordination: Methods and Comparative Case Studies of Coordinated Groups across Four Events in the United States
Lynnette Hui Xian Ng, Kathleen M. Carley
Coordinated groups of user accounts working together in online social media can be used to manipulate the online discourse and thus is an important area of study. In this study, we…
Reinforced MOOCs Concept Recommendation in Heterogeneous Information Networks
Jibing Gong, Yao Wan, Ye Liu +8
Massive open online courses (MOOCs), which offer open access and widespread interactive participation through the internet, are quickly becoming the preferred method for online and…
Discovering Personalized Semantics for Soft Attributes in Recommender Systems using Concept Activation Vectors
Christina Göpfert, Alex Haig, Yinlam Chow +7
Interactive recommender systems have emerged as a promising paradigm to overcome the limitations of the primitive user feedback used by traditional recommender systems (e.g., click…
SolType: Refinement Types for Arithmetic Overflow in Solidity
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri +2
As smart contracts gain adoption in financial transactions, it becomes increasingly important to ensure that they are free of bugs and security vulnerabilities. Of particular relev…
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth
Georg Gottlob, Matthias Lanzinger, Cem Okulmus +1
Modern trends in data collection are bringing current mainstream techniques for database query processing to their limits. Consequently, various novel approaches for efficient quer…