计算机科学最佳论文奖
1996年以来32次计算机科学会议最佳论文奖合集
这是从 1996 年开始,各个计算机科学子领域的会议最佳论文奖的集合。最初,选择了每个子领域最广泛的代表性会议。这些数据是从网上找到的来源手动输入的(其中许多不再可用),因此如果您发现任何错误或遗漏,请发送电子邮件至 qingbeidushu@163.com。
该页面每年由Jeff Huang维护。
一切产权归黄教授- Jeff Huang布朗大学计算机科学系的副教授和副主任。衷心感谢 !!
注意事项:请注意,有些会议没有这样的奖项;包括“杰出论文奖”和“杰出论文奖”,但不包括“最佳学生论文”或“最佳10年论文”;目前,由于准备更新的持续时间(每年约 10 小时),不太可能增加新的额外会议;由于数据最初的存储方式,仅列出了每个作者的第一个隶属关系。
2023年 | ||
---|---|---|
AAAI人工智能 | 逆强化学习中的错误指定 | Joar Skalse 和 Alessandro Abate,牛津大学 |
ACL自然语言处理 | 机器人会嘲笑电子羊吗?《纽约客》字幕大赛的幽默“理解”基准 | Jack Hessel,艾伦人工智能研究所;等人。 Ana Marasovic,犹他大学 Jena D. Hwang,艾伦人工智能研究所 Lillian Lee,康奈尔大学 Jeff Da,华盛顿大学 Rowan Zellers,OpenAI Robert Mankoff,航空邮件和卡通收藏 Yejin Choi,华盛顿大学 |
什么是 DAAM:使用交叉注意力解释稳定扩散 | 拉斐尔·唐 (Raphael Tang),康卡斯特;等人。 Linqing Liu, University College London Akshat Pandey, Comcast Zhiying Jiang, University of Waterloo Gefei Yang, Comcast Karun Kumar, Comcast Pontus Stenetorp, University College London Jimmy Lin, University of Waterloo Ferhan Ture, Comcast | |
从预训练数据到语言模型再到下游任务:追踪导致不公平 NLP 模型的政治偏见的踪迹 | 冯尚斌,华盛顿大学;等人。 Chan Young Park, Carnegie Mellon University Yuhan Liu, Xi'an Jiaotong University Yulia Tsvetkov, University of Washington | |
CHI人机交互 | 冲出象牙塔:人机交互研究专利引用的大规模分析 | 曹汉城,斯坦福大学;等人。 Yujie Lu, University of California, Santa Barbara Yuting Deng, Carnegie Mellon University Daniel Mcfarland, Stanford University Michael S. Bernstein, Stanford University |
CHI 2017 与 CHI 2022 之间实证研究的研究伦理、开放性和透明度的变化 | Kavous Salehzadeh Niksirat,洛桑大学;等人。 Lahari Goswami, University of Lausanne Pooja S. B. Rao, University of Lausanne James Tyler, University of Lausanne Alessandro Silacci, University of Lausanne Sadiq Aliyu, University of Lausanne Annika Aebli, University of Lausanne Chat Wacharamanotham, Swansea University Mauro Cherubini, University of Lausanne | |
ChartDetective:从复杂的矢量图中轻松准确地提取交互式数据 | 达米安·马森,滑铁卢大学;等人。 Sylvain Malacria, Université de Lille Daniel Vogel, University of Waterloo Edward Lank, University of Waterloo Géry Casiez, Université de Lille | |
CiteSee:通过持久且个性化的历史背景增加科学论文的引用 | Joseph Chee Chang,艾伦人工智能研究所;等人。 Amy X. Zhang, University of Washington Jonathan Bragg, Allen Institute for Artificial Intelligence Andrew Head, University of Pennsylvania Kyle Lo, Allen Institute for Artificial Intelligence Doug Downey, Allen Institute for Artificial Intelligence Daniel S. Weld, University of Washington | |
跨现实协作:理解过渡界面中二元协作的分析视角 | Jan-Henrik Schröder,吕贝克大学;等人。 Daniel Schacht, University of Lübeck Niklas Peper, University of Lübeck Anita Marie Hamurculu, University of Lübeck Hans-Christian Jetter, University of Lübeck | |
有争议的摄像头汽车:开放且响应争议的公共人工智能的投机设计探索 | Kars Alfrink,代尔夫特理工大学;等人。 Ianus Keller, Delft University of Technology Neelke Doorn, Delft University of Technology Gerd Kortuem, Delft University of Technology | |
DataParticles:基于块和面向语言的动画单元可视化创作 | 曹一宁,加州大学圣地亚哥分校;等人。 Jane L E, University of California, San Diego Zhutian Chen, Harvard University Haijun Xia, University of California, San Diego | |
安全技术中的欺骗性设计模式:公民应用程序案例研究 | Ishita Chordia,华盛顿大学;等人。 Lena-Phuong Tran, University of Washington Tala June Tayebi, University of Washington Emily Parrish, University of Washington Sheena Erete, University of Maryland Jason Yip, University of Washington Alexis Hiniker, University of Washington | |
理清算法决策中的公平观念:解释、人类监督和可争议性的影响 | Mireia Yurrita,代尔夫特理工大学;等人。 Tim Draws, Delft University of Technology Agathe Balayn, Delft University of Technology Dave Murray-Rust, Delft University of Technology Nava Tintarev, Maastricht University Alessandro Bozzon, Delft University of Technology | |
设想隐蔽和可穿戴 AAC 设备的(内)可见性 | 汉弗莱·柯蒂斯,伦敦国王学院;等人。 Zihao You, King's College London William Deary, King's College London Miruna-Ioana Tudoreanu, King's College London Timothy Neate, King's College London | |
评估生成综合 HCI 研究数据的大型语言模型:案例研究 | Perttu Hämäläinen,阿尔托大学;等人。 Mikke Tavast, Aalto University Anton Kunnari, University of Helsinki | |
FIDO2 是救援?智能手机上的平台与漫游身份验证 | Leon Würsching,达姆施塔特工业大学;等人。 Florentin Putz, TU Darmstadt Steffen Haesler, TU Darmstadt Matthias Hollick, TU Darmstadt | |
全手电触觉反馈,不妨碍手掌侧 | 田中雄大,芝加哥大学;等人。 Alan Shen, University of Chicago Andy Kong, University of Chicago Pedro Lopes, University of Chicago | |
走,走,走:探索虚拟现实中多用户运动的意图通信 | Julian Rasch,慕尼黑路德维希马克西米利安大学;等人。 Vladislav Dmitrievic Rusakov, Ludwig Maximilian University of Munich Martin Schmitz, Saarland University Florian Müller, Ludwig Maximilian University of Munich | |
基础设施护理:跨性别者和非二元性别人士如何通过技术满足健康和福祉需求 | 劳伦·威尔科克斯,谷歌;等人。 Renee Shelby, Google Rajesh Veeraraghavan, Georgetown University Oliver L. Haimson, University of Michigan Gabriela Cruz Erickson, Google Michael Turken, Google Rebecca Gulotta, Google | |
调查情境在短信传递中对支持心理健康的作用 | Ananya Bhattacharjee,多伦多大学;等人。 Joseph Jay Williams, University of Toronto Jonah Meyerhoff, Northwestern University Harsh Kumar, University of Toronto Alex Mariakakis, University of Toronto Rachel Kornfield, Northwestern University | |
万花筒:用于用户界面设计课程的反思性文档工具 | 莎拉·斯特曼,加州大学伯克利分校;等人。 Molly Jane Nicholas, University of California, Berkeley Janaki Vivrekar, University of California, Berkeley Jessica R Mindel, University of California, Berkeley Eric Paulos, University of California, Berkeley | |
LipLearner:移动设备上可定制的无声语音交互 | 苏子雄,东京大学;等人。 Shitao Fang, University of Tokyo Jun Rekimoto, University of Tokyo | |
付出代价:当亲密伴侣利用技术造成经济损失时 | 罗莎娜·贝利尼,康奈尔大学 | |
玩弄反馈:无输入调音台中的不可预测性、即时性和纠缠的机构 | 汤姆·穆德,爱丁堡大学 | |
探索基于社区的对话式讲故事代理来记录住房不安全的数字故事 | 布雷特·哈尔珀林 (Brett A. Halperin),华盛顿大学;等人。 Gary Hsieh, University of Washington Erin McElroy, University of Texas at Austin James Pierce, University of Washington Daniela K. Rosner, University of Washington | |
通过儿童福利案例的计算叙事分析重新思考算法系统中的“风险” | Devansh Saxena,马凯特大学;等人。 Erina Seh-Young Moon, University of Toronto Aryan Chaurasia, University of Toronto Yixin Guan, University of Toronto Shion Guha, University of Toronto | |
SAWSense:使用表面声波进行表面束缚事件识别 | Yasha Iravantchi,密歇根大学;等人。 Yi Zhao, University of Michigan Kenrick Kin, Meta Alanson P. Sample, University of Michigan | |
使用随机最优反馈控制的重定向到达的感觉运动模拟 | 埃里克·J·冈萨雷斯和肖恩·福尔默,斯坦福大学 | |
握住我的手:为视障人士提供基于手部的自动空间引导 | 阿迪尔·拉赫曼,弗吉尼亚大学;等人。 Md Aashikur Rahman Azim, University of Virginia Seongkook Heo, University of Virginia | |
停车问题:交通中自动驾驶汽车的视频分析 | 巴里·布朗,哥本哈根大学;等人。 Mathias Broth, IKOS Erik Vinkhuyzen, King's College London | |
Google 背景下信任和隐私控制采用的微妙本质 | Ehsan Ul Haque,康涅狄格大学;等人。 Mohammad Maifi Hasan Khan, University of Connecticut Md Abdullah Al Fahim, University of Connecticut | |
步行说话棒:了解步行会议中的自动记笔记 | Luke Haliburton,慕尼黑路德维希马克西米利安大学;等人。 Natalia Bartłomiejczyk, Lodz University of Technology Albrecht Schmidt, Ludwig Maximilian University of Munich Paweł W. Woźniak, Chalmers University of Technology Jasmin Niess, University of St. Gallen | |
了解在 XR 中为远程指令和连接重建有意义的空间时要捕获的上下文 | Hanuma Teja Maddali 和 Amanda Lazar,马里兰大学 | |
了解一线工人和无家可归者对无家可归者服务中使用人工智能的看法 | 郭子胜,卡内基梅隆大学;等人。 Hong Shen, Carnegie Mellon University Jisoo Geum, Carnegie Mellon University Nev Jones, University of Pittsburgh Jason I. Hong, Carnegie Mellon University Haiyi Zhu, Carnegie Mellon University Kenneth Holstein, Carnegie Mellon University | |
了解利用大型语言模型部署对话式人工智能进行公共卫生干预的好处和挑战 | Eunkyung Jo,加州大学欧文分校;等人。 Daniel A. Epstein, University of California, Irvine Hyunhoon Jung, NAVER Young-Ho Kim, NAVER | |
当我们谈论社交媒体的信任时,我们意味着什么?系统回顾 | 张益轩,佐治亚理工学院;等人。 Joseph D Gaggiano, Georgia Institute of Technology Nutchanon Yongsatianchot, Northeastern University Nurul M Suhaimi, Universiti Malaysia Pahang Miso Kim, Northeastern University Yifan Sun, William & Mary Jacqueline Griffin, Northeastern University Andrea G Parker, Georgia Institute of Technology | |
当我们谈论可视化新手时,我们指的是谁? | 亚历山德·伯恩斯,马萨诸塞大学阿默斯特分校;等人。 Christiana Lee, University of Massachusetts Amherst Ria Chawla, University of Massachusetts Amherst Evan Peck, Bucknell University Narges Mahyar, University of Massachusetts Amherst | |
“把我当作你的朋友,而不是数据库中的数字”:与儿童共同设计应对在线数据化 | 王戈,牛津大学;等人。 Jun Zhao, University of Oxford Max Van Kleek, University of Oxford Nigel Shadbolt, University of Oxford | |
《我的塞尔达手杖》:盲人玩家玩以视觉为中心的数字游戏的策略 | 大卫·贡萨尔维斯,里斯本大学;等人。 Manuel Piçarra, University of Lisbon Pedro Pais, University of Lisbon João Guerreiro, University of Lisbon André Rodrigues, University of Lisbon | |
CIKM知识管理 | 具有能源知情需求的共享电动微型汽车的联合再平衡和充电 | 谭恒,理海大学;等人。 Yukun Yuan, University of Tennessee at Chattanooga Shuxin Zhong, Rutgers University Yu Yang, Lehigh University |
CVPR计算机视觉 | 可视化编程:无需训练的组合视觉推理 | Tanmay Gupta 和 Aniruddha Kembhavi,艾伦人工智能研究所 |
规划型自动驾驶 | 胡一涵,上海人工智能实验室;等人。 Jiazhi Yang, Shanghai AI Laboratory Li Chen, Shanghai AI Laboratory Keyu Li, Shanghai AI Laboratory Chonghao Sima, Shanghai AI Laboratory Xizhou Zhu, SenseTime Research Siqi Chai, Wuhan University Senyao Du, Wuhan University Tianwei Lin, Wuhan University Wenhai Wang, Shanghai AI Laboratory Lewei Lu, SenseTime Research Xiaosong Jia, Shanghai AI Laboratory Qiang Liu, Wuhan University Jifeng Dai, Shanghai AI Laboratory Yu Qiao, Shanghai AI Laboratory Hongyang Li, Shanghai AI Laboratory | |
焦点理论 | 3 级数的强界限 | Zander Kelley,伊利诺伊大学厄巴纳-香槟分校 Raghu Meka,加州大学洛杉矶分校 |
子空间平坦度猜想和更快的整数规划 | 维克多·雷斯和托马斯·罗斯沃斯,华盛顿大学 | |
FSE软件工程 | 通过知识图嵌入推荐类比 API | 刘明伟,复旦大学;等人。 Yanjun Yang, Fudan University Yiling Lou, Fudan University Xin Peng, Fudan University Zhong Zhou, Fudan University Xueying Du, Fudan University Tianyong Yang, Fudan University |
TransRacer:智能合约的函数依赖引导交易竞争检测 | 马晨阳,南京理工大学;等人。 Wei Song, Nanjing University of Science and Technology Jeff Huang, Texas A&M University | |
LExecutor:学习引导执行 | Beatriz Souza 和 Michael Pradel,斯图加特大学 | |
学生对 OSS 与 OSS4SG 的贡献进行轻量级干预的四年研究 | 方子涵,范德比尔特大学;等人。 Madeline Endres, University of Michigan Thomas Zimmermann, Microsoft Denae Ford, Microsoft Westley R Weimer, University of Michigan Kevin Leach, Vanderbilt University Yu Huang, Vanderbilt University | |
人工智能支持的多传感器融合系统的鲁棒性基准测试:挑战和机遇 | 高新宇,南京大学;等人。 Zhijie Wang, University of Alberta Yang Feng, Nanjing University Lei Ma, University of Tokyo Zhenyu Chen, Nanjing University Baowen Xu, Nanjing University | |
NeuRI:通过归纳规则推理使 DNN 生成多样化 | Jiawei Liu,伊利诺伊大学厄巴纳-香槟分校;等人。 Jinjun Peng, Columbia University Yuyao Wang, Nanjing University Lingming Zhang, University of Illinois at Urbana–Champaign | |
机器学习管道可以更好地配置吗? | 王一波,东北大学;等人。 Ying Wang, Northeastern University Tingwei Zhang, Northeastern University Yue Yu, National University of Defense Technology Shing-Chi Cheung, Hong Kong University of Science and Technology Hai Yu, Northeastern University Zhiliang Zhu, Northeastern University | |
提取局部变量的自动方法 | 迟夏野,北京理工大学;等人。 Hui Liu, Beijing Institute of Technology Guangjie Li, National Innovation Institute of Defense Technology Weixiao Wang, Beijing Institute of Technology Yunni Xia, Chongqing University Yanjie Jiang, Beijing Institute of Technology Yuxia Zhang, Beijing Institute of Technology Weixing Ji, Beijing Institute of Technology | |
高度可扩展、混合、跨平台时序分析框架,通过指令级跟踪提供准确的差分吞吐量估计 | Min-Yih Hsu,加州大学欧文分校;等人。 Felicitas Hetzelt, University of California, Irvine David Gens, University of California, Irvine Michael Maitland, SiFive Michael Franz, University of California, Irvine | |
伴侣!你真的知道吗?可解释性引导的恶意软件检测器鲁棒性测试框架 | 孙若曦,CSIRO 的 Data61 ;等人。 Minhui Xue, CSIRO's Data61 Gareth Tyson, Hong Kong University of Science and Technology Tian Dong, Shanghai Jiao Tong University Shaofeng Li, Peng Cheng Laboratory Shuo Wang, CSIRO's Data61 Haojin Zhu, Shanghai Jiao Tong University Seyit Camtepe, CSIRO's Data61 Surya Nepal, CSIRO's Data61 | |
通过编译器优化加速 SMT 求解 | Benjamin Mikek 和 Qirun 张,佐治亚理工学院 | |
Baldur:使用大型语言模型进行整体证明生成和修复 | 艾米丽·福斯特,马萨诸塞大学阿默斯特分校;等人。 Markus Rabe, Augment Computing Talia Ringer, University of Illinois at Urbana–Champaign Yuriy Brun, University of Massachusetts Amherst | |
ICCV计算机视觉 | 向文本到图像扩散模型添加条件控制 | 张吕敏,斯坦福大学;等人。 Anyi Rao, Stanford University Maneesh Agrawala, Stanford University |
无源超宽带单光子成像 | 韦勉,多伦多大学;等人。 Sotiris Nousias, University of Toronto Rahul Gulve, University of Toronto David B. Lindell, University of Toronto Kiriakos N. Kutulakos, University of Toronto | |
ICML机器学习 | 通过 D 适应进行无学习率学习 | 亚伦·德法齐奥、梅塔 ·康斯坦丁·米先科、三星 |
大型语言模型的水印 | 约翰·基兴鲍尔,马里兰大学;等人。 Jonas Geiping, University of Maryland Yuxin Wen, University of Maryland Jonathan Katz, University of Maryland Ian Miers, University of Maryland Tom Goldstein, University of Maryland | |
看不见的逻辑推理和学位课程的概括 | Emmanuel Abbe,洛桑联邦理工学院;等人。 Samy Bengio, Apple Aryo Lotfi, École Polytechnique Fédérale de Lausanne Kevin Rizk, École Polytechnique Fédérale de Lausanne | |
适应零和不完美信息博弈中的博弈树 | 菲格尔来吧,CREST ;等人。 Pierre Menard, ENS Lyon Tadashi Kozuno, Omron Sinic X Remi Munos, Deepmind Vianney Perchet, CRITEO AI Michal Valko, Deepmind | |
一般图上的自排斥随机游走 - 通过非线性马尔可夫链实现最小采样方差 | 维什瓦拉杰·多西 (Vishwaraj Doshi),IQVIA ;等人。 Jie Hu, North Carolina State University Do Young Eun, North Carolina State University | |
频率顺序学习的贝叶斯设计原则 | Yunbei Xu 和 Assaf Zeevi,哥伦比亚大学 | |
ICSE软件工程 | 我属于吗?Linux内核中虚拟社区的建模意义 | Bianca Trinkenreich,北亚利桑那大学;等人。 Klaas-Jan Stol, University College Cork Anita Sarma, Oregon State University Daniel M German, University of Victoria Marco Gerosa, Northern Arizona University Igor Steinmacher, Northern Arizona University |
Java项目第三方库漏洞的兼容修复 | 张吕野,南洋理工大学;等人。 Chengwei Liu, Nanyang Technological University Zhengzi Xu, Nanyang Technological University Sen Chen, Tianjin University Lingling Fan, Nankai University Lida Zhao, Nanyang Technological University Jiahui Wu, Nanyang Technological University Yang Liu, Nanyang Technological University | |
开发人员实施设计决策的定性研究 | Jenny T.Liang,卡内基梅隆大学;等人。 Maryam Arab, George Mason University Minhyuk Ko, Virginia Tech Amy J. Ko, University of Washington Thomas D. LaToza, George Mason University | |
仍然存在:资深女性软件开发人员的经验和生存策略 | Sterre van Breukelen,埃因霍温科技大学;等人。 Ann Barcomb, University of Calgary Sebastian Baltes, University of Adelaide Alexander Serebrenik, Eindhoven University of Technology | |
了解和检测动态配置错误 | 王腾,国防科技大学;等人。 Zhouyang Jia, National University of Defense Technology Shanshan Li, National University of Defense Technology Si Zheng, National University of Defense Technology Yue Yu, National University of Defense Technology Erci Xu, National University of Defense Technology Shaoliang Peng, Hunan University Xiangke Liao, National University of Defense Technology | |
通过查询计划指导测试数据库引擎 | 巴金生和 Manuel Rigger,新加坡国立大学 | |
Sibyl:通过 SMT 选择改进软件工程工具 | 威尔·利森,弗吉尼亚大学;等人。 Matthew B Dwyer, University of Virginia Antonio Filieri, Imperial College London | |
Lejacon:SGX 上 Java 机密计算的轻量级高效方法 | 苗新元,上海交通大学;等人。 Ziyi Lin, Alibaba Group Shaojun Wang, Alibaba Group Lei Yu, Alibaba Group Sanhong Li, Alibaba Group Zihan Wang, Shanghai Jiao Tong University Pengbo Nie, Shanghai Jiao Tong University Yuting Chen, Shanghai Jiao Tong University Beijun Shen, Shanghai Jiao Tong University He Jiang, Dalian University of Technology | |
效率很重要:通过 GUI 渲染推理加速自动化测试 | 冯斯东,莫纳什大学;等人。 Mulong Xie, Australian National University Chunyang Chen, Monash University | |
Rete:学习程序修复的命名空间表示 | Nikhil Parasaram,伦敦大学学院;等人。 Earl Barr, University College London Sergey Mechtaev, University College London | |
IJCAI人工智能 | 使用上下文模型的 Levin 树搜索 | 洛朗·奥尔索,Deepmind ;等人。 Marcus Hutter, Deepmind Levi H. S. Lelis, Alberta Machine Intelligence Institute |
基于 SAT 的 PAC 描述逻辑概念学习 | Balder 10 Cate,阿姆斯特丹大学;等人。 Maurice Funk, Leipzig University Jean Christoph Jung, Universität Dortmund Carsten Lutz, Leipzig University | |
通过概率逻辑盾进行安全强化学习 | Wen-Chi Yang,天主教鲁汶大学;等人。 Giuseppe Marra, Katholieke Universiteit Leuven Gavin Rens, Katholieke Universiteit Leuven Luc De Raedt, Katholieke Universiteit Leuven | |
信息通信网络 | 适可而止:生产联邦学习中针对梯度泄漏的自适应防御 | 王飞,多伦多大学;等人。 Ethan Hugh, University of Toronto Baochun Li, University of Toronto |
交换机中可扩展的实时带宽公平性 | 罗伯特·麦克戴维,普林斯顿大学;等人。 Xiaoqi Chen, Princeton University Jennifer Rexford, Princeton University | |
ISCA架构 | Contiguitas:数据中心物理内存连续性的追求 | 赵凯阳,卡内基梅隆大学;等人。 Kaiwen Xue, Carnegie Mellon University Ziqi Wang, Carnegie Mellon University Dan Schatzberg, Meta Leon Yang, Meta Antonis Manousis, Meta Johannes Weiner, Meta Rik van Riel, Meta Bikash Sharma, Meta Chunqiang Tang, Meta Dimitrios Skarlatos, Carnegie Mellon University |
SCALO:用于可扩展脑机接口的富含加速器的分布式系统 | Karthik Sriram,耶鲁大学;等人。 Raghavendra Pradyumna Pothukuchi, Yale University Michał Gerasimiuk, Yale University Muhammed Ugur, Yale University Oliver Ye, Yale University Rajit Manohar, Yale University Anurag Khandelwal, Yale University Abhishek Bhattacharjee, Yale University | |
KDD数据挖掘 | 多合一:图神经网络的多任务提示 | 孙祥国,香港中文大学;等人。 Hong Cheng, The Chinese University of Hong Kong Jia Li, Hong Kong University of Science and Technology Bo Liu, Southeast University Jihong Guan, Tongji University |
摩比通移动 | AgriTera:通过亚太赫兹无线信号进行准确的非侵入式水果成熟度传感 | Sayed Saad Afzal,麻省理工学院;等人。 Atsutse Kludze, Princeton University Subhajit Karmakar, Princeton University Ranveer Chandra, Microsoft Yasaman Ghasempour, Princeton University |
水下反向散射通道:理论、链路预算和实验验证 | Waleed Akbar,麻省理工学院;等人。 Ahmed Allam, Massachusetts Institute of Technology Fadel Adib, Massachusetts Institute of Technology | |
NeurIPS机器学习 | 通过一 (1) 次训练进行隐私审核 | 托马斯·斯坦克,谷歌;等人。 Milad Nasr, Google Matthew Jagielski, Google |
大型语言模型的新兴能力是海市蜃楼吗? | 瑞兰·谢弗 (Rylan Schaeffer),斯坦福大学;等人。 Brando Miranda, Stanford University Sanmi Koyejo, Stanford University | |
NSDI网络 | CausalSim:无偏跟踪驱动模拟的因果框架 | 阿卜杜拉·阿洛马尔,麻省理工学院;等人。 Pouya Hamadanian, Massachusetts Institute of Technology Arash Nasr-Esfahany, Massachusetts Institute of Technology Anish Agarwal, MIT, Mohammad Alizadeh, Massachusetts Institute of Technology Devavrat Shah, Massachusetts Institute of Technology |
使用 Magma 构建灵活、低成本的无线接入网络 | Shaddi Hasan,弗吉尼亚理工大学;等人。 Amar Padmanabhan, Databricks Bruce Davie, Systems Approach Jennifer Rexford, Princeton University Ulas Kozat, Meta Hunter Gatewood, Meta Shruti Sanadhya, Meta Nick Yurchenko, Meta Tariq Al-Khasib, Meta Oriol Batalla, Meta Marie Bremner, Meta Andrei Lee, Meta Evgeniy Makeev, Meta Scott Moeller, Meta Alex Rodriguez, Meta Pravin Shelar, Meta Karthik Subraveti, Meta Sudarshan Kandi, Meta Alejandro Xoconostle, Meta Praveen Kumar Ramakrishnan, Meta Xiaochen Tian, Indepenent Anoop Tomar, Meta | |
LeakyScatter:100 GHz 以上的频率捷变定向反向散射网络 | Atsutse Kludze 和 Yasaman Ghasempour,普林斯顿大学 | |
DOTE:重新思考(预测)WAN 流量工程 | Yarin Perry,耶路撒冷希伯来大学;等人。 Felipe Vieira Frujeri, Microsoft Chaim Hoch, Hebrew University of Jerusalem Srikanth Kandula, Microsoft Ishai Menache, Microsoft Michael Schapira, Hebrew University of Jerusalem Aviv Tamar, Technion – Israel Institute of Technology | |
OSDI操作系统 | 使用 SCALENE 三角测量 Python 性能问题 | Emery D. Berger,马萨诸塞大学阿默斯特分校;等人。 Sam Stern, University of Massachusetts Amherst Juan Altmayer Pizzorno, University of Massachusetts Amherst |
Ensō:用于 NIC 应用程序通信的流接口 | 雨果·萨多克,卡内基梅隆大学;等人。 Nirav Atre, Carnegie Mellon University Zhipeng Zhao, Microsoft Daniel S. Berger, Microsoft James C. Hoe, Carnegie Mellon University Aurojit Panda, New York University Justine Sherry, Carnegie Mellon University Ren Wang, Intel | |
PLDI编程语言 | Mosaic:张量代数的可互操作编译器 | 马尼亚·班萨尔,斯坦福大学;等人。 Olivia Hsu, Stanford University Kunle Olukotun, Stanford University Fredrik Kjolstad, Stanford University |
CryptOpt:通过随机程序搜索加密原语进行验证编译 | 乔尔库珀,阿德莱德大学;等人。 Andres Erbsen, Massachusetts Institute of Technology Jason Gross, Massachusetts Institute of Technology Owen Conoly, Massachusetts Institute of Technology Chuyue Sun, Stanford University Samuel Tian, Massachusetts Institute of Technology David Wu, University of Adelaide Adam Chlipala, Massachusetts Institute of Technology Chitchanok Chuengsatiansup, University of Melbourne Daniel Genkin, Georgia Institute of Technology Markus Wagner, Monash University Yuval Yarom, Ruhr University Bochum | |
综合 MILP 约束以实现高效、稳健的优化 | 王静波,南加州大学;等人。 Aarti Gupta, Princeton University Chao Wang, University of Southern California | |
量子电路中基于自动机的验证和错误查找框架 | 陈玉芳,中央研究院;等人。 Kai-Min Chung, Academia Sinica Ondřej Lengál, Brno University of Technology Jyun-Ao Lin, Academia Sinica Wei-Lun Tsai, Academia Sinica Di-De Yen, Academia Sinica | |
涵盖所有基础:测试输入生成器的基于类型的验证 | 周哲,普渡大学;等人。 Ashish Mishra, Purdue University Benjamin Delaware, Purdue University Suresh Jagannathan, Purdue University | |
PODS数据库 | 联合查询的极值拟合问题 | Balder Ten Cate,阿姆斯特丹大学;等人。 Victor Dalmau, Pompeu Fabra University Maurice Funk, Leipzig University Carsten Lutz, Leipzig University |
标准普尔安全和隐私 | MEGA:可塑性加密出了问题 | Matilda Backendal,苏黎世联邦理工学院;等人。 Miro Haller, ETH Zurich Kenneth Paterson, ETH Zurich |
Matrix 中可实际利用的加密漏洞 | Martin Albrecht,伦敦大学皇家霍洛威学院;等人。 Sofía Celi, Brave Software Benjamin Dowling, University of Sheffield Daniel Jones, Royal Holloway University of London | |
对现代证明系统的弱 Fiat-Shamir 攻击 | Quang Dao,卡内基梅隆大学;等人。 Jim Miller, Trail of Bits Opal Wright, Trail of Bits Paul Grubbs, University of Michigan | |
针对 Spectre v1 输入高速密码 | Basavesh Ammanaghatta Shivakumar,马克斯·普朗克安全与隐私研究所;等人。 Gilles Barthe, Max Planck Institute for Security and Privacy Benjamin Grégoire, Inria Université Côte d'Azur Vincent Laporte, Inria Nancy Tiago Oliviera, Max Planck Institute for Security and Privacy Swarn Priya, Inria Université Côte d'Azur Peter Schwabe, Max Planck Institute for Security and Privacy Lucas Tabary-Maujean, ENS Paris-Saclay | |
红队与蓝队:跨越四代现代 CMOS 技术的真实硬件木马检测案例研究 | Endres Puschner,马克斯·普朗克安全与隐私研究所;等人。 Thorben Moos, Université catholique de Louvain Christian Kison, Bundeskriminalamt Steffen Becker, Ruhr University Bochum Amir Moradi, Ruhr University Bochum Christof Paar, Max Planck Institute for Security and Privacy | |
(DOM) 破坏时间到了:攻击技术、普遍性和防御 | Soheil Khodayari 和 Giancarlo Pellegrino,CISPA 亥姆霍兹信息安全中心 | |
Leaky Web:自动发现浏览器和 Web 中的跨站点信息泄漏 | Jannis Rautenstrauch,CISPA 亥姆霍兹信息安全中心;等人。 Giancarlo Pellegrino, CISPA Helmholtz Center for Information Security Ben Stock, CISPA Helmholtz Center for Information Security | |
WaVe:可验证安全的 WebAssembly 沙箱运行时 | 埃文·约翰逊,加州大学圣地亚哥分校;等人。 Evan Laufer, Stanford University Zijie Zhao, University of Illinois Urbana Champaign Shravan Narayan, University of California, San Diego Stefan Savage, University of California, San Diego Deian Stefan, University of California, San Diego Fraser Brown, Carnegie Mellon University | |
智能家居设备日常滥用的特征 | 菲比·莫,马里兰大学;等人。 Pubali Datta, University of Illinois Urbana Champaign Noel Warford, University of Maryland Adam Bates, University of Illinois Urbana Champaign Nathan Malkin, University of Maryland Michelle Mazurek, University of Maryland | |
不是另一个数字身份:保护隐私的人道主义援助分发 | Boya Wang,洛桑联邦理工学院;等人。 Wouter Lueks, CISPA Helmholtz Center for Information Security Justinas Sukaitis, International Committee of the Red Cross Vincent Graf Narbel, International Committee of the Red Cross Carmela Troncoso, École Polytechnique Fédérale de Lausanne | |
“在百分之八十的情况下,我会为他们选择密码”:肯尼亚网吧的安全和隐私挑战、建议和机遇 | Collins W. Munyendo,乔治华盛顿大学;等人。 Yasemin Acar, George Washington University Adam J. Aviv, George Washington University | |
太空漫游:卫星的实验软件安全分析 | 约翰内斯·威尔博尔德,波鸿鲁尔大学;等人。 Moritz Schloegel, Ruhr University Bochum Manuel Vögele, Ruhr University Bochum Maximilian Gerhardt, Ruhr University Bochum Thorsten Holz, CISPA Helmholtz Center for Information Security Ali Abbasi, CISPA Helmholtz Center for Information Security | |
信号通讯网络 | ActiveRMT 中的内存管理:走向运行时可编程交换机, | Rajdeep Das 和 Alex C. Snoeren,加州大学圣地亚哥分校 |
SIGGRAPH图形 | Split-Lohmann 多焦点显示器 | 秦英思,卡内基梅隆大学;等人。 Wei-Yu Chen, Carnegie Mellon University Matthew O'Toole, Carnegie Mellon University Aswin C. Sankaranarayanan, Carnegie Mellon University |
用于结构化表面逆向设计的可微条纹图案 | Juan Sebastian Montes Maestre,苏黎世联邦理工学院;等人。 Yinwei Du, ETH Zurich Ronan Hinchet, ETH Zurich Stelian Coros, ETH Zurich Bernhard Thomaszewski, ETH Zurich | |
通过正则化绕数场实现点云全局一致的法线方向 | 徐睿,山东大学;等人。 Zhiyang Dou, University of Hong Kong Ningna Wang, University of Texas at Dallas Shiqing Xin, Shandong University Shuangmin Chen, Qingdao University of Science and Technology Mingyan Jiang, Shandong University Xiaohu Guo, University of Texas at Dallas Wenping Wang, Texas A&M University Changhe Tu, Shandong University | |
用于实时辐射场渲染的 3D 高斯喷射 | Bernhard Kerbl,因里亚蔚蓝海岸大学;等人。 Georgios Kopanas, Inria Université Côte d'Azur Thomas Leimkuehler, Max Planck Institute for Informatics George Drettakis, Inria Université Côte d'Azur | |
DOC:将运动重新定位到有腿机器人上的可微最优控制 | Ruben Grandia,迪士尼研究中心;等人。 Farbod Farshidian, ETH Zurich Espen Knoop, Disney Research Christian Schumacher, Disney Research Marco Hutter, ETH Zurich Moritz Bächer, Disney Research | |
SIGIR信息检索 | 信息检索实验平台 | Maik Fröbe,耶拿弗里德里希席勒大学;等人。 Jan Heinrich Reimer, Friedrich-Schiller-Universität Jena Sean MacAvaney, University of Glasgow Niklas Deckers, Leipzig University Simon Reich, Leipzig University Janek Bevendorff, Bauhaus University Benno Stein, Bauhaus University Matthias Hagen, Friedrich-Schiller-Universität Jena Martin Potthast, Leipzig University |
SIGMETRICS性能 | 空间图负载均衡的平均场分析 | Daan Rutten 和 Debankur Mukherjee,佐治亚理工学院 |
SIGMOD数据库 | 检测 DBMS 中联接优化的逻辑错误 | 唐修,浙江大学;等人。 Sai Wu, Zhejiang Univ Dongxiang Zhang, Zhejiang University Feifei Li, Alibaba Group Gang Chen, Zhejiang University |
数据科学管道的谓词下推 | 颜丛,微软研究院;等人。 Yin Lin, University of Michigan Yeye He, Microsoft | |
苏打理论 | 多对数更新时间中优于 2 近似的动态匹配 | Sayan Bhattacharya,华威大学;等人。 Peter Kiss, University of Warwick Thatchaphol Saranurak, University of Michigan David Wajc, Stanford University |
最大匹配大小的动态算法 | 索海尔·贝内扎德,斯坦福大学 | |
SOSP操作系统 | 利用 Trio 架构实现高性能且安全的用户空间 NVM 文件系统 | Diyu Zhou,洛桑联邦理工学院;等人。 Vojtech Aschenbrenner, École Polytechnique Fédérale de Lausanne Tao Lyu, École Polytechnique Fédérale de Lausanne Jian Zhang, Rutgers University Sudarsun Kannan, Rutgers University Sanidhya Kashyap, École Polytechnique Fédérale de Lausanne |
TreeSLS:NVM上具有树形结构状态检查点的全系统持久性微内核 | 吴方诺,上海交通大学;等人。 Mingkai Dong, Shanghai Jiao Tong University Gequan Mo, Shanghai Jiao Tong University Haibo Chen, Shanghai Jiao Tong University | |
通过编译空间探索验证 JIT 编译器 | 李丛,南京大学;等人。 Yanyan Jiang, Nanjing University Chang Xu, Nanjing University Zhendong Su, ETH Zurich | |
STOC理论 | 基于 Ring LWE 的双倍高效隐私信息检索和全同态 RAM 计算 | 魏凯林,东北大学;等人。 Ethan Mook, Northeastern University Daniel Wichs, Northeastern University |
随机 k-服务器猜想是错误的! | 塞巴斯蒂安·布贝克,微软;等人。 Christian Coester, University of Oxford Yuval Rabani, Hebrew University of Jerusalem | |
UIST用户界面 | GenAssist:使图像生成变得容易 | Mina Huh,德克萨斯大学奥斯汀分校;等人。 Yi-Hao Peng, Carnegie Mellon University Amy Pavel, University of Texas at Austin |
生成代理:人类行为的交互式模拟 | 朴俊成,斯坦福大学;等人。 Joey O'Brien, Stanford University Carrie J Cai, Google Meredith Ringel Morris, Google Percy Liang, Stanford University Michael Bernstein, Stanford University | |
在元宇宙中隐身:在 VR 中实现理论上最佳的隐私与可用性权衡 | Vivek C Nair,加州大学伯克利分校;等人。 Gonzalo Munilla-Garrido, Technical University of Munich Dawn Song, University of California, Berkeley | |
VLDB数据库 | 自动表格:在不使用示例的情况下综合多步转换以关系化表格 | 李鹏,佐治亚理工学院;等人。 Yeye He, Microsoft Cong Yan, Microsoft Yue Wang, Microsoft Surajit Chaudhuri, Microsoft |
DBSP:丰富查询语言的自动增量视图维护 | Mihai Budiu,VMware 公司;等人。 Tej Chajed, VMware Inc. Frank McSherry, Materialize Leonid Ryzhyk, VMware Inc. Val Tannen, University of Pennsylvania | |
万维网_ | 过于简单的收集和标记实践限制了 Twitter 机器人检测基准数据集的实用性 | 克里斯·海斯,麻省理工学院;等人。 Zachary Schutzman, Massachusetts Institute of Technology Manish Raghavan, Massachusetts Institute of Technology Erin Walk, Massachusetts Institute of Technology Philipp Zimmer, Massachusetts Institute of Technology |
2022年 | ||
---|---|---|
AAAI人工智能 | 个性化推荐系统基于偏好的公平性在线认证 | Virginie Do,巴黎第九大学;等人。 Sam Corbett-Davies, Meta Jamal Atif, Université Paris Dauphine Nicolas Usunier, Meta |
ACL自然语言处理 | 学习用于解析的增量表示 | Nikita Kitaev,加州大学伯克利分校;等人。 Thomas Lu, University of California, Berkeley Dan Klein, University of California, Berkeley |
语言复兴的低资源语音合成的要求和动机 | Aidan Pine,加拿大国家研究委员会;等人。 Dan Wells, University of Edinburgh Nathan Brinklow, Queen's University Patrick William Littell, National Research Council Canada Korin Richmond, University of Edinburgh | |
DiBiMT:测量机器翻译中词义消歧偏差的新基准 | Niccolò Campolungo,罗马第一大学;等人。 Federico Martelli, Sapienza University of Rome Francesco Saina, SSML Carlo Bo Roberto Navigli, Sapienza University of Rome | |
KinyaBERT:形态感知的卢旺达语语言模型 | Antoine Nzeyimana,马萨诸塞大学阿默斯特分校 Andre Niyongabo Rubung,加泰罗尼亚理工大学 | |
CHI人机交互 | AirRacket:非接地定向力反馈的感知设计,以改善虚拟球拍运动体验 | 蔡静仪,国立台湾大学;等人。 I-Lun Tsai, National Taiwan University Chao-Jung Lai, National Taiwan University Derrek Chow, University of Waterloo Lauren Wei, University of Maryland Lung-Pan Cheng, National Taiwan University Mike Y. Chen, National Taiwan University |
亲密伴侣暴力中数字安全的护理基础设施 | Emily Tseng,康奈尔大学;等人。 Mehrnaz Sabet, Cornell University Rosanna Bellini, Cornell University Harkiran Kaur Sodhi, Cornell University Thomas Ristenpart, Cornell University Nicola Dell, Cornell University | |
保留因果关系的异步现实 | Andreas Rene Fender 和 Christian Holz,苏黎世联邦理工学院 | |
苦乐参半的设计:利用推荐系统改善敏感体验 | 凯特琳·勒斯蒂格,华盛顿大学;等人。 Artie Konrad, Meta Jed R. Brubaker, University of Colorado Boulder | |
EmoBalloon - 用语音气球在文本聊天中传达情感唤醒 | 青木俊树,东京大学;等人。 Rintaro Chujo, University of Tokyo Katsufumi Matsui, University of Tokyo Saemi Choi, Samsung Ari Hautasaari, University of Tokyo | |
将身体残疾玩家的体验纳入基于动作的游戏的主流指南中 | 利亚姆·梅森,林肯大学;等人。 Kathrin Gerling, Katholieke Universiteit Leuven Patrick Dickinson, University of Lincoln Jussi Holopainen, University of Lincoln Lisa Jacobs, University of Lincoln Kieran Hicks, University of Lincoln | |
中断优点,颠覆易读性:在“无种姓”计算世界中导航种姓 | Palashi Vaghela,康奈尔大学;等人。 Steven Jackson, Cornell University Phoebe Sengers, Cornell University | |
调查自我护理的日常实践,为艾滋病毒感染者健康生活和老龄化的支持性健康技术的设计提供信息 | 卡罗琳·克莱斯,纽卡斯尔大学;等人。 Bakita Kasadha, Terrence Higgins Trust Simone Stumpf, University of Glasgow Abigail C Durrant, Newcastle University | |
研究日常文本输入收集方法的权衡 | 安德烈·罗德里格斯,里斯本大学;等人。 Hugo Nicolau, University of Lisbon André R.B. Santos, University of Lisbon Diogo Branco, University of Lisbon Jay Rainey, Newcastle University David Verweij, Newcastle University Jan David Smeddinck, Newcastle University Kyle Montague, Northumbria University Tiago Guerreiro, University of Lisbon | |
陪审团学习:将异议声音整合到机器学习模型中 | 米切尔·L·戈登,斯坦福大学;等人。 Michelle S. Lam, Stanford University Joon Sung Park, Stanford University Kayur Patel, Apple Jeff Hancock, Stanford University Tatsunori Hashimoto, Stanford University Michael Bernstein, Stanford University | |
数学增强:作者如何使用新颖的视觉设计实践增强公式的可读性 | Andrew Head,艾伦人工智能研究所;等人。 Amber Xie, University of California, Berkeley Marti Hearst, University of California, Berkeley | |
Meander Coil++:使用对人体安全且节能的发射器线圈进行人体规模无线功率传输 | 高桥亮,东京大学;等人。 Wakako Yukita, University of Tokyo Tomoyuki Yokota, University of Tokyo Takao Someya, University of Tokyo Yoshihiro Kawahara, University of Tokyo | |
MOOC 的移动友好内容设计:挑战、要求和设计机会 | Jeongyeon Kim,韩国科学技术院;等人。 Yubin Choi, KAIST Meng Xia, KAIST Juho Kim, KAIST | |
VR 中使用耳机超声相控阵的嘴触觉 | Vivian Shen,卡内基梅隆大学;等人。 Craig Shultz, Carnegie Mellon University Chris Harrison, Carnegie Mellon University | |
Neo:将混淆矩阵可视化推广到分层和多输出标签 | Jochen Görtler,康斯坦茨大学;等人。 Fred Hohman, Apple Dominik Moritz, Apple Kanit Wongsuphasawat, Apple Donghao Ren, Apple Rahul Nair, Apple Marc Kirchner, Apple Kayur Patel, Apple | |
Squeezy-Feely:研究横向拇指食指捏合作为输入方式 | 马丁·施密茨,达姆施塔特工业大学;等人。 Sebastian Günther, TU Darmstadt Dominik Schön, TU Darmstadt Florian Müller, Ludwig Maximilian University of Munich | |
这些年来仍然令人毛骨悚然:应用程序使用中情感不适的正常化 | 约翰·S·塞伯格,密歇根州立大学;等人。 Irina Shklovski, University of Copenhagen Emily Swiatek, Indiana University Bloomington Sameer Patil, University of Utah | |
TAC工具包:从宏观时间角度支持用户接受健康技术的设计 | 卡米尔·纳达尔,都柏林三一学院;等人。 Shane McCully, Trinity College Dublin Kevin Doherty, Copenhagen Center for Health Technology Corina Sas, University of Lancaster Gavin Doherty, Trinity College Dublin | |
通过感知过程迈向相关可解释的人工智能 | Wencan 张和 Brian Y Lim,新加坡国立大学 | |
编织故事:走向设计的全部 | Doenja Oogjes,西蒙弗雷泽大学 Ron Wakkary,埃因霍温科技大学 | |
当信心满足准确性:探索多个绩效指标对机器学习模型信任的影响 | Amy Rechkemmer 和 Ming Yin,普渡大学 | |
Zoom Obscura:视频会议的反功能设计 | 克里斯·埃尔斯登,爱丁堡大学;等人。 David Chatting, University of London Michael Duggan, King's College London Andrew Carl Dwyer, Durham University Pip Thornton, University of Edinburgh | |
3D 打印街道交叉口:支持盲人或弱视人士的定向和行动训练 | Leona M Holloway,莫纳什大学;等人。 Matthew Butler, Monash University Kim Marriott, Monash University | |
“我想看看情况有多糟糕”:在线自我筛查是患有常见心理健康问题的年轻人的关键转变点 | 凯莉·佩恩·克鲁赞 (Kaylee Payne Kruzan),西北大学;等人。 Jonah Meyerhoff, Northwestern University Theresa Nguyen, Mental Health America Madhu Reddy, University of California, Irvine David C. Mohr, Northwestern University Rachel Kornfield, Northwestern University | |
“这有点像代码转换”:黑人老年人使用语音助手寻求健康信息的体验 | 克里斯蒂娜·哈林顿,卡内基梅隆大学;等人。 Radhika Garg, Syracuse University Amanda Woodward, Michigan State University Dimitri Williams, DePaul University | |
CIKM知识管理 | 利用邻域建模和不对称性保持进行有向图表示学习 | 周宏禄,罗格斯大学;等人。 Advith Chegu, Rutgers University Samuel Sohn, Rutgers University Zuohui Fu, Rutgers University Gerard de Melo, University of Potsdam Mubbasir Kapadia, Rutgers University |
CVPR计算机视觉 | 学习解决最小的困难问题 | Petr Hruby,苏黎世联邦理工学院;等人。 Timothy Duff, University of Washington Anton Leykin, Georgia Institute of Technology Tomas Pajdla, Czech Technical University in Prague |
焦点理论 | 近线性时间负权单源最短路径 | 亚伦·伯恩斯坦,罗格斯大学;等人。 Danupon Nanongkai, University of Copenhagen Christian Wulff-Nilsen, University of Copenhagen |
几乎线性时间内的最大流量和最小成本流量 | 李晨,佐治亚理工学院;等人。 Rasmus Kyng, ETH Zurich Yang P. Liu, Stanford University Richard Peng, University of Waterloo Maximilian Probst Gutenberg, ETH Zurich Sushant Sachdeva, University of Toronto | |
FSE软件工程 | 使用推动来加速大规模代码审查 | 山千华,Meta ;等人。 David Sukhdeo, Meta Qianying Huang, Meta Seth Rogers, Meta Lawrence Chen, Meta Elise Paradis, Meta Peter Rigby, Concordia University Nachiappan Nagappan, Meta |
Minerva:使用动态 Mod-Ref 分析进行浏览器 API 模糊测试 | 周池金,清华大学;等人。 Quan Zhang, Tsinghua University Mingzhe Wang, Tsinghua University Lihua Guo, Tsinghua University Jie Liang, Tsinghua University Zhe Liu, Nanjing University Mathias Payer, École Polytechnique Fédérale de Lausanne Yu Jiang, Tsinghua University | |
Python 中类型注释的演变:实证研究 | Luca Di Grazia 和 Michael Pradel,斯图加特大学 | |
RESTful API 在线测试:前景与挑战 | 阿尔贝托·马丁·洛佩兹,塞维利亚大学;等人。 Sergio Segura, University of Seville Antonio Ruiz-Cortés, University of Seville | |
异步技术面试:减少有监督的出声思考对沟通能力的影响 | Mahnaz (Mana) Behroozi,IBM ;等人。 Chris Brown, North Carolina State University Chris Parnin, Virginia Tech | |
SPINE:具有反馈指导的可扩展日志解析器 | 王旭恒,清华大学;等人。 Xu Zhang, Microsoft Liqun Li, Microsoft Shilin He, Microsoft Hongyu Zhang, University of Newcastle Yudong Liu, Microsoft Lingling Zheng, Microsoft Yu Kang, Microsoft Qingwei Lin, Microsoft Yingnong Dang, Microsoft Saravan Rajmohan, Microsoft Dongmei Zhang, Microsoft | |
先到先得:文件位置对代码审查的影响 | Enrico Fregnan,苏黎世大学;等人。 Larissa Braz, University of Zurich Marco D'Ambros, USI Lugano Gül Calikli, University of Glasgow Alberto Bacchelli, University of Zurich | |
ICML机器学习 | 通过 V 可用信息了解数据集难度 | Kawin Ethayarajh,斯坦福大学;等人。 Yejin Choi, Stanford University Swabha Swayamdipta, Allen Institute for Artificial Intelligence |
可微分模拟器能提供更好的策略梯度吗? | Hyung Ju Suh,麻省理工学院;等人。 Max Simchowitz, Massachusetts Institute of Technology Kaiqing Zhang, Massachusetts Institute of Technology Russ Tedrake, Massachusetts Institute of Technology | |
非马尔可夫性在最大状态熵探索中的重要性 | Mirco Mutti,米兰理工大学;等人。 Riccardo De Santi, ETH Zurich Marcello Restelli, Politecnico di Milano | |
G-Mixup:用于图分类的图数据增强 | 韩晓天,德克萨斯农工大学;等人。 Zhimeng Jiang, Texas A&M University Ninghao Liu, University of Georgia Xia Hu, Rice University | |
免费隐私:数据集压缩如何帮助隐私? | 田东,上海交通大学;等人。 Bo Zhao, University of Edinburgh Lingjuan Lyu, Sony AI | |
稳定的共形预测集 | 尤金·恩迪亚耶,佐治亚理工学院 | |
贝叶斯模型选择、边际似然和泛化 | Sanae Lotfi,纽约大学;等人。 Pavel Izmailov, New York University Gregory Benton, New York University Micah Goldblum, New York University Andrew Wilson, New York University | |
通过球面约束最小二乘重构求解具有最小二乘损失的 Stackelberg 预测博弈 | 王嘉丽,复旦大学;等人。 Wen Huang, Xiamen University Rujun Jiang, Fudan University Xudong Li, Fudan University Alex Wang, Carnegie Mellon University | |
学习线性动力系统的混合 | Yanxi Chen 和 H. Vincent Poor,普林斯顿大学 | |
公平的因果概念及其后果 | Hamed Nilforoshan,斯坦福大学;等人。 Johann Gaebler, Stanford University Ravi Shroff, New York University Sharad Goel, Harvard University | |
ICSE软件工程 | TOGA:一种用于测试 Oracle 生成的神经方法 | 伊丽莎白·迪内拉,宾夕法尼亚大学;等人。 Gabriel Ryan, Columbia University Todd Mytkowicz, Microsoft Shuvendu K. Lahiri, Microsoft |
SymTuner:通过自适应调整外部参数来最大化符号执行的能力 | Sooyoung Cha,成均馆大学;等人。 Myungho Lee, Korea University Seokhyun Lee, Korea University Hakjoo Oh, Korea University | |
什么才是好的提交消息? | 田迎辰,北京理工大学;等人。 Yuxia Zhang, Beijing Institute of Technology Klaas-Jan Stol, University College Cork Lin Jiang, Beijing Institute of Technology Hui Liu, Beijing Institute of Technology | |
构建支持 ML 的系统的协作挑战:通信、文档、工程和流程 | 纳迪亚·纳哈尔,卡内基梅隆大学;等人。 Shurui Zhou, University of Toronto Grace Lewis, Carnegie Mellon University Christian Kästner, Carnegie Mellon University | |
您错过了我的评论还是什么?”了解开源讨论中的毒性 | 考特尼·米勒,卡内基梅隆大学;等人。 Sophie Cohen, Wesleyan University Daniel Klug, Carnegie Mellon University Bogdan Vasilescu, Carnegie Mellon University Christian Kästner, Carnegie Mellon University | |
“这该死的光滑!” 估计推文对开源项目受欢迎程度和新贡献者的影响 | 方洪波,卡内基梅隆大学;等人。 Hemank Lamba, Carnegie Mellon University Jim Herbsleb, Carnegie Mellon University Bogdan Vasilescu, Carnegie Mellon University | |
使用代理辅助和多目标优化对支持 DNN 的系统进行高效在线测试 | Fitash Ul Haq,卢森堡大学;等人。 Donghwan Shin, University of Luxembourg Lionel Briand, University of Luxembourg | |
PUS:用于基于包含的指针分析的快速高效求解器 | 刘培明,德克萨斯农工大学;等人。 Yanze Li, Texas A&M University Bradley Swain, Texas A&M University Jeff Huang, Texas A&M University | |
多样性驱动的自动化形式验证 | Emily First 和 Yuriy Brun,马萨诸塞大学阿默斯特分校 | |
IJCAI人工智能 | DESPOT:在线 POMDP 正则化规划 | Nan Ye,昆士兰科技大学;等人。 Adhiraj Somani, National University of Singapore David Hsu, National University of Singapore Wee Sun Lee, National University of Singapore |
信息通信网络 | ChARM:通过数据驱动的实时 O-RAN 动态控制实现 NextG 频谱共享 | 卢卡·巴尔德西,东北大学;等人。 Francesco Restuccia, Northeastern University Tommaso Melodia, Northeastern University |
PreGAN:用于主动容错边缘计算的先发制人的迁移预测网络 | Shreshth Tuli,伦敦帝国理工学院;等人。 Giuliano Casale, Imperial College London Nicholas Jennings, Loughborough University | |
ISCA架构 | NvMR:用于间歇计算的非易失性内存重命名 | Abhishek Bhattacharyya,威斯康星大学麦迪逊分校;等人。 Abhijith Somashekhar, Apple Joshua San Miguel, University of Wisconsin–Madison |
KDD数据挖掘 | 学习超图的因果效应 | 马晶,弗吉尼亚大学;等人。 Mengting Wan, Microsoft Longqi Yang, Microsoft Jundong Li, University of Virginia Brent Hecht, Microsoft Jaime Teevan, Microsoft |
摩比通移动 | 用于毫米级无线生物医学植入物的磁电反向散射通信 | 张浩宇,莱斯大学;等人。 Fatima T. Alrashdan, Rice University Jacob T. Robinson, Rice University Kaiyuan Yang, Rice University |
NeurIPS机器学习 | 分布外检测是否可以学习? | 方振,悉尼科技大学;等人。 Yixuan Li, University of Wisconsin–Madison Jie Lu, University of Technology Sydney Jiahua Dong, ETH Zurich Bo Han, Hong Kong Baptist University Feng Liu, University of Technology Sydney |
具有深度语言理解的真实感文本到图像扩散模型 | 奇旺·撒哈利亚,谷歌;等人。 William Chan, Google Saurabh Saxena, Google Lala Li, Google Jay Whang, Google Emily Denton, Google Seyed Kamyar, Google Seyed Ghasemipour, Google Burcu Karagol Ayan, Google S. Sara Mahdavi, Google Raphael Gontijo-Lopes, Google Tim Salimans, Google Jonathan Ho, Google David J Fleet, Google Mohammad Norouzi, Google | |
阐明基于扩散的生成模型的设计空间 | 特罗·卡拉斯 (Tero Karras),NVIDIA ;等人。 Miika Aittala, NVIDIA Timo Aila, NVIDIA Samuli Laine, NVIDIA | |
ProcTHOR:使用程序生成的大规模嵌入式人工智能 | Matt Deitke,艾伦人工智能研究所;等人。 Eli VanderBilt, Allen Institute for Artificial Intelligence Alvaro Herrasti, Allen Institute for Artificial Intelligence Luca Weihs, Allen Institute for Artificial Intelligence Jordi Salvador, Allen Institute for Artificial Intelligence Kiana Ehsani, Allen Institute for Artificial Intelligence Winson Han, Allen Institute for Artificial Intelligence Eric Kolve, Allen Institute for Artificial Intelligence Ali Farhadi, University of Washington Aniruddha Kembhavi, Allen Institute for Artificial Intelligence Roozbeh Mottaghi, Allen Institute for Artificial Intelligence | |
使用自然语言和程序抽象向机器灌输人类归纳偏差 | Sreejan Kumar,普林斯顿大学;等人。 Carlos G Correa, Princeton University Ishita Dasgupta, DeepMind Raja Marjieh, Princeton University Michael Hu, Princeton University Robert D. Hawkins, Princeton University Jonathan Cohen, Princeton University Nathaniel Daw, Princeton University Karthik R Narasimhan, Princeton University Thomas L. Griffiths, Princeton University | |
用于文档检索的神经语料库索引器 | 王玉晶,微软;等人。 Yingyan Hou, Tsinghua University Haonan Wang, University of Illinois at Urbana Champaign Ziming Miao, Microsoft Shibin Wu, Tsinghua University Hao Sun, Peking University Qi Chen, Microsoft Yuqing Xia, Microsoft Chengmin Chi, Microsoft Guoshuai Zhao, Microsoft Zheng Liu, Microsoft Xing Xie, Microsoft Hao Sun, Microsoft Weiwei Deng, Microsoft Qi Zhang, Microsoft Mao Yang, Microsoft | |
SGD 的高维极限定理:有效动力学和临界标度 | 杰拉德·本·阿鲁斯,纽约大学;等人。 Reza Gheissari, Northwestern University Aukosh Jagannath, University of Waterloo | |
基于黎曼分数的生成模型 | Valentin De Bortoli,国家科学研究中心;等人。 Emile Mathieu, University of Cambridge Michael John Hutchinson, University of Oxford James Thornton, University of Oxford Yee Whye Teh, University of Oxford Arnaud Doucet, University of Oxford | |
使用离散斯坦因算子的梯度估计 | 史嘉欣,斯坦福大学;等人。 Yuhao Zhou, Tsinghua University Jessica Hwang, Stanford University Michalis Titsias, Deepmind Lester Mackey, Microsoft | |
计算最优大语言模型训练的实证分析 | 乔丹·霍夫曼,Deepmind ;等人。 Sebastian Borgeaud, Deepmind Arthur Mensch, Deepmind Elena Buchatskaya, Deepmind Trevor Cai, Deepmind Eliza Rutherford, Deepmind Diego de las Casas, Deepmind Lisa Anne Hendricks, Deepmind Johannes Welbl, Deepmind Aidan Clark, Deepmind Tom Hennigan, Deepmind Eric Noland, Deepmind Katherine Millican, Deepmind George van den Driessche, Deepmind Bogdan Damoc, Deepmind Aurelia Guy, Deepmind Simon Osindero, Deepmind Karen Simonyan, Deepmind Erich Elsen, Deepmind Oriol Vinyals, Deepmind Jack William Rae, Deepmind Laurent Sifre, Deepmind | |
超越神经缩放定律:通过数据修剪击败幂律缩放 | 本·索舍尔,斯坦福大学;等人。 Robert Geirhos, University of Tübingen Shashank Shekhar, Meta Surya Ganguli, Stanford University Ari S. Morcos, Meta | |
按需采样:从多个分布中优化学习 | Nika Haghtalab,加州大学伯克利分校;等人。 Michael Jordan, University of California, Berkeley Eric Zhao, University of California, Berkeley | |
NSDI网络 | 包订单很重要!通过故意延迟数据包来提高应用程序性能 | Hamid Ghasemirahni,皇家理工学院;等人。 Tom Barbette, Royal Institute of Technology Georgios P. Katsikas, Royal Institute of Technology Alireza Farshin, Royal Institute of Technology Amir Roozbeh, KTH Royal Institute of Technology and Ericsson Research Massimo Girondi, Royal Institute of Technology Marco Chiesa, Royal Institute of Technology Gerald Q. Maguire Jr., Royal Institute of Technology Dejan Kostić, Royal Institute of Technology |
Graham:利用本地时钟属性来同步时钟 | Ali Najafi、Meta Michael Wei,VMware 公司 | |
学习在无电池设备之间进行有效通信 | Kai Geissdoerfer 和 Marco Zimmerling,德累斯顿工业大学 | |
OSDI操作系统 | XRP:带有 eBPF 的内核存储功能 | 钟宇红,哥伦比亚大学;等人。 Haoyu Li, Columbia University Yu Jian Wu, Columbia University Ioannis Zarkadas, Columbia University Jeffrey Tao, Columbia University Evan Mesterhazy, Columbia University Michael Makris, Columbia University Junfeng Yang, Columbia University Amy Tai, Google Ryan Stutsman, University of Utah Asaf Cidon, Columbia University |
MemLiner:为远程内存友好的运行时排列跟踪和应用程序 | 王晨曦,加州大学洛杉矶分校;等人。 Haoran Ma, University of California, Los Angeles Shi Liu, University of California, Los Angeles Yifan Qiao, University of California, Los Angeles Jonathan Eyolfson, University of California, Los Angeles Christian Navasca, University of California, Los Angeles Shan Lu, University of Chicago Guoqing Harry Xu, University of California, Los Angeles | |
PLDI编程语言 | 查找打字编译器错误 | Stefanos Chaliasos,伦敦帝国理工学院;等人。 Thodoris Sotiropoulos, Athens University of College and Business Diomidis Spinellis, Athens University of College and Business Arthur Gervais, Imperial College London Ben Livshits, Imperial College London Dimitris Mitropoulos, University of Athens |
Kleene 代数模理论:具体 KAT 的框架 | 迈克尔·格林伯格,史蒂文斯理工学院;等人。 Ryan Beckett, Microsoft Eric Campbel, Cornell University | |
低延迟、高吞吐量垃圾收集 | 赵文宇,澳大利亚国立大学;等人。 Steve Blackburn, Google Kathryn S McKinley, Google | |
RustHornBelt:使用不安全代码对 Rust 程序进行功能验证的语义基础 | 松下佑介,东京大学;等人。 Xavier Denis, Paris-Saclay University Jacques-Henri Jourdan, Paris-Saclay University Derek Dreyer, Max Planck Institute for Software Systems | |
从计算演示中综合分析 SQL 查询 | 周翔宇,华盛顿大学;等人。 Rastislav Bodík, University of Washington Alvin Cheung, University of California, Berkeley Chenglong Wang, University of Washington | |
使用内省程序综合进行可视化问答 | Yanju Chen,加州大学圣塔芭芭拉分校;等人。 Xifeng Yan, University of California, Santa Barbara Yu Feng, University of California, Santa Barbara | |
PODS数据库 | (预)半环上数据记录的收敛 | Mahmoud Abo Khamis,关系型人工智能;等人。 Hung Q. Ngo, relationalAI Reinhard Pichler, TU Wien Dan Suciu, University of Washington Yisu Remy Wang, University of Washington |
近似计数的最佳界限 | Jelani Nelson,加州大学伯克利分校 余华成,普林斯顿大学 | |
标准普尔安全和隐私 | Telegram 的四次攻击和一个证明 | 马丁·阿尔布雷希特,伦敦大学;等人。 Lenka Mareková, University of London Kenneth G. Paterson, ETH Zurich Igors Stepanovs, ETH Zurich |
敲着键盘睡着了?评估 GitHub Copilot 代码贡献的安全性 | 哈蒙德·皮尔斯,纽约大学;等人。 Baleegh Ahmad, New York University Benjamin Tan, New York University Brendan Dolan-Gavitt, New York University Ramesh Karri, New York University | |
看不见的手指:对基于触摸屏的电子设备的实用电磁干扰攻击 | 单浩琪,佛罗里达大学;等人。 Boyi Zhang, University of Florida Zihao Zhan, University of Florida Dean Sullivan, University of New Hampshire Shuo Wang, University of Florida Yier Jin, University of Florida | |
致力于信任:开源软件项目中安全与信任的定性研究 | 多米尼克·韦尔姆克 (Dominik Wermke),CISPA ;等人。 Noah Woehler, CISPA Jan H. Klemmer, Leibniz University Hannover Marcel Fourné, Max Planck Institute for Security and Privacy Yasemin Acar, George Washington University Sascha Fahl, CISPA | |
信号通讯网络 | 软件定义的网络同化:利用 NAssim 弥合最后一英里,实现集中式网络配置管理 | 陈黄训,华为理论实验室;等人。 Yukai Miao, University of New South Wales Li Chen, Zhongguancun Laboratory Haifeng Sun, Beijing University of Posts and Telecommunications Hong Xu, The Chinese University of Hong Kong Libin Liu, Shandong Computer Science Center Gong Zhang, Huawei Theory Lab Wei Wang, Hong Kong University of Science and Technology |
SIGGRAPH图形 | 图像特征影响反应时间:眼跳延迟的学习概率感知模型 | Budmonde Duinkharjav,纽约大学;等人。 Praneeth Chakravarthula, Princeton University Rachel Brown, NVIDIA Anjul Patney, NVIDIA Qi Sun, New York University |
CLIPasso:语义感知对象草图 | Yael Vinker,特拉维夫大学;等人。 Ehsan Pajouheshgar, École Polytechnique Fédérale de Lausanne Jessica Y. Bo, École Polytechnique Fédérale de Lausanne Roman Christian Bachmann, École Polytechnique Fédérale de Lausanne Amit Bermano, Tel Aviv University Daniel Cohen-Or, Tel Aviv University Amir Zamir, École Polytechnique Fédérale de Lausanne Ariel Shamir, Reichman University | |
具有多分辨率哈希编码的即时神经图形基元 | 托马斯·穆勒,NVIDIA ;等人。 Alex Evans, NVIDIA Christoph Schied, NVIDIA Alexander Keller, NVIDIA | |
深入探索:一般神经隐式表面的保证查询 | 尼古拉斯·夏普和亚历克·雅各布森,多伦多大学 | |
DeepPhase:用于学习运动相位流形的周期性自动编码器 | 塞巴斯蒂安·斯塔克,爱丁堡大学;等人。 Ian Mason, University of Edinburgh Taku Komura, University of Hong Kong | |
SIGIR信息检索 | 非事实问答分类法 | Valeriia Bolotova,皇家墨尔本理工大学;等人。 Vladislav Blinov, Ural Federal University Falk Scholer, RMIT University Bruce Croft, University of Massachusetts Amherst Mark Sanderson, RMIT University |
SIGMETRICS性能 | WISEFUSE:无服务器工作流的工作负载特征和 DAG 转换 | 阿什拉夫·马赫古布,普渡大学;等人。 Edgardo Barsallo Yi, Purdue University Karthick Shankar, Carnegie Mellon University Eshaan Minocha, Purdue University Somali Chaterji, Purdue University Sameh Elnikety, Microsoft Saurabh Bagchi, Purdue University |
SIGMOD数据库 | R2T:使用外键进行差分私有查询评估的实例最优截断 | 魏东,香港科技大学;等人。 Juanru Fang, Hong Kong University of Science and Technology Ke Yi, Hong Kong University of Science and Technology Yuchao Tao, Duke University Ashwin Machanavajjhala, Duke University |
苏打理论 | 新的减径捷径和定向 Hopset:打破 √n 屏障 | Shimon Kogan 和 Merav Parter,魏茨曼科学研究所 |
STOC理论 | 具有恒定速率、距离和位置的本地可测试代码 | Irit Dinur,魏茨曼科学研究所;等人。 Shai Evra, Hebrew University of Jerusalem Ron Livne, Hebrew University of Jerusalem Alexander Lubotzky, Weizmann Institute of Science Shahar Mozes, Hebrew University of Jerusalem |
渐近良好的量子和局部可测试的经典 LDPC 码 | Pavel Panteleev 和 Gleb Kalachev,莫斯科国立大学 | |
UIST用户界面 | CrossA11y:通过跨模式接地识别视频可访问性问题 | Xingyu 'Bruce' Liu,加州大学洛杉矶分校;等人。 Ruolin Wang, University of California, Los Angeles Dingzeyu Li, Adobe Xiang 'Anthony' Chen, University of California, Los Angeles Amy Pavel, University of Texas at Austin |
网格编码:为盲人和弱视程序员提供的一种易于使用、高效且结构化的编码范式 | Ehtesham-Ul-Haque 博士,宾夕法尼亚州立大学;等人。 Syed Mostofa Monsur, Bangladesh University of Engineering and Technology Syed Masum Billah, Pennsylvania State University | |
使用交互式生物塑料制作软设备原型 | Marion Koelle,杜伊斯堡-埃森大学;等人。 Madalina Luciana Nicolae, Saarland University Aditya Shekhar Nittala, Saarland University Marc Teyssier, De Vinci Research Center Jürgen Steimle, Saarland University | |
VLDB数据库 | Sancus:陈旧感知通信——避免大规模图神经网络中的全图去中心化训练 | 彭静树,香港科技大学;等人。 Zhao Chen, Hong Kong University of Science and Technology Yingxia Shao, BUPT Yanyan Shen, Shanghai Jiao Tong University Lei Chen, Hong Kong University of Science and Technology Jiannong Cao, The Hong Kong Polytechnic University |
通过基数估计图进行准确的基于摘要的基数估计 | Jeremy Chen,滑铁卢大学;等人。 Yuqing Huang, University of Waterloo Mushi Wang, University of Waterloo Semih Salihoglu, University of Waterloo Kenneth Salem, University of Waterloo | |
HET:通过支持缓存的分布式框架扩展巨大的嵌入模型训练 | 苗旭鹏,北京大学;等人。 Hailin Zhang, Peking University Yining Shi, Peking University Xiaonan Nie, Peking University Zhi Yang, Peking University Yangyu Tao, Tencent Bin Cui, Peking University | |
SAP HANA 中压缩和加密的硬件加速 | Monica Chiosa,苏黎世联邦理工学院;等人。 Fabio Maschi, ETH Zurich Ingo Müller, Google Gustavo Alonso, ETH Zurich Norman May, SAP SE | |
万维网_ | PaSca:可扩展范式下的图神经架构搜索系统 | 张文涛,北京大学;等人。 Yu Shen, Peking University Zheyu Lin, Peking University Yang Li, Peking University Xiaosen Li, Tencent Wen Ouyang, Tencent Yangyu Tao, Tencent Zhi Yang, Peking University Bin Cui, Peking University |
重新制定下一步观看建议以减少激进化途径 | Francesco Fabbri,庞培法布拉大学;等人。 Yanhao Wang, East China Normal University Francesco Bonchi, Fondazione ISI Carlos Castillo, ICREA and Universitat Pompeu Fabra Michael Mathioudakis, University of Helsinki |
2021年 | ||
---|---|---|
AAAI人工智能 | Informer:超越高效变压器的长序列时间序列预测 | 周浩一,北京航空航天大学;等人。 Shanghang Zhang, University of California, Berkeley Jieqi Peng, Beihang University Shuai Zhang, Beihang University Jianxin Li, Beihang University Hui Xiong, Rutgers University Wancai Zhang, Beijing Guowang Fuda Science & Technology Development Company |
多智能体学习中的探索-利用:突变理论与博弈论的结合 | Stefanos Leonardos 和 Georgios Piliouras,新加坡科技设计大学 | |
ACL自然语言处理 | 通过神经机器翻译的最佳传输进行词汇学习 | 徐晶晶,字节跳动;等人。 Hao Zhou, ByteDance Chun Gan, ByteDance Zaixiang Zheng, ByteDance Lei Li, ByteDance |
CHI人机交互 | 黑客马拉松做什么?通过程序理论分析了解黑客马拉松的参与 | Jeanette Falk,奥胡斯大学;等人。 Gopinaath Kannabiran, University of Copenhagen Nicolai Brodersen Hansen, Aalborg University |
Falx:综合驱动的可视化创作 | 王成龙,华盛顿大学;等人。 Yu Feng, University of California, Santa Barbara Rastislav Bodik, University of Washington Isil Dillig, University of Texas at Austin Alvin Cheung, University of California, Berkeley Amy J Ko, University of Washington | |
“我能在周日不自杀吗?”:了解技术介导的心理健康支持途径 | Sachin R Pendse,佐治亚理工学院;等人。 Amit Sharma, Microsoft Aditya Vashistha, Cornell University Munmun De Choudhury, Georgia Institute of Technology Neha Kumar, Georgia Institute of Technology | |
CapContact:电容式触摸屏的超分辨率接触区域 | Paul Streli 和 Christian Holz,苏黎世联邦理工学院 | |
RadarNet:利用小型雷达传感器的高效手势识别技术 | 林英二,谷歌;等人。 Jaime Lien, Google Nicholas Gillian, Google Leonardo Giusti, Google Dave Weber, Google Jin Yamanaka, Google Lauren Bedal, Google Ivan Poupyrev, Google | |
屏幕识别:从像素为移动应用程序创建辅助功能元数据 | 张晓义,苹果;等人。 Lilian de Greef, Apple Amanda Swearngin, Apple Samuel White, Apple Kyle Murray, Apple Lisa Yu, Apple Qi Shan, Apple Jeffrey Nichols, Apple Jason Wu, Apple Chris Fleizach, Apple Aaron Everitt, Apple Jeffrey P Bigham, Apple | |
LGBTQ 人士向社交媒体上的已知关系披露妊娠流产:披露决策和理想的披露环境 | 卡西迪派尔,密歇根大学;等人。 Lee Roosevelt, University of Michigan Ashley Lacombe-Duncan, University of Michigan Nazanin Andalibi, University of Michigan | |
通过手背驱动提高电肌肉刺激的灵活性 | Akifumi Takahashi,芝加哥大学;等人。 Jas Brooks, University of Chicago Hiroyuki Kajimoto, The University of Electro-Communications Pedro Lopes, University of Chicago | |
与青少年一起设计月经技术 | Marie Louise Juul Søndergaard,皇家理工学院;等人。 Marianela Ciolfi Felice, Royal Institute of Technology Madeline Balaam, Royal Institute of Technology | |
演出必须继续:与儿童在线进行同步参与设计的概念模型 | Kung Jin Lee,华盛顿大学;等人。 Wendy Roldan, University of Washington Tian Qi Zhu, University of Washington Harkiran Kaur Saluja, University of Washington Sungmin Na, University of Washington Britnie Chin, University of Washington Yilin Zeng, University of Washington Jin Ha Lee, University of Washington Jason Yip, University of Washington | |
为“我们”而建:为有记忆问题的夫妇提供安全设置 | 诺拉·麦克唐纳 (Nora McDonald) 和海伦娜·M·门蒂斯 (Helena M. Mentis),马里兰大学巴尔的摩县分校 | |
噢,卡普!用于磁性连接传统电子产品和 3D 打印电子产品的制造流程 | 马丁·施密茨,达姆施塔特工业大学;等人。 Jan Riemann, TU Darmstadt Florian Müller, TU Darmstadt Steffen Kreis, TU Darmstadt Max Mühlhäuser, TU Darmstadt | |
让我们团结起来:以数据为中心的参与式设计研究和认知负担 | 詹妮弗·皮埃尔,加州大学洛杉矶分校;等人。 Roderic Crooks, University of California, Irvine Morgan Currie, University of Edinburgh Britt Paris, Rutgers University Irene Pasquetto, University of Michigan | |
“每个人都想做模型工作,而不是数据工作”:高风险人工智能中的数据级联 | Nithya Sambasivan,谷歌;等人。 Shivani Kapania, Google Hannah Highfill, Google Diana Akrong, Google Praveen Paritosh, Google Lora M Aroyo, Google | |
抵制更年期的医疗化:通过设计重塑身体 | Marianela Ciolfi Felice,皇家理工学院;等人。 Marie Louise Juul Søndergaard, Royal Institute of Technology Madeline Balaam, Royal Institute of Technology | |
U!Scientist:博物馆中以人为本的研究设计 | Mmachi God'sglory Obiorah,西北大学;等人。 James K.L. Hammerman, Terc Becky Rother, Adler Planetarium Will Granger, Adler Planetarium Haley Margaret West, Northwestern University Michael Horn, Northwestern University Laura Trouille, Zooniverse & Adler Planetarium | |
“为什么会失控?” 自由职业者对零工经济平台的看法研究 | 胡安·卡洛斯·阿尔瓦雷斯·德拉维加,诺森比亚大学;等人。 Marta E. Cecchinato, Northumbria University John Rooksby, Northumbria University | |
“鼓励的勇气”:对感染艾滋病毒的青少年进行基于聊天的同伴支持的参与和愿望 | 纳维娜·卡鲁萨拉,华盛顿大学;等人。 David Odhiambo Seeh, Kenyatta National Hospital Cyrus Mugo, Kenyatta National Hospital Brandon Guthrie, University of Washington Megan A Moreno, University of Wisconsin–Madison Grace John-Stewart, University of Washington Irene Inwani, Kenyatta National Hospital Richard Anderson, University of Washington Keshet Ronen, University of Washington | |
多人游戏设计和社区管理的道德规范:行业视角和挑战 | 露西·A·斯帕罗,墨尔本大学;等人。 Martin Gibbs, University of Melbourne Michael Arnold, University of Melbourne | |
用于交互式电路调试的仿真和硬件耦合 | 埃文·斯特拉斯尼克,斯坦福大学;等人。 Maneesh Agrawala, Stanford University Sean Follmer, Stanford University | |
手持式增强现实中任务对注意力隧道的影响 | 布兰登·维克多·赛姆 (Brandon Victor Syiem),墨尔本大学;等人。 Ryan M. Kelly, University of Melbourne Jorge Goncalves, University of Melbourne Eduardo Velloso, University of Melbourne Tilman Dingler, University of Melbourne | |
XRgonomics:促进人体工学 3D 界面的创建 | João Marcelo Evangelista Belo,奥尔胡斯大学;等人。 Anna Maria Feit, ETH Zurich Tiare Feuchtner, Aarhus University Kaj Grønbæk, Aarhus University | |
对话代理的启发式评估 | 雷娜·朗之万,华盛顿大学;等人。 Ross J Lordon, Microsoft Thi Avrahami, Rulai Benjamin R. Cowan, University College Dublin Tad Hirsch, Northeastern University Gary Hsieh, University of Washington | |
秘密还是 Rifugiato?意大利的反移民元广告定位 | 亚瑟·卡波齐,华盛顿大学;等人。 Gianmarco De Francisci Morales, Microsoft Yelena Mejova, Rulai Corrado Monti, University College Dublin André Panisson, Northeastern University Daniela Paolotti, University of Washington | |
开源公平工具包的现状和差距 | Michelle Seng Ah Lee 和 Jatinder Singh,剑桥大学 | |
了解智力和发育障碍人士的数据可访问性 | Keke Wu,科罗拉多大学博尔德分校;等人。 Emma Petersen, University of Colorado Boulder Tahmina Ahmad, University of Colorado Boulder David Burlinson, University of Colorado Boulder Shea Tanis, University of Colorado Boulder Danielle Albers Szafir, University of Colorado Boulder | |
如何评估 VR 中的对象选择和操作?20 年研究的指导方针 | 乔安娜·伯格斯特罗姆,哥本哈根大学;等人。 Tor-Salve Dalsgaard, University of Copenhagen Jason Alexander, University of Bath Kasper Hornbæk, University of Copenhagen | |
为机器学习非专家设计交互式迁移学习工具 | Swati Mishra 和 Jeffrey M Rzeszotarski,康奈尔大学 | |
CIKM知识管理 | RxNet:用于过度处方检测的 Rx-refill 图神经网络 | 张剑飞,凯斯西储大学;等人。 Ai-Te Kuo, Auburn University Jianan Zhao, Case Western Reserve University Qianlong Wen, Case Western Reserve University Erin Winstanley, West Virginia University Chuxu Zhang, Brandeis University Yanfang Ye, Case Western Reserve University |
CVPR计算机视觉 | 长颈鹿:将场景表示为组合生成神经特征场 | Michael Niemeyer 和 Andreas Geiger,马克斯·普朗克智能系统研究所 |
焦点理论 | 低深度代数电路的超多项式下界 | Nutan Limaye,印度坎普尔理工学院;等人。 Srikanth Srinivasan, Aarhus University Sébastien Tavenas, Université Grenoble Alpes |
FSE软件工程 | 臃肿的Java依赖关系的纵向分析 | César Soto-Valero,皇家理工学院;等人。 Thomas Durieux, Royal Institute of Technology Benoit Baudry, Royal Institute of Technology |
AlloyMax:为相关规范带来最大程度的满足 | 张昌建,卡内基梅隆大学;等人。 Ryan Wagner, Carnegie Mellon University Pedro Orvalho, INESC-ID/IST David Garlan, Carnegie Mellon University Vasco Manquinho, INESC-ID/IST Ruben Martins, Carnegie Mellon University Eunsuk Kang, Carnegie Mellon University | |
机器学习软件中的偏见:为什么?如何?该怎么办? | Joymallya Chakraborty,北卡罗来纳州立大学;等人。 Suvodeep Majumder, North Carolina State University Tim Menzies, North Carolina State University | |
通过模块重新上下文化对动态语言进行高效的模块级动态分析 | Nikos Vasilakis,麻省理工学院;等人。 Grigoris Ntousakis, TU Crete Veit Heller, Independent Researcher Martin C. Rinard, Massachusetts Institute of Technology | |
概率 Delta 调试 | 王冠城,北京大学;等人。 Ruobing Shen, Peking University Junjie Chen, Tianjin University Yingfei Xiong, Peking University Lu Zhang, Peking University | |
语义错误播种:一种基于学习的方法来创建真实的错误 | Jibesh Patra 和 Michael Pradel,斯图加特大学 | |
SmartCommit:基于图形的交互式助手,用于面向活动的提交 | 沉波,北京大学;等人。 Wei Zhang, Peking University Christian Kästner, Carnegie Mellon University Haiyan Zhao, Peking University Zhao Wei, Huawei Guangtai Liang, Huawei Zhi Jin, Peking University | |
Vet:识别和避免 UI 探索 Tarpit | Wenyu Wang,伊利诺伊大学厄巴纳-香槟分校;等人。 Wei Yang, University of Texas at Dallas Tianyin Xu, University of Illinois at Urbana–Champaign Tao Xie, Peking University | |
ICCV计算机视觉 | Swin Transformer:使用平移窗口的分层视觉变压器 | 刘泽,微软;等人。 Yutong Lin, Microsoft Yue Cao, Microsoft Han Hu, Microsoft Yixuan Wei, Microsoft Zheng Zhang, Microsoft Stephen Lin, Microsoft Baining Guo, Microsoft |
ICML机器学习 | 具有持续进化策略的展开计算图中的无偏梯度估计 | 保罗·维科尔,多伦多大学;等人。 Luke Metz, Google Jascha Sohl-Dickstein, Google |
ICSE软件工程 | ATVHunter:第三方库的可靠版本检测,用于 Android 应用程序中的漏洞识别 | 詹贤,香港理工学院;等人。 Lingling Fan, Nankai University Sen Chen, Tianjin University Feng Wu, Nanyang Technological University Tianming Liu, Monash University Xiapu Luo, Hong Kong Polytechnic Institute Yang Liu, Nanyang Technological University |
基于 Stack Overflow 查询日志的自动查询重构以实现高效搜索 | 曹凯波,南京大学;等人。 Chunyang Chen, Monash University Sebastian Baltes, University of Adelaide Christoph Treude, University of Adelaide Xiang Chen, Nantong University | |
CodeShovel:构建方法级源代码历史记录 | 菲利克斯·格伦德,不列颠哥伦比亚大学;等人。 Shaiful Alam Chowdhury, University of British Columbia Nick Bradley, University of British Columbia Braxton Hall, University of British Columbia Reid Holmes, University of British Columbia | |
Hero:当 PATH 遇到模块时的混乱 | 王颖,中国东北大学;等人。 Liang Qiao, Northeastern University China Chang Xu, Nanjing University Yepang Liu, Southern University of Science and Technology Shing-Chi Cheung, Hong Kong University of Science and Technology Na Meng, Virginia Tech Hai Yu, Northeastern University Zhiliang Zhu, Northeastern University China | |
“你周末过得怎么样?” COVID-19 期间软件开发团队在家工作 | 考特尼·米勒,佛罗里达新学院;等人。 Paige Rodeghero, Clemson University Margaret-Anne Storey, University of Victoria Denae Ford, Microsoft Thomas Zimmermann, Microsoft | |
通过集成基于值和谓词的因果推理技术来改进故障定位 | Yigit Kucuk,凯斯西储大学;等人。 Tim A. D. Henderson, Google Andy Podgurski, Case Western Reserve University | |
内联装配的接口合规性:自动检查、修补和优化 | Frédéric Recoules,巴黎萨克雷大学;等人。 Sébastien Bardin, Paris-Saclay University Richard Bonichon, Tweag I/O Matthieu Lemerre, Paris-Saclay University Laurent Mounier, Université Grenoble Alpes Marie-Laure Potet, Université Grenoble Alpes | |
JEST:JavaScript 引擎和规范的 N+1 版本差异测试 | Jihyeok Park,韩国科学技术院;等人。 Seungmin An, KAIST Dongjun Youn, KAIST Gyeongwon Kim, KAIST Sukyoung Ryu, KAIST | |
程序理解和代码复杂性指标:功能磁共振成像研究 | Norman Peitek,莱布尼茨神经生物学研究所;等人。 Sven Apel, Saarland University Chris Parnin, North Carolina State University André Brechmann, Leibniz Institute for Neurobiology Janet Siegmund, Chemnitz University of Technology | |
综合对象状态转换器以进行动态软件更新 | 赵泽林,南京大学;等人。 Yanyan Jiang, Nanjing University Chang Xu, Nanjing University Tianxiao Gu, Alibaba Group Xiaoxing Ma, Nanjing University | |
可追溯性转型:使用预训练的 BERT 模型生成更准确的链接 | 林金峰,圣母大学;等人。 Yalin Liu, University of Notre Dame Qingkai Zeng, University of Notre Dame Meng Jiang, University of Notre Dame Jane Cleland-Huang, University of Notre Dame | |
是什么造就了开源项目的优秀维护者? | Edson Dias,帕拉联邦大学;等人。 Paulo Meirelles, Reitoria da Unifesp Fernando Castor, Federal University of Pernambuco UFPE Igor Steinmacher, Federal University of Technology – Paraná Igor Wiese, Federal University of Technology – Paraná Gustavo Pinto, Universidade Federal do Pará | |
为什么开发人员不检测不正确的输入验证?删除表格文件;- | 拉里萨·布拉兹,苏黎世大学;等人。 Enrico Fregnan, University of Zurich Gül Calikli, University of Zurich Alberto Bacchelli, University of Zurich | |
IJCAI人工智能 | 保持距离:土地分割与分离 | 伊迪丝·埃尔金德,牛津大学;等人。 Erel Segal-Halevi, Ariel University Warut Suksompong, National University of Singapore |
论近似不动点理论与正当性理论的关系 | Simon Marynissen,天主教鲁汶大学;等人。 Bart Bogaerts, Free University of Brussels Marc Denecker, Katholieke Universiteit Leuven | |
学习经典规划的广义不可解性启发法 | Simon Ståhlberg,林雪平大学;等人。 Guillem Francès, Pompeu Fabra University Jendrik Seipp, Linköping University | |
信息通信网络 | 单射频链毫米波 WLAN 上的上行链路多用户波束成形 | Keerthi Priya Dasala,莱斯大学;等人。 Josep M Jornet, Northeastern University Edward W. Knightly, Rice University |
mCore:实现 5G MU-MIMO 系统的亚毫秒级调度 | 陈永策,弗吉尼亚理工大学;等人。 Yubo Wu, Virginia Tech Thomas Hou, Virginia Tech Wenjing Lou, Virginia Tech | |
利用同步通信加速数据并行分布式深度学习 | 施少怀,香港科技大学;等人。 Xiaowen Chu, Hong Kong Baptist University Bo Li, Hong Kong University of Science and Technology | |
KDD数据挖掘 | 快速且节省内存的 Tucker 分解,用于回答不同时间范围的查询 | Jun-gi Jang 和 U Kang,首尔国立大学 |
摩比通移动 | mSAIL:用于帝王蝶迁徙跟踪的毫克级多模态传感器平台 | Inhee Lee,匹兹堡大学;等人。 Roger Hsiao, University of Michigan Gordy Carichner, University of Michigan Chin-Wei Hsu, University of Michigan Mingyu Yang, University of Michigan Sara Shoouri, University of Michigan Katherine Ernst, University of Michigan Tess Carichner, University of Michigan Yuyang Li, University of Pittsburgh Jaechan Lim, University of Michigan Cole R. Julick, University of Nebraska–Lincoln Eunseong Moon, University of Michigan Yi Sun, University of Michigan Jamie Phillips, University of Delaware Kristi L. Montooth, University of Nebraska–Lincoln Delbert A. Green II, University of Michigan Hun-Seok Kim, University of Michigan David Blaauw, University of Michigan |
NeurIPS机器学习 | 通过等周法得出的通用鲁棒性定律 | Sébastien Bubeck,微软 Mark Sellke,斯坦福大学 |
论马尔可夫奖励的表达性 | 大卫·阿贝尔,DeepMind ;等人。 Will Dabney, DeepMind Anna Harutyunyan, DeepMind Mark K. Ho, Princeton University Michael Littman, Brown University Doina Precup, DeepMind Satinder Singh, DeepMind | |
处于统计悬崖边缘的深度强化学习 | 里沙布·阿加瓦尔 (Rishabh Agarwal),谷歌;等人。 Max Schwarzer, Université de Montréal Pablo Samuel Castro, Google Aaron Courville, Université de Montréal Marc G. Bellemare, Google | |
MAUVE:使用分歧前沿测量神经文本和人类文本之间的差距 | Krishna Pillutla,华盛顿大学;等人。 Swabha Swayamdipta, Allen Institute for Artificial Intelligence Rowan Zellers, University of Washington John Thickstun, Stanford University Sean Welleck, University of Washington Yejin Choi, Allen Institute for Artificial Intelligence Zaid Harchaoui, University of Washington | |
确定性和随机梯度下降以及八卦算法的持续加速 | 马蒂厄·埃文(Mathieu Even),因里亚(Inria);等人。 Raphaël Berthier, Inria Francis Bach, Inria Nicolas Flammarion, École Polytechnique Fédérale de Lausanne Pierre Gaillard, Université Grenoble Alpes Hadrien Hendrikx, Inria Laurent Massoulié, Inria Adrien Taylor, Inria | |
Moser Flow:流形上基于散度的生成建模 | 诺姆·罗森 (Noam Rozen),魏茨曼科学研究所;等人。 Aditya Grover, Meta Maximilian Nickel, Meta Yaron Lipman, Weizmann Institue of Science | |
减少、重复使用和回收:机器学习研究中数据集的生命周期 | 伯纳德·科赫,加州大学洛杉矶分校;等人。 Emily Denton, Google Alex Hanna, Google Jacob Gates Foster, University of California, Los Angeles | |
ATOM3D:三维分子任务 | 拉斐尔·约翰·拉马尔·汤森德,斯坦福大学;等人。 Martin Vögele, Stanford University Patricia Adriana Suriana, Stanford University Alexander Derry, Stanford University Alexander Powers, Stanford University Yianni Laloudakis, Stanford University Sidhika Balachandar, Stanford University Bowen Jing, Stanford University Brandon M. Anderson, University of Chicago Stephan Eismann, Stanford University Risi Kondor, Flatiron Institute Russ Altman, Stanford University Ron O. Dror, Stanford University | |
NSDI网络 | Segcache:用于小对象的内存高效且可扩展的内存中键值缓存 | 杨俊成,卡内基梅隆大学;等人。 Yao Yue, Twitter Rashmi Vinayak, Carnegie Mellon University |
ATP:用于多租户学习的网络内聚合 | ChonLam Lao,清华大学;等人。 Yanfang Le, University of Wisconsin–Madison Kshiteej Mahajan, University of Wisconsin–Madison Yixi Chen, Tsinghua University Wenfei Wu, Tsinghua University Aditya Akella, University of Wisconsin–Madison Michael Swift, University of Wisconsin–Madison | |
OSDI操作系统 | MAGE:用于安全计算的近乎零成本的虚拟内存 | Sam Kumar,加州大学伯克利分校;等人。 David E. Culler, University of California, Berkeley Raluca Ada Popa, University of California, Berkeley |
DistAI:分布式协议的数据驱动自动不变学习 | 姚嘉楠,哥伦比亚大学;等人。 Runzhou Tao, Columbia University Ronghui Gu, Columbia University Jason Nieh, Columbia University Suman Jana, Columbia University Gabriel Ryan, Columbia University | |
Pollux:用于优化深度学习的自适应集群调度 | Aurick Qiao,佩图姆;等人。 Sang Keun Choe, Carnegie Mellon University Suhas Jayaram Subramanya, Carnegie Mellon University Willie Neiswanger, Petuum Qirong Ho, Petuum Hao Zhang, Petuum Gregory R. Ganger, Carnegie Mellon University Eric P. Xing, MBZUAI | |
PLDI编程语言 | Alive2:LLVM 有界翻译验证 | 努诺·P·洛佩斯,微软;等人。 Juneyoung Lee, Seoul National University Chung-Kil Hur, Seoul National University Zhengyang Liu, University of Utah John Regehr, University of Utah |
循环程序综合 | Shachar Itzhaky,以色列理工学院;等人。 Hila Peleg, Technion – Israel Institute of Technology Nadia Polikarpova, University of California, San Diego Reuben N. S. Rowe, Royal Holloway University of London Ilya Sergey, Yale-NUS College | |
用于 32 位浮点表示的高性能正确舍入数学库 | Jay P. Lim 和 Santosh Nagarakatte,罗格斯大学 | |
Perceus:无垃圾引用计数和重用 | 亚历克斯·雷金 (Alex Reinking),微软;等人。 Ningning Xie, University of Hong Kong Leonardo de Moura, Microsoft Daan Leijen, Microsoft | |
量子抽象解释 | Nengkun Yu,悉尼科技大学 Jens Palsberg,加州大学洛杉矶分校 | |
RefinedC:使用细化所有权类型自动执行 C 代码的基础验证 | Michael Samler,马克斯·普朗克软件系统研究所;等人。 Rodolphe Lepigre, Max Planck Institute for Software Systems Robbert Krebbers, Radboud University Nijmegen Kayvan Memarian, University Of Cambridge Derek Dreyer, Max Planck Institute for Software Systems Deepak Garg, Max Planck Institute for Software Systems | |
带有约束 Horn 子句的规范综合 | Sumanth Prabhu,TCS 研究;等人。 Grigory Fedyukovich, Florida State University Kumar Madhukar, TCS Research Deepak D'Souza, Indian Institute of Science Bangalore | |
释放编译器优化对二进制代码差异的隐藏力量:实证研究 | 任晓蕾,德克萨斯大学阿灵顿分校;等人。 Michael Ho, University of Texas at Arlington Jiang Ming, University of Texas at Arlington Jeff Yu Lei, University of Texas at Arlington Li Li, Monash University | |
PODS数据库 | 相对误差流分位数 | 格雷厄姆·科莫德,华威大学;等人。 Zohar Karnin, Amazon Edo Liberty, Pinecone Justin Thaler, Georgetown University Pavel Veselý, Charles University |
标准普尔安全和隐私 | 可重入应用程序的组合安全性 | 伊森·切凯蒂 (Ethan Cecchetti),康奈尔大学;等人。 Siqiu Yao, Cornell University Haobin Ni, Cornell University Andrew C. Myers, Cornell University |
用于安全投机的硬件-软件合同 | Marco Guarnieri,IMDEA 软件研究所;等人。 Boris Köpf, Microsoft Jan Reineke, Saarland University Pepe Vila, IMDEA Software Institute | |
信号通讯网络 | 超级巨人网外生命的七年 | Petros Gigis,伦敦大学学院;等人。 Matt Calder, Microsoft Lefteris Manassakis, FORTH-ICS George Nomikos, FORTH-ICS Vasileios Kotronis, FORTH-ICS Xenofontas Dimitropoulos, FORTH-ICS Ethan Katz-Bassett, Columbia University Georgios Smaragdakis, Delft University of Technology |
SIGIR信息检索 | Plackett-Luce 排名模型的相关性和公平性的计算高效优化 | 哈里·奥斯特休斯,拉德堡德大学 |
SIGMETRICS性能 | 微调:FCFS 的随机改进 | 艾萨克·格罗索夫,卡内基梅隆大学;等人。 Kunhe Yang, Tsinghua University Ziv Scully , Carnegie Mellon University Mor Harchol-Balter, Carnegie Mellon University |
SIGMOD数据库 | Bao:让学习的查询优化变得实用 | 瑞安·马库斯,麻省理工学院;等人。 Parimarjan Negi, Massachusetts Institute of Technology Hongzi Mao, Massachusetts Institute of Technology Nesime Tatbul, Massachusetts Institute of Technology Mohammad Alizadeh, Massachusetts Institute of Technology Tim Kraska, Massachusetts Institute of Technology |
DFI - 高速网络的数据流接口 | Lasse Thostrup,达姆施塔特工业大学;等人。 Jan Skrzypczak, Zuse Institute Matthias Jasny, TU Darmstadt Tobias Ziegler, TU Darmstadt Carsten Binnig, TU Darmstadt | |
苏打理论 | 比矩阵乘法更快地求解稀疏线性系统 | Richard Peng 和 Santosh Vempala,佐治亚理工学院 |
SOSP操作系统 | Kangaroo:在 Flash 上缓存数十亿个微小对象, | 萨拉·麦卡利斯特,卡内基梅隆大学;等人。 Benjamin Berg, Carnegie Mellon University Julian Tutuncu-Macias, Carnegie Mellon University Juncheng Yang, Carnegie Mellon University Sathya Gunasekar, Meta Jimmy Lu, Meta Daniel Berger, University of Washington Nathan Beckmann, Carnegie Mellon University Gregory R. Ganger, Carnegie Mellon University |
LineFS:具有管道并行性的分布式文件系统的高效 SmartNIC 卸载 | 金钟玉 (Jongyul Kim),韩国科学技术院 (KAIST) ;等人。 Insu Jang, KAIST Waleed Reda, Université catholique de Louvain Jaeseong Im, KAIST Marco Canini, KAUST Dejan Kostić, Royal Institute of Technology Youngjin Kwon, KAIST Simon Peter, University of Texas at Austin Emmett Witchel, University of Texas at Austin | |
使用轻量级形式化方法验证 Amazon S3 中的键值存储节点 | 詹姆斯·博恩霍尔特,亚马逊;等人。 Rajeev Joshi, Amazon Vytautas Astrauskas, ETH Zurich Brendan Cully, Amazon Bernhard Kragl, Amazon Seth Markle, Amazon Kyle Sauri, Amazon Drew Schleit, Amazon Grant Slatton, Amazon Serdar Tasiran, Amazon Jacob Van Geffen, University of Washington Andrew Warfield, Amazon | |
STOC理论 | 公制 TSP 的(稍微)改进的近似算法 | 安娜·R·卡林,华盛顿大学;等人。 Nathan Klein, University of Washington Shayan Oveis Gharan, University of Washington |
梯度下降的复杂性:CLS = PPAD ∩ PLS | 约翰·费恩利,利物浦大学;等人。 Paul W. Goldberg, University of Oxford Alexandros Hollender, University of Oxford Rahul Savani, University of Liverpool | |
难以区分混淆与有根据的假设 | Aayush Jain,加州大学洛杉矶分校;等人。 Huijia Lin, University of Washington Amit Sahai, University of California, Los Angeles | |
UIST用户界面 | 通过限制指板变形来改变真实刚性物体的感知柔软度 | 陶玉杰,芝加哥大学;等人。 Shan-Yuan Teng, University of Chicago Pedro Lopes, University of Chicago |
SoundsRide:用于车内音频增强现实的可供性同步音乐混合 | 穆罕默德·卡里,杜伊斯堡-埃森大学;等人。 Tobias Grosse-Puppendahl, Porsche AG Alexander Jagaciak, Porsche AG David Bethge, Ludwig Maximilian University of Munich Reinhard Schütte, University of Duisburg-Essen Christian Holz, ETH Zurich | |
一千万用户和十年后:Python 导师在学术界构建可扩展和可持续研究软件的设计指南 | 菲利普·郭,加州大学圣地亚哥分校 | |
VLDB数据库 | 将归因网络嵌入扩展到海量图 | Renchi Yang,新加坡国立大学;等人。 Jieming Shi, Hong Kong Polytechnic University Xiaokui Xiao, National University of Singapore Yin Yang, Hamad bin Khalifa University Juncheng Liu, National University of Singapore Sourav S Bhowmick, Nanyang Technological University |
万维网_ | 促进在线心理健康支持中的同理心对话:强化学习方法 | 阿什什·夏尔马,华盛顿大学;等人。 Inna W. Lin, University of Washington Adam S. Miner, Stanford University David C. Atkins, University of Washington Tim Althoff, University of Washington |
2020年 | ||
---|---|---|
AAAI人工智能 | WINOGRANDE:大规模的对抗性 Winograd 模式挑战 | Keisuke Sakaguchi,艾伦人工智能研究所;等人。 Ronan Le Bras, Allen Institute for Artificial Intelligence Chandra Bhagavatula, Allen Institute for Artificial Intelligence Yejin Choi, University of Washington |
ACL自然语言处理 | 超越准确性:使用清单对 NLP 模型进行行为测试 | Marco Tulio Ribeiro,微软;等人。 Tongshuang Wu, University of Washington Carlos Guestrin, University of Washington Sameer Singh, University of California, Irvine |
CHI人机交互 | 一种设计工程方法,用于定量探索具有运动障碍的非语言个体的上下文感知句子检索 | Per Ola Kristensson,剑桥大学;等人。 James Lilley, University of Cambridge Rolf Black, University of Dundee Annalu Waller, University of Dundee |
阐述经验:专家将微观现象学应用于人机交互设计研究的思考 | Mirjana Prpa,西蒙弗雷泽大学;等人。 Sarah Fdili-Alaoui, Laboratoire de recherche en informatique Thecla Schiphorst, Simon Fraser University Philippe Pasquier, Simon Fraser University | |
超越原型:了解扩大硬件设备生产规模的挑战 | Rushil Khurana,卡内基梅隆大学 Steve Hodges,微软 | |
错误还是功能?人机交互的隐性损害 | 约翰·V·摩纳哥,海军研究生院 | |
共同设计清单以了解组织在人工智能公平方面面临的挑战和机遇 | 迈克尔·A·马达约 (Michael A. Madaio),卡内基梅隆大学;等人。 Luke Stark, Microsoft Jennifer Wortman Vaughan, Microsoft Hanna Wallach, Microsoft | |
自动驾驶车辆与行人交互中光带 eHMI 的颜色和动画首选项 | Debargha Dey,埃因霍温科技大学;等人。 Azra Habibovic, Research Institutes of Sweden Bastian Pflegling, Eindhoven University of Technology Marieke Martens, Eindhoven University of Technology Jacques Terken, Eindhoven University of Technology | |
连接分散的家庭:三方移动视频通话的摄像工作 | 甘玉梅,香港中文大学;等人。 Christian Greiffenhagen, The Chinese University of Hong Kong Stuart Reeves, University of Nottingham | |
创建增强和虚拟现实应用程序:当前的实践、挑战和机遇 | Narges Ashtari,西蒙弗雷泽大学;等人。 Andrea Bunt, University of Manitoba Joanna McGrenere, University of British Columbia Michael Nebeling, University of Michigan Parmit K. Chilana, Simon Fraser University | |
人机交互的批判种族理论 | Ihudiya Finda Ogbonnaya-Ogburu,密歇根大学;等人。 Angela D.R. Smith, Northwestern University Alexandra To, Carnegie Mellon University Kentaro Toyama, University of Michigan | |
设计研究“精简”方法论:加快设计研究并实现可视化教育学和社会公益的协同作用 | 乌兹玛·哈克·赛达,东北大学;等人。 Prasanth Murali, Northeastern University Lisa Roe, Northeastern University Becca Berkey, Northeastern University Michelle A. Borkin, Northeastern University | |
设计基于环境叙事的界面来反映和激励身体活动 | 伊丽莎白·L·穆南 (Elizabeth L. Murnane),斯坦福大学;等人。 Xin Jiang, Stanford University Anna Kong, Stanford University Michelle Park, Stanford University Weili Shi, Stanford University Connor Soohoo, Stanford University Luke Vink, Stanford University Iris Xia, Stanford University Xin Yu, Stanford University John Yang-Sammataro, Stanford University Grace Young, Stanford University Jenny Zhi, Stanford University Paula Moya, Stanford University James A. Landay, Stanford University | |
设计和评估 Calmer,一种模拟早产儿母亲肌肤接触的装置 | Sabrina Hauser,于默奥大学;等人。 Melinda J. Suto, University of British Columbia Liisa Holsti, University of British Columbia Manon Ranger, University of British Columbia Karon E. MacLean, University of British Columbia | |
为患有轻度智力障碍的成年人设计临床 AAC 平板电脑应用程序 | 瑞安·科林·吉布森,斯特拉斯克莱德大学;等人。 Mark D. Dunlop, University of Strathclyde Matt-Mouley Bouamrane, University of Edinburgh Revathy Nayar, University of Strathclyde | |
设计跨技术:定义挑战并设想以社区为中心的解决方案 | 奥利弗·L·海姆森,密歇根大学;等人。 Dykee Gorrell, University of Illinois at Urbana–Champaign Denny L. Starks, University of Michigan Zu Weinger, University of Michigan | |
探索学生设计的游戏中的游戏类型如何影响计算思维发展 | Giovanni Maria Troiano,东北大学;等人。 Qinyu Chen, Northeastern University Ángela Vargas Alba, King Juan Carlos University Gregorio Robles, King Juan Carlos University Gillian Smith, Worcester Polytechnic Institute Michael Cassidy, Terc Eli Tucker-Raymond, Boston University Gillian Puttick, Terc Casper Harteveld, Northeastern University | |
Isness:利用多人VR设计媲美迷幻的巅峰神秘体验 | David R. Glowacki,布里斯托大学;等人。 Mark D. Wonnacott, University of Bristol Rachel Freire, University of Bristol Becca R. Glowacki, Goldsmiths, University of London Ella M. Gale, University of Bristol James E. Pike, ArtSci International Foundation Tiu de Haan, ArtSci International Foundation Mike Chatziapostolou, ArtSci International Foundation Oussama Metatla, University of Bristol | |
我与超人:VR 运动游戏中的定制和识别效果 | 乔丹·库卢里斯,巴斯大学;等人。 Zoe Jeffery, University of Bath James Best, University of Bath Eamonn O'Neill, University of Bath Christof Lutteroth, University of Bath | |
合作游戏环境中人工智能代理的心理模型 | 凯蒂·伊隆卡·杰罗,哥伦比亚大学;等人。 Zahra Ashktorab, IBM Casey Dugan, IBM Qian Pan, IBM James Johnson, IBM Werner Geyer, IBM Maria Ruiz, IBM Sarah Miller, IBM David R. Millen, IBM Murray Campbell, IBM Sadhana Kumaravel, IBM Wei Zhang, IBM | |
MRAT:混合现实分析工具包 | 迈克尔·内贝林,密歇根大学;等人。 Maximilian Speicher, University of Michigan Xizi Wang, University of Michigan Shwetha Rajaram, University of Michigan Brian D. Hall, University of Michigan Zijian Xie, University of Michigan Alexander R. E. Raistrick, University of Michigan Michelle Aebersold, University of Michigan F. Edward G. Happ, University of Michigan Jiayin Wang, University of Michigan Yanan Sun, University of Michigan Lotus Zhang, University of Michigan Leah E. Ramsier, University of Michigan Rhea Kulkarni, University of Michigan | |
论被迭代:设计参与的情感诉求 | Paul Dourish,加州大学欧文分校;等人。 Christopher Lawrence, University of Technology Sydney Tuck Wah Leong, University of Technology Sydney Greg Wadley, University of Melbourne | |
PenSight:增强与笔顶相机的交互 | Fabrice Matulic,Preferred Networks Inc ;等人。 Riku Arakawa, Preferred Networks Inc Brian Vogel, Preferred Networks Inc Daniel Vogel, University of Waterloo | |
ReFind:设计、生活经验和丧亲之痛的持续性 | 杰恩·华莱士,诺森比亚大学;等人。 Kyle Montague, Newcastle University Trevor Duncan, Northumbria University Luís P. Carvalho, Newcastle University Nantia Koulidou, Northumbria University Jamie Mahoney, Northumbria University Kellie Morrissey, University of Limerick Claire Craig, Sheffield Hallam University Linnea Iris Groot, Newcastle University Shaun Lawson, Northumbria University Patrick Olivier, Monash University Julie Trueman, Northumbria University Helen Fishe, Sheffield Hallam University | |
包容性游戏机器人:与视障儿童共同设计教育游戏 | Oussama Metatla,布里斯托大学;等人。 Sandra Bardot, University of Toulouse Clare Cullen, University of Bristol Marcos Serrano, University of Toulouse Christophe Jouffrais, National Center for Scientific Research | |
灵活响应式可视化设计技术 | 简·霍夫斯韦尔,华盛顿大学;等人。 Wilmot Li, Adobe Zhicheng Liu, Adobe | |
texSketch:通过笔墨注释进行主动绘图 | Hariharan Subramonyam,密歇根大学;等人。 Colleen Seifert, University of Michigan Priti Shah, University of Michigan Eytan Adar, University of Michigan | |
日常声音在高级痴呆症护理中的作用 | Maarten Houben,埃因霍温理工大学;等人。 Rens Brankaert, Eindhoven University of Technology Saskia Bakker, Philips Gail Kenning, University of Technology Sydney Inge Bongers, Tilburg University Berry Eggen, Eindhoven University of Technology | |
触摸和接触经期的身体 | Nadia Campo Woytuk,皇家理工学院;等人。 Marie Louise Juul Søndergaard, Royal Institute of Technology Marianela Ciolfi Felice, Royal Institute of Technology Madeline Balaam, Royal Institute of Technology | |
CHI 研究成果的透明度:自我报告调查的结果 | Chat Wacharamanotham,苏黎世大学;等人。 Lukas Eisenring, University of Zurich Steve Haroz, Paris-Saclay University Florian Echtler, Bauhaus University | |
基于三叉神经的温度错觉 | 贾斯·布鲁克斯,芝加哥大学;等人。 Steven Nagels, University of Chicago Pedro Lopes, University of Chicago | |
Wireality:通过磨损的多弦触觉在虚拟现实中实现复杂的有形几何形状 | Cathy Fang,卡内基梅隆大学;等人。 Yang Zhang, Carnegie Mellon University Matthew Dworman, Carnegie Mellon University Chris Harrison, Carnegie Mellon University | |
Wrex:用于为数据科学家合成可读代码的统一示例编程交互 | Ian Drosos,加州大学圣地亚哥分校;等人。 Titus Barik, Microsoft Philip J. Guo, University of California, San Diego Robert DeLine, Microsoft Sumit Gulwani, Microsoft | |
CIKM知识管理 | 人们和神经网络关注相同的词吗:研究用于非事实 QA 评估的眼动追踪数据 | 瓦莱里娅·博洛托娃 (Valeria Bolotova),皇家墨尔本理工大学;等人。 Vladislav Blinov, Ural Federal University Yukun Zheng, Tsinghua University W Bruce Croft, University of Massachusetts Falk Scholer, RMIT University Mark Sanderson, RMIT University |
FANG:利用图表示利用社会背景进行假新闻检测 | Van Hoang Nguyen,新加坡国立大学;等人。 Kazunari Sugiyama, Kyoto University Preslav Nakov, Qatar Computing Research Institute Min Yen Kan, National University of Singapore | |
CVPR计算机视觉 | 从野外图像中无监督学习可能对称的可变形 3D 对象 | 吴尚哲,牛津大学;等人。 Christian Rupprecht, University of Oxford Andrea Vedaldi, University of Oxford |
焦点理论 | 私人分类和在线预测之间的等价 | 马克·邦 (Mark Bun),波士顿大学;等人。 Roi Livni, Tel Aviv University Shay Moran, Google |
边缘加权在线二分匹配 | 马修·法尔巴赫,谷歌;等人。 Zhiyi Huang, The University of Hong Kong Runzhou Tao, Columbia University Morteza Zadimoghaddam, Google | |
随机算法的新极小极大定理 | Shalev Ben-David 和 Eric Blais,滑铁卢大学 | |
FSE软件工程 | GraphQL 查询成本分析的原则方法 | 查艾伦 (Alan Cha),IBM ;等人。 Erik Wittern, IBM Guillaume Baudart, IBM James C. Davis, Purdue University Louis Mandel, IBM Jim Alain Laredo, IBM |
提高模糊器效率:信息论视角 | 马塞尔·博梅,莫纳什大学;等人。 Valentin J. Manes, KAIST Sang-kil Cha, KAIST | |
社区对研究成果和评估过程的期望 | 本·赫尔曼,波德博恩大学;等人。 Stefan Winter, TU Darmstadt Janet Siegmund, TU Chemnitz | |
通过有效的模型生成进行深度学习库测试 | 王赞,天津大学;等人。 Ming Yan, Tianjin University Junjie Chen, Tianjin University Shuang Liu, Tianjin University Dongdi Zhang, Tianjin University | |
检测神经网络架构中的数值错误 | 张宇豪,北京大学;等人。 Luyao Ren, Peking University Liqian Chen, National University of Defense Technology Yingfei Xiong, Peking University S. C. Cheung, Hong Kong University of Science and Technology Tao Xie, Peking University | |
将深度神经网络分解为模块 | Rangeet Pan 和 Hridesh Rajan,爱荷华州立大学 | |
通过性能指标的概率保证来测试自适应软件 | Claudio Mandrioli,隆德大学 Martina Maggio,萨尔大学 | |
ICML机器学习 | 关于学习对称元素集 | 哈盖·马龙,NVIDIA ;等人。 Or Litany, Stanford University Gal Chechik, Stanford University Ethan Fetaya, Stanford University |
用于逆成像问题的免调优即插即用近端算法 | 魏家轩,北京理工大学;等人。 Angelica Aviles-Rivero, University of Cambridge Jingwei Liang, University of Cambridge Ying Fu, Beijing Institute of Technology Carola-Bibiane Schonlieb, University of Cambridge Hua Huang, Beijing Institute of Technology | |
ICSE软件工程 | 用于漏洞管理的机器学习方法 | 陈阳,Veracode Inc .;等人。 Andrew Santosa, Veracode Inc. Ang Ming Yi, Singapore Management University Abishek Sharma, Singapore Management University Asankhaya Sharma, Veracode Inc. David Lo, Singapore Management University |
多语言软件项目的可追溯性支持 | 刘亚琳,圣母大学;等人。 Jinfeng Lin, University of Notre Dame Jane Cleland-Huang, University of Notre Dame | |
道德采矿 - MSR 采矿挑战案例研究 | Nicolas Gold 和 Jens Krinke,伦敦大学学院 | |
通过对抗性采样进行白盒公平性测试 | 张培新,浙江大学;等人。 Jingyi Wang, National University of Singapore Jun Sun, Singapore Management University Guoliang Dong, Zhejiang University Xinyu Wang, Zhejiang University Xingen Wang, Zhejiang University Jin Song Dong, National University of Singapore Dai Ting, Huawei | |
深度学习作业程序失败的实证研究 | 张茹,微软;等人。 Wencong Xiao, Alibaba Group Hongyu Zhang, University of Newcastle Australia Yu Liu, Microsoft Haoxiang Lin, Microsoft Mao Yang, Microsoft | |
使用发布管道中现成的测试作为性能测试。我们到了吗? | 丁子硕,康科迪亚大学;等人。 Jinfu Chen, Concordia University Weiyi Shang, Concordia University | |
来自战壕的故事:认知偏差和软件开发 | Souti Chattopadhyay,俄勒冈州立大学;等人。 Nicholas Nelson, Oregon State University Audrey Au, Oregon State University Natalia Morales, Oregon State University Christopher Sanchez, Oregon State University Rahul Pandita, Phase Change Software Anita Sarma, Oregon State University | |
Android 应用程序的时间旅行测试 | 董振,新加坡国立大学;等人。 Marcel Bohme, Monash University Lucia Cojocaru, Politechnica University Abhik Roychoudhury, National University of Singapore | |
我们再说一遍:为什么开发人员学习另一种编程语言很困难? | Nischal Shrestha,北卡罗来纳州立大学;等人。 Colton Botta, North Carolina State University Titus Barik, Microsoft Chris Parnin, North Carolina State University | |
大代码!=大词汇:源代码的开放词汇模型 | 拉斐尔·迈克尔·卡拉姆帕齐斯,爱丁堡大学;等人。 Hlib Babii, Free University of Bozen-Bolzano Romain Robbes, Free University of Bozen-Bolzano Charles Sutton, Google Andrea Janes, Free University of Bozen-Bolzano | |
揭开应用程序的盲点:通过深度学习预测移动 GUI 组件的自然语言标签 | 陈杰山,澳大利亚国立大学;等人。 Chunyang Chen, Monash University Zhenchang Xing, Australian National University Xiwei Xu, CSIRO's Data61 Liming Zhu, CSIRO's Data61 Guoqiang Li, Shanghai Jiao Tong University Jinshui Wang, Fujian University of Technology | |
将移动应用程序使用的视频记录转化为可重播的场景 | 卡洛斯·伯纳尔-卡德纳斯,威廉玛丽学院;等人。 Nathan Cooper, College of William & Mary Kevin Moran, College of William & Mary Oscar Chaparro, College of William & Mary Adrian Marcus, University of Texas at Dallas Denys Poshyvanyk, College of William & Mary | |
IJCAI人工智能 | 从评论中综合方面驱动的推荐解释 | Trung-Hoang Le 和 Hady W. Lauw,新加坡管理大学 |
减轻负面影响的多目标方法 | 桑迪·赛苏布拉马尼亚 (Sandy Saisubramanian),马萨诸塞大学;等人。 Ece Kamar, Microsoft Shlomo Zilberstein, University of Massachusetts | |
信息通信网络 | 突破声音手势识别的极限 | 王彦文,香港理工大学;等人。 Jiaxing Shen, Hong Kong Polytechnic University Yuanqing Zheng, Hong Kong Polytechnic University |
无线网络中随机化实时流量调度的威力 | Christos Tsanikidis 和 Javad Ghaderi,哥伦比亚大学 | |
通过自适应方案降低边缘和云端服务功能链备份成本 | 尚晓军,石溪大学;等人。 Yaodong Huang, Stony Brook University Zhenhua Liu, Stony Brook University Yuanyuan Yang, Stony Brook University | |
KDD数据挖掘 | 关于项目推荐的采样指标 | Walid Krichene 和 Steffen Rendle,谷歌 |
摩比通移动 | Hummingbird:适用于小型卫星的节能 GPS 接收器 | Sujay Narayana,代尔夫特理工大学;等人。 R Venkatesha Prasad, Delft University of Technology Vijay S Rao, Delft University of Technology Luca Mottola, Politecnico di Milano T Venkata Prabhakar, Indian Institute of Science Bangalore |
M-Cube:毫米波大规模 MIMO 软件无线电 | 赵仁杰,加州大学圣地亚哥分校;等人。 Timothy Woodford, University of California, San Diego Teng Wei, University of California, San Diego Kun Qian, University of California, San Diego Xinyu Zhang, University of California, San Diego | |
NeurIPS机器学习 | 广泛形式相关均衡的无悔学习动力 | Andrea Celli,米兰理工大学;等人。 Alberto Marchesi, Politecnico di Milano Gabriele Farine, Carnegie Mellon University Nicola Gatti, Politecnico di Milano |
列子集选择问题和 Nyström 方法的改进保证和多重下降曲线 | Michal Derezinski,加州大学伯克利分校;等人。 Rajiv Khanna, University of California, Berkeley Michael W. Mahoney, University of California, Berkeley | |
语言模型是小样本学习者 | Tom B. Brown,开放人工智能;等人。 Benjamin Mann, Open AI Nick Ryder, Open AI Melanie Subbiah, Open AI Jared D. Kaplan, Johns Hopkins University | |
NSDI网络 | 理解、检测和定位大型系统软件中的部分故障 | 楼畅,约翰·霍普金斯大学;等人。 Peng Huang, Johns Hopkins University Scott Smith, Johns Hopkins University |
AmphiLight:利用激光进行直接空气-水通信 | 查尔斯·卡弗 (Charles J. Carver),达特茅斯学院;等人。 Zhao Tian, Dartmouth College Hongyong Zhang, Dartmouth College Kofi M. Odame, Dartmouth College Alberto Quattrini Li, Dartmouth College Xia Zhou, Dartmouth College | |
OSDI操作系统 | hXDP:FPGA NIC 上的高效软件包处理 | 马可·斯帕齐亚尼·布鲁内拉、阿克斯布里德;等人。 Giacomo Belocchi, Axbryd Marco Bonola, Axbryd Salvatore Pontarelli, Axbryd Giuseppe Siracusano, NEC Laboratories Europe Giuseppe Bianchi, University of Rome Tor Vergata Aniello Cammarano, University of Rome Tor Vergata Alessandro Palumbo, University of Rome Tor Vergata Luca Petrucci, University of Rome Tor Vergata Roberto Bifulco, NEC Laboratories Europe |
没有拜占庭寡头政治的拜占庭有序共识 | 张云浩,康奈尔大学;等人。 Srinath Setty, Microsoft Qi Chen, Microsoft Lidong Zhou, Microsoft Lorenzo Alvisi, Cornell University | |
Delos 中的虚拟共识 | 马赫什·巴拉克里希南,元;等人。 Jason Flinn, Meta Chen Shen, Meta Mihir Dharamshi, Meta Ahmed Jafri, Meta Xiao Shi, Meta Santosh Ghosh, Meta Hazem Hassan, Meta Aaryaman Sagar, Meta Rhed Shi, Meta Jingming Liu, Meta Filip Gruszczynski, Meta Xianan Zhang, Meta Huy Hoang, Meta Ahmed Yossef, Meta Francois Richard, Meta Yee Jiun Song, Meta | |
PLDI编程语言 | 表示不变量的数据驱动推理 | 安德斯·米尔特纳,普林斯顿大学;等人。 Saswat Padhi, University of California, Los Angeles Todd Millstein, University of California, Los Angeles David Walker, Princeton University |
Armada:高性能并发程序的轻松验证 | 雅各布·R·洛尔奇 (Jacob R. Lorch),微软;等人。 Yixuan Chen, University of Michigan Manos Kapritsos, University of Michigan Bryan Parno, Carnegie Mellon University Shaz Qadeer, Novi Upamanyu Sharma, University of Michigan James R. Wilcox, Certora Xueyuan Zhao, Carnegie Mellon University | |
通过语义融合验证 SMT 求解器 | 多米尼克·温特 (Dominik Winterer),苏黎世联邦理工学院;等人。 Chengyu Zhang, East China Normal University Zhendong Su, ETH Zurich | |
从民间传说到事实:比较堆栈和延续的实现 | Kavon Farvardin 和 John Reppy,芝加哥大学 | |
交错 Dyck 可达性的快速图简化 | 李远波,佐治亚理工学院;等人。 Qirun Zhang, Georgia Institute of Technology Thomas Reps, University of Wisconsin–Madison | |
PODS数据库 | 对抗性鲁棒流算法的框架 | Omri Ben-Eliezer,特拉维夫大学;等人。 Rajesh Jayaram, Carnegie Mellon University David P. Woodruff, Carnegie Mellon University Eylon Yogev, Boston University |
标准普尔安全和隐私 | TRRespass:利用目标行刷新的多个方面 | Pietro Frigo,阿姆斯特丹自由大学;等人。 Emanuele Vannacci, Vrije Universiteit Amsterdam Hasan Hassan, ETH Zurich Victor van der Veen, Qualcomm Onur Mutlu, ETH Zurich Cristiano Giuffrida, Vrije Universiteit Amsterdam Herbert Bos, Vrije Universiteit Amsterdam Kaveh Razavi, Vrije Universiteit Amsterdam |
信号通讯网络 | 基于多重最优性准则的路由 | João Luís Sobrinho 和 Miguel Alves Ferreira,里斯本大学 |
SIGIR信息检索 | 控制动态学习排名中的公平性和偏差 | Marco Morik,柏林工业大学;等人。 Ashudeep Singh, Cornell University Jessica Hong, Cornell University Thorsten Joachims, Cornell University |
SIGMETRICS性能 | 用于分布式矩阵向量乘法中近乎完美负载平衡的无速率代码 | Ankur Mallik,卡内基梅隆大学;等人。 Malhar Chaudhari, Oracle Corporation Utsav Sheth, Automation Anywhere Ganesh Palanikumar, Apple Gauri Joshi, Carnegie Mellon University |
SIGMOD数据库 | ShapeSearch:灵活高效的系统,用于基于形状的趋势线探索 | Tarique Siddiqui,伊利诺伊大学厄巴纳-香槟分校;等人。 Paul Luh, University of Illinois at Urbana–Champaign Zesheng Wang, University of Illinois at Urbana–Champaign Karrie Karahalios, University of Illinois at Urbana–Champaign Aditya Parameswaran, University of Illinois at Urbana–Champaign |
增加容量:在具有快速互连的 GPU 上处理大数据 | 克莱门斯·卢茨 (Clemens Lutz),DFKI GmbH ;等人。 Sebastian Breß, Technical University of Berlin Steffen Zeuch, DFKI GmbH Tilmann Rabl, HPI Check Volker Markl, DFKI GmbH | |
苏打理论 | 最优地追逐凸体 | 马克·塞尔克,斯坦福大学 |
以线性竞比追逐凸体 | CJ Argue,卡内基梅隆大学;等人。 Anupam Gupta, Carnegie Mellon University Guru Guruganesh, Google Ziye Tang, Carnegie Mellon University | |
STOC理论 | 向日葵引理的改进界限 | 瑞安·阿尔维斯,普林斯顿大学;等人。 Shachar Lovett, University of California, San Diego Kewen Wu, Peking University Jiapeng Zheng, Harvard University |
UIST用户界面 | HandMorph:一种可缩小抓握力的被动外骨骼 | Jun Nishida,芝加哥大学;等人。 Soichiro Matsuda, University of Tsukuba Hiroshi Matsui, Ruhr-University Bochum Shan-Yuan Teng, University of Chicago Ziwei Liu, University of Chicago Kenji Suzuki, University of Tsukuba Pedro Lopes, University of Chicago |
VLDB数据库 | 竞争性主存多核事务中的乐观机会 | 黄义和,哈佛大学;等人。 William Qian, Harvard University Eddie Kohler, Harvard University Barbara Liskov, Massachusetts Institute of Technology Liuba Shrira, Brandeis University |
万维网_ | 从自然语言交互中提取开放意图 | Nikhita Vedula,俄亥俄州立大学;等人。 Nedim Lipka, Adobe Pranav Maneriker, Ohio State University Srinivasan Parthasarathy, Ohio State University |
2019年 | ||
---|---|---|
AAAI人工智能 | 如何在强化学习中结合树搜索方法 | Yonathan Efroni,以色列理工学院;等人。 Gal Dalal, Technion – Israel Institute of Technology Bruno Scherrer, Inria Shie Mannor, Technion – Israel Institute of Technology |
ACL自然语言处理 | 弥合神经机器翻译训练和推理之间的差距 | 张文,中国科学院;等人。 Yang Feng, Chinese Academy of Sciences Fandong Meng, Tencent Di You, Worcester Polytechnic Institute Qun Liu, Huawei |
CHI人机交互 | “职业治疗就是制造”:职业治疗中的设计迭代和数字化制造 | 梅根·霍夫曼,卡内基梅隆大学;等人。 Kristin Williams, Carnegie Mellon University Toni Kaplan, Carnegie Mellon University Stephanie Valencia, Carnegie Mellon University Gabriella Han, Carnegie Mellon University Scott E Hudson, Carnegie Mellon University Jennifer Mankoff, University of Washington Patrick Carrington, Carnegie Mellon University |
“我觉得直播是我的责任”:通过直播与非遗互动 | 卢志聪,多伦多大学;等人。 Michelle Annett, MishMashMakers Mingming Fan, University of Toronto Daniel Wigdor, University of Toronto | |
游击战和新(和一些旧)技术的使用:哥伦比亚革命武装力量武装斗争的经验教训 | Débora De Castro Leal,锡根大学;等人。 Max Krüger, University of Siegen Kaoru Misaki, University of Siegen Dave William Randall, University of Siegen Volker Wulf, Institute of Information Systems | |
研究缓慢作为使用个人数据设计长期体验的框架:Olly 的实地研究 | 威廉·奥多姆,西蒙弗雷泽大学;等人。 Ron Wakkary, Eindhoven University of Technology Jeroen Hol, Eindhoven University of Technology Bram Naus, Eindhoven University of Technology Pepijn Verburg, Eindhoven University of Technology Tal Amram, Simon Fraser University Amy Chen, Simon Fraser University | |
在移动设备上参与心理健康筛查:产前可行性研究的结果 | Kevin Doherty,都柏林三一学院;等人。 José Marcano Belisario, Imperial College London Martin Cohn, Imperial College London Nikolaos Mastellos, Imperial College London Cecily Morrison, Microsoft Josip Car, Imperial College London Gavin Doherty, Trinity College Dublin | |
锚定音频采样:在部署研究期间探索儿童想法的无缝方法 | 亚历克西斯·希尼克,华盛顿大学;等人。 Jon E. Froehlich, University of Washington Mingrui Zhang, University of Washington Nikolaos Mastellos, University of Washington | |
不起眼的人工智能:将智能决策支持融入关键的临床决策过程 | 杨倩,卡内基梅隆大学;等人。 Aaron Steinfeld, Carnegie Mellon University John Zimmerman, Carnegie Mellon University | |
在线杂货配送服务:解决交通稀缺地区食品差异的机会 | 塔瓦娜·迪拉胡特,密歇根大学;等人。 Sylvia Simioni, University of Michigan Xuecong Xu, University of Michigan | |
学校中的语音用户界面:共同设计以包容视障和视力正常的学生 | Oussama Metatla,布里斯托大学;等人。 Alison Oldfield, University of Bristol Taimur Ahmed, University of Bristol Antonis Vafeas, University of Bristol Sunny Miglani, University of Bristol | |
通过可探索的多元宇宙分析提高研究论文的透明度 | 皮埃尔·德拉吉切维奇,因里亚;等人。 Yvonne Jansen, CNRS - Sorbonne Université Abhraneel Sarma, University of Michigan Matthew Kay, University of Michigan Fanny Chevalier, University of Toronto | |
Geppetto:实现富有表现力的机器人行为的语义设计 | Ruta Desai,卡内基梅隆大学;等人。 Fraser Anderson, Autodesk Justin Matejka, Autodesk Stelian Coros, ETH Zurich James L. McCann, Carnegie Mellon University George Fitzmaurice, Autodesk Tovi Grossman, Autodesk | |
Project Sidewalk:一种基于网络的众包工具,用于大规模收集人行道无障碍数据 | 马纳斯维·萨哈,华盛顿大学;等人。 Michael Saugstad, University of Washington Hanuma Teja Maddali, University of Maryland Aileen Zeng, University of Washington Ryan Holland, Montgomery Blair High School Steven Bower, University of Maryland Aditya Dash, University of Maryland Sage Chen, University of Michigan Anthony Li, University of Maryland Kotaro Hara, Singapore Management University Jon E. Froehlich, University of Washington | |
Touchstone2:用于探索 HCI 实验设计中权衡的交互式环境 | Alexander Eiselmayer,苏黎世大学;等人。 Chat Wacharamanotham, University of Zurich Michel Beaudouin-Lafon, University of Paris-Sud Wendy E Mackay, University of Paris-Sud | |
AffinityLens:具有增强现实功能的数据辅助亲和图绘制 | Hariharan Subramonyam,密歇根大学;等人。 Steven Mark Drucker, Microsoft Eytan Adar, University of Michigan | |
人机交互的转化科学模型 | 卢卡斯·科卢索,华盛顿大学;等人。 Ridley Jones, University of Washington Sean A. Munson, University of Washington Gary Hsieh, University of Washington | |
两个视角的故事:用户期望和教学健身应用程序体验的概念框架 | 阿赫德·阿拉德万,墨尔本大学;等人。 Ryan M Kelly, University of Melbourne Steven Baker, University of Melbourne Eduardo Velloso, University of Melbourne | |
街道级算法:政策与决策之间差距的理论 | Ali Alkhatib 和 Michael Bernstein,斯坦福大学 | |
风险与限制:提供正常感与确保寄养青少年上网安全之间的紧张关系 | Karla A. Badillo-Urquiola,中佛罗里达大学;等人。 Xinru Woo Page, Bentley University Pamela J. Wisniewski, University of Central Florida | |
智能家居的保护、生产力和乐趣:澳大利亚早期采用者的新期望和性别见解 | Yolande AA Strengers,莫纳什大学;等人。 Jenny Kennedy, RMIT University Paula Arcari, RMIT University Larissa Nicholls, RMIT University Melissa Gregg, Intel | |
使用眼动追踪数据检测人格特征 | Shlomo Berkovsky,CSIRO 的 Data61 ;等人。 Ronnie Taib, CSIRO's Data61 Irena Koprinska, University of Sydney Eileen Wang, University of Sydney Yucheng Zeng, University of Sydney Jingjie Li, University of Wisconsin–Madison Sabina Kleitman, University of Sydney | |
ReType:使用键盘和注视进行快速文本编辑 | Shyamli Sindhwani,奥克兰大学;等人。 Christof Lutteroth, University of Bath Gerald Weber, University of Auckland | |
数据是个人的:宾夕法尼亚州农村地区对数据可视化的态度和看法 | Shyamli Sindhwani,奥克兰大学;等人。 Christof Lutteroth, University of Bath Gerald Weber, University of Auckland | |
PicMe:用于拍摄所需照片构图的交互式视觉指导 | Minju Kim、KAIST Jungjin Lee、KAI Inc | |
管理计算笔记本中的混乱情况 | 安德鲁·海德 (Andrew Head),加州大学伯克利分校;等人。 Titus Barik, Microsoft Fred Hohman, Georgia Institute of Technology Steven Mark Drucker, Microsoft Robert DeLine, Microsoft | |
人机交互中意义体验的框架 | Elisa D Mekler,阿尔托大学 Kasper Hornbæk,哥本哈根大学 | |
管理愿景:利用物联网升级和维护公共卫生间的故事 | 莎拉·E·福克斯,加州大学圣地亚哥分校;等人。 Kiley Sobel, University of Washington Daniela K. Rosner, University of Washington | |
运动游戏中的社交游戏:归属感如何预测依从性 | Maximus D Kaos,女王大学;等人。 Ryan E Rhodes, University of Victoria Perttu Hamalainen, Aalto University T. C. Nicholas Graham, Queen's University | |
“从一开始就考虑安全”:对软件开发人员的调查 | Hala Assal 和 Sonia Chiasson,卡尔顿大学 | |
“无论我们走到哪里,他们都不会让我们孤单”:南亚的性别和数字滥用 | Nithya Sambasivan,谷歌;等人。 Amna Batool, Information Technology University Nova Ahmed, North South University Tara Lynn Matthews, Independent Researcher Kurt Thomas, Google Laura Sanely Gaytan-Lugo, University of Colima Elie Bursztein, Google Elizabeth F. Churchill, Google Sunny Consolvo, Google | |
CIKM知识管理 | AutoGRD:通过图形数据集表示进行模型推荐 | 诺伊·科恩·夏皮拉 (Noy Cohen-Shapira),内盖夫本古里安大学;等人。 Lior Rokach, Ben-Gurion University of the Negev Bracha Shapira, Ben-Gurion University of the Negev Gilad Katz, Ben-Gurion University of the Negev Roman Vainshtein, Ben-Gurion University of the Negev |
CVPR计算机视觉 | 非视距形状重建的费马路径理论 | 辛舒勉,卡内基梅隆大学;等人。 Sotiris Nousias, University College London Kiriakos N. Kutulakos, University of Toronto Aswin C. Sankaranarayanan, Carnegie Mellon University Srinivasa G. Narasimhan, Carnegie Mellon University Ioannis Gkioulekas, Carnegie Mellon University |
焦点理论 | 最大匹配和最大独立集的下界 | Alkida Balliu,阿尔托大学;等人。 Sebastian Brandt, ETH Zurich Juho Hirvonen, Aalto University Dennis Olivetti, Aalto University Mikaël Rabie, Aalto University Jukka Suomela, Aalto University |
NEXP ⊆ MIP* | 阿南德·纳塔拉詹 (Anand Natarajan),加州理工学院 约翰·赖特 (John Wright),麻省理工学院 | |
自动解析是 NP 难的 | Albert Atserias 和 Moritz Müller,加泰罗尼亚理工大学 | |
FSE软件工程 | Java 程序修复工具的实证回顾:对 2,141 个错误和 23,551 次修复尝试的大规模实验 | Thomas Durieux,里斯本大学;等人。 Fernanda Madeiral, Universidade Federal de Uberlândia Matias Martinez, University Polytechnique Hauts-de-France Rui Abreu, University of Lisbon |
为具有连续和不确定行为的 Simulink 模型生成自动化和在线测试预言 | 克劳迪奥·蒙吉,卢森堡大学;等人。 Shiva Nejati, University of Luxembourg Khouloud Gaaloul, University of Luxembourg Lionel C. Briand, University of Luxembourg | |
预测软件漏洞时考虑现实世界标签的重要性 | 马蒂厄·希门尼斯,卢森堡大学;等人。 Renaud Rwemalika, University of Luxembourg Mike Papadakis, University of Luxembourg Federica Sarro, University College London Yves Le Traon, University of Luxembourg Mark Harman, University College London | |
评估错误报告中重现步骤的质量 | 奥斯卡·查帕罗 (Oscar Chaparro),威廉玛丽学院;等人。 Carlos Bernal-Cárdenas, College of William & Mary Jing Lu, University of Texas at Dallas Kevin Moran, College of William & Mary Andrian Marcus, University of Texas at Dallas Massimiliano Di Penta, University of Sannio Denys Poshyvanyk, College of William & Mary Vincent Ng, University of Texas at Dallas | |
以可执行格式编写触发操作 Todo 注释的框架 | 聂鹏宇,德克萨斯大学奥斯汀分校;等人。 Rishabh Rai, University of Texas at Austin Junyi Jessy Li, University of Texas at Austin Sarfraz Khurshid, University of Texas at Austin Raymond J. Mooney, University of Texas at Austin Milos Gligoric , University of Texas at Austin | |
基于统计的云应用性能测试方法 | 何森,德克萨斯大学圣安东尼奥分校;等人。 Glenna Manns, University of Virginia John Saunders, University of Virginia Wei Wang, University of Texas at San Antonio Lori Pollock, University of Delaware Mary Lou Soffa, University of Virginia | |
ICCV计算机视觉 | SinGAN:从单个自然图像学习生成模型 | Tamar Rott Shaham,以色列理工学院;等人。 Tali Dekel, Google Tomar Michaeli, Technion – Israel Institute of Technology |
ICML机器学习 | 挑战解缠表示无监督学习中的常见假设 | Francesco Locatello,苏黎世联邦理工学院;等人。 Stefan Bauer, Max Planck Institute for Intelligent Systems Mario Lucic, Google Gunnar Rätsch, ETH Zurich Sylvain Gelly, Google Bernhard Schölkopf, Max Planck Institute for Intelligent Systems Olivier Bachem, Google |
稀疏变分高斯过程回归的收敛率 | 大卫·R·伯特,剑桥大学;等人。 Carl E. Rasmussen, University of Cambridge Mark van der Wilk, PROWLER.io | |
ICSE软件工程 | 检测不正确的构建规则 | Nandor Licker 和 Andrew Rice,剑桥大学 |
使用 fMRI 和 fNIRS 提炼数据结构操作的神经表示 | 黄宇,密歇根大学;等人。 Xinyu Liu, University of Michigan Tyan Krueger, University of Michigan Tyler Santander, University of Michigan Xiaosu Hu, University of Michigan Kevin Leach, University of Michigan Westley Weimer, University of Michigan | |
开发人员是否在马桶上发现了新工具? | 艾默生墨菲希尔,谷歌;等人。 Edward K. Smith, Bloomberg L.P. Caitlin Sadowski, Google Ciara Jaspan, Google Collin Winter, Waymo Matthew Jorde, Google Andrea Knight, Google Andrew Trenk, Google Steve Gross, Google | |
一起走得更远:社会资本对持续参与开源的影响 | Huilian Sophie Qiu,卡内基梅隆大学;等人。 Alexander Nolte, University of Tartu Anita Brown, Bryn Mawr College Alexander Serebrenik, Eindhoven University of Technology Bogdan Vasilescu, Carnegie Mellon University | |
iSENSE:完成感知的人群测试管理 | 王俊杰,中国科学院;等人。 Ye Wang, Stevens Institute of Technology Rahul Krishna, North Carolina State University Tim Menzies, North Carolina State University Qing Wang, Software Chinese Academy of Sciences | |
冗余负载:软件效率低下的指标 | 苏鹏飞,威廉玛丽学院;等人。 Sasha Wen, College of William & Mary Hailong Yang, Beihang University Milind Chabbi, IBM Xu Liu, College of William & Mary | |
通过在线抽象粗化进行资源感知程序分析 | Kihong Heo,宾夕法尼亚大学;等人。 Hakjoo Oh, Korea University Hongseok Yang, KAIST | |
减少测试套件的可扩展方法 | Emilio Cruciani,格兰萨索科学研究所;等人。 Breno Miranda, Federal University of Pernambuco Roberto Verdecchia, Gran Sasso Science Institute Antonia Bertolino, ISTI - Consiglio Nazionale delle Ricerche | |
SMOKE:针对数百万行代码的可扩展路径敏感内存泄漏检测 | 范刚,香港科技大学;等人。 Rongxin Wu, Hong Kong University of Science and Technology Qingkai Shi, Hong Kong University of Science and Technology Xiao Xiao, Sourcebrella Inc. Jinguo Zhou, Sourcebrella Inc. Charles Zhang, Hong Kong University of Science and Technology | |
七宗罪:基础设施中的安全味道作为代码脚本 | Akond Rahman,北卡罗来纳州立大学;等人。 Chris Parnin, North Carolina State University Laurie Williams, North Carolina State University | |
数据库支持的 Web 应用程序以视图为中心的性能优化 | 杨俊文,芝加哥大学;等人。 Cong Yan, University of Washington Chengcheng Wan, University of Chicago Shan Lu, University of Chicago Alvin Cheung, University of Washington | |
IJCAI人工智能 | 促进基于比较的学习 | Michael Perrot 和 Ulrike von Luxburg,马克斯·普朗克智能系统研究所 |
信息通信网络 | 具有公平性约束的组合休眠强盗 | 李凤娇,爱荷华州立大学;等人。 Jia Liu, Iowa State University Bo Ji, Iowa State University |
RF-Mehndi:指尖轮廓射频识别器 | 崔钊,西安交通大学;等人。 Zhenjiang Li, City University of Hong Kong Han Ding, Xi'an Jiaotong University Jinsong Han, Zhejiang University Wei Xi, Xi'an Jiaotong University Ting Liu, Xi'an Jiaotong University Ruowei Gui, Xi'an Jiaotong University | |
不可靠通道上最优分布式 LRU 缓存的反直觉特征 | 全国聪,俄亥俄州立大学;等人。 Jian Tan, Ohio State University Atilla Eryilmaz, Ohio State University | |
KDD数据挖掘 | 优化户外广告的展示次数 | 张一鹏,皇家墨尔本理工大学;等人。 Yuchen Li, Singapore Management University Zhifeng Bao, RMIT University Songsong Mo, Wuhan University Ping Zhang, Huawei |
摩比通移动 | eBP:一种可穿戴系统,可通过用户的耳朵进行频繁、舒适的血压监测 | Nam Bui,科罗拉多大学博尔德分校;等人。 Nhat van Pham, University of Colorado Boulder Jessica Jacqueline Barnitz, University of Colorado Boulder Zhanan Zou, University of Colorado Boulder Phuc Nguyen, University of Colorado Boulder Anh-Hoang Truong, University of Colorado Boulder Taeho Kim, University of Colorado Boulder Nicholas Farrow, University of Colorado Boulder Anh Nguyen, University of Colorado Boulder Jianliang Xiao, University of Colorado Boulder Robin R. Deterding, Children's Hospital Colorado Thang N. Dinh, University of Colorado Boulder Tam Vu, University of Colorado Boulder |
FLUID:灵活的用户界面分布,实现无处不在的多设备交互 | Sangeun 哦,韩国科学技术院;等人。 Ahyeon Kim, KAIST Sunjae Lee, KAIST Kilho Lee, KAIST Dae R. Jeong, KAIST Steve Ko, University at Buffalo Insik Shin, KAIST | |
NeurIPS机器学习 | 具有 Massart 噪声的半空间的分布独立 PAC 学习 | 伊利亚斯·迪亚科尼克拉斯 (Ilias Diakonikolas),南加州大学;等人。 Themis Gouleakis, Max Planck Institute for Informatics Christos Tzamos, University of Wisconsin–Madison |
NSDI网络 | 数据中心 RPC 可以通用且快速 | 陈振鹏,北京大学;等人。 Ziniu Hu, University of California, Los Angeles Xuan Lu, Peking University Qiaozhu Mei, University of Michigan Xuanzhe Liu, Peking University |
了解数据中心拓扑的生命周期管理复杂性 | 张明阳,南加州大学;等人。 Radhika Naranjan Mysore, VMware Inc. Sucha Supittayapornpong, University of Southern California Ramesh Govindan, University of Southern California | |
PLDI编程语言 | 使用压缩纯函数树的低延迟图流 | Laxman Dhulipala,卡内基梅隆大学;等人。 Guy E. Blelloch, Carnegie Mellon University Julian Shun, Massachusetts Institute of Technology |
使用微分贝叶斯推理连续推理程序 | Kihong Heo,宾夕法尼亚大学;等人。 Mukund Raghothaman, University of Pennsylvania Xujie Si, University of Pennsylvania Mayur Naik, University of Pennsylvania | |
迈向并发程序的认证单独编译 | 姜瀚如,中国科学技术大学;等人。 Hongjin Liang, Nanjing University Siyang Xiao, University of Science and Technology of China Junpeng Zha, University of Science and Technology of China Xinyu Feng, Nanjing University | |
可验证强化学习的归纳综合框架 | 朱赫,罗格斯大学;等人。 Zikang Xiong, Purdue University Stephen Magill, Purdue University Suresh Jagannathan, Purdue University | |
一种类型化的代数解析方法 | Neel Krishnaswami 和 Jeremy Yallop,剑桥大学 | |
优化和抽象:分析神经网络鲁棒性的协同方法 | 格雷格·安德森,德克萨斯大学奥斯汀分校;等人。 Shankara Pailoor, University of Texas at Austin Isil Dillig, University of Texas at Austin Swarat Chaudhuri, Rice University | |
PODS数据库 | 干预公平性:因果数据库修复以实现算法公平性 | 巴巴克·萨利米,华盛顿大学;等人。 Luke Rodriguez, University of Washington Bill Howe, University of Washington Dan Suciu, University of Washington |
标准普尔安全和隐私 | 幽灵攻击:利用推测执行 | Paul Kocher,独立研究员;等人。 Jann Horn, Google Anders Fogh, G DATA Advanced Analytics Daniel Genkin, University of Pennsylvania Daniel Gruss, Graz University of Technology Werner Haas, Cyberus Technology Mike Hamburg, Rambus Moritz Lipp, Graz University of Technology Stefan Mangard, Graz University of Technology Thomas Prescher, Cyberus Technology Michael Schwarz, Graz University of Technology Yuval Yarom, University of Adelaide |
信号通讯网络 | 水下反向散射网络 | Junsu Jang 和 Fadel Abib,麻省理工学院 |
SIGIR信息检索 | 在线学习排名的梯度探索中的方差减少 | 王华正,弗吉尼亚大学;等人。 Sunwoo Kim, University of Virginia Eric McCord-Snook, University of Virginia Qingyun Wu, University of Virginia Hongning Wang, University of Virginia |
SIGMETRICS性能 | 马尔可夫链谱间隙的计算高效估计 | Richard Combes,Centrale-Supélec 竞赛 Mikael Touati,Orange Labs |
SIGMOD数据库 | 干预公平性:因果数据库修复以实现算法公平性 | 巴巴克·萨利米,华盛顿大学;等人。 Luke Rodriguez, University of Washington Bill Howe, University of Washington Dan Suciu, University of Washington |
苏打理论 | (Δ + 1) 顶点着色的次线性算法 | Sepehr Assadi,宾夕法尼亚大学;等人。 Yu Chen, University of Pennsylvania Sanjeev Khanna, University of Pennsylvania |
SOSP操作系统 | 使用 Serval 扩展符号评估以自动验证系统代码 | 卢克·尼尔森,华盛顿大学;等人。 James Bornhold, University of Washington Ronghui Gu, Columbia University Andrew Baumann, Microsoft Emina Torlak, University of Washington Xi Wang, University of Washington |
高效的可扩展线程安全违规检测 | 李光普,芝加哥大学;等人。 Shan Lu, University of Chicago Madanlal Musuvathi, Microsoft Suman Nath, Microsoft Rohan Padhye, University of California, San Diego | |
STOC理论 | Petri 网的可达性问题并不简单 | Wojciech Czerwinski,华沙大学;等人。 Slawomir Lasota, University of Warsaw Ranko Lazic, University of Warsaw Jerome Leroux, National Center for Scientific Research Filip Mazowiecki, University of Bordeaux |
Oracle BPQ 和 PH 分离 | Ran Raz,普林斯顿大学 Avishay Tal,斯坦福大学 | |
对数凹多项式 II:高维游走和用于拟阵计数基础的 FPRAS | 尼玛·阿纳里 (Nima Anari),斯坦福大学;等人。 Kuikui Liu, University of Washington Shayan Oveis Gharan, University of Washington Cynthia Vinzant, North Carolina State University | |
UIST用户界面 | TipText:在指尖键盘上进行无眼文本输入 | 徐哲尔,达特茅斯学院;等人。 Pui Chung Wong, Dartmouth College Jun Gong, Dartmouth College Te-Yen Wu, Dartmouth College Aditya Nittala, Saarland University Xiaojun Bi, Stony Brook University Jürgen Steimle, Saarland University Hongbo Fu, City University of Hong Kong Kening Zhu, City University of Hong Kong Xing-Dong Yang, Dartmouth College |
VLDB数据库 | 细粒度、安全、高效的区块链数据来源 | 阮平成,新加坡国立大学;等人。 Gang Chen, Zhejiang University Tien Tuan Anh Dinh, National University of Singapore Qian Lin, National University of Singapore Beng Chin Ooi, National University of Singapore |
万维网_ | 用于跨语言情感分类的表情符号驱动的表示学习 | 陈振鹏,北京大学;等人。 Ziniu Hu, University of California, Los Angeles Xuan Lu, Peking University Qiaozhu Mei, University of Michigan Xuanzhe Liu, Peking University |
OUTGUARD:检测浏览器内的隐蔽加密货币挖矿 | 阿明·哈拉兹 (Amin Kharraz),伊利诺伊大学厄巴纳-香槟分校;等人。 Zane Ma, University of Illinois at Urbana–Champaign Paul Murley, University of Illinois at Urbana–Champaign Charles Lever, Georgia Institute of Technology Joshua Mason, University of Illinois at Urbana–Champaign Andrew Miller, University of Illinois at Urbana–Champaign Nikita Borisov, University of Illinois at Urbana–Champaign Manos Antonakakis, Georgia Institute of Technology Michael Donald Bailey, University of Illinois at Urbana–Champaign |
2018年 | ||
---|---|---|
AAAI人工智能 | 记忆增强蒙特卡罗树搜索 | 肖陈军,阿尔伯塔大学;等人。 Jincheng Mei, University of Alberta Martin Müller, University of Alberta |
ACL自然语言处理 | 通过波束搜索寻找人类脑电图的语法 | 约翰·黑尔,康奈尔大学;等人。 Chris Dyer, DeepMind Adhiguna Kuncoro, University of Oxford Jonathan R. Brennan, University of Michigan |
学习提出好问题:使用完美信息的神经期望值对澄清问题进行排名 | Sudha Rao 和 Hal Daumé III,马里兰大学 | |
让我们“再来一次”:检测状语预设触发器的第一种计算方法 | Andre Cianflone,麦吉尔大学;等人。 Yulan Feng, McGill University Jad Kabbara, McGill University Jackie Chi Kit Cheung, McGill University | |
CHI人机交互 | 使用空气脚手架进行敏捷 3D 草图绘制 | Yongkwan Kim,韩国科学技术院;等人。 Sang-Gyun An, KAIST Joon Hyub Lee, KAIST Seok-Hyung Bae, KAIST |
精确定位:基于头部和眼睛的精确目标选择,用于增强现实 | Mikko Kytö,阿尔托大学;等人。 Barrett Ens, University of South Australia Thammathip Piumsomboon, University of South Australia Gun A. Lee, University of South Australia Mark Billinghurst, University of South Australia | |
Data Illustrator:使用惰性数据绑定增强矢量设计工具,以实现富有表现力的可视化创作 | 刘志成,Adobe ;等人。 John Thompson, Georgia Institute of Technology Alan Wilson, Adobe Systems Inc. Mira Dontcheva, Adobe James Delorey, Adobe Systems Inc. Sam Grigg, Adobe Systems Inc. Bernard Kerr, Adobe Systems Inc. John Stasko, Georgia Institute of Technology | |
“跟踪者的天堂”:亲密伴侣施虐者如何利用技术 | 戴安娜·弗里德,康奈尔大学;等人。 Jackeline Palmer, Hunter College Diana Minchala, City College of New York Karen Levy, Cornell University Thomas Ristenpart, Cornell University Nicola Dell, Cornell University | |
保持低调?无证移民的技术、风险和隐私 | Tamy Guberek,密歇根大学;等人。 Allison McDonald, University of Michigan Sylvia Simioni, University of Michigan Abraham H. Mhaidli, University of Michigan Kentaro Toyama, University of Michigan Florian Schaub, University of Michigan | |
以人为本的街道:通过社会技术过程让儿童参与场所营造 | 肖恩·皮科克,纽卡斯尔大学;等人。 Robert Anderson, Newcastle University Clara Crivellaro, Newcastle University | |
解决情感分析中与年龄相关的偏差 | 马克迪亚兹,西北大学;等人。 Isaac Johnson, Northwestern University Amanda Lazar, University of Maryland Anne Marie Piper, Northwestern University Darren Gergle, Northwestern University | |
从她的故事到我们的故事:以数字方式讲述爱尔兰堕胎权倡导的公众参与 | Lydia Michie,纽卡斯尔大学;等人。 Madeline Balaam, Royal Institute of Technology John McCarthy, University College Cork Timur Osadchiy, Newcastle University Kellie Morrissey, Newcastle University | |
性别识别还是性别还原论?:嵌入式性别识别系统的社会影响 | 福德·哈米迪,马里兰大学;等人。 Morgan Klaus Scheuerman, University of Maryland Stacy M. Branham, University of Maryland | |
附带的权力姿势与 HCI 的相关性如何? | Yvonne Jansen,索邦大学 Kasper Hornbæk,哥本哈根大学 | |
日常生活中的语音接口 | Martin Porcheron,诺丁汉大学;等人。 Joel E. Fischer, University of Nottingham Stuart Reeves, University of Nottingham Sarah Sharples, University of Nottingham | |
用更广泛的视角审视维基百科:量化维基百科与其他大型在线社区关系的价值 | 尼古拉斯·文森特,西北大学;等人。 Isaac Johnson, Northwestern University Brent Hecht, Northwestern University | |
让我们来谈谈种族:身份、聊天机器人和人工智能 | 阿里·施莱辛格 (Ari Schlesinger),佐治亚理工学院;等人。 Kenton P. O'Hara, Microsoft Alex S. Taylor, City, University of London | |
用于定性研究的半自动编码:以用户为中心的调查和初始原型 | Megh Marathe 和 Kentaro Toyama,密歇根大学 | |
Wall++:房间规模的交互式和情境感知传感 | 张杨,卡内基梅隆大学;等人。 Chouchang (Jack) Yang, Disney Research Scott E. Hudson, Carnegie Mellon University Chris Harrison, Carnegie Mellon University Alanson Sample, Disney Research | |
别再听了:关于 CHI 实验的预先注册 | 安迪·科伯恩,坎特伯雷大学;等人。 Carl Gutwin, University of Saskatchewan Alan Dix, University of Birmingham | |
创作即表达:通过艺术疗法与具有复杂沟通需求的人们进行设计 | 阿曼达·拉扎尔,马里兰大学;等人。 Jessica L. Feuston, Northwestern University Caroline Edasis, Mather LifeWays Anne Marie Piper, Northwestern University | |
使用手绘无标度草图进行富有表现力的时间序列查询 | Miro Mannino 和 Azza Abouzied,纽约大学 | |
桑给巴尔项目:便携式、灵活的有形交互平台 | 尼古拉斯·维拉,微软;等人。 Daniel Cletheroe, Microsoft Greg Saul, Microsoft Christian Holz, Microsoft Tim Regan, Microsoft Oscar Salandin, Microsoft Misha Sra, Microsoft Hui-Shyong Yeo, Microsoft William Field, Microsoft Haiyan Zhang, Microsoft | |
体验身体作为游戏 | Florian 'Floyd' Mueller,皇家墨尔本理工大学;等人。 Richard Byrne, RMIT University Josh Andres, RMIT University Rakesh Patibanda, RMIT University | |
制作核心记忆:对工程和工艺的性别遗产的设计探究 | 丹妮拉·K·罗斯纳,华盛顿大学;等人。 Samantha Shorey, University of Washington Brock R. Craft, University of Washington Helen Remick, Independent Researcher | |
协作生存设计:人类与真菌关系的探究 | Jen Liu,科罗拉多大学博尔德分校;等人。 Daragh Byrne, Carnegie Mellon University Laura Devendorf, University of Colorado Boulder | |
父权社会中的设计:孟加拉国农村妇女设计的机遇和挑战 | Sharifa Sultana,康奈尔大学;等人。 François Guimbretière, Cornell University Phoebe Sengers, Cornell University Nicola Dell, Cornell University | |
囤积和极简主义:数字数据保存的趋势 | Francesco Vitale,不列颠哥伦比亚大学;等人。 Izabelle Janzen, University of British Columbia Joanna McGrenere, University of British Columbia | |
使用以艺术家为中心的编程工具扩展手动绘图实践 | 詹妮弗·雅各布斯,麻省理工学院;等人。 Joel Brandt, Adobe Radomír Mech, Adobe Mitchel Resnick, Massachusetts Institute of Technology | |
CIKM知识管理 | 搜索引擎结果页面上多个信息源的相关性估计 | 张俊奇,清华大学;等人。 Yiqun Liu, Tsinghua University Shaoping Ma, Tsinghua University Qi Tian, University of Texas at San Antonio |
CVPR计算机视觉 | 任务分类:解开任务迁移学习 | 阿米尔·扎米尔 (Amir R. Zamir),斯坦福大学;等人。 Alexander Sax, Stanford University William Shen, Stanford University Leonidas Guibas, Stanford University Jitendra Malik, University of California, Berkeley Silvio Savarese, Stanford University |
焦点理论 | 量子计算的经典验证 | 乌尔米拉·马哈德夫,加州大学伯克利分校 |
格拉斯曼图中的伪随机集具有近乎完美的扩展 | Subhash Khot,纽约大学;等人。 Dor Minzer, Tel Aviv University Muli Safra, Tel Aviv University | |
在真正的次二次时间中近似常数因子内的编辑距离 | Diptarka Chakraborty,查尔斯大学计算机科学研究所;等人。 Debarati Das, Computer Science Institute of Charles University Elazar Goldenberg, The Academic College of Tel Aviv-Yaffo Michal Koucký, Computer Science Institute of Charles University Michael Saks, Rutgers University | |
FSE软件工程 | 正则表达式拒绝服务 (ReDoS) 在实践中的影响:生态系统规模的实证研究 | 詹姆斯·C·戴维斯 (James C. Davis),弗吉尼亚理工大学;等人。 Christy A. Coghlan, Virginia Tech Francisco Servant, Virginia Tech Dongyoon Lee, Virginia Tech |
用于检测并发相关的缓存时序泄漏的对抗性符号执行 | 郭盛建(丹尼尔),弗吉尼亚理工大学;等人。 Meng Wu, Virginia Tech Chao Wang, University of Southern California | |
压缩跟踪上的数据争用检测 | Dileep Kini,伊利诺伊大学厄巴纳-香槟分校;等人。 Umang Mathur, University of Illinois at Urbana–Champaign Mahesh Viswanathan, University of Illinois at Urbana–Champaign | |
Android 污点分析工具信守承诺吗? | Felix Pauck,帕德博恩大学;等人。 Eric Bodden, University of Paderborn Heike Wehrheim, University of Paderborn | |
大规模分布式系统中崩溃恢复错误的实证研究 | 高宇,中国科学院;等人。 Wensheng Dou, Chinese Academy of Sciences Feng Qin, Ohio State University Chushu Gao, Chinese Academy of Sciences Dong Wang, Chinese Academy of Sciences Jun Wei, Chinese Academy of Sciences Ruirui Huang, Alibaba Group Li Zhou, Alibaba Group Yongming Wu, Alibaba Group | |
奥利奥:暮光之城克隆体的检测 | Vaibhav Saini,加州大学欧文分校;等人。 Farima Farmahinifarahani, University of California, Irvine Yadong Lu, University of California, Irvine Pierre Baldi, University of California, Irvine Crista Lopes, University of California, Irvine | |
ICML机器学习 | 混淆的梯度给人一种错误的安全感:规避对抗性示例的防御 | Anish Athalye,麻省理工学院;等人。 Nicholas Carlini, University of California, Berkeley David Wagner, University of California, Berkeley |
公平机器学习的延迟影响 | Lydia T. Liu,加州大学伯克利分校;等人。 Sarah Dean, University of California, Berkeley Esther Rolf, University of California, Berkeley Max Simchowitz, University of California, Berkeley Moritz Hardt, University of California, Berkeley | |
ICSE软件工程 | Android 应用程序中特定于框架的异常的大规模分析 | 范玲玲,华东师范大学;等人。 Ting Su, Nanyang Technological University Sen Chen, East China Normal University Guozhu Meng, Chinese Academy of Sciences Yang Liu, Nanyang Technological University Lihua Xu, East China Normal University Geguang Pu, East China Normal University Zhendong Su, University of California, Davis |
时空上下文缩减:一种基于指针分析的静态方法,用于检测释放后使用漏洞 | 华燕,新南威尔士大学;等人。 Yulei Sui, University of Technology Sydney Shiping Chen, CSIRO's Data61 Jingling Xue, University of New South Wales | |
识别源代码中的设计问题:扎根理论 | Leonardo Sousa,里约热内卢天主教大学;等人。 Anderson Oliveira, Pontifical Catholic University of Rio de Janeiro Willian Oizumi, Pontifical Catholic University of Rio de Janeiro Simone Barbosa, Pontifical Catholic University of Rio de Janeiro Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro Jaejoon Lee, University of Lancaster Marcos Kalinowski, Pontifical Catholic University of Rio de Janeiro Rafael de Mello, Pontifical Catholic University of Rio de Janeiro Baldoino Fonseca, Universidade Federal de Alagoas Roberto Oliveira, Pontifical Catholic University of Rio de Janeiro Carlos Lucena, Pontifical Catholic University of Rio de Janeiro Rodrigo Paes, Pontifical Catholic University of Rio de Janeiro | |
堆属性的静态自动程序修复 | Rijnard van Tonder 和 Claire Le Goues,卡内基梅隆大学 | |
不可重复构建的自动本地化 | 任志磊,大连理工大学;等人。 He Jiang, Dalian University of Technology Jifeng Xuan, Wuhan University Zijiang Yang, Western Michigan University | |
广义数据结构综合 | 卡尔文·隆卡里克,华盛顿大学;等人。 Michael D. Ernst, University of Washington Emina Torlak, University of Washington | |
野外可追溯性:自动增强不完整的跟踪链接 | Michael Rath,伊尔梅瑙技术大学;等人。 Jacob Rendall, University of Notre Dame Jin L. C. Guo, McGill University Jane Cleland-Huang, University of Notre Dame Patrick Mäder, Technical University Ilmenau | |
迈向最佳 Concolic 测试 | 王新宇,浙江大学;等人。 Jun Sun, Singapore University of Technology and Design Zhenbang Chen, National University of Defense Technology Peixin Zhang, Zhejiang University Jingyi Wang, Singapore University of Technology and Design Yun Lin, National University of Singapore | |
IJCAI人工智能 | SentiGAN:通过混合对抗网络生成情感文本 | 王科、万晓军,北京大学 |
当意见通过多数动态传播时推理共识 | Vincenzo Auletta,萨勒诺大学;等人。 Diodato Ferraioli, University of Salerno Gianluigi Greco, University of Calabria | |
R-SVM+:利用特权信息进行鲁棒学习 | 李雪,武汉大学;等人。 Bo Du, Wuhan University Chang Xu, University of Sydney Yipeng Zhang, Wuhan University Lefei Zhang, Wuhan University Dacheng Tao, University of Sydney | |
本体介导查询中从联合查询到实例查询 | Cristina Feier,不来梅大学;等人。 Carsten Lutz, University of Bremen Frank Wolte, University of Liverpool | |
我们在玩什么游戏?正常和扩展形式游戏中的端到端学习 | Chun Kai Ling,卡内基梅隆大学;等人。 Fei Fang, Carnegie Mellon University J. Zico Kolter, Carnegie Mellon University | |
使用图注意力生成常识知识感知对话 | 周浩,清华大学;等人。 Tom Young, Beijing Institute of Technology Minlie Huang, Tsinghua University Haizhou Zhao, Sogou Jingfang Xu, Sogou Xiaoyan Zhu, Tsinghua University | |
图相似性的简并框架 | Giannis Nikolentzos,巴黎综合理工学院;等人。 Polykarpos Meladianos, Athens University of Economics and Business Stratis Limnios, École Polytechnique Michalis Vazirgiannis, École Polytechnique | |
信息通信网络 | 通过图分析了解以太坊 | 陈婷,电子科技大学;等人。 Yuxiao Zhu, Guangdong University of Technology Zihao Li, University of Electronic Science and Technology of China Jiachi Chen, Hong Kong Polytechnic University Xiaoqi Li, Hong Kong Polytechnic University Xiapu Luo, Hong Kong Polytechnic University Xiaodong Lin, Wilfrid Laurier University Xiaosong Zhang, University of Electronic Science and Technology of China |
WiFED:具有分布式波束成形的 WiFi 友好型能量传输 | Subhramoy Mohanti,东北大学;等人。 Elif Bozkaya, Istanbul Technical University M. Yousof Naderi, Northeastern University Berk Canberk, Istanbul Technical University Kaushik Chowdhury, Northeastern University | |
优化具有吞吐量约束的无线网络信息时代 | 伊戈尔·卡多塔 (Igor Kadota),麻省理工学院;等人。 Abhishek Sinha, Massachusetts Institute of Technology Eytan Modiano, Massachusetts Institute of Technology | |
KDD数据挖掘 | 图数据神经网络的对抗性攻击 | Daniel Zügner,慕尼黑工业大学;等人。 Amir Akbarnejad, Technical University of Munich Stephan Günnemann, Technical University of Munich |
摩比通移动 | SkyCore:将核心移至边缘,打造不受束缚且可靠的基于无人机的 LTE 网络 | 迈赫达德·莫拉迪,密歇根大学;等人。 Karthikeyan Sundaresan, NEC Labs America Eugene Chai, NEC Labs America Sampath Rangarajan, NEC Labs America Z. Morley Mao, University of Michigan |
NeurIPS机器学习 | 非妄想 Q 学习和价值迭代 | 泰勒·卢,谷歌;等人。 Dale Schuurmans, Google Craig Boutilier, Google |
网络中非光滑分布式优化的最优算法 | 凯文·斯卡曼,华为;等人。 Francis Bach, Inria Sébastien Bubeck, Microsoft Yin Tat Lee, Microsoft Laurent Massoulié, Inria | |
通过样本压缩方案学习高斯混合的近乎严格的样本复杂度界限 | 哈桑·阿什蒂亚尼 (Hassan Ashtiani),麦克马斯特大学;等人。 Shai Ben-David, University of Waterloo Nick Harvey, University of British Columbia Christopher Liaw, University of British Columbia Abbas Mehrabian, McGill University Yaniv Plan, University of British Columbia | |
神经常微分方程 | 陈天琪,多伦多大学;等人。 Yulia Rubanova, University of Toronto Jesse Bettencourt, University of Toronto David Duvenaud, University of Toronto | |
NSDI网络 | NetChain:无标度子 RTT 协调 | 金鑫,约翰·霍普金斯大学;等人。 Xiaozhou Li, Barefoot Networks Haoyu Zhang, Princeton University Nate Foster, Cornell University Jeongkeun Lee, Barefoot Networks Robert Soulé, University of Lugano Changhoon Kim, Barefoot Networks Ion Stoica, University of California, Berkeley |
OSDI操作系统 | REPT:对已部署软件中的故障进行逆向调试 | 崔卫东,微软;等人。 Xinyang Ge, Microsoft Baris Kasikci, University of Michigan Ben Niu, Microsoft Upamanyu Sharma, University of Michigan Ruoyu Wang, Arizona State University Insu Yun, Georgia Institute of Technology |
LegoOS:一种用于硬件资源分解的分布式操作系统 | 单益舟,普渡大学;等人。 Yutong Huang, Purdue University Yilun Chen, Purdue University Yiying Zhang, Purdue University | |
Orca:大规模服务中的差异化错误定位 | Ranjita Bhagwan,微软;等人。 Rahul Kumar, Microsoft Chandra Sekhar Maddila, Microsoft Adithya Abraham Philip, Microsoft | |
PLDI编程语言 | 使用冲突驱动学习进行程序合成 | 于峰,德克萨斯大学奥斯汀分校;等人。 Ruben Martins, Carnegie Mellon University Osbert Bastani, Massachusetts Institute of Technology Isil Dillig, University of Texas at Austin |
数据驱动的 CHC 求解器 | 贺朱,伽罗瓦;等人。 Stephen Magill, Galois Suresh Jagannathan, Purdue University | |
x86、Power、ARM 和 C++ 中事务和弱内存的语义 | Nathan Chong,武器;等人。 Tyler Sorensen, Imperial College London John Wickerson, Imperial College London | |
PODS数据库 | 具有主动单调分类的实体匹配 | 陶宇飞,香港中文大学 |
标准普尔安全和隐私 | 关于加强大型人道主义组织的数字免疫力 | Stevens Le Blond,洛桑联邦理工学院;等人。 Alejandro Cuevas, École Polytechnique Fédérale de Lausanne Juan Ramón Troncoso-Pastoriza, École Polytechnique Fédérale de Lausanne Philipp Jovanovic, École Polytechnique Fédérale de Lausanne Bryan Ford, École Polytechnique Fédérale de Lausanne Jean-Pierre Hubaux, École Polytechnique Fédérale de Lausanne |
DEEPSEC:确定安全协议中的等效属性——理论与实践 | 文森特·谢瓦尔,因里亚;等人。 Steve Kremer, Inria Itsaka Rakotonirina, Inria | |
信号通讯网络 | 推断持续的域间拥塞 | Amogh Dhamdhere,加州大学圣地亚哥分校;等人。 David D. Clark, Massachusetts Institute of Technology Alexander Gamero-Garrido, University of California, San Diego Matthew Luckie, University of Waikato Ricky K. P. Mok, University of California, San Diego Gautam Akiwate, University of California, San Diego Kabir Gogia, University of California, San Diego Vaibhav Bajpai, Technical University of Munich Alex C. Snoeren, University of California, San Diego kc claffy, University of California, San Diego |
SIGIR信息检索 | 我应该随波逐流吗?推荐系统中流行度有效性的概率分析 | Rocío Cañamares 和 Pablo Castells,马德里自治大学 |
SIGMETRICS性能 | 精确的平均场近似 | Nicolas Gast、Inria Benny Van Houdt,安特卫普大学 |
SIGMOD数据库 | SuRF:使用快速简洁尝试进行实用范围查询过滤 | 张焕辰,卡内基梅隆大学;等人。 Hyeontaek Lim, Carnegie Mellon University Viktor Leis, Technical University of Munich David G. Andersen, Carnegie Mellon University Michael Kaminsky, Intel Kimberly Keeton, Hewlett Packard Andrew Pavlo, Carnegie Mellon University |
苏打理论 | st 路径 TSP 接近 3/2 | Vera Traub 和 Jens Vygen,波恩大学 |
具有摊销 O(log2 N) 替换的在线二分匹配 | Aaron Bernstein,柏林工业大学;等人。 Jacob Holm, University of Copenhagen Eva Rotenberg, Technical University of Denmark | |
STOC理论 | 非对称旅行商问题的常因子逼近算法 | Ola Svensson,洛桑联邦理工学院;等人。 Jakub Tarnawski, École Polytechnique Fédérale de Lausanne László A. Végh, London School of Economics and Political Science |
UIST用户界面 | 编写和验证人机交互 | David Porfirio,威斯康星大学麦迪逊分校;等人。 Allison Sauppé, University of Wisconsin–La Crosse Aws Albarghouthi, University of Wisconsin–Madison Bilge Mutlu, University of Wisconsin–Madison |
Porta:使用操作系统范围的活动跟踪来分析软件教程 | Alok Mysore 和 Philip J.Guo,加州大学圣地亚哥分校 | |
RESi:基于电阻纱线的高度灵活、压力敏感、难以察觉的纺织接口 | Patrick Parzer,上奥地利州应用科学大学;等人。 Florian Perteneder, University of Applied Sciences Upper Austria Kathrin Probst, University of Applied Sciences Upper Austria Christian Rendl, University of Applied Sciences Upper Austria Joanne Leong, University of Applied Sciences Upper Austria Sarah Schuetz, University of Applied Sciences Upper Austria Anita Vogl, University of Applied Sciences Upper Austria Reinhard Schwoediauer, Johannes Kepler University Linz Martin Kaltenbrunner, Johannes Kepler University Linz Siegfried Bauer, Johannes Kepler University Linz Michael Haller, University of Applied Sciences Upper Austria | |
VLDB数据库 | 大图的普遍性和图处理的惊人挑战:扩展调查 | Siddhartha Sahu,滑铁卢大学;等人。 Amine Mhedhbi, University of Waterloo Semih Salihoglu, University of Waterloo Jimmy Lin, University of Waterloo M. Tamer Özsu, University of Waterloo |
万维网_ | HighLife:更高数量的事实收获 | Patrick Ernst,萨尔布吕肯萨尔信息学校区;等人。 Amy Siu, Saarland Informatics CampusSaarbrücken Gerhard Weikum, Saarland Informatics CampusSaarbrücken |
2017年 | ||
---|---|---|
AAAI人工智能 | 利用物理和领域知识对神经网络进行无标签监督 | 拉塞尔·斯图尔特和斯特凡诺·埃尔蒙,斯坦福大学 |
ACL自然语言处理 | 概率类型学:元音库存的深度生成模型 | Ryan Cotterell 和 Jason Eisner,约翰·霍普金斯大学 |
CHI人机交互 | 与猩猩进行体感互动:动物园游客对动物使用互动技术的同理心反应 | 莎拉·韦伯,墨尔本大学;等人。 Marcus Carter, University of Melbourne Sally Sherwen, Zoos Victoria Wally Smith, University of Melbourne Zaher Joukhadar, University of Melbourne Frank Vetere, University of Melbourne |
有机基元:使用分子 I/O 进行传感、驱动和交互的 pH 反应材料的合成和设计 | Viirj Kan,麻省理工学院;等人。 Emma Vargo, Massachusetts Institute of Technology Noa Machover, Massachusetts Institute of Technology Hiroshi Ishii, Massachusetts Institute of Technology Serena Pan, Massachusetts Institute of Technology Weixuan Chen, Massachusetts Institute of Technology Yasuaki Kakehi, Keio University | |
了解公众评价:量化实验者干预 | 朱莉·威廉姆森和约翰·威廉姆森,格拉斯哥大学 | |
设计游戏化应用程序,让安全驾驶更具吸引力 | Fabius Steinberger,昆士兰科技大学;等人。 Ronald Schroeter, Queensland University of Technology Marcus Foth, Queensland University of Technology Daniel Johnson, Queensland University of Technology | |
照明美学:光作为计算设计中的创意材料 | 塞萨尔·托雷斯,加州大学伯克利分校;等人。 Jasper O'Leary, University of California, Berkeley Molly Nicholas, University of California, Berkeley Eric Paulos, University of California, Berkeley | |
赋权参与:公民如何在地方治理中使用技术 | Sheena Erete,德保罗大学 Jennifer O. Burrell,MadX LLC | |
幸存者的故事:应对亲密伴侣虐待时的隐私和安全实践 | 塔拉·马修斯,谷歌;等人。 Kathleen O'Leary, University of Washington Anna Turner, Google Manya Sleeper, Google Jill Palzkill Woelfer, Google Martin Shelton, Google Cori Manthorne, Community Overcoming Relationship Abuse Elizabeth F. Churchill, Google Sunny Consolvo, Google | |
ShareVR:在 HMD 和非 HMD 用户之间实现虚拟现实的共置体验 | 扬·古根海默,乌尔姆大学;等人。 Evgeny Stemasov, University of Ulm Julian Frommel, University of Ulm Enrico Rukzio, University of Ulm | |
检查月经追踪,为个人信息学工具的设计提供信息 | 丹尼尔·爱泼斯坦,华盛顿大学;等人。 Nicole B. Lee, Independent Researcher Jennifer H. Kang, University of Washington Elena Agapie, University of Washington Jessica Schroeder, University of Washington Laura R. Pina, University of Washington James Fogarty, University of Washington Julie A. Kientz, University of Washington Sean Munson, University of Washington | |
解释差距:可视化预测可以提高对数据的回忆和理解 | Yea-Seul Kim,华盛顿大学;等人。 Katharina Reinecke, University of Washington Jessica Hullman, University of Washington | |
移动医疗促进孕产妇心理健康:道德设计中的日常智慧 | 玛格丽特·巴里,都柏林三一学院;等人。 Kevin Doherty, Trinity College Dublin Jose Marcano Belisario, Imperial College London Josip Car, Imperial College London Cecily Morrison, Imperial College London Gavin Doherty, Trinity College Dublin | |
痴呆症和人机交互设计的关键视角 | 阿曼达·拉扎尔,西北大学;等人。 Caroline Edasis, Mather LifeWays Anne Marie Piper, Northwestern University | |
什么是互动? | Kasper Hornbæk,哥本哈根大学 Antti Oulasvirta,阿尔托大学 | |
BIGnav:用于指导多尺度导航的贝叶斯信息增益 | 刘万宇,巴黎萨克雷大学;等人。 Rafael Lucas D'Oliveira, University of Campinas Michel Beaudouin-Lafon, Paris-Saclay University Olivier Rioul, Paris-Saclay University | |
新键盘布局的建模学习 | Jussi PP Jokinen,阿尔托大学;等人。 Sayan Sarcar, Kochi University of Technology Antti Oulasvirta, Aalto University Chaklam Silpasuwanchai, Kochi University of Technology Zhenxin Wang, Kochi University of Technology Xiangshi Ren, Kochi University of Technology | |
Flash 组织:通过将人群构建为组织来众包复杂的工作 | 梅丽莎·A·瓦伦丁,斯坦福大学;等人。 Daniela Retelny, Stanford University Alexandra To, Carnegie Mellon University Negar Rahmati, Stanford University Tulsee Doshi, Stanford University Michael Bernstein, Stanford University | |
反思实践:使变革性反思设计概念敏感的框架 | 彼得·斯洛伐克,维也纳工业大学;等人。 Christopher Frauenberger, TU Wien Geraldine Fitzpatrick, TU Wien | |
用于虚拟对象操作和探索的指尖触觉设备 | Samuel B. Schorr 和 Allison M. Okamura,斯坦福大学 | |
从驾驶员六秒的视线中可以预测什么? | Lex Fridman,麻省理工学院;等人。 Heishiro, Toyoda Toyota Collaborative Safety Research Center Sean Seaman, Touchstone Evaluations Bobbie Seppelt, Touchstone Evaluations Linda Angell, Touchstone Evaluations Joonbum Lee, Massachusetts Institute of Technology Bruce Mehler, Massachusetts Institute of Technology Bryan Reimer, Massachusetts Institute of Technology | |
数据驱动密码表的设计和评估 | Blase Ur,芝加哥大学;等人。 Felicia Alfieri, Carnegie Mellon University Maung Aung, Carnegie Mellon University Lujo Bauer, Carnegie Mellon University Nicolas Christin, Carnegie Mellon University Jessica Colnago, Carnegie Mellon University Lorrie Faith Cranor, Carnegie Mellon University Henry Dixon, Carnegie Mellon University Pardis Emami Naeini, Carnegie Mellon University Hana Habib, Carnegie Mellon University Noah Johnson, Carnegie Mellon University William Melicher, Carnegie Mellon University | |
你想让我和谁一起工作?:利益相关者对基于项目的课程中自动团队组建的看法 | Farnaz Jahanbakhsh,伊利诺伊大学厄巴纳-香槟分校;等人。 Wai-Tat Fu, University of Illinois at Urbana–Champaign Karrie Karahalios, University of Illinois at Urbana–Champaign Darko Marinov, University of Illinois at Urbana–Champaign Brian Bailey, University of Illinois at Urbana–Champaign | |
有机基元:使用分子 I/O 进行传感驱动和交互的 pH 反应材料的合成和设计 | Viirj Kan,麻省理工学院;等人。 Emma Vargo, Massachusetts Institute of Technology Noa Machover, Massachusetts Institute of Technology Hiroshi Ishii, Massachusetts Institute of Technology Serena Pan, Massachusetts Institute of Technology Weixuan Chen, Massachusetts Institute of Technology Yasuaki Kakehi, Massachusetts Institute of Technology | |
CIKM知识管理 | Hike:一种用于大规模知识库中实体对齐的混合人机方法 | 庄艳,清华大学;等人。 Guoliang Li, Tsinghua University Zhuojian Zhong, Tsinghua University Jianhua Feng, Tsinghua University |
CVPR计算机视觉 | 密集连接的卷积网络 | 刘庄,清华大学;等人。 Gao Huang, Cornell University Laurens van der Maaten, Meta Kilian Q. Weinberger, Cornell University |
通过对抗训练从模拟和无监督图像中学习 | Ashish Shrivastava,苹果;等人。 Tomas Pfister, Apple Oncel Tuzel, Apple Josh Susskind, Apple Wenda Wang, Apple Russ Webb, Apple | |
焦点理论 | 非均匀 CSP 的二分定理 | 安德烈·A·布拉托夫,西蒙弗雷泽大学 |
CSP二分猜想的证明 | 德米特里·朱克,莫斯科国立大学 | |
一般图的匹配问题是准NC问题 | Ola Svensson 和 Jakub Tarnawski,洛桑联邦理工学院 | |
FSE软件工程 | “为什么”和“为什么不”的力量:通过来源丰富场景探索 | 蒂姆·尼尔森,布朗大学;等人。 Natasha Danas, Brown University Daniel J. Dougherty, Worcester Polytechnic Institute Shriram Krishnamurthi, Brown University |
理解源代码中的误解 | 丹·戈普斯坦,纽约大学;等人。 Jake Iannacone, New York University Yu Yan, Pennsylvania State University Lois DeLong, New York University Yanyan Zhuang, University of Colorado Boulder Martin K.-C. Yeh, Pennsylvania State University Justin Cappos, New York University | |
持续集成的权衡:保证、安全性和灵活性 | 迈克尔·希尔顿,俄勒冈州立大学;等人。 Nicholas Nelson, Oregon State University Timothy Tunnell, University of Illinois at Urbana–Champaign Darko Marinov, University of Illinois at Urbana–Champaign Danny Dig, Oregon State University | |
协作内核:用于阻塞算法的 GPU 多任务处理 | 泰勒·索伦森,伦敦帝国理工学院;等人。 Hugues Evrard, Imperial College London Alastair F. Donaldson, Imperial College London | |
公平性测试:测试软件是否存在歧视 | Sainyam Galhotra,马萨诸塞大学阿默斯特分校;等人。 Yuriy Brun, University of Massachusetts Amherst Alexandra Meliou, University of Massachusetts Amherst | |
发现关系规范 | 卡尔文·史密斯,威斯康星大学麦迪逊分校;等人。 Gabriel Ferns, University of Wisconsin–Madison Aws Albarghouthi, University of Wisconsin–Madison | |
自动诊断和修复 C 中的错误处理错误 | Yuchi Tian 和 Baishakhi Ray,弗吉尼亚大学 | |
ICCV计算机视觉 | Mask R-CNN | 何凯明,元;等人。 Georgia Gkioxari, Meta Piotr Dollar, Meta Ross Girshick, Meta |
ICML机器学习 | 通过影响函数理解黑盒预测 | Pang Wei Koh 和 Percy Liang,斯坦福大学 |
ICSE软件工程 | 使用 Lambda 表达式进行克隆重构 | Nikolaos Tsantalis,康科迪亚大学;等人。 Davood Mazinanian, Concordia University Shahriar Rostami, Concordia University |
实践中敏捷转型的扎根理论 | Rashina Hoda,奥克兰大学 James Noble Victoria,惠灵顿维多利亚大学 | |
代码捍卫者:通过突变测试游戏众包有效测试和微妙突变 | 何塞·米格尔·罗哈斯,谢菲尔德大学;等人。 Thomas D. White, University of Sheffield Benjamin S. Clegg, University of Sheffield Gordon Fraser, University of Sheffield | |
解码大脑中代码的表示:代码审查和专业知识的功能磁共振成像研究 | 本杰明·弗洛伊德,弗吉尼亚大学;等人。 Tyler Santander, University of Virginia Westley Weimer, University of Virginia | |
Java反射静态分析面临的挑战——文献回顾与实证研究 | Davy Landman,科学中心和 Informatica ;等人。 Alexander Serebrenik, Centrum Wiskunde & Informatica Jurgen J. Vinju, Centrum Wiskunde & Informatica | |
优化模块级回归测试的测试布局 | August Shi,伊利诺伊大学厄巴纳-香槟分校;等人。 Suresh Thummalapenta, Microsoft Shuvendu K. Lahiri, Microsoft Nikolaj Bjorner, Microsoft Jacek Czerwonka, Microsoft | |
IJCAI人工智能 | 使用极限数据记录程序的声明性数据分析的基础 | 马克·卡明斯基,牛津大学;等人。 Bernardo Cuenca Grau, University of Oxford Egor V. Kostylev, University of Oxford Boris Motik, University of Oxford Ian Horrocks, University of Oxford |
信息通信网络 | 一步一步:优化 ISP 网络中的 SDN 升级 | Konstantinos Poularakis,耶鲁大学;等人。 George Iosifidis, Yale University Georgios Smaragdakis, Massachusetts Institute of Technology Leandros Tassiulas, Yale University |
KDD数据挖掘 | 通过类比挖掘加速创新 | 汤姆·霍普,耶路撒冷希伯来大学;等人。 Joel Chan, Carnegie Mellon University Aniket Kittur, Carnegie Mellon University Dafna Shahaf, Hebrew University of Jerusalem |
摩比通移动 | WEBee:通过仿真进行物理层跨技术通信 | 李志军和何天,明尼苏达大学 |
NeurIPS机器学习 | 不完美信息博弈的安全嵌套子博弈求解 | 诺姆·布朗和托马斯·桑德霍姆,卡内基梅隆大学 |
具有凸目标的基于方差的正则化 | Hongseok Namkoong 和 John Duchi,斯坦福大学 | |
线性时间核拟合优度检验 | Wittawat Jitkrittum,伦敦大学学院;等人。 Wenkai Xu, University College London Zoltan Szabo, École Polytechnique Kenji Fukumizu, The Institute of Statistical Mathematics Arthur Gretton, University College London | |
NSDI网络 | mOS:用于流量监控中间盒的可重用网络堆栈 | 穆罕默德·阿西姆·贾姆谢德 (Muhammad Asim Jamshed),韩国科学技术院 (KAIST) ;等人。 YoungGyoun Moon, KAIST Donghwi Kim, KAIST Dongsu Han, KAIST KyoungSoo Park, KAIST |
PLDI编程语言 | ARM 上的低开销动态二进制转换 | Amanieu D'Antras,曼彻斯特大学;等人。 Cosmin Gorgovan, University of Manchester Jim Garside, University of Manchester Mikel Luján, University of Manchester |
修复 C/C++11 中的顺序一致性 | Ori Lahav,马克斯·普朗克软件系统研究所;等人。 Viktor Vafeiadis, Max Planck Institute for Software Systems Jeehoon Kang, Seoul National University Chung-Kil Hur, Seoul National University Derek Dreyer, Max Planck Institute for Software Systems | |
不继续编译 | 卢克·毛雷尔,俄勒冈大学;等人。 Paul Downen, University of Oregon Zena M. Ariola, University of Oregon Simon Peyton Jones, Microsoft | |
使用 WebAssembly 加快网络步伐 | 安德烈亚斯·哈斯,谷歌;等人。 Andreas Rossberg, Google Derek L. Schuff, Google Ben L. Titzer, Google Michael Holman, Microsoft Dan Gohman, Mozilla Corporation Luke Wagner, Mozilla Corporation Alon Zakai, Mozilla Corporation JF Bastien, Apple | |
PODS数据库 | 使用受保护片段进行本体介导的查询中的二分法 | 安德烈·埃尔尼奇,利物浦大学;等人。 Carsten Lutz, University of Bremen Fabio Papacchini, University of Liverpool Frank Wolter, University of Liverpool |
标准普尔安全和隐私 | TLS 1.3 标准候选的已验证模型和参考实现 | Karthikeyan Bhargavan,因里亚;等人。 Bruno Blanchet, Inria Nadim Kobeissi, Inria |
信号通讯网络 | 重新架构数据中心网络和堆栈以实现低延迟和高性能 | 马克·汉德利,伦敦大学学院;等人。 Costin Raiciu, Politehnica University of Bucharest Alexandru Agache, Politehnica University of Bucharest Andrei Voinescu, Politehnica University of Bucharest Andrew Moore, University of Cambridge Gianni Antichi, University of Cambridge Marcin Wójcik, University of Cambridge |
用于网络性能监控的语言导向硬件设计 | 斯里尼瓦斯·纳拉亚纳 (Srinivas Narayana),麻省理工学院;等人。 Anirudh Sivaraman, Massachusetts Institute of Technology Vikram Nathan, Massachusetts Institute of Technology Prateesh Goyal, Massachusetts Institute of Technology Venkat Arun, Indian Institute of Technology Guwahati Mohammad Alizadeh, Massachusetts Institute of Technology Vimalkumar Jeyakumar, Cisco Systems Changhoon Kim, Barefoot Networks | |
SIGIR信息检索 | BitFunnel:重新审视搜索签名 | 鲍勃·古德温,微软;等人。 Michael Hopcroft, Microsoft Dan Luu, Microsoft Alex Clemmer, Heptio Mihaela Curmei, Microsoft Sameh Elnikety, Microsoft Yuxiong He, Microsoft |
SIGMETRICS性能 | 通过渐近方法加速封闭系统的性能推理 | 朱利亚诺·卡萨莱,伦敦帝国理工学院 |
SIGMOD数据库 | 并行化序列图计算 | 范文飞,爱丁堡大学;等人。 Jingbo Xu, University of Edinburgh Yinghui Wu, Washington State University Wenyuan Yu, Beihang University Jiaxin Jiang, Hong Kong Baptist University Zeyu Zheng, Peking University Bohan Zhang, Peking University Yang Cao, University of Edinburgh Chao Tian, University of Edinburgh |
苏打理论 | 平面图中直径和成对距离总和的二次算法 | 塞尔吉奥·卡贝洛,卢布尔雅那大学 |
半流模型中最大权重匹配的(2+Є)近似 | Ami Paz,基础信息研究所 Gregory Schwartzman,国家信息研究所 | |
SOSP操作系统 | 高效服务器审核问题、重复数据删除重新执行和 Web | 谭诚,纽约大学;等人。 Lingfan Yu, New York University Joshua B. Leners, Two Sigma Michael Walfish, New York University |
DeepXplore:深度学习系统的自动化白盒测试 | 裴可欣,哥伦比亚大学;等人。 Yinzhi Cao, Lehigh University Junfeng Yang, Columbia University Suman Jana, Columbia University | |
STOC理论 | 显式的、几乎最优的、Epsilon 平衡的代码 | 阿姆农·塔什玛,特拉维夫大学 |
在拟多项式时间内决定奇偶博弈 | 克里斯蒂安·S·卡鲁德,奥克兰大学;等人。 Sanjay Jain, National University of Singapore Bakhadyr Khoussainov, University of Auckland Wei Li, National University of Singapore Frank Stephan, National University of Singapore | |
加权线性拟阵奇偶校验算法 | Satoru Iwata,东京大学 Yusuke Kobayashi,筑波大学 | |
UIST用户界面 | 触发实时动画的图稿交换 | 诺拉·S·威利特,普林斯顿大学;等人。 Wilmot Li, Adobe Jovan Popovic, Adobe Adam Finkelstein, Princeton University |
Grabity:用于在虚拟现实中模拟重量和抓取的可穿戴触觉界面 | Inrak Choi,斯坦福大学;等人。 Heather Culbertson, Stanford University Mark R. Miller, Stanford University Alex Olwal, Google Sean Follmer, Stanford University | |
AirCode:用于数字制造的不显眼的物理标签 | 李丁泽宇,哥伦比亚大学;等人。 Avinash S. Nair, Columbia University Shree K. Nayar, Columbia University Changxi Zheng, Columbia University | |
VLDB数据库 | 自然语言查询的来源 | 丹尼尔·多伊奇,特拉维夫大学;等人。 Nave Frost, Tel Aviv University Amir Gilad, Tel Aviv University |
2016年 | ||
---|---|---|
AAAI人工智能 | 保证在中间相遇的双向搜索 | 罗伯特·C·霍尔特,阿尔伯塔大学;等人。 Ariel Felner, Ben-Gurion University of the Negev Guni Sharon, Ben-Gurion University of the Negev Nathan R. Sturtevant, University of Denver |
ACL自然语言处理 | 使用核回归的弦度量学习寻找非任意形式意义系统性 | E. Darío Gutiérrez,加州大学伯克利分校;等人。 Roger Levy, Massachusetts Institute of Technology Benjamin K. Bergen, University of California, San Diego |
CHI人机交互 | 视觉外观对连续滑块和视觉模拟量表性能的影响 | Justin Matejka,欧特克;等人。 Michael Glueck, Autodesk Tovi Grossman, Autodesk George Fitzmaurice, Autodesk |
为使用电动轮椅的年轻人设计基于动作的游戏 | 凯瑟琳·格尔林,林肯大学;等人。 Kieran Hicks, University of Lincoln Michael Kalyn, University of Lincoln Adam Evans, University of Copenhagen Conor Linehan, University College Cork | |
面向对象绘图 | 夏海军,多伦多大学;等人。 Bruno Araujo, University of Toronto Tovi Grossman, Autodesk Daniel Wigdor, University of Toronto | |
使设计师能够预见用户看不到的颜色 | Katharina Reinecke,华盛顿大学;等人。 David R. Flatla, University of Dundee Christopher Brooks, University of Michigan | |
通过拉贝拉观察阴道 | 特蕾莎·阿尔梅达,纽卡斯尔大学;等人。 Rob Comber, Newcastle University Gavin Wood, Newcastle University Dean Saraf, Newcastle University Madeline Balaam, Newcastle University | |
提花项目:大规模交互式数字纺织品 | 伊万·波普列夫,谷歌;等人。 Nan-Wei Gong, Google Shiho Fukuhara, Google Mustafa Emre Karagozler, Google Carsten Schwesig, Google Karen E. Robinson, Google | |
“我不想戴屏幕”:探索服装动态显示的认知和可能性 | 劳拉·德文多夫 (Laura Devendorf),加州大学伯克利分校;等人。 Joanne Lo, University of California, Berkeley Noura Howell, University of California, Berkeley Jung Lin Lee, University of California, Berkeley Nan-Wei Gong, Google M. Emre Karagozler, Google Shiho Fukuhara, Google Ivan Poupyrev, Google Eric Paulos, University of California, Berkeley Kimiko Ryokai, University of California, Berkeley | |
短暂的快乐还是持久的意义?:区分幸福和快乐的用户体验 | Elisa D. Mekler,巴塞尔大学 Kasper Hornbæk,哥本哈根大学 | |
RapID:使用 RFID 标签制作低延迟交互式对象的框架 | 安德鲁·斯皮尔伯格,麻省理工学院;等人。 Alanson Sample, Disney Research Scott E. Hudson, Carnegie Mellon University Jennifer Mankoff, Carnegie Mellon University James McCann, Disney Research | |
人机交互研究解决问题 | Antti Oulasvirta,阿尔托大学 Kasper Hornbæk,哥本哈根大学 | |
触觉波:为视障音频制作人提供的跨模式界面 | Atau Tanaka 和 Adam Parkinson,伦敦大学金史密斯学院 | |
FlexCase:通过灵活的传感和显示盖增强移动交互 | Christian Rendl,上奥地利应用科学大学;等人。 David Kim, Microsoft Patrick Parzer, University of Applied Sciences Upper Austria Sean Fanello, Microsoft Martin Zirkl, Institute of Surface Technologies and Photonics Gregor Scheipl, Joanneum Research Forschungsgesellschaft m.b.H Michael Haller, University of Applied Sciences Upper Austria Shahram Izadi, Microsoft | |
亲爱的日记:青少年反思他们每周的在线风险经历 | 帕梅拉·维斯涅夫斯基 (Pamela Wisniewski),中佛罗里达大学;等人。 Heng Xu, Pennsylvania State University Mary Beth Rosson, Pennsylvania State University Daniel F. Perkins, Pennsylvania State University John M. Carroll, Pennsylvania State University | |
了解并减轻设备和云服务设计决策对数字基础设施环境足迹的影响 | 克里斯·普雷斯特,布里斯托大学;等人。 Daniel Schien, University of Bristol Eli Blevis, Indiana University Bloomington | |
通过交互式插图增强跨设备交互脚本 | Pei-Yu (Peggy) Chi,加州大学伯克利分校;等人。 Yang Li, Google Björn Hartmann, University of California, Berkeley | |
与 BACh 一起学习钢琴:根据大脑状态调整任务难度的自适应学习界面 | Beste F. Yuksel,塔夫茨大学;等人。 Kurt B. Oleson, Tufts University Lane Harrison, Worcester Polytechnic Institute Evan M. Peck, Bucknell University Daniel Afergan, Tufts University Remco Chang, Tufts University Robert JK Jacob, Tufts University | |
智能触摸:通过模板匹配提高运动障碍人士的触摸准确性 | 马丁斯·E·莫特,华盛顿大学;等人。 Radu-Daniel Vatavu, Ștefan cel Mare University of Suceava Shaun K. Kane, University of Colorado Boulder Jacob O. Wobbrock, University of Washington | |
根据用户交互构建个性化、自动校准的眼动仪 | 黄学林,香港理工大学;等人。 Tiffany C.K. Kwok, Hong Kong Polytechnic University Grace Ngai, Hong Kong Polytechnic University Stephen C.F. Chan, Hong Kong Polytechnic University Hong Va Leong, Hong Kong Polytechnic University | |
开发和验证用户负担量表:评估计算系统中用户负担的工具 | Hyewon Suh,华盛顿大学;等人。 Nina Shahriaree, University of Washington Eric B. Hekler, Arizona State University Julie A. Kientz, University of Washington | |
在大量相似变种中觅食 | Sruti Srinivasa Ragavan,俄勒冈州立大学;等人。 Sandeep Kaur Kuttal, Oregon State University Charles Hill, Oregon State University Anita Sarma, Oregon State University David Piorkowski, Oregon State University Margaret Burnett, Oregon State University | |
在多帐户、多设备世界中查找电子邮件 | Marta E. Cecchinato,伦敦大学学院;等人。 Abigail Sellen, Microsoft Milad Shokouhi, Microsoft Gavin Smyth, Microsoft | |
Empath:理解大型文本中的主题信号 | 伊森·法斯特,斯坦福大学;等人。 Binbin Chen, Stanford University Michael Bernstein, Stanford University | |
Lock n' LoL:基于团体的限制辅助应用程序,可减轻智能手机在团体活动中的干扰 | Minsam Ko,韩国科学技术院;等人。 Seungwoo Choi, KAIST Koji Yatani, University of Tokyo Uichin Lee, KAIST | |
CIKM知识管理 | 维基数据中的破坏行为检测 | Stefan Heindorf,帕德博恩大学;等人。 Martin Potthast, Bauhaus University Benno Stein, Bauhaus University Gregor Engels, University of Paderborn |
CVPR计算机视觉 | 用于图像识别的深度残差学习 | 何凯明,微软;等人。 Xiangyu Zhang, Microsoft Shaoqing Ren, Microsoft Jian Sun, Microsoft |
焦点理论 | 解决计算近似两人纳什均衡的复杂性 | 阿维亚德·鲁宾斯坦,加州大学伯克利分校 |
快速学习需要良好的记忆力:奇偶学习的时空下界 | Ran Raz,魏茨曼科学研究所 | |
FSE软件工程 | 使用细粒度变化的统计学习进行 API 代码推荐 | Anh Tuan Nguyen,爱荷华州立大学;等人。 Michael Hilton, Oregon State University Mihai Codoban, Microsoft Hoan Anh Nguyen, Iowa State University Lily Mast, University of Evansville Eli Rademacher, Oregon State University Tien N. Nguyen, Iowa State University Danny Dig, Oregon State University |
通过双向文本相关性分析检测敏感数据泄露 | 黄建军,普渡大学;等人。 Xiangyu Zhang, Purdue University Lin Tan, University of Waterloo | |
影响行业代码审查流程的因素 | Tobias Baum,汉诺威莱布尼茨大学;等人。 Olga Liskin, Leibniz University Hannover Kai Niklas, Leibniz University Hannover Kurt Schneider, Leibniz University Hannover | |
觅食和航行的根本:开发者对价值和成本的预测 | 大卫·皮奥尔科夫斯基,俄勒冈州立大学;等人。 Austin Z. Henley, University of Memphis Tahmid Nabi, Oregon State University Scott D. Fleming, University of Memphis Christopher Scaffidi, Oregon State University Margaret Burnett, Oregon State University | |
多表征安全分析 | Eunsuk Kang,加州大学伯克利分校;等人。 Aleksandar Milicevic, Microsoft Daniel Jackson, Massachusetts Institute of Technology | |
Proteus:通过路径依赖分析计算析取循环摘要 | 谢晓飞,天津大学;等人。 Bihuan Chen, Nanyang Technological University Yang Liu, Nanyang Technological University Wei Le, Iowa State University Xiaohong Li, Tianjin University | |
我们为什么重构?GitHub 贡献者的自白 | Danilo Silva,米纳斯吉拉斯联邦大学;等人。 Nikolaos Tsantalis, Concordia University Marco Tulio Valente, Federal University of Minas Gerais | |
ICML机器学习 | 深度强化学习的决斗网络架构 | 王子宇,谷歌;等人。 Tom Schaul, Google Matteo Hessel, Google Hado van Hasselt, Google Marc Lanctot, Google Nando de Freitas, University of Oxford |
像素递归神经网络 | 亚伦·范登奥尔德,谷歌;等人。 Nal Kalchbrenner, Google Koray Kavukcuoglu, Google | |
确保异步吉布斯采样的快速混合和低偏差 | 克里斯托弗·德萨,斯坦福大学;等人。 Chris Re, Stanford University Kunle Olukotun, Stanford University | |
ICSE软件工程 | 使用 MapReduce 进行高效的大规模跟踪检查 | Marcello M. Bersani,米兰理工大学;等人。 Domenico Bianculli, University of Luxembourg Carlo Ghezzi, Politecnico di Milano Srđan Krstić, Politecnico di Milano Pierluigi San Pietro, Politecnico di Milano |
Java 集合类的能量概况 | 萨米尔·哈桑,奥本大学;等人。 Zachary King, Auburn University Munawar Hafiz, Auburn University Mohammed Sayagh, Polytechnique Montréal Bram Adams, Polytechnique Montréal Abram Hindle, University of Alberta | |
针对已部署 JavaScript 应用程序的反馈导向检测 | 马格努斯·马德森,滑铁卢大学;等人。 Frank Tip, Samsung Esben Andreasen, Aarhus University Koushik Sen, University of California, Berkeley Anders Møller, Aarhus University | |
从词嵌入到文档相似性以改进软件工程中的信息检索 | 叶鑫,俄亥俄大学;等人。 Hui Shen, Ohio University Xiao Ma, Ohio University Razvan Bunescu, Ohio University Chang Liu, Ohio University | |
引导动态符号执行走向未经验证的程序执行 | 玛丽亚·克里斯塔基斯 (Maria Christakis),苏黎世联邦理工学院;等人。 Peter Müller, ETH Zurich Valentin Wüstholz, ETH Zurich | |
关于我们创建的技术、我们构建的工具及其错位:KLEE 研究 | Eric F. Rizzi,GrammaTech ;等人。 Sebastian Elbaum, University of Nebraska–Lincoln Matthew B. Dwyer, University of Nebraska–Lincoln | |
LLVM 窥孔优化的终止检查 | David Menendez 和 Santosh Nagarakatte,罗格斯大学 | |
VDTest:支持虚拟设备测试的自动化框架 | 于婷婷,肯塔基大学;等人。 Xiao Qu, ABB Switzerland Ltd Corporate Research Myra B. Cohen, University of Nebraska–Lincoln | |
拉式开发的工作实践和挑战:贡献者的视角 | Georgios Gousios,奈梅亨拉德堡德大学;等人。 Margaret-Anne Storey, University of Victoria Alberto Bacchelli, Delft University of Technology | |
IJCAI人工智能 | 用于广义规划的分层有限状态控制器 | 哈维尔·塞戈维亚,庞培法布拉大学;等人。 Sergio Jiménez, Pompeu Fabra University Anders Jonsson, Pompeu Fabra University |
信息通信网络 | Heavy-Ball:无线网络优化中抑制延迟和收敛的新方法 | 刘佳,俄亥俄州立大学;等人。 Atilla Eryilmaz, Ohio State University Ness B. Shroff, Ohio State University Elizabeth Serena Bentley, Air Force Research Laboratory |
KDD数据挖掘 | 欺诈:伪装下的边界图欺诈 | Bryan Hooi,卡内基梅隆大学;等人。 Hyun Ah Song, Carnegie Mellon University Alex Beutel, Carnegie Mellon University Neil Shah, Carnegie Mellon University Kijung Shin, Carnegie Mellon University Christos Faloutsos, Carnegie Mellon University |
NeurIPS机器学习 | 价值迭代网络 | 阿维夫·塔玛 (Aviv Tamar),加州大学伯克利分校;等人。 Yi Wu, University of California, Berkeley Garrett Thomas, University of California, Berkeley Sergey Levine, University of California, Berkeley Pieter Abbeel, University of California, Berkeley |
NSDI网络 | 无源 Wi-Fi:降低 Wi-Fi 传输功耗 | 布莱斯·凯洛格,华盛顿大学;等人。 Vamsi Talla, University of Washington Shyamnath Gollakota, University of Washington Joshua R. Smith, University of Washington |
OSDI操作系统 | Ryoan:用于秘密数据不可信计算的分布式沙箱 | 泰勒·亨特,德克萨斯大学奥斯汀分校;等人。 Zhiting Zhu, University of Texas at Austin Yuanzhong Xu, University of Texas at Austin Simon Peter, University of Texas at Austin Emmett Witchel, University of Texas at Austin |
及早检测配置错误以减少故障损坏 | 徐天银,加州大学圣地亚哥分校;等人。 Xinxin Jin, University of California, San Diego Peng Huang, University of California, San Diego Yuanyuan Zhou, University of California, San Diego Shan Lu, University of Chicago Long Jin, University of California, San Diego Shankar Pasupathy, NetApp | |
通过崩溃优化对文件系统进行一键式验证 | Helgi Sigurbjarnarson,华盛顿大学;等人。 James Bornholt, University of Washington Emina Torlak, University of Washington Xi Wang, University of Washington | |
PLDI编程语言 | 深入 C 语言:阐述事实上的标准 | Kayvan Memarian,剑桥大学;等人。 Justus Matthiesen, University of Cambridge James Lingard, University of Cambridge Kyndylan Nienhuis, University of Cambridge David Chisnall, University of Cambridge Robert N. M. Watson, University of Cambridge Peter Sewell, University of Cambridge |
事务数据结构库 | Alexander Spiegelman,以色列理工学院;等人。 Guy Golan-Gueta, Yahoo Idit Keidar, Technion – Israel Institute of Technology | |
数据类型:使结构化数据成为 F# 中的一等公民 | 托马斯·彼得里切克,剑桥大学;等人。 Gustavo Guerra, Microsoft Don Syme, Microsoft | |
评估特定于程序的垃圾收集性能的限制 | Nicholas Jacek,马萨诸塞大学阿默斯特分校;等人。 Meng-Chieh Chiu, University of Massachusetts Amherst Benjamin Marlin, University of Massachusetts Amherst Eliot Moss, University of Massachusetts Amherst | |
PODS数据库 | 常见问题解答:常见问题 | Mahmoud Abo Khamis,布法罗大学;等人。 Hung Q. Ngo, University at Buffalo Atri Rudra, University at Buffalo |
标准普尔安全和隐私 | A2:模拟恶意硬件 | 杨开元,密歇根大学;等人。 Matthew Hicks, University of Michigan Qing Dong, University of Michigan Todd Austin, University of Michigan Dennis Sylvester, University of Michigan |
信号通讯网络 | 不要介意差距:桥接网络范围目标和设备级配置 | 瑞安·贝克特,普林斯顿大学;等人。 Ratul Mahajan, Microsoft Todd Millstein, University of California, Los Angeles Jitendra Padhye, Microsoft David Walker, Princeton University |
消除下一代蜂窝网络中的信道反馈 | Deepak Vasisht,麻省理工学院;等人。 Swarun Kumar, Carnegie Mellon University Hariharan Rahul, Massachusetts Institute of Technology Dina Katabi, Massachusetts Institute of Technology | |
跨技术反向散射:实现植入设备的互联网连接 | 维克拉姆·艾耶,华盛顿大学;等人。 Vamsi Talla, University of Washington Bryce Kellogg, University of Washington Shyamnath Gollakota, University of Washington Joshua Smith, University of Washington | |
SIGIR信息检索 | 了解信息需求:功能磁共振成像研究 | Yashar Moshfeghi,格拉斯哥大学;等人。 Peter Triantafillou, University of Glasgow Frank E. Pollick, University of Glasgow |
SIGMETRICS性能 | 非线性 Pólya 瓮过程中适应性竞争的持续时间和强度 | 姜波,马萨诸塞大学阿默斯特分校;等人。 Daniel R. Figueiredo, Federal University of Rio de Janeiro Bruno Ribeiro, Purdue University Don Towsley, University of Massachusetts Amherst |
SIGMOD数据库 | Wander Join:通过随机游走进行在线聚合 | 李飞飞,犹他大学;等人。 Bin Wu, Hong Kong University of Science and Technology Ke Yi, Hong Kong University of Science and Technology Zhuoyue Zhao, Shanghai Jiao Tong University |
苏打理论 | 一种改进的最大独立集分布式算法 | 莫森·加法里,麻省理工学院 |
近乎最佳的轻型扳手 | Shiri Chechik,特拉维夫大学 Christian Wulff-Nilsen,哥本哈根大学 | |
STOC理论 | Reed-Muller 码实现了擦除通道的容量 | Shrinivas Kudekar,高通;等人。 Santhosh Kumar, Texas A&M University Marco Mondelli, École Polytechnique Fédérale de Lausanne Henry D. Pfister, Duke University Eren Sasoglu, Intel Rudiger Urbanke, École Polytechnique Fédérale de Lausanne |
显式双源提取器和弹性函数 | Eshan Chattopadhyay 和 David Zuckerman,德克萨斯大学奥斯汀分校 | |
拟多项式时间内的图同构 | 拉斯洛·巴巴伊,芝加哥大学 | |
UIST用户界面 | Rovables:作为移动可穿戴设备的微型贴身机器人 | Artem Dementyev,麻省理工学院;等人。 Hsin-Liu (Cindy) Kao, Massachusetts Institute of Technology Inrak Choi, Stanford University Deborah Ajilo, Massachusetts Institute of Technology Maggie Xu, Stanford University Joseph Paradiso, Massachusetts Institute of Technology Chris Schmandt, Massachusetts Institute of Technology Sean Follmer, Stanford University |
Zooids:Swarm 用户界面的构建块 | 马蒂厄·勒戈克,因里亚;等人。 Lawrence H. Kim, Stanford University Ali Parsaei, Stanford University Jean-Daniel Fekete, Inria Pierre Dragicevic, Inria Sean Follmer, Stanford University | |
proCover:使用智能纺织覆盖物增强假肢的感官 | Joanne Leong,上奥地利州应用科学大学;等人。 Patrick Parzer, University of Applied Sciences Upper Austria Florian Perteneder, University of Applied Sciences Upper Austria Teo Babic, University of Applied Sciences Upper Austria Christian Rendl, University of Applied Sciences Upper Austria Anita Vogl, University of Applied Sciences Upper Austria Hubert Egger, University of Applied Sciences Upper Austria Alex Olwal, Google Michael Haller, University of Applied Sciences Upper Austria | |
ViBand:使用商品智能手表加速计的高保真生物声学传感 | Gierad Laput,卡内基梅隆大学;等人。 Robert Xiao, Carnegie Mellon University Chris Harrison, Carnegie Mellon University | |
VLDB数据库 | 用于大规模机器学习的压缩线性代数 | 艾哈迈德·埃尔戈哈里,马里兰大学;等人。 Matthias Boehm, IBM Peter Haas, IBM Fred Reiss, IBM Berthold Reinwald, IBM |
万维网_ | 压力下的社交网络 | 丹尼尔·罗梅罗,密歇根大学;等人。 Brian Uzzi, Northwestern University Jon Kleinberg, Cornell University |
2015年 | ||
---|---|---|
AAAI人工智能 | 从非负到一般算子成本划分 | Florian Pommerening,巴塞尔大学;等人。 Malte Helmert, University of Basel Gabriele Röger, University of Basel Jendrik Seipp, University of Basel |
ACL自然语言处理 | 学习动态特征选择以实现快速序列预测 | 艾玛·斯特鲁贝尔,马萨诸塞大学阿默斯特分校;等人。 Luke Vilnis, University of Massachusetts Amherst Kate Silverstein, University of Massachusetts Amherst Andrew McCallum, University of Massachusetts Amherst |
改进机器翻译质量评估的评估 | 伊维特·格雷厄姆,都柏林三一学院 | |
CHI人机交互 | Affordance++:允许对象进行动态使用交流 | 佩德罗·洛佩斯,哈索·普拉特纳研究所;等人。 Patrik Jonell, Hasso Plattner Institute Patrick Baudisch, Hasso Plattner Institute |
VelociTap:使用基于句子的触摸屏键盘输入解码研究快速移动文本输入 | Keith Vertanen,蒙大拿理工大学;等人。 Haythem Memmi, Montana Technological University Justin Emge, Montana Technological University Shyam Reyal, University of St Andrews Per Ola Kristensson, University of Cambridge | |
是什么让中断具有破坏性?:问题状态瓶颈对任务中断和恢复影响的过程模型说明 | Jelmer P. Borst,格罗宁根大学;等人。 Niels A. Taatgen, University of Groningen Hedderik van Rijn, University of Groningen | |
轻量级地形剪切增强交互式地图上的地形感知 | 韦斯利·威利特,因里亚;等人。 Bernhard Jenny, Oregon State University Tobias Isenberg, Inria Pierre Dragicevic, Inria | |
工业环境中机器人同事的社会影响 | Allison Sauppé 和 Bilge Mutlu,威斯康星大学麦迪逊分校 | |
Sangeet Swara:印度农村社区主持的语音论坛 | Aditya Vashistha,华盛顿大学;等人。 Edward Cutrell, Microsoft Gaetano Borriello, University of Washington William Thies, Microsoft | |
在社交媒体网站上理解和支持父亲和父亲身份 | Tawfiq Ammari 和 Sarita Schoenebeck,密歇根大学 | |
Patina Engraver:将活动日志可视化为时尚追踪器中的 Patina | Moon-Hwan Lee,韩国科学技术院;等人。 Seijin Cha, KAIST Tek-Jin Nam, KAIST | |
流体分组:量化野外互动桌面展览的群体参与度 | 弗洛里安·布洛克,哈佛大学;等人。 James Hammerman, Terc Michael Horn, Northwestern University Amy Spiegel, University of Nebraska–Lincoln Jonathan Christiansen, Terc Brenda Phillips, Harvard University Judy Diamond, Bulletin of the University of Nebraska State Museum E. Margaret Evans, University of Michigan Chia Shen, Harvard University | |
韧性减轻青少年网络成瘾和在线风险暴露的负面影响 | 帕梅拉·维斯涅夫斯基 (Pamela Wisniewski),宾夕法尼亚州立大学;等人。 Haiyan Jia, Pennsylvania State University Na Wang, Pennsylvania State University Saijing Zheng, Pennsylvania State University Heng Xu, Pennsylvania State University Mary Beth Rosson, Pennsylvania State University John Carroll, Pennsylvania State University | |
BaseLase:交互式聚焦+上下文激光地板 | Jörg Müller,奥尔胡斯大学;等人。 Dieter Eberle, Technical University of Berlin Constantin Schmidt, Technical University of Berlin | |
Tiree Energy Pulse:探索电网边缘的可再生能源预测 | 威尔·西姆,兰卡斯特大学;等人。 Maria Angela Ferrario, University of Lancaster Adrian Friday, University of Lancaster Peter Newman, University of Lancaster Stephen Forshaw, University of Lancaster Mike Hazas, University of Lancaster Alan Dix, University of Lancaster | |
iSkin:用于移动计算的灵活、可拉伸和视觉可定制的体上触摸传感器 | Martin Weigel,马克斯·普朗克信息学研究所;等人。 Tong Lu, Carnegie Mellon University Gilles Bailly, Télécom Paris Antti Oulasvirta, Aalto University Carmel Majidi, Carnegie Mellon University Jürgen Steimle, Max Planck Institute for Informatics | |
设计政治审议环境以支持公共领域的互动 | 布莱恩·塞曼 (Bryan Semaan),雪城大学;等人。 Heather Faucett, University of California, Irvine Scott P. Robertson, University of Hawaii at Manoa Misa Maruyama, University of Hawaii at Manoa Sara Douglas, University of Hawaii at Manoa | |
从以用户为中心到以采用为中心的设计:人机交互研究创新成为产品的案例研究 | Parmit K. Chilana,滑铁卢大学;等人。 Andrew J. Ko, University of Washington Jacob Wobbrock, University of Washington | |
Acoustruments:手持设备的无源、声学驱动、交互式控制 | Gierad Laput,卡内基梅隆大学;等人。 Eric Brockmeyer, Disney Research Scott E. Hudson, Carnegie Mellon University Chris Harrison, Carnegie Mellon University | |
维基百科的核心工作:世界上最大的在线百科全书中的性别、情感劳动 | 阿曼达·门金 (Amanda Menking),华盛顿大学 英格丽德·埃里克森 (Ingrid Erickson),罗格斯大学 | |
职业图像搜索结果中的不平等代表性和性别刻板印象 | 马修·凯,华盛顿大学;等人。 Cynthia Matuszek, University of Maryland, Baltimore County Sean A. Munson, University of Washington | |
分享即关怀:Thingiverse 上的辅助技术设计 | Erin Buehler,马里兰大学巴尔的摩县分校;等人。 Stacy Branham, University of Maryland, Baltimore County Abdullah Ali, University of Maryland, Baltimore County Jeremy J. Chang, University of Maryland, Baltimore County Megan Kelly Hofmann, Colorado State University Amy Hurst, University of Maryland, Baltimore County Shaun K. Kane, University of Maryland, Baltimore County | |
“我一直以为我和[她]并没有那么亲近”:对新闻提要中隐形算法的推理 | Motahare Eslami,伊利诺伊大学厄巴纳-香槟分校;等人。 Aimee Rickman, California State University Kristen Vaccaro, University of Illinois at Urbana–Champaign Amirhossein Aleyasen, University of Illinois at Urbana–Champaign Andy Vuong, University of Illinois at Urbana–Champaign Karrie Karahalios, University of Illinois at Urbana–Champaign Kevin Hamilton, University of Illinois at Urbana–Champaign Christian Sandvig, University of Michigan | |
ColourID:改善色觉障碍人士的颜色识别 | 大卫·R·弗拉特拉 (David R. Flatla),邓迪大学;等人。 Alan R. Andrade, University of Dundee Ross D. Teviotdale, University of Dundee Dylan L. Knowles, University of Saskatchewan Craig Stewart, University of Dundee | |
CIKM知识管理 | 评估句法和语义结构对答案段落重新排序的影响 | Kateryna Tymoshenko,特伦托大学 Alessandro Moschitti,卡塔尔计算研究所 |
CVPR计算机视觉 | DynamicFusion:实时重建和跟踪非刚性场景 | 理查德·A·纽科姆,华盛顿大学;等人。 Dieter Fox, University of Washington Steven M. Seitz, University of Washington |
焦点理论 | 布尔电路的平均情况深度层次定理 | 本杰明·罗斯曼,国家信息研究所;等人。 Rocco A. Servedio, Columbia University Li-Yang Tan, University of California, Berkeley |
FSE软件工程 | 从业者如何看待软件工程研究的相关性 | David Lo,新加坡管理大学;等人。 Nachiappan Nagappan, Microsoft Thomas Zimmermann, Microsoft |
混合离散连续状态流控制器的有效测试套件 | Reza Matinnejad,卢森堡大学;等人。 Shiva Nejati, University of Luxembourg Lionel C. Briand, University of Luxembourg Thomas Bruckmann, Delphi Automotive Systems | |
MultiSE:使用值摘要的多路径符号执行 | Koushik Sen,加州大学伯克利分校;等人。 George Necula, University of California, Berkeley Liang Gong, University of California, Berkeley Wontae Choi, University of California, Berkeley | |
建模可读性以改进单元测试 | Ermira Daka,谢菲尔德大学;等人。 José Campos, University of Sheffield Gordon Fraser, University of Sheffield Jonathan Dorn, University of Virginia Westley Weimer, University of Virginia | |
优化 Android 应用程序中 GUI 的能耗:多目标方法 | Mario Linares-Vásquez,威廉玛丽学院;等人。 Gabriele Bavota, Free University of Bozen-Bolzano Carlos Eduardo Bernal Cárdenas, College of William & Mary Rocco Oliveto, University of Molise Massimiliano Di Penta, University of Sannio Denys Poshyvanyk, College of William & Mary | |
测量一下?管理它吗?忽略它?软件从业者和技术债务 | 尼尔·A·恩斯特,卡内基梅隆大学;等人。 Stephany Bellomo, Carnegie Mellon University Ipek Ozkaya, Carnegie Mellon University Robert L. Nord, Carnegie Mellon University Ian Gorton, Carnegie Mellon University | |
用户引导的程序分析方法 | 拉维·曼加尔 (Ravi Mangal),佐治亚理工学院;等人。 Xin Zhang, Georgia Institute of Technology Aditya V. Nori, Microsoft Mayur Naik, Georgia Institute of Technology | |
用户当心:未来的偏好不一致 | Farnaz Behrang,佐治亚理工学院;等人。 Myra B. Cohen, University of Nebraska–Lincoln Alessandro Orso, Georgia Institute of Technology | |
ICCV计算机视觉 | 深度神经决策森林 | Peter Kontschieder,微软;等人。 Madalina Fiterau, Carnegie Mellon University Antonio Criminisi, Microsoft Samuel Rota Bulò, Microsoft |
ICML机器学习 | 在线提升的最优自适应算法 | 阿丽娜·贝格尔齐默 (Alina Beygelzimer),雅虎;等人。 Satyen Kale, Yahoo Haipeng Luo, Princeton University |
图结构稀疏性的近线性时间框架 | Chinmay Hegde,麻省理工学院;等人。 Piotr Indyk, Massachusetts Institute of Technology Ludwig Schmid, Massachusetts Institute of Technology | |
ICSE软件工程 | 关于实证软件工程的内部和外部有效性的观点 | 珍妮特·西格蒙德,帕绍大学;等人。 Norbert Siegmund, University of Passau Sven Apel, University of Passau |
预付多少?敏捷架构的扎根理论 | Michael Waterman,专业建筑服务有限公司;等人。 James Noble, Victoria University of Wellington George Allan, Victoria University of Wellington | |
你的代码何时以及为何开始变得难闻 | 米歇尔·图法诺 (Michele Tufano),威廉玛丽学院;等人。 Fabio Palomba, University of Salerno Gabriele Bavota, Free University of Bozen-Bolzano Rocco Oliveto, University of Molise Massimiliano Di Penta, University of Sannio Andrea De Lucia, University of Salerno Denys Poshyvanyk, College of William & Mary | |
Alloy*:通用高阶关系约束求解器 | 亚历山大·米利切维奇,麻省理工学院;等人。 Joseph P. Near, Massachusetts Institute of Technology Eunsuk Kang, Massachusetts Institute of Technology Daniel Jackson, Massachusetts Institute of Technology | |
为什么优秀的开发人员会写出糟糕的代码:组织因素对软件质量影响的观察性案例研究 | Mathieu Lavallée 和 Pierre N. Robillard,蒙特利尔理工学院 | |
CARAMEL:检测并修复具有非侵入式修复的性能问题 | 阿德里安·尼斯特,查普曼大学;等人。 Po-Chun Chang, University of Wisconsin–Madison Cosmin Radoi, University of Illinois at Urbana–Champaign Shan Lu, University of Chicago | |
IJCAI人工智能 | 非凸优化的递归分解 | Abram L. Friesen 和 Pedro Domingos,华盛顿大学 |
用于后验估计的贝叶斯主动学习 | Kirthevasan Kandasamy,卡内基梅隆大学;等人。 Jeff Schneider, Carnegie Mellon University Barnabas Poczos, Carnegie Mellon University | |
信息通信网络 | 随机负载平衡中略多于一个样本的威力 | 雷英,亚利桑那州立大学;等人。 R. Srikant, University of Illinois at Urbana–Champaign Xiaohan Kang, Arizona State University |
KDD数据挖掘 | 公私社交网络的高效算法 | Flavio Chierichetti,罗马第一大学;等人。 Alessandro Epasto, Brown University Ravi Kumar, Google Silvio Lattanzi, Google Vahab Mirrokni, Google |
摩比通移动 | CAreDroid:Android ContextAware 应用程序的适配框架 | Salma Elmalaki,加州大学洛杉矶分校;等人。 Lucas Wanner, University of California, Los Angeles Mani Srivastava, University of California, Los Angeles |
NeurIPS机器学习 | 竞争分布估计:为什么古德图灵好 | 阿隆·奥尔利茨基 (Alon Orlitsky) 和阿南达·苏雷什 (Ananda Suresh),加州大学圣地亚哥分校 |
游戏中正则化学习的快速收敛 | Vasilis Syrgkanis,微软;等人。 Alekh Agarwal, Microsoft Haipeng Luo, Princeton University Robert Schapire, Microsoft | |
NSDI网络 | Open vSwitch的设计与实现 | Ben Pfaff,VMware 公司;等人。 Justin Pettit, VMware Inc. Teemu Koponen, VMware Inc. Ethan J. Jackson, VMware Inc. Andy Zhou, VMware Inc. Jarno Rajahalme, VMware Inc. Jesse Gross, VMware Inc. Alex Wang, VMware Inc. Jonathan Stringer, VMware Inc. Pravin Shelar, VMware Inc. Keith Amidon, Awake Networks Martín Casado, VMware Inc. |
当你可以跳过队列时,队列就不再重要了! | 马修·格罗夫纳,剑桥大学;等人。 Malte Schwarzkopf, University of Cambridge Ionel Gog, University of Cambridge Robert N. M. Watson, University of Cambridge Andrew W. Moore, University of Cambridge Steven Hand, University of Cambridge Jon Crowcroft, University of Cambridge | |
在数据中心网络中使用近似同步设计分布式系统 | 丹·RK·波特斯,华盛顿大学;等人。 Jialin Li, University of Washington Vincent Liu, University of Washington Naveen Kr. Sharma, University of Washington Arvind Krishnamurthy, University of Washington | |
PLDI编程语言 | 自动提高浮点表达式的准确性 | 帕维尔·潘切卡,华盛顿大学;等人。 Alex Sanchez-Stern, University of Washington James R. Wilcox, University of Washington Zachary Tatlock, University of Washington |
使用类诊断类型错误 | 张丹峰,康奈尔大学;等人。 Andrew C. Myers, Cornell University Dimitrios Vytiniotis, Microsoft Simon Peyton-Jones, Microsoft | |
通过 Alive 验证窥孔优化的正确性 | 努诺·P·洛佩斯,微软;等人。 David Menendez, Rutgers University Santosh Nagarakatte, Rutgers University John Regehr, University of Utah | |
PODS数据库 | 联合查询的并行正确性和可转移性 | 汤姆·J·阿姆卢特,哈瑟尔特大学;等人。 Gaetano Geck, TU Dortmund Bas Ketsman, Hasselt University Frank Neven, Hasselt University Thomas Schwentick, TU Dortmund |
标准普尔安全和隐私 | 混乱的联盟状态:驯服 TLS 的复合状态机 | 本杰明·伯杜什,因里亚;等人。 Karthikeyan Bhargavan, Inria Antoine Delignat-Lavaud, Inria Cédric Fournet, Microsoft Markulf Kohlweiss, Microsoft Alfredo Pironti, Inria Pierre-Yves Strub, IMDEA Nanoscience Institute Jean Karim Zinzindohoue, Inria |
Riposte:处理数百万用户的匿名消息系统 | 亨利·科里根-吉布斯,斯坦福大学;等人。 Dan Boneh, Stanford University David Mazières, Stanford University | |
信号通讯网络 | 对分布式路由的集中控制 | Stefano Vissicchio,鲁汶天主教大学;等人。 Olivier Tilmans, Université catholique de Louvain Laurent Vanbever, ETH Zurich Jennifer Rexford, Princeton University |
SIGIR信息检索 | QuickScorer:一种使用回归树的可加集成对文档进行排名的快速算法 | Claudio Lucchese,信息科学与技术研究所;等人。 Franco Maria Nardini, Istituto di Scienza e Tecnologie dell'Informazione Salvatore Orlando, IUAV University of Venice Raffaele Perego, Istituto di Scienza e Tecnologie dell'Informazione Nicola Tonellotto, Istituto di Scienza e Tecnologie dell'Informazione Rossano Venturini, Istituto di Scienza e Tecnologie dell'Informazione |
SIGMETRICS性能 | 间谍与间谍:谣言来源混淆 | Giulia Fanti,加州大学伯克利分校;等人。 Peter Kairouz, University of Illinois at Urbana–Champaign Sewoong Oh, University of Illinois at Urbana–Champaign Pramod Viswanath, University of Illinois at Urbana–Champaign |
SIGMOD数据库 | 重温 DBSCAN:错误声明、不可修复性和近似 | 甘俊豪、陶宇飞,香港中文大学 |
苏打理论 | k-Biclique 的参数化复杂度 | 林丙凯,东京大学 |
SOSP操作系统 | 枢轴追踪:分布式系统的动态因果监控 | 乔纳森·梅斯,布朗大学;等人。 Ryan Roelke, Brown University Rodrigo Fonseca, Brown University |
使用 Crash Hoare Logic 来认证 FSCQ 文件系统 | 陈浩刚,麻省理工学院;等人。 Daniel Ziegler, Massachusetts Institute of Technology Tej Chajed, Massachusetts Institute of Technology Adam Chlipala, Massachusetts Institute of Technology M. Frans Kaashoek, Massachusetts Institute of Technology Nickolai Zeldovich, Massachusetts Institute of Technology | |
Coz:通过因果分析查找重要的代码 | Charlie Curtsinger,格林内尔学院 Emery Berger,马萨诸塞大学阿默斯特分校 | |
STOC理论 | 布尔函数的信息和通信的指数分离 | Anat Ganor,魏茨曼科学研究所;等人。 Gillat Kol, Princeton University Ran Raz, Weizmann Institute of Science |
半定规划松弛大小的下界 | 詹姆斯·R·李,华盛顿大学;等人。 Prasad Raghavendra, University of California, Berkeley David Steurer, Cornell University | |
具有次多项式通信的 2 服务器 PIR | Zeev Dvir 和 Sivakanth Gopi,普林斯顿大学 | |
UIST用户界面 | Foldio:利用可折叠印刷电子产品数字化制造交互式和变形物体 | Simon Olberding,马克斯·普朗克信息学研究所;等人。 Sergio Soto Ortega, Max Planck Institute for Informatics Klaus Hildebrandt, Max Planck Institute for Informatics Jurgen Steimle, Max Planck Institute for Informatics |
Orbits:使用平滑追踪眼球运动的智能手表凝视交互 | 奥古斯托·埃斯蒂夫斯,兰卡斯特大学;等人。 Eduardo Velloso, University of Lancaster Andreas Bulling, Max Planck Institute for Informatics Hans Gellersen, University of Lancaster | |
Webstrates:可共享的动态媒体 | 克莱门斯·克洛克莫斯,奥胡斯大学;等人。 James Eagan, Télécom Paris Siemen Baader, Aarhus University Wendy Mackay, Inria Michel Beaudouin-Lafon, University of Paris-Sud | |
VLDB数据库 | 为关系数据库构建交互式自然语言界面 | Fei Li 和 HV Jagadish,密歇根大学 |
万维网_ | HypTrails:用于比较网络上人类踪迹假设的贝叶斯方法 | Philipp Singer,GESIS - 莱布尼茨社会科学研究所,曼海姆;等人。 Denis Helic, Graz University of Technology Andreas Hotho, University of Würzburg Markus Strohmaier, GESIS - Leibniz-Institute for the Social Sciences, Mannheim |
2014年 | ||
---|---|---|
AAAI人工智能 | 从因果和统计推断中的选择偏差中恢复 | Elias Bareinboim,加州大学洛杉矶分校;等人。 Jin Tian, Iowa State University Judea Pearl, University of California, Los Angeles |
ACL自然语言处理 | 用于统计机器翻译的快速、鲁棒的神经网络联合模型 | Jacob Devlin,BBN 技术公司;等人。 Rabih Zbib, BBN Technologies Zhongqiang Huang, BBN Technologies Thomas Lamar, BBN Technologies Richard Schwartz, BBN Technologies John Makhoul, BBN Technologies |
CHI人机交互 | 消耗耐力:量化空中互动手臂疲劳的指标 | 安德斯·马库森,哥本哈根大学;等人。 Mikkel Jakobsen, University of Copenhagen Kasper Hornbaek, University of Copenhagen |
Duet:探索智能手机和智能手表的联合交互 | 陈翔,卡内基梅隆大学;等人。 Tovi Grossman, Autodesk Daniel Wigdor, University of Toronto George Fitzmaurice, Autodesk | |
96 字节内的打字-悬停-滑动:运动感应机械键盘 | 斯图尔特·A·泰勒,微软;等人。 Cem Keskin, Microsoft Otmar Hilliges, ETH Zurich Shahram Izadi, Microsoft John Helmes, Microsoft | |
显示尺寸和导航类型对分类任务的影响 | Can Liu,巴黎南大学;等人。 Olivier Chapuis, University of Paris-Sud Michel Beaudouin-Lafon, University of Paris-Sud Eric Lecolinet, Télécom Paris Wendy Mackay, Inria George Fitzmaurice, Autodesk | |
MixFab:个人制造的混合现实环境 | 克里斯蒂安·韦切尔,兰卡斯特大学;等人。 Manfred Lau, University of Lancaster David Kim, Microsoft Nicolas Villar, Microsoft Hans W Gellersen, University of Lancaster | |
与元的关系越来越密切:社交网站使用带来的联系强度的变化 | 莫伊拉·伯克、梅塔 ·罗伯特·克劳特,卡内基梅隆大学 | |
人机交互创新的新兴场所:黑客空间、硬件初创公司和孵化器 | Silvia Lindtner,加州大学欧文分校;等人。 Garnet Hertz, University of California, Irvine Paul Dourish, University of California, Irvine | |
为缓慢、期待和重访而设计:对 Photobox 的长期实地研究 | 威廉·奥多姆,卡内基梅隆大学;等人。 Abigail Sellen, Microsoft Richard Banks, Microsoft David Kirk, Newcastle University Tim Regan, Microsoft Mark Selby, University of Nottingham Jodi Forlizzi, Carnegie Mellon University John Zimmerman, Carnegie Mellon University | |
估算友好外包的社会成本 | Jeffrey Rzeszotarski 和 Meredith Morris,微软 | |
人权媒体档案馆管理中的人类价值观 | 阿比盖尔·杜兰特,纽卡斯尔大学;等人。 David Kirk, Newcastle University Stuart Reeves, University of Nottingham | |
“毒品”情绪:墨西哥毒品战争期间社交媒体的影响和脱敏 | Munmun De Choudhury,微软;等人。 Andres Monroy-Hernandez, Microsoft Gloria Mark, University of California, Irvine | |
实时反馈改善用药 | 马修·李,Philips Anind Dey,卡内基梅隆大学 | |
结构化标签促进机器学习中的概念演化 | 托德·库莱斯萨,俄勒冈州立大学;等人。 Saleema Amershi, Microsoft Rich Caruana, Microsoft Danyel Fisher, Microsoft Denis Charles, Microsoft | |
建立基于主动视觉的视觉搜索的准确实用的预测模型 | 大卫·基拉斯 (David Kieras),密歇根大学 安东尼·霍诺夫 (Anthony Hornof),俄勒冈大学 | |
RetroDepth:3D 轮廓传感,用于物理表面及上方的高精度输入 | 大卫·金,微软;等人。 Shahram Izadi, Microsoft Jakub Dostal, University of St Andrews Christoph Rhemann, Microsoft Cem Keskin, Microsoft Christopher Zach, Microsoft Jamie Shotton, Microsoft Timothy Large, Microsoft Steven Bathiche, Microsoft Matthias Niessner, Stanford University D. Alex Butler, Microsoft Sean Fanello, Istituto Italiano di Tecnologia Vivek Pradeep, Microsoft | |
通过并行策略探索和个性化认知建模理解多任务处理 | 张云峰和安东尼·霍诺夫,俄勒冈大学 | |
实现可持续发展:生态交互技术设计中的挑战 | Rayoung Yang,密歇根大学;等人。 Mark Newman, University of Michigan Jodi Forlizzi, Carnegie Mellon University | |
CIKM知识管理 | 跨设备搜索 | 乔治·蒙塔内斯,卡内基梅隆大学;等人。 Ryen White, Microsoft Xiao Huang, Microsoft |
CVPR计算机视觉 | 相机运动揭示了未知 BRDF 的形状 | Manmohan Chandraker,NEC 美国实验室 |
焦点理论 | 线性规划的路径查找方法:以 O(sqrt(rank)) 迭代求解线性规划和更快的最大流算法 | Yin Tat Lee 和 Aaron Sidford,麻省理工学院 |
FSE软件工程 | 内部软件生态系统的架构挑战:大规模行业案例研究 | 克劳斯-贝内迪克特·舒尔蒂斯,西门子;等人。 Christoph Elsner, Siemens Daniel Lohmann, University of Erlangen-Nuremberg |
代码示例总结的选择和呈现实践 | Annie Ying 和 Martin Robillard,麦吉尔大学 | |
学习自然编码约定 | Miltiadis Allamanis,爱丁堡大学;等人。 Earl T. Barr, University College London Christian Bird, Microsoft Charles Sutton, University of Edinburgh | |
AI:容忍并发错误的轻量级系统 | 张明星,清华大学;等人。 Yongwei Wu, Tsinghua University Shan Lu, University of Wisconsin–Madison Shanxiang Qi, University of Illinois at Urbana–Champaign Jinglei Ren, Tsinghua University Weimin Zheng, Tsinghua University | |
使用 Corral 为静态驱动程序验证器供电 | 阿卡什·拉尔和沙兹·卡迪尔,微软 | |
突变体可以有效替代软件测试中的真实错误吗? | René Just,华盛顿大学;等人。 Darioush Jalali, University of Washington Laura Inozemtseva, University of Waterloo Michael Ernst, University of Washington Reid Holmes, University of Waterloo Gordon Fraser, University of Sheffield | |
ICML机器学习 | 通过后收缩分析了解主题建模的限制因素 | 唐健,北京大学;等人。 Zhaoshi Meng, University of Michigan XuanLong Nguyen, University of Michigan Qiaozhu Mei, University of Michigan Ming Zhang, Peking University |
ICSE软件工程 | C# 异步编程研究和工具包 | Semih Okur,伊利诺伊大学厄巴纳-香槟分校;等人。 David L. Hartveld, Delft University of Technology Danny Dig, Oregon State University Arie van Deursen, Delft University of Technology |
表征和检测智能手机应用程序的性能错误 | 刘业庞,香港科技大学;等人。 Chang Xu, Nanjing University Shing-Chi Cheung, Hong Kong University of Science and Technology | |
覆盖率与测试套件有效性没有很强的相关性 | Laura Inozemtseva 和 Reid Holmes,滑铁卢大学 | |
牛仔、脚踝扭伤和质量守护者:视频游戏开发与软件开发有何不同? | 艾默生墨菲希尔,北卡罗来纳州立大学;等人。 Thomas Zimmermann, Microsoft Nachiappan Nagappan, Microsoft | |
通过 Veritesting 增强符号执行 | Thanassis Avgerinos,卡内基梅隆大学;等人。 Alexandre Rebert, Carnegie Mellon University Sang Kil Cha, Carnegie Mellon University David Brumley, Carnegie Mellon University | |
通过程序员的眼动追踪研究改进自动源代码摘要 | Paige Rodeghero,圣母大学;等人。 Collin McMillan, University of Notre Dame Paul W. McBurney, University of Notre Dame Nigel Bosch, University of Notre Dame Sidney D'Mello, University of Notre Dame | |
用鲁棒性换取可维护性:对不断发展的 C# 程序的实证研究 | Nélio Cacho,北里奥格兰德联邦大学;等人。 Thiago César, Universidade Federal do Rio Grande do Norte Thomas Filipe, Universidade Federal do Rio Grande do Norte Eliezio Soares, Universidade Federal do Rio Grande do Norte Arthur Cassio, Universidade Federal do Rio Grande do Norte Rafael Souza, Universidade Federal do Rio Grande do Norte Israel Garcia, Universidade Federal do Rio Grande do Norte Eiji Adachi Barbosa, Pontifical Catholic University of Rio de Janeiro Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro | |
了解 JavaScript 基于事件的交互 | Saba Alimadadi,不列颠哥伦比亚大学;等人。 Sheldon Sequeira, University of British Columbia Ali Mesbah, University of British Columbia Karthik Pattabiraman, University of British Columbia | |
使用 VMVM 进行单元测试虚拟化 | 乔纳森·贝尔和盖尔·凯泽,哥伦比亚大学 | |
信息通信网络 | 数据中心网络中的联合静态和动态流量调度 | 曹子忠,纽约大学坦登工程学院;等人。 M. Kodialam, Bell Labs T. V. Lakshman, Bell Labs |
内容交付网络的性能评估和渐进 | Virag Shah 和 Gustavo de Veciana,德克萨斯大学奥斯汀分校 | |
KDD数据挖掘 | 降低主题模型的采样复杂度 | Aaron Li,卡内基梅隆大学;等人。 Amr Ahmed, Google Sujith Ravi, Google Alexander Smola, Carnegie Mellon University |
摩比通移动 | Tagoram:使用 COTS 设备高精度实时跟踪移动 RFID 标签 | 杨雷,清华大学;等人。 Yekui Chen, Tsinghua University Xiang-Yang Li, Illinois Institute of Technology Chaowei Xiao, Tsinghua University Mo Li, Nanyang Technological University Yunhao Liu, Tsinghua University |
NeurIPS机器学习 | 用于亚线性时间最大内积搜索 (MIPS) 的非对称 LSH (ALSH) | Anshumali Shrivastava,康奈尔大学 Ping Li,罗格斯大学 |
A* 采样 | 克里斯托弗·麦迪森,多伦多大学;等人。 Daniel Tarlow, Microsoft Tom Minka, Microsoft | |
NSDI网络 | 软件数据平面验证 | Mihai Dobrescu 和 Katerina Argyraki,洛桑联邦理工学院 |
OSDI操作系统 | Arrakis:操作系统是控制平面 | 西蒙·彼得,华盛顿大学;等人。 Jialin Li, University of Washington Irene Zhang, University of Washington Dan Ports, University of Washington Doug Woos, University of Washington Arvind Krishnamurthy, University of Washington Thomas Anderson, University of Washington Timothy Roscoe, ETH Zurich |
使用 Haven 保护应用程序免受不受信任的云的影响 | 安德鲁·鲍曼,微软;等人。 Marcus Peinado, Microsoft Galen Hunt, Microsoft | |
IX:受保护的数据平面操作系统,可实现高吞吐量和低延迟 | 亚当·贝莱,斯坦福大学;等人。 George Prekas, École Polytechnique Fédérale de Lausanne Ana Klimovic, Stanford University Samuel Grossman, Stanford University Christos Kozyrakis, Stanford University Edouard Bugnion, École Polytechnique Fédérale de Lausanne | |
PLDI编程语言 | 通过等价模输入进行编译器验证 | Vu Le,加州大学戴维斯分校;等人。 Mehrdad Afshari, University of California, Davis Zhendong Su, University of California, Davis |
通过解构类型系统来提高 JavaScript 性能 | Wonsun Ahn,伊利诺伊大学厄巴纳-香槟分校;等人。 Jiho Choi, University of Illinois at Urbana–Champaign Thomas Shull, University of Illinois at Urbana–Champaign María Garzarín, University of Illinois at Urbana–Champaign Josep Torrellas, University of Illinois at Urbana–Champaign | |
数据记录中程序分析的抽象细化 | 张鑫,佐治亚理工学院;等人。 Ravi Mangal, Georgia Institute of Technology Radu Grigore, University of Oxford Mayur Naik, Georgia Institute of Technology Hongseok Yang, University of Oxford | |
PODS数据库 | 声明式网络的较弱单调性形式:对 CALM 猜想的更细粒度的答案 | 汤姆·J·阿姆卢特,哈瑟尔特大学;等人。 Bas Ketsman, Hasselt University Frank Neven, Hasselt University Daniel Zinn, LogicBlox |
标准普尔安全和隐私 | 比特币上的安全多方计算 | Marcin Andrychowicz,华沙大学;等人。 Stefan Dziembowski, University of Warsaw Daniel Malinowski, University of Warsaw Łukasz Mazurek, University of Warsaw |
信号通讯网络 | 平衡网络中的责任和隐私 | 大卫·内勒,卡内基梅隆大学;等人。 Matthew K. Mukerjee, Carnegie Mellon University Peter Steenkiste, Carnegie Mellon University |
CONGA:数据中心的分布式拥塞感知负载平衡 | Mohammad Alizadeh,思科系统公司;等人。 Tom Edsall, Cisco Systems Sarang Dharmapurikar, Cisco Systems Ramanan Vaidyanathan, Cisco Systems Kevin Chu, Cisco Systems Andy Fingerhut, Google Terry Lam, Cisco Systems Francis Matus, Cisco Systems Rong Pan, Cisco Systems Navindra Yadav, Cisco Systems George Varghese, Microsoft | |
SIGIR信息检索 | 分区 Elias-Fano 索引 | Giuseppe Ottaviano,比萨大学信息科学与技术学院 |
SIGMETRICS性能 | 单跳和多跳网络中的凹交换 | 尼尔·沃尔顿,阿姆斯特丹大学 |
SIGMOD数据库 | 特征选择工作负载的具体化优化 | 张策,斯坦福大学;等人。 Arun Kumar, University of Wisconsin–Madison Christopher Ré, Stanford University |
苏打理论 | 具有恒定数量的物品类型的装箱多项式 | 米歇尔·X·戈曼斯 (Michel X. Goemans) 和托马斯·罗斯沃斯 (Thomas Rothvoß),麻省理工学院 |
无向图中近似最大流的近线性时间算法及其多商品推广 | 乔纳森·凯尔纳 (Jonathan A. Kelner),麻省理工学院;等人。 Yin Tat Lee, Massachusetts Institute of Technology Lorenzo Orecchia, Massachusetts Institute of Technology Aaron Sidford, Massachusetts Institute of Technology | |
STOC理论 | 匹配的多胞形具有指数扩展复杂度 | 托马斯·罗斯沃斯,华盛顿大学 |
UIST用户界面 | 平板电脑+手写笔交互的传感技术 | 肯·欣克利,微软;等人。 Michel Pahud, Microsoft Hrvoje Benko, Microsoft Pourang Irani, Microsoft Marcel Gavriliu, Microsoft François Guimbretière, Microsoft Xiang Anthony Chen, Microsoft Fabrice Matulic, Microsoft William Buxton, Microsoft Andrew Wilson, Microsoft |
Flash 团队的专家众包 | 丹妮拉·雷特尔尼,斯坦福大学;等人。 Sébastien Robaszkiewicz, Stanford University Alexandra To, Stanford University Walter Lasecki, University of Rochester Jay Patel, Stanford University Negar Rahmati, Stanford University Tulsee Doshi, Stanford University Melissa Valentine, Stanford University Michael Bernstein, Stanford University | |
PrintScreen:制造高度可定制的薄膜触摸显示器 | Simon Olberding,马克斯·普朗克信息学研究所;等人。 Michael Wessely, Max Planck Institute for Informatics Jürgen Steimle, Max Planck Institute for Informatics | |
VLDB数据库 | 数据库破解中未破解的部分 | 菲利克斯·马丁·舒克内希特 (Felix Martin Schuhknecht),萨尔州大学;等人。 Alekh Jindal, Massachusetts Institute of Technology Jens Dittrich, Saarland University |
epiC:用于处理大数据的可扩展且可扩展的系统 | 蒋大伟,新加坡国立大学;等人。 Gang Chen, Zhejiang University Beng Chin Ooi, National University of Singapore Kian-Lee Tan, National University of Singapore Sai Wu, Zhejiang University | |
M4:面向可视化的时间序列数据聚合 | Uwe Jugel,SAP SE ;等人。 Zbigniew Jerzak, SAP SE Gregor Hackenbroich, SAP SE Volker Markl, Technical University of Berlin | |
用高级语言构建高效的查询引擎 | Yannis Klonatos,洛桑联邦理工学院;等人。 Christoph Koch, École Polytechnique Fédérale de Lausanne Tiark Rompf, École Polytechnique Fédérale de Lausanne Hassan Chaf, Oracle Corporation | |
论k-Path覆盖及其应用 | Stefan Funke,斯图加特大学;等人。 André Nusser, University of Stuttgart Sabine Storandt, University of Stuttgart | |
万维网_ | 使用奇数草图有效估计高相似性 | 迈克尔·米岑马赫,哈佛大学;等人。 Rasmus Pagh, IT University of Copenhagen Ninh Pham, IT University of Copenhagen |
2013年 | ||
---|---|---|
AAAI人工智能 | SMILe:打乱的多实例学习 | 加里·多兰 (Gary Doran) 和苏米亚·雷 (Soumya Ray),凯斯西储大学 |
HC-Search:学习结构化预测的启发式方法和成本函数 | Janardhan Rao Doppa,俄勒冈州立大学;等人。 Alan Fern, Oregon State University Prasad Tadepalli, Oregon State University | |
ACL自然语言处理 | 从用句子描述的视频中进行扎根语言学习 | 于浩南和杰弗里·马克·西斯金德,普渡大学 |
CHI人机交互 | 大脑连接分析的加权图比较技术 | Basak Alper,加州大学圣塔芭芭拉分校;等人。 Benjamin Bach, Inria Nathalie Riche, Microsoft Tobias Isenberg, Inria Jean-Daniel Fekete, Inria |
分析用户生成的 YouTube 视频以了解运动障碍人士对触摸屏的使用情况 | 丽莎·安东尼,马里兰大学巴尔的摩县分校;等人。 YooJin Kim, University of Maryland Leah Findlater, University of Maryland | |
批判性设计的“关键”是什么? | Jeffrey Bardzell 和 Shaowen Bardzell,印第安纳大学伯明顿分校 | |
迪比克电力门户:城市规模住宅用电反馈系统的评估 | 汤姆·埃里克森,IBM ;等人。 Ming Li, IBM Younghun Kim, IBM Ajay Deshpande, IBM Sambit Sahu, IBM Tian Chao, IBM Piyawadee Sukaviriya, IBM Milind Naphade, IBM | |
改进基于导航的文件检索 | 斯蒂芬·菲切特,坎特伯雷大学;等人。 Andy Cockburn, University of Canterbury Carl Gutwin, University of Saskatchewan | |
SPRWeb:通过自动重新着色保留对网站配色方案的主观响应 | David R. Flatla,萨斯喀彻温大学;等人。 Katharina Reinecke, Harvard University Carl Gutwin, University of Saskatchewan Krzysztof Z. Gajos, Harvard University | |
人工后期编辑对语言翻译的功效 | 斯宾塞·格林,斯坦福大学;等人。 Jeffrey Heer, Stanford University Christopher D. Manning, Stanford University | |
注意理论差距:在人机交互研究中解释、使用和发展行为理论 | 埃里克·B·赫克勒 (Eric B. Hekler),亚利桑那州立大学;等人。 Predrag Klasnja, University of Michigan Jon Froehlich, University of Maryland Matthew P. Buman, University of Maryland | |
Turkopticon:在 Amazon Mechanical Turk 中中断工人的隐形 | Lilly Irani,加州大学欧文分校 M. Six Silberman,经济解释局 | |
IllumiRoom:用于互动体验的外围投影幻觉 | 布雷特·琼斯,伊利诺伊大学厄巴纳-香槟分校;等人。 Hrvoje Benko, Microsoft Eyal Ofek, Microsoft Andrew D. Wilson, Microsoft | |
Webzeitgeist:设计挖掘网络 | Ranjitha Kumar,斯坦福大学;等人。 Arvind Satyanarayan, Stanford University Cesar Torres, Stanford University Maxine Lim, Stanford University Salman Ahmad, Massachusetts Institute of Technology Scott R. Klemmer, Stanford University Jerry O. Talton, Intel | |
LaserOrigami:激光切割 3D 物体 | Stefanie Mueller,哈索·普拉特纳研究所;等人。 Bastian Kruck, Hasso Plattner Institute Patrick Baudisch, Hasso Plattner Institute | |
移动微任务市场中的劳动力动态 | Mohamed Musthag 和 Deepak Ganesan,马萨诸塞大学阿默斯特分校 | |
通过娱乐创造就业机会:为低文化水平用户病毒式传播基于语音的服务 | Agha Ali Raza,卡内基梅隆大学;等人。 Farhan Ul Haq, Lahore University of Management Sciences Zain Tariq, Lahore University of Management Sciences Mansoor Pervaiz, Northeastern University Samia Razaq, Lahore University of Management Sciences Umar Saif, Lahore University of Management Sciences Roni Rosenfeld, Carnegie Mellon University | |
熟悉代理商:探索对未来智能能源基础设施的态度 | 汤姆·罗登,诺丁汉大学;等人。 Joel E. Fischer, University of Nottingham Nadia Pantidi, University of Nottingham Khaled Bachour, University of Nottingham Stuart Moran, University of Nottingham | |
Screenfinity:扩展超大型公共显示屏上内容的感知区域 | 康斯坦丁·施密特,柏林工业大学;等人。 Jörg Müller, Technical University of Berlin Gilles Bailly, Technical University of Berlin | |
质疑七段显示器的原因 | 哈罗德·廷布尔比,斯旺西大学 | |
元的多面性:将社交媒体体验为表演、展览和个人档案 | 赵轩,康奈尔大学;等人。 Niloufar Salehi, Cornell University Sasha Naranjit, Cornell University Sara Alwaalan, Cornell University Stephen Voida, Cornell University Dan Cosley, Cornell University | |
CIKM知识管理 | 穿毛衣的企鹅,或对用户生成内容的偶然实体搜索 | 伊拉里亚·博尔迪诺,雅虎;等人。 Yelena Mejova, Yahoo Mounia Lalmas, Yahoo |
CVPR计算机视觉 | 在单台机器上快速、准确地检测 100,000 个对象类 | 托马斯·迪恩,谷歌;等人。 Mark A. Ruzon, Google Mark Segal, Google Jonathon Shlens, Google Sudheendra Vijayanarasimhan, Google Jay Yagnik, Google |
焦点理论 | 使用电流导航中心路径:从流到匹配,然后返回 | 亚历山大·马德里 (Aleksander Mądry),洛桑联邦理工学院 |
关于动力学 Delaunay 三角剖分:单位速度运动的近二次界 | 纳坦鲁宾,巴黎第六大学:皮埃尔和玛丽居里大学 | |
ICCV计算机视觉 | 从大规模图像分类到入门级类别 | Vicente Ordonez,北卡罗来纳大学教堂山分校;等人。 Jia Deng, Stanford University Yejin Choi, Stony Brook University Alexander Berg, University of North Carolina at Chapel Hill Tamara Berg, University of North Carolina at Chapel Hill |
ICML机器学习 | 基于半微分的快速子模函数优化 | Rishabh Iyer,华盛顿大学;等人。 Stefanie Jegelka, University of California, Berkeley Jeff Bilmes, University of Washington |
消失成分分析 | Roi Livni,耶路撒冷希伯来大学;等人。 David Lehavi, Hewlett Packard Sagi Schein, Hewlett Packard Hila Nachlieli, Hewlett Packard Shai Shalev Shwartz, The Hebrew University of Jerusalum Amir Globerson, The Hebrew University of Jerusalum | |
ICSE软件工程 | 电子表格中的数据克隆检测和可视化 | Felienne Hermans,代尔夫特理工大学;等人。 Ben Sedee, Delft University of Technology Martin Pinzger, Delft University of Technology Arie van Deursen, Delft University of Technology |
基于交互的测试套件最小化 | 戴尔·布鲁,IBM ;等人。 Itai Segall, IBM Rachel Tzoref-Brill, IBM Aviad Zlotnick, IBM | |
协助大数据分析应用程序开发人员在 Hadoop 云上部署 | Weiyi Shang,女王大学;等人。 Zhen Ming Jiang, Queen's University Hadi Hemmati, Queen's University Bram Adams, Polytechnique Montréal Ahmed E. Hassan, Queen's University Patrick Martin, Queen's University | |
UML 实践 | 玛丽安·彼得,开放大学 | |
软件开发重点关注的双生态措施 | 达里尔·波斯内特,加州大学戴维斯分校;等人。 Raissa D'Souza, University of California, Davis Premkumar Devanbu, University of California, Davis Vladimir Filkov, University of California, Davis | |
从人类编写的补丁中学习自动生成补丁 | Dongsun Kim,香港科技大学;等人。 Jaechang Nam, Hong Kong University of Science and Technology Jaewoo Song, Hong Kong University of Science and Technology Sunghun Kim, Hong Kong University of Science and Technology | |
IJCAI人工智能 | 简单时态问题的灵活性和解耦 | 米歇尔·威尔逊,代尔夫特理工大学;等人。 Tomas Klos, Delft University of Technology Cees Witteveen, Delft University of Technology Bob Huisman, Delft University of Technology |
通过随机嵌入进行高维贝叶斯优化 | 王子宇,不列颠哥伦比亚大学;等人。 Masrour Zoghi, University of Amsterdam Frank Hutter, Freiberg University of Mining and Technology David Matheson, University of British Columbia Nando de Freitas, University of British Columbia | |
信息通信网络 | 论缓存网络的稳态 | Elisha J. Rosensweig,马萨诸塞大学阿默斯特分校;等人。 Daniel S. Menasche, University of Massachusetts Amherst Jim Kurose, University of Massachusetts Amherst |
KDD数据挖掘 | 简单且确定的矩阵草图 | 江户自由、雅虎 |
摩比通移动 | 使用无线信号进行全屋手势识别 | 蒲起帆,华盛顿大学;等人。 Sidhant Gupta, University of Washington Shyamnath Gollakota, University of Washington Shwetak Patel, University of Washington |
NeurIPS机器学习 | 复杂突触的记忆边界 | Subhaneil Lahiri 和 Surya Ganguli,斯坦福大学 |
具有子模覆盖和子模背包约束的子模优化 | Rishabh Iyer 和 Jeff Bilmes,华盛顿大学 | |
连续时间扩散网络中的可扩展影响估计 | 杜楠,佐治亚理工学院;等人。 Le Song, Georgia Institute of Technology Manuel Gomez-Rodriguez, Max Planck Institute for Intelligent Systems Hongyuan Zha, Georgia Institute of Technology | |
NSDI网络 | 容错工程网络 | Vincent Liu,华盛顿大学;等人。 Daniel Halperin, University of Washington Arvind Krishnamurthy, University of Washington Thomas Anderson, University of Washington |
大使馆:彻底重构网络 | 乔恩·豪威尔,微软;等人。 Bryan Parno, Microsoft John R. Douceur, Microsoft | |
PLDI编程语言 | 一种通用的以约束为中心的空间架构调度框架 | 托尼·诺瓦茨基,威斯康星大学麦迪逊分校;等人。 Michael Sartin-Tarm, University of Wisconsin–Madison Lorenzo De Carli, University of Wisconsin–Madison Karthikeyan Sankaralingam, University of Wisconsin–Madison Cristian Estan, Broadcom Behnam Robatmili, Qualcomm |
CLAP:记录本地执行以重现并发故障 | Jeff Huang,香港科技大学;等人。 Charles Zhang, Hong Kong University of Science and Technology Julian Dolby, IBM | |
概率程序的静态分析:从有限多个路径推断整个程序属性 | Sriram Sankaranarayanan,科罗拉多大学博尔德分校;等人。 Aleksandar Chakarov, University of Colorado Boulder Sumit Gulwani, Microsoft | |
协调详尽的模式与对象的匹配 | Chinawat Isradisaikul 和 Andrew C. Myers,康奈尔大学 | |
PODS数据库 | 通过合并验证数据库驱动系统 | Mikołaj Bojańczyk,华沙大学;等人。 Luc Segoufin, Inria Szymon Toruńczyk, University of Warsaw |
标准普尔安全和隐私 | 匹诺曹:近乎实用的可验证计算 | 布莱恩·帕诺,微软;等人。 Craig Gentry, IBM Jon Howell, Microsoft Mariana Raykova, IBM |
信号通讯网络 | 环境反向散射:无中生有的无线通信 | Vincent Liu,华盛顿大学;等人。 Aaron Parks, University of Washington Vamsi Talla, University of Washington Shyamnath Gollakota, University of Washington David Wetherall, University of Washington Joshua R. Smith, University of Washington |
SIGIR信息检索 | 网络搜索中的信念和偏见 | 瑞恩·怀特 (Ryan W. White),微软 |
SIGMETRICS性能 | 灵活性有限的排队系统拓扑 | John Tsitsiklis 和 Kuang Xu,麻省理工学院 |
SIGMOD数据库 | 海量图三角剖分 | 胡晓成,香港中文大学;等人。 Yufei Tao, The Chinese University of Hong Kong Chin-Wan Chung, KAIST |
苏打理论 | 图小分解的简单算法 - 逻辑与结构图论的结合 | 马丁·高仪,亚琛工业大学;等人。 Ken-ichi Kawarabayashi, National Institute of Informatics Bruce Reed, McGill University |
多对数最坏情况下的动态图连接 | Bruce M. Kapron,维多利亚大学;等人。 Valerie King, University of Victoria Ben Mountjoy, University of Victoria | |
SOSP操作系统 | 可扩展交换规则:为多核处理器设计可扩展软件 | 奥斯汀·T·克莱门茨,麻省理工学院;等人。 M. Frans Kaashoek, Massachusetts Institute of Technology Nickolai Zeldovich, Massachusetts Institute of Technology Robert T. Morris, Massachusetts Institute of Technology Eddie Kohler, Harvard University |
迈向优化安全系统:分析未定义行为的影响 | 王曦,麻省理工学院;等人。 Nickolai Zeldovich, Massachusetts Institute of Technology M. Frans Kaashoek, Massachusetts Institute of Technology Armando Solar-Lezama, Massachusetts Institute of Technology | |
Naiad:及时的数据流系统 | 德里克·默里 (Derek G. Murray),微软;等人。 Frank McSherry, Microsoft Rebecca Isaacs, Microsoft Michael Isard, Microsoft Paul Barham, Microsoft Martíın Abadi, Microsoft | |
STOC理论 | 来自成对独立子群的逼近阻力 | 陈少安,加州大学伯克利分校 |
输入稀疏时间的低秩逼近和回归 | 肯尼思·L·克拉克森和大卫·P·伍德拉夫,IBM | |
UIST用户界面 | PneUI:用于形状变化界面的气动软复合材料 | 姚丽宁,麻省理工学院;等人。 Ryuma Niiyama, Massachusetts Institute of Technology Jifei Ou, Massachusetts Institute of Technology Sean Follmer, Massachusetts Institute of Technology Clark Della Silva, Massachusetts Institute of Technology Hiroshi Ishii, Massachusetts Institute of Technology |
触摸和激活:使用主动声学传感为现有对象添加交互性 | Makoto Ono,筑波大学;等人。 Buntarou Shizuki, University of Tsukuba Jiro Tanaka, University of Tsukuba | |
Fiberio:感应指纹的触摸屏 | Christian Holz 和 Patrick Baudisch,哈索·普拉特纳研究所 | |
VLDB数据库 | DisC Diversity:基于差异性和覆盖范围的结果多样化 | Marina Drosou 和 Evaggelia Pitoura,约阿尼纳大学 |
万维网_ | 老会员无国界:在线社区的用户生命周期和语言变化 | Cristian Danescu-Niculescu-Mizil,斯坦福大学;等人。 Robert West, Stanford University Dan Jurafsky, Stanford University Jure Leskovec, Stanford University Christopher Potts, Stanford University |
2012年 | ||
---|---|---|
AAAI人工智能 | 使用不定核学习 SVM 分类器 | 谷遂成和郭玉红,天普大学 |
基于数据重构的文档摘要 | 何占英,浙江大学;等人。 Chun Chen, Zhejiang University Jiajun Bu, Zhejiang University Can Wang, Zhejiang University Lijan Zhang, Zhejiang University Deng Cai, Zhejiang University Xiaofei He, Zhejiang University | |
ACL自然语言处理 | 用于句法分析的贝叶斯符号精炼树替换文法 | Hiroyuki Shindo,NTT 通信科学实验室;等人。 Yusuke Miyao, National Institute of Informatics Akinori Fujino, NTT Communication Science Laboratories Masaaki Nagata, NTT Communication Science Laboratories |
CHI人机交互 | 使用移动设备虚拟键盘进行打字行为的观察和实验研究 | 尼尔斯·亨策,奥尔登堡大学;等人。 Enrico Rukzio, University of Duisburg-Essen Susanne Boll, University of Oldenburg |
使用 GPS 驾驶时常见的自然问题 | 巴里·布朗,斯德哥尔摩大学 埃里克·劳里尔,爱丁堡大学 | |
使用 CommandMap 改进命令选择 | 乔伊·斯卡尔,坎特伯雷大学;等人。 Andy Cockburn, University of Canterbury Carl Gutwin, University of Saskatchewan Andrea Bunt, University of Manitoba | |
社区采购:通过实体信息亭让当地人群参与专家工作 | Kurtis Heimerl,加州大学伯克利分校;等人。 Brian Gawalt, University of California, Berkeley Kuang Chen, University of California, Berkeley Tapan S. Parikh, University of California, Berkeley Björn Hartmann, University of California, Berkeley | |
Touché:增强人类、屏幕、液体和日常物体的触摸交互 | 佐藤宗彦 (Munehiko Sato),迪士尼研究中心;等人。 Ivan Poupyrev, Disney Research Chris Harrison, Disney Research | |
检测交互设计中与错误相关的负面影响 | Chi Vi 和 Sriram Subramanian,布里斯托大学 | |
同理心、参与式设计和痴呆症患者 | 斯蒂芬·林赛,纽卡斯尔大学;等人。 Katie Britain, Newcastle University Daniel Jackson, Newcastle University Cassim Ladha, Newcastle University Karim Ladha, Newcastle University Patrick Olivier, Newcastle University | |
镜子:关注商店橱窗互动性的实地研究 | Jörg Müller,柏林工业大学;等人。 Robert Walter, Technical University of Berlin Gilles Bailly, Technical University of Berlin Michael Nischt, Technical University of Berlin Florian Alt, University of Stuttgart | |
人机交互中的功能可供性:迈向中介行动的视角 | Victor Kaptelinin,卑尔根大学 Bonnie Nardi,加州大学欧文分校 | |
设计过程中的人物角色和决策:民族志案例研究 | 艾琳·弗里斯,北德克萨斯大学 | |
使用节奏模式作为输入方法 | Emilien Ghomi,巴黎南大学;等人。 Guillaume Faure, University of Paris-Sud Stephane Huot, University of Paris-Sud Olivier Chapuis, University of Paris-Sud Michel Beaudouin-Lafon, University of Paris-Sud | |
重温提花织机:人机交互的历史线索和当前模式 | Ylva Fernaeus,皇家理工学院;等人。 Martin Jonssonm, Södertörn University Jakob Tholanderm, Stockholm University | |
不舒服的互动 | 史蒂夫·本福德,诺丁汉大学;等人。 Chris Greenhalgh, University of Nottingham Gabriella Giannachi, University of Exeter Brendan Walker, University of Nottingham Joe Marshall, University of Nottingham Tom Rodden, University of Nottingham | |
ClayVision:城市的(弹性)形象 | Yuichiro Takeuchi、索尼 Ken Perlin、纽约大学 | |
CIKM知识管理 | 通过边缘操作实现大图的凝胶和熔化 | 童航航,IBM ;等人。 B. Aditya Prakash, Virginia Tech Tina Eliassi-Rad, Rutgers University Michalis Faloutsos, University of California, Riverside Christos Faloutsos, Carnegie Mellon University |
CVPR计算机视觉 | 非刚性结构运动分解的简单无先验方法 | 戴玉超,西北工业大学;等人。 Hongdong Li, Australian National University Mingyi He, Northwestern Polytechnical University |
焦点理论 | 拥塞的边不相交路径的多对数逼近算法2 | Julia Chuzhoy,芝加哥丰田技术学院 Shi Li,普林斯顿大学 |
针对纠缠证明者的 NEXP 声音的多证明者交互式证明 | Tsuyoshi Ito,NEC 美国实验室 Thomas Vidick,麻省理工学院 | |
FSE软件工程 | 探寻真相:软件库演化与迁移的追溯研究 | Bradley Cossette 和 Robert Walker,卡尔加里大学 |
从多维模型生成可扩展的测试数据 | Emina Torlak,加州大学伯克利分校 | |
通过假设分析评估分支机构的价值 | 克里斯蒂安·伯德和托马斯·齐默尔曼,微软 | |
ICML机器学习 | 通过随机梯度 Fisher 评分进行贝叶斯后验采样 | Sungjin Ahn,加州大学欧文分校;等人。 Anoop Korattikara, University of California, Irvine Max Welling, University of California, Irvine |
ICSE软件工程 | 放大测试以验证异常处理代码 | 张平宇和塞巴斯蒂安·艾尔鲍姆,内布拉斯加大学林肯分校 |
以策略为中心的质量问题自动追溯方法 | Mehdi Mirakhorli,德保罗大学;等人。 Yonghee Shin, DePaul University Jane Cleland-Huang, DePaul University Murat Cinar, DePaul University | |
使用动态分析发现多项式和数组不变量 | ThanhVu Nguyen,新墨西哥大学;等人。 Deepak Kapur, University of New Mexico Westley Weimer, University of New Mexico Stephanie Forrest, University of New Mexico | |
自动检测客户端状态操纵漏洞 | Anders Møller 和 Mathias Schwarz,奥胡斯大学 | |
了解 C/C++ 中的整数溢出 | 威尔·迪茨 (Will Dietz),伊利诺伊大学厄巴纳-香槟分校;等人。 Peng Li, University of Utah John Regehr, University of Utah Vikram Adve, University of Illinois at Urbana–Champaign | |