Martin Pavlovski, Jelena Gligorijevic, Ivan Stojkovic and

Shubham Agrawal, Shabhareesh Komirishetty, Djordje Gligorijevic, Narayan Bhamidipati, Zoran Obradovic

Keywords Abstract Paper

sequential models, user representation, neural embeddings

Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar

Keywords Abstract Paper

memory management, disentanglement, parallel computing, functional programming, data race

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Keywords Abstract Paper

Schema Refactoring, Weak Consistency, Program Repair

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Keywords Abstract Paper

runtime verification, differential testing, stream processing

Sam Kaufman, Mangpo Phothilimthana, Yanqi Zhou and

Charith Mendis, Sudip Roy, Amit Sabne, Mike Burrows

Keywords Abstract Paper

Izzeddin Gur, Natasha Jaques, Yingjie Miao and

Jongwook Choi, Manoj Tiwari, Honglak Lee, Aleksandra Faust

Keywords Abstract Paper

reinforcement learning and planning, robustness, graph learning

Jie Zhao, Bojie Li, Wang Nie and

Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, Xuefeng Jin

Keywords Abstract Paper

neural networks, neural processing units, polyhedral model, code generation, auto-tuning

Alon Rashelbach, Ori Rottenstreich, Mark Silberstein

Keywords Abstract Paper

Neural Networks, Virtual Switches, Packet Classification

Sushmita Bhattacharya, Siva Kailas, Sahil Badyal and

Stephanie Gil, Dimitri Bertsekas

Keywords Abstract Paper

Rongjie Yan, Yupeng Zhou, Anyu Cai and

Changwen Li, Yige Yan, Minghao Yin

Keywords Abstract Paper

MPSoCs, mapping and scheduling, multi-objective optimization, genetic algorithms, local search, exact methods

Stefan K. Muller, Kyle Singer, Noah Goldstein and

Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee

Keywords Abstract Paper

futures, type systems, parallelism, Cilk, responsiveness, concurrency, shared memory

Elbruz Ozen, Alex Orailoglu

Keywords Abstract Paper

deep learning, information redundancy, pruning

Anush Sankaran, Olivier Mastropietro, Ehsan Saboori and

Yasser Idris, Davis Sawyer, MohammadHossein AskariHemmat, Ghouthi Boukli Hacene

Keywords Abstract Paper

Mingyu Wu, Ziming Zhao, Yanfei Yang and

Haoyu Li, Haibo Chen, Binyu Zang, Haibing Guan, Sanhong Li, Chuansheng Lu, Tongbao Zhang

Keywords Abstract Paper

Seyedhamed Ghavamnia, Tapti Palit, Shachee Mishra, Michalis Polychronakis

Keywords Abstract Paper

Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh and

Petros Maniatis, David Bieber

Keywords Abstract Paper

Models of Source Code, Graph Neural Networks, Structured Learning

Shashank Srikant, Sijia Liu, Tamara Mitrovska and

Shiyu Chang, Quanfu Fan, Gaoyuan Zhang, Una-May O'Reilly

Keywords Abstract Paper

Models for code, Differentiable program generator, Combinatorial optimization, Program obfuscation, Adversarial computer programs, Machine Learning (ML) for Programming Languages (PL)/Software Engineering (SE)

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

Keywords Abstract Paper

Abstract interpretation, Incremental computation, Demand-driven query evaluation, Demanded fixed points

Grace Dinh, James Demmel

Keywords Abstract Paper

optimal tilings, communication-avoiding algorithms, cache complexity

Kyle Singer, Noah Goldstein, Stefan K. Muller and

Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar

Keywords Abstract Paper

span, greedy scheduling, interactive applications, performance bounds, priority inversion, responsive parallelism, adaptive scheduling, work, scheduling

Jungsik Choi, Jaewan Hong, Youngjin Kwon, Hwansoo Han

Keywords Abstract Paper

Asaf Noy, Niv Nayman, Tal Ridnik and

Nadav Zamir, Sivan Doveh, Itamar Friedman, Raja Giryes, Lihi Zelnik

Keywords Abstract Paper

Longqi Yang, Liangliang Zhang, Yuhua Tang

Keywords Abstract Paper

Renkun Ni, Hong-Min Chu, Oscar Castaneda and

Ping-yeh Chiang, Christoph Studer, Tom Goldstein

Keywords Abstract Paper

efficient inference, quantization

Sotiris Apostolakis, Ziyang Xu, Zujun Tan and

Greg Chan, Simone Campanoni, David I. August

Keywords Abstract Paper

speculation, collaboration, dependence analysis

Bowen Yang, Jian Zhang, Jonathan Li and

Christopher Re, Christopher Aberger, Christopher De Sa

Keywords Abstract Paper

Menghao Li, Minjia Zhang, Chi Wang, Mingqin Li

Keywords Abstract Paper

Lingxiao Ma, Zhiqiang Xie, Zhi Yang and

Jilong Xue, Youshan Miao, Wei Cui, Wenxiang Hu, Fan Yang, Lintao Zhang, Lidong Zhou

Keywords Abstract Paper

Hiroki Furuta, Tadashi Kozuno, Tatsuya Matsushima and

Yutaka Matsuo, Shixiang (Shane) Gu

Keywords Abstract Paper

reinforcement learning and planning

Jakub Tarnawski, Amar Phanishayee, Nikhil Devanur and

Divya Mahajan, Fanny Nina Paravecino

Keywords Abstract Paper

Ankit Bhardwaj, Meghana Gupta, Ryan Stutsman

Keywords Abstract Paper

Xianda Zheng, Yuan-Fang Li, Huan Gao and

Yuncheng Hua, Guilin Qi

Keywords Abstract Paper

Utkarsh Desai, Sambaran Bandyopadhyay, Srikanth Tamilselvam

Keywords Abstract Paper

Tianhe (Kevin) Yu, Saurabh Kumar, Abhishek Gupta and

Sergey Levine, Karol Hausman, Chelsea Finn

Keywords Abstract Paper

Oleksiy Ostapenko, Pau Rodriguez, Massimo Caccia, Laurent Charlin

Keywords Abstract Paper

continual learning, transfer learning

Maciej Pacut, Mahmoud Parham, Stefan Schmid

Keywords Abstract Paper

online algorithms, graph partitioning, self-adjusting networks

Abraham A Clements, Eric Gustafson, Tobias Scharnowski and

Paul Grosen, David Fritz, Christopher Kruegel, Giovanni Vigna, Saurabh Bagchi, Mathias Payer

Keywords Abstract Paper

Feng Liang, Chen Lin, Ronghao Guo and

Ming Sun, Wei Wu, Junjie Yan, Wanli Ouyang

Keywords Abstract Paper

Neural Architecture Search, Object Detection

Ligeng Zhu, Hongzhou Lin, Yao Lu and

Yujun Lin, Song Han

Keywords Abstract Paper

optimization, machine learning, federated learning

Zhuang Liu, Xuanlin Li, Bingyi Kang, trevor darrell

Keywords Abstract Paper

Deep Reinforcement Learning, Regularization, Continuous Control, Policy Optimization