Alexandru A. Ormenisan, Moritz Meister, Fabio Buso and

Robin Andersson, Seif Haridi, Jim Dowling

Keywords Abstract Paper

Carlos Gemmell, Federico Rossetto, Jeffrey Dalton

Keywords Abstract Paper

code generation, neural machine translation, code retrieval

Blai Bonet, Giuseppe De Giacomo, Hector Geffner and

Fabio Patrizi, Sasha Rubin

Keywords Abstract Paper

Reasoning about actions and change, action languages-General

Magnus Madsen, Ondřej Lhoták

Keywords Abstract Paper

logic programming, first-class datalog, functional programming

Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang

Keywords Abstract Paper

Guillaume Baudart, Louis Mandel, Eric Atkinson and

Benjamin Sherman, Marc Pouzet, Michael Carbin

Keywords Abstract Paper

Streaming inference, Compilation, Semantics, Reactive programming, Probabilistic programming

David Binder, Julian Jabs, Ingo Skupin, Klaus Ostermann

Keywords Abstract Paper

Refunctionalization, Types, Defunctionalization, Codata

André Pacak, Sebastian Erdweg, Tamás Szabó

Keywords Abstract Paper

datalog, incremental type checking, type system transformation

Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman

Keywords Abstract Paper

macros, dependent types, type systems, proof assistants

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz and

Denis Merigoux, Danel Ahman, Guido Martínez

Keywords Abstract Paper

Separation Logic, Program Proofs, Concurrency

Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies

Keywords Abstract Paper

separation logic, concurrent data structures, flow framework, template-based verification

Zhefeng Wu, Zhe Sun, Kai Gong and

Lingyun Chen, Bin Liao, Yihua Jin

Keywords Abstract Paper

Hidden Classes, TypeScript, JavaScript, JITC, STSC, AOTC, Inline Caches

Christoph Sprenger, Tobias Klenze, Marco Eilers and

Felix A. Wolf, Peter Müller, Martin Clochard, David Basin

Keywords Abstract Paper

compositional refinement, distributed systems, end-to-end verification, leader election, fault-tolerance, security protocols, higher-order logic, separation logic, tool interoperability

Dinglan Peng, Shuxin Zheng, Yatao Li and

Guolin Ke, Di He, Tie-Yan Liu

Keywords Abstract Paper

Applications, Hardware and Systems

Laure Crochepierre, Lydia Boudjeloud-Assala, Vincent Barbesant

Keywords Abstract Paper

grammar-guided genetic programming (gggp), supervised learning, feature extraction, interpretability, electrical power system

Nima Nabizadeh, Martin Heckmann, Dorothea Kolossa

Keywords Abstract Paper

Li-yao Xia, Yannick Zakowski, Paul He and

Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

Keywords Abstract Paper

coinduction, Coq, monads, compiler correctness

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)

Han Peng, Ge Li, Wenhan Wang and

YunFei Zhao, Zhi Jin

Keywords Abstract Paper

machine learning, transformers

Jérémie Koenig, Zhong Shao

Keywords Abstract Paper

Compositional Compiler Correctness, Game Semantics, Simulation Convention, Language Interface

Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers

Keywords Abstract Paper

Effect handlers, promises, exceptions, type systems, iterators, parametricity

Guannan Wei, Oliver Bračevac, Shangyin Tan, Tiark Rompf

Keywords Abstract Paper

algebraic effects, symbolic execution, multi-stage programming, definitional interpreters

Tristan Knoth, Di Wang, Adam Reynolds and

Nadia Polikarpova, Jan Hoffmann

Keywords Abstract Paper

Automated amortized resource analysis, Refinement types

Yiyun Liu, James Parker, Patrick Redmond and

Lindsey Kuper, Michael Hicks, Niki Vazou

Keywords Abstract Paper

CRDTs, typeclasses, refinement types, Liquid Haskell, replicated data types

Mark Jones, J. Garrett Morris, Richard A. Eisenberg

Keywords Abstract Paper

Type constructors, Parametric polymorphism

Shobha Vasudevan, Wenjie (Joe) Jiang, David Bieber and

Rishabh Singh, hamid shojaei, C. Richard Ho, Charles Sutton

Keywords Abstract Paper

deep learning, graph learning

Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn

Keywords Abstract Paper

program synthesis, type and effect systems, Ruby

Antonio Flores-Montoya, Eric Schulte

Keywords Abstract Paper

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Keywords Abstract Paper

runtime verification, differential testing, stream processing

Ryan Senanayake, Changwan Hong, Ziheng Wang and

Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, Fredrik Kjolstad

Keywords Abstract Paper

Optimizing Transformations, Sparse Tensor Algebra, Sparse Iteration Spaces

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Keywords Abstract Paper

effect handlers, logical relations, algebraic effects

Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Keywords Abstract Paper

lexically-scoped effect handlers, continuation-passing style, algebraic effects, capability-passing style, continuations, control effects, compilation

Xiang Gao, Shraddha Barke, Arjun Radhakrishna and

Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

Keywords Abstract Paper

Program transformation, Program synthesis, Refactoring, Programming by Example

Michihiro Yasunaga, Percy Liang

Keywords Abstract Paper

Applications - Language, Speech and Dialog

Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

Keywords Abstract Paper

Continuous-time Motion Primitives, Robotics, Session Types and Choreography, Message-passing

Gail Weiss, Yoav Goldberg, Eran Yahav

Keywords Abstract Paper

Deep Learning, Others

Alastair F. Donaldson, Paul Thomson, Vasyl Teliman and

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

Keywords Abstract Paper

Compilers, metamorphic testing, SPIR-V

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

Feras A. Saad, Martin C. Rinard, Vikash K. Mansinghka

Keywords Abstract Paper

probabilistic programming, symbolic execution

Martin Clochard, Claude Marché, Andrei Paskevich

Keywords Abstract Paper

Infinite behaviors, Ghost code, Predicate transformers, Unstructured programs, Deductive program verification, Games, Floyd-Hoare logic