2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.CV2026
CommerceGen-Studio: An End-to-End Framework for Commercial-Grade Main-Image Generation
Xiaoli Xu, Zhengtao Wu, Zhengze Xu +8
We present CommerceGen-Studio, an end-to-end framework for generating commercial-grade main images for e-commerce Stock Keeping Units (SKUs). Our framework is organized along a thr…
cs.PL2026
Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
David Knothe, Oliver Bringmann
Verified compilers aim to guarantee that compilation preserves the observable behavior of source programs. While small-step semantics are widely used in such compilers, they are no…
cs.CR2019★ 2 cited
Large-Scale-Exploit of GitHub Repository Metadata and Preventive Measures
David Knothe, Frederick Pietschmann
When working with Git, a popular version-control system, email addresses are part of the metadata for each individual commit. When those commits are pushed to remote hosting servic…