#SC1
Causal Conceptions of Fairness and their Consequences.
Hamed Nilforoshan, Johann Gaebler, Ravi Shroff, Sharad Goel
Watch Video
#SC2 Comparing Distributions by Measuring Differences that Affect Decision Making
Shengjia Zhao, Abhishek Sinha, Yutong He, Aidan Perreault, Jiaming Song, Stefano Ermon
Watch Video
#SC3 Rewiring What-to-Watch-Next Recommendations to Reduce Radicalization Pathways (Extended Abstract)
Francesco Fabbri, Yanhao Wang, Francesco Bonchi, Carlos Castillo, Michael Mathioudakis
Watch Video
#SC4 On the Versatile Uses of Partial Distance Correlation in Deep Learning
Xingjian Zhen, Zihang Meng, Rudrasis Chakraborty, Vikas Singh
Watch Video
#SC5 Learning Causal Effects on Hypergraphs (Extended Abstract)
Jing Ma, Mengting Wan, Longqi Yang, Jundong Li, Brent Hecht, Jaime Teevan
Watch Video
#SC6 Translating Images into Maps (Extended Abstract)
Avishkar Saha, Oscar Mendez, Chris Russell, Richard Bowden
Watch Video
#SC7 Bounding the Family-Wise Error Rate in Local Causal Discovery Using Rademacher Averages (Extended Abstract)
Dario Simionato, Fabio Vandin
Watch Video
#SC8 Harnessing Neighborhood Modeling and Asymmetry Preservation for Digraph Representation Learning
Honglu Zhou, Advith Chegu, Samuel S. Sohn, Zuohui Fu, Gerard de Melo, Mubbasir Kapadia
Watch Video
#SC9 A Non-Factoid Question-Answering Taxonomy
Valeriia Bolotova, Vladislav Blinov, Falk Scholer, W. Bruce Croft, Mark Sanderson
Watch Video
#SC10 MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)
Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
Watch Video
#SC12 Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Watch Video
#SC13 Online Certification of Preference-Based Fairness for Personalized Recommender Systems (Extended Abstract)
Virginie Do, Sam Corbett-Davies, Jamal Atif, Nicolas Usunier
Watch Video
#SC14 Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
Watch Video
#SC16 Unsupervised Deep Subgraph Anomaly Detection (Extended Abstract)
Zheng Zhang, Liang Zhao
Watch Video
#SC17 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
Watch Video
#SC18 Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Watch Video
#SC19 Task Allocation on Networks with Execution Uncertainty (Extended Abstract)∗
Yao Zhang, Xiuzhen Zhang, Dengji Zhao
Watch Video
#SC20 Efficient Convex Optimization Requires Superlinear Memory (Extended Abstract)
Annie Marsden, Vatsal Sharan, Aaron Sidford, Gregory Valiant
Watch Video
#SC21 Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)
Zhilu Wang, Chao Huang, Qi Zhu
Watch Video
#SC22 Algorithm-Hardware Co-Design for Efficient Brain-Inspired Hyperdimensional Learning on Edge (Extended Abstract)
Yang Ni, Yeseong Kim, Tajana Rosing, Mohsen Imani
Watch Video
#SC23 FastGR: Global Routing on CPU-GPU with Heterogeneous Task Graph Scheduler (Extended Abstract)
Siting Liu, Yuan Pu, Peiyu Liao, Hongzhong Wu, Rui Zhang, Zhitang Chen, Wenlong Lv, Yibo Lin, Bei Yu
Watch Video
#SC24 Learning Discrete Representations via Constrained Clustering for Effective and Efficient Dense Retrieval (Extended Abstract)
Jingtao Zhan, Jiaxin Mao, Yiqun Liu, Jiafeng Guo, Min Zhang, Shaoping Ma
Watch Video
#SC25 Sancus: Staleness-Aware Communication-Avoiding Full-Graph Decentralized Training in Large-Scale Graph Neural Networks (Extended Abstract)
Jingshu Peng, Zhao Chen, Yingxia Shao, Yanyan Shen, Lei Chen, Jiannong Cao
Watch Video
#SC26 Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Sander J.J. Leemans, Fabrizio M. Maggi, Marco Montali
Watch Video
Hamed Nilforoshan, Johann Gaebler, Ravi Shroff, Sharad Goel
Watch Video
#SC2 Comparing Distributions by Measuring Differences that Affect Decision Making
Shengjia Zhao, Abhishek Sinha, Yutong He, Aidan Perreault, Jiaming Song, Stefano Ermon
Watch Video
#SC3 Rewiring What-to-Watch-Next Recommendations to Reduce Radicalization Pathways (Extended Abstract)
Francesco Fabbri, Yanhao Wang, Francesco Bonchi, Carlos Castillo, Michael Mathioudakis
Watch Video
#SC4 On the Versatile Uses of Partial Distance Correlation in Deep Learning
Xingjian Zhen, Zihang Meng, Rudrasis Chakraborty, Vikas Singh
Watch Video
#SC5 Learning Causal Effects on Hypergraphs (Extended Abstract)
Jing Ma, Mengting Wan, Longqi Yang, Jundong Li, Brent Hecht, Jaime Teevan
Watch Video
#SC6 Translating Images into Maps (Extended Abstract)
Avishkar Saha, Oscar Mendez, Chris Russell, Richard Bowden
Watch Video
#SC7 Bounding the Family-Wise Error Rate in Local Causal Discovery Using Rademacher Averages (Extended Abstract)
Dario Simionato, Fabio Vandin
Watch Video
#SC8 Harnessing Neighborhood Modeling and Asymmetry Preservation for Digraph Representation Learning
Honglu Zhou, Advith Chegu, Samuel S. Sohn, Zuohui Fu, Gerard de Melo, Mubbasir Kapadia
Watch Video
#SC9 A Non-Factoid Question-Answering Taxonomy
Valeriia Bolotova, Vladislav Blinov, Falk Scholer, W. Bruce Croft, Mark Sanderson
Watch Video
#SC10 MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)
Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
Watch Video
#SC12 Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Watch Video
#SC13 Online Certification of Preference-Based Fairness for Personalized Recommender Systems (Extended Abstract)
Virginie Do, Sam Corbett-Davies, Jamal Atif, Nicolas Usunier
Watch Video
#SC14 Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
Watch Video
#SC16 Unsupervised Deep Subgraph Anomaly Detection (Extended Abstract)
Zheng Zhang, Liang Zhao
Watch Video
#SC17 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
Watch Video
#SC18 Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Watch Video
#SC19 Task Allocation on Networks with Execution Uncertainty (Extended Abstract)∗
Yao Zhang, Xiuzhen Zhang, Dengji Zhao
Watch Video
#SC20 Efficient Convex Optimization Requires Superlinear Memory (Extended Abstract)
Annie Marsden, Vatsal Sharan, Aaron Sidford, Gregory Valiant
Watch Video
#SC21 Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)
Zhilu Wang, Chao Huang, Qi Zhu
Watch Video
#SC22 Algorithm-Hardware Co-Design for Efficient Brain-Inspired Hyperdimensional Learning on Edge (Extended Abstract)
Yang Ni, Yeseong Kim, Tajana Rosing, Mohsen Imani
Watch Video
#SC23 FastGR: Global Routing on CPU-GPU with Heterogeneous Task Graph Scheduler (Extended Abstract)
Siting Liu, Yuan Pu, Peiyu Liao, Hongzhong Wu, Rui Zhang, Zhitang Chen, Wenlong Lv, Yibo Lin, Bei Yu
Watch Video
#SC24 Learning Discrete Representations via Constrained Clustering for Effective and Efficient Dense Retrieval (Extended Abstract)
Jingtao Zhan, Jiaxin Mao, Yiqun Liu, Jiafeng Guo, Min Zhang, Shaoping Ma
Watch Video
#SC25 Sancus: Staleness-Aware Communication-Avoiding Full-Graph Decentralized Training in Large-Scale Graph Neural Networks (Extended Abstract)
Jingshu Peng, Zhao Chen, Yingxia Shao, Yanyan Shen, Lei Chen, Jiannong Cao
Watch Video
#SC26 Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Sander J.J. Leemans, Fabrizio M. Maggi, Marco Montali
Watch Video