…ts-track Laura Canaia Canaia, Laura On the Role of Cognizance in Responsibility Yiyuan Cao Cao, Yiyuan Peking University Semantics Lifting for Syntactic Sugar Michael Carbin Carbin, Michael Massachusetts Institute of Technology United States Quantum Control Machine: The Limits of…

…obabilistic Programming QED in Context: An Observation Study of Proof Assistant Users Sergey Goncharov Goncharov, Sergey University of Birmingham United Kingdom Bialgebraic Reasoning on Stateful Languages Big Steps in Higher-Order Mathematical Operational Semantics Léon Gondelman…

…iversity 17:15 15m Talk QED in Context: An Observation Study of Proof Assistant Users OOPSLA Jessica Shi University of Pennsylvania Cassia Torczon University of Pennsylvania Harrison Goldstein University at Buffalo, the State University of New York at Buffalo Benjamin C. Pierce U…

…iversity 17:15 15m Talk QED in Context: An Observation Study of Proof Assistant Users OOPSLA Jessica Shi University of Pennsylvania , Cassia Torczon University of Pennsylvania , Harrison Goldstein University at Buffalo, the State University of New York at Buffalo , Benjamin C. Pi…

…es.frogs 37 History of Science DorseyE 37 Children's Literature, ENGL 2370-01 Nousersleft 37 EEB388 Diversity of Mammals Maxs-Blogo-Saurus 37 EEB388 Diversity of Mammals Carzago2006 37 Multimedia Writing and Rhetoric Soysauce999 37 Global Feminisms Spring 2026 Meredith Duff 37 Wr…

…Learning of Visual Representations Yawen Wu, Zhepeng Wang, Dewen Zeng, Meng Li, Yiyu Shi, Jingtong Hu PDF Details FedCG: Leverage Conditional GAN for Protecting Privacy and Maintaining Competitive Performance in Federated Learning Yuezhou Wu, Yan Kang, Jiahuan Luo, Yuanqin He, Li…