Daya Guo, Shuo Ren, Shuai Lu and

Zhangyin Feng, Duyu Tang, Shujie LIU, Long Zhou, Nan Duan, Alexey Svyatkovskiy, Shengyu Fu, Michele Tufano, Shao Kun Deng, Colin Clement, Dawn Drain, Neels Sundaresan, Jian Yin, Daxin Jiang, Ming Zhou

Keywords Abstract Paper

Data Flow, Code Structure, Pre-training, Code Representations, BERT

Zhan Shi, Kevin Swersky, Daniel Tarlow and

Parthasarathy Ranganathan, Milad Hashemi

Keywords Abstract Paper

code understanding, graph neural networks, learning program execution, execution traces, program performance

Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, Kai-Wei Chang

Keywords Abstract Paper

Source Summarization, summarization, ablation studies, Transformer-based Approach

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Keywords Abstract Paper

runtime verification, differential testing, stream processing

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)

Gefei Zuo, Jiacheng Ma, Andrew Quinn and

Pramod Bhatotia, Pedro Fonseca, Baris Kasikci

Keywords Abstract Paper

debugging, symbolic execution

Junjiao Tian, Yen-Cheng Liu, Nathaniel Glaser and

Yen-Chang Hsu, Zsolt Kira

Keywords Abstract Paper

Algorithms -> Few-Shot Learning, Applications -> Computer Vision

Yaniv David, Uri Alon, Eran Yahav

Keywords Abstract Paper

Static Binary Analysis, Neural Reverse Engineering

Kai Zhou, Yevgeniy Vorobeychik

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

Neha Wadia, Daniel Duckworth, Samuel Schoenholz and

Ethan Dyer, Jascha Sohl-Dickstein

Keywords Abstract Paper

Optimization, Probabilistic Methods, Topic Models, Probabilistic Methods, Latent Variable Models

Kailun Wu, Yiwen Guo, Ziang Li, Changshui Zhang

Keywords Abstract Paper

Sparse coding, deep learning, learned ISTA, convergence analysis

Benjamin Sanchez-Lengeling, Jennifer Wei, Brian Lee and

Emily Reif, Peter Wang, Wesley Qian, Kevin McCloskey, Lucy Colwell , Alexander Wiltschko

Keywords Abstract Paper

Minseok Jeon, Myungho Lee, Hakjoo Oh

Keywords Abstract Paper

Context sensitivity, Pointer analysis, Data-driven static analysis, Heap abstraction, Machine learning for program analysis

Sang Michael Xie, Tengyu Ma, Percy Liang

Keywords Abstract Paper

Algorithms, Multitask, Transfer, and Meta Learning

Nils Bjorck, Carla Gomes, Kilian Weinberger

Keywords Abstract Paper

reinforcement learning and planning, vision, language

Sanjoy Dasgupta, Sivan Sabato

Keywords Abstract Paper

Alastair F. Donaldson, Paul Thomson, Vasyl Teliman and

Stefano Milizia, André Perez Maselco, Antoni Karpiński

Keywords Abstract Paper

Compilers, metamorphic testing, SPIR-V

Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

Keywords Abstract Paper

Abstract Interpretation, Fairness, Static Analysis, Neural Networks

Marco Rudolph, Bastian Wandt, Bodo Rosenhahn

Keywords Abstract Paper

Mang Ye, Jianbing Shen

Keywords Abstract Paper

unsupervised embedding learning, latent representation, instance feature, adaptable softmax

Weihua Hu*, Bowen Liu*, Joseph Gomes and

Marinka Zitnik, Percy Liang, Vijay Pande, Jure Leskovec

Keywords Abstract Paper

Pre-training, Transfer learning, Graph Neural Networks

David Bieber, Charles Sutton, Hugo Larochelle, Daniel Tarlow

Keywords Abstract Paper

Alexander Lew, Monica Agrawal, David Sontag, Vikash Mansinghka

Keywords Abstract Paper

Yanlin Wang, Hui Li

Keywords Abstract Paper

Sotiris Apostolakis, Ziyang Xu, Zujun Tan and

Greg Chan, Simone Campanoni, David I. August

Keywords Abstract Paper

speculation, collaboration, dependence analysis

Utkarsh Desai, Sambaran Bandyopadhyay, Srikanth Tamilselvam

Keywords Abstract Paper

Charlotte Laclau, Ievgen Redko, Manvi Choudhary, Christine Largeron

Keywords Abstract Paper

Yang Song, Qiyu Kang, Wee Peng Tay

Keywords Abstract Paper

Kihyuk Sohn, David Berthelot, Nicholas Carlini and

Zizhao Zhang, Han Zhang, Colin A Raffel, Dogus Cubuk, Alexey Kurakin, Chun-Liang Li

Keywords Abstract Paper

Lin Song, Yanwei Li, Zhengkai Jiang and

Zeming Li, Hongbin Sun, Jian Sun, Nanning Zheng

Keywords Abstract Paper

Applications -> Computational Biology and Bioinformatics; Applications -> Health; Applications -> Time Series Analysis; Neurosc, Neuroscience and Cognitive Science -> Brain Imaging

Tamás Szabó, Sebastian Erdweg, Gábor Bergmann

Keywords Abstract Paper

Static Analysis, Incremental Computing, Datalog

Zifeng Wang, Tong Jian, Aria Masoomi and

Stratis Ioannidis, Jennifer Dy

Keywords Abstract Paper

deep learning, robustness, adversarial robustness and security

Ke Wang, Zhendong Su

Keywords Abstract Paper

Static and Dynamic Program Features, Attention Network, Semantic Program Embedding

Gali Sheffi, Erez Petrank

Keywords Abstract Paper

fault-tolerance, lowerbounds, concurrent algorithms, software faults, shared memory, hardware faults

Lukas Miklautz, Lena G. M. Bauer, Dominik Mautz and

Sebastian Tschiatschek, Christian Böhm, Claudia Plant

Keywords Abstract Paper

Machine Learning, Deep Learning, Explainable/Interpretable Machine Learning, Clustering

Chen Zhu, Renkun Ni, Zheng Xu and

Kezhi Kong, W. Ronny Huang, Tom Goldstein

Keywords Abstract Paper

deep learning, transformers, vision

Rohan Mukherjee, Yeming Wen, Dipak Chaudhari and

Thomas Reps, Swarat Chaudhuri, Christopher Jermaine

Keywords Abstract Paper

deep learning, transformers, generative model

Jürgen Cito, Jiasi Shen, Martin Rinard

Keywords Abstract Paper

Jack Hessel, Lillian Lee

Keywords Abstract Paper

modeling interactions, multimodal tasks, visual answering, multimodal learning