| |
Aguirre, Alejandro
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Higher-Order Probabilistic ..."
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato
(Aarhus University, Denmark; MPI-SP, Germany; IMDEA Software Institute, Spain; Boston University, USA; MPI-SWS, Germany; National Institute of Informatics, Japan; Tokyo Institute of Technology, Japan)
 Publisher's Version
Article: icfp21main-p187-p doi:10.1145/3473598
|
| |
Appel, Andrew W. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Deriving Efficient Program ..."
Deriving Efficient Program Transformations from Rewrite Rules
John M. Li and Andrew W. Appel
(Princeton University, USA)
Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p68-p doi:10.1145/3473579
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Compositional Optimizations ..."
Compositional Optimizations for CertiCoq
Zoe Paraskevopoulou, John M. Li, and Andrew W. Appel
(Northeastern University, USA; Princeton University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p128-p doi:10.1145/3473591
|
| |
Avanzini, Martin |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "On Continuation-Passing Transformations ..."
On Continuation-Passing Transformations and Expected Cost Analysis
Martin Avanzini, Gilles Barthe, and Ugo Dal Lago
(Inria, France; MPI-SP, Germany; University of Bologna, Italy)
Publisher's Version
Article: icfp21main-p133-p doi:10.1145/3473592
|
| |
Barthe, Gilles
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "On Continuation-Passing Transformations ..."
On Continuation-Passing Transformations and Expected Cost Analysis
Martin Avanzini, Gilles Barthe, and Ugo Dal Lago
(Inria, France; MPI-SP, Germany; University of Bologna, Italy)
Publisher's Version
Article: icfp21main-p133-p doi:10.1145/3473592
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Higher-Order Probabilistic ..."
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato
(Aarhus University, Denmark; MPI-SP, Germany; IMDEA Software Institute, Spain; Boston University, USA; MPI-SWS, Germany; National Institute of Informatics, Japan; Tokyo Institute of Technology, Japan)
Publisher's Version
Article: icfp21main-p187-p doi:10.1145/3473598
|
| |
Beck, Calvin |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Modular, Compositional, and ..."
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic
(Inria, France; University of Pennsylvania, USA; Taras Shevchenko National University of Kyiv, Ukraine; Carnegie Mellon University, USA; Digamma.ai, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p43-p doi:10.1145/3473572
|
| |
Birkedal, Lars |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Client-Server Sessions in ..."
Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, and Lars Birkedal
(Aarhus University, Denmark; University of Bristol, UK)
Publisher's Version
Distinguished Paper
Article: icfp21main-p4-p doi:10.1145/3473567
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Theorems for Free from Separation ..."
Theorems for Free from Separation Logic Specifications
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, and Nikos Tzevelekos
(Aarhus University, Denmark; Concordium, Denmark; University of Nantes, France; Uber, Denmark; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p101-p doi:10.1145/3473586
|
| |
Braam, Peter |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Persistent Software Transactional ..."
Persistent Software Transactional Memory in Haskell
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, and André Brinkmann
(Johannes Gutenberg University Mainz, Germany; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p6-p doi:10.1145/3473568
|
| |
Brinkmann, André |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Persistent Software Transactional ..."
Persistent Software Transactional Memory in Haskell
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, and André Brinkmann
(Johannes Gutenberg University Mainz, Germany; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p6-p doi:10.1145/3473568
|
| |
Caires, Luís
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Propositions-as-Types and ..."
Propositions-as-Types and Shared State
Pedro Rocha and Luís Caires
(Nova University of Lisbon, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p97-p doi:10.1145/3473584
|
| |
Chataing, Nicolas |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Catala: A Programming Language ..."
Catala: A Programming Language for the Law
Denis Merigoux, Nicolas Chataing, and Jonathan Protzenko
(Inria, France; ENS, France; Microsoft Research, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p84-p doi:10.1145/3473582
|
| |
Chlipala, Adam |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Skipping the Binder Bureaucracy ..."
Skipping the Binder Bureaucracy with Mixed Embeddings in a Semantics Course (Functional Pearl)
Adam Chlipala
(Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p232-p doi:10.1145/3473599
|
| |
Dal Lago, Ugo
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "On Continuation-Passing Transformations ..."
On Continuation-Passing Transformations and Expected Cost Analysis
Martin Avanzini, Gilles Barthe, and Ugo Dal Lago
(Inria, France; MPI-SP, Germany; University of Bologna, Italy)
Publisher's Version
Article: icfp21main-p133-p doi:10.1145/3473592
|
| |
Dang, Hoang-Hai |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "GhostCell: Separating Permissions ..."
GhostCell: Separating Permissions from Data in Rust
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, and Derek Dreyer
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p176-p doi:10.1145/3473597
|
| |
Dimoulas, Christos |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Northeastern University, USA)
Publisher's Version
Article: icfp21main-p45-p doi:10.1145/3473573
|
| |
Dinsdale-Young, Thomas |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Theorems for Free from Separation ..."
Theorems for Free from Separation Logic Specifications
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, and Nikos Tzevelekos
(Aarhus University, Denmark; Concordium, Denmark; University of Nantes, France; Uber, Denmark; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p101-p doi:10.1145/3473586
|
| |
Dreyer, Derek |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "GhostCell: Separating Permissions ..."
GhostCell: Separating Permissions from Data in Rust
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, and Derek Dreyer
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p176-p doi:10.1145/3473597
|
| |
Duboc, Guillaume |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Existential Crisis Resolved: ..."
An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, and Daniel Lee
(Tweag, France; ENS Lyon, France; University of Pennsylvania, USA)
Publisher's Version
Article: icfp21main-p7-p doi:10.1145/3473569
|
| |
Duvenaud, David |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Eisenberg, Richard A.
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Existential Crisis Resolved: ..."
An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, and Daniel Lee
(Tweag, France; ENS Lyon, France; University of Pennsylvania, USA)
Publisher's Version
Article: icfp21main-p7-p doi:10.1145/3473569
|
| |
Elliott, Conal |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Symbolic and Automatic Differentiation ..."
Symbolic and Automatic Differentiation of Languages
Conal Elliott
Publisher's Version
Article: icfp21main-p87-p doi:10.1145/3473583
|
| |
Erdweg, Sebastian |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Persistent Software Transactional ..."
Persistent Software Transactional Memory in Haskell
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, and André Brinkmann
(Johannes Gutenberg University Mainz, Germany; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p6-p doi:10.1145/3473568
|
| |
Felleisen, Matthias
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Northeastern University, USA)
Publisher's Version
Article: icfp21main-p45-p doi:10.1145/3473573
|
| |
Fromherz, Aymeric |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Steel: Proof-Oriented Programming ..."
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p127-p doi:10.1145/3473590
|
| |
Gaboardi, Marco
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Higher-Order Probabilistic ..."
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato
(Aarhus University, Denmark; MPI-SP, Germany; IMDEA Software Institute, Spain; Boston University, USA; MPI-SWS, Germany; National Institute of Informatics, Japan; Tokyo Institute of Technology, Japan)
Publisher's Version
Article: icfp21main-p187-p doi:10.1145/3473598
|
| |
Garg, Deepak |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Higher-Order Probabilistic ..."
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato
(Aarhus University, Denmark; MPI-SP, Germany; IMDEA Software Institute, Spain; Boston University, USA; MPI-SWS, Germany; National Institute of Informatics, Japan; Tokyo Institute of Technology, Japan)
Publisher's Version
Article: icfp21main-p187-p doi:10.1145/3473598
|
| |
Germane, Kimball |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Newly-Single and Loving It: ..."
Newly-Single and Loving It: Improving Higher-Order Must-Alias Analysis with Heap Fragments
Kimball Germane and Jay McCarthy
(Brigham Young University, USA; University of Massachusetts at Lowell, USA)
Publisher's Version
Article: icfp21main-p265-p doi:10.1145/3473601
|
| |
Giannarakis, Nick |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "ProbNV: Probabilistic Verification ..."
ProbNV: Probabilistic Verification of Network Control Planes
Nick Giannarakis, Alexandra Silva, and David Walker
(University of Wisconsin-Madison, USA; University College London, UK; Cornell University, USA; Princeton University, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p154-p doi:10.1145/3473595
|
| |
Giarrusso, Paolo G. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "A Theory of Higher-Order Subtyping ..."
A Theory of Higher-Order Subtyping with Type Intervals
Sandro Stucki and Paolo G. Giarrusso
(Chalmers University of Technology, Sweden; BedRock Systems, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p46-p doi:10.1145/3473574
|
| |
Gibson, Sydney |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Steel: Proof-Oriented Programming ..."
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p127-p doi:10.1145/3473590
|
| |
Gopinathan, Kiran |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Certifying the Synthesis of ..."
Certifying the Synthesis of Heap-Manipulating Programs
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p124-p doi:10.1145/3473589
|
| |
Greenman, Ben |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Northeastern University, USA)
Publisher's Version
Article: icfp21main-p45-p doi:10.1145/3473573
|
| |
Guéneau, Armaël |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Theorems for Free from Separation ..."
Theorems for Free from Separation Logic Specifications
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, and Nikos Tzevelekos
(Aarhus University, Denmark; Concordium, Denmark; University of Nantes, France; Uber, Denmark; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p101-p doi:10.1145/3473586
|
| |
Handa, Shivam
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Order-Aware Dataflow Model ..."
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p20-p doi:10.1145/3473570
|
| |
Hoffmann, Jan |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Automatic Amortized Resource ..."
Automatic Amortized Resource Analysis with the Quantum Physicist’s Method
David M. Kahn and Jan Hoffmann
(Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p81-p doi:10.1145/3473581
|
| |
Houshmand, Farzin |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Grafs: Declarative Graph Analytics ..."
Grafs: Declarative Graph Analytics
Farzin Houshmand, Mohsen Lesani, and Keval Vora
(University of California at Riverside, USA; Simon Fraser University, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p119-p doi:10.1145/3473588
|
| |
Huang, Xuejing |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Distributing Intersection ..."
Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)
Xuejing Huang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p138-p doi:10.1145/3473594
|
| |
Hutton, Graham |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Calculating Dependently-Typed ..."
Calculating Dependently-Typed Compilers (Functional Pearl)
Mitchell Pickard and Graham Hutton
(University of Nottingham, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: icfp21main-p109-p doi:10.1145/3473587
|
| |
Jaber, Guilhem
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Theorems for Free from Separation ..."
Theorems for Free from Separation Logic Specifications
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, and Nikos Tzevelekos
(Aarhus University, Denmark; Concordium, Denmark; University of Nantes, France; Uber, Denmark; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p101-p doi:10.1145/3473586
|
| |
Johnson, Daniel D. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Johnson, Matthew J. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Jourdan, Jacques-Henri |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Formal Verification of a Concurrent ..."
Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
Glen Mével and Jacques-Henri Jourdan
(Inria, France; University of Paris-Saclay, France; CNRS, France; ENS Paris-Saclay, France; LMF, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p23-p doi:10.1145/3473571
|
| |
Jung, Ralf |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "GhostCell: Separating Permissions ..."
GhostCell: Separating Permissions from Data in Rust
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, and Derek Dreyer
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p176-p doi:10.1145/3473597
|
| |
Kahn, David M.
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Automatic Amortized Resource ..."
Automatic Amortized Resource Analysis with the Quantum Physicist’s Method
David M. Kahn and Jan Hoffmann
(Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p81-p doi:10.1145/3473581
|
| |
Kallas, Konstantinos |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Order-Aware Dataflow Model ..."
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p20-p doi:10.1145/3473570
|
| |
Katsumata, Shin-ya |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Higher-Order Probabilistic ..."
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato
(Aarhus University, Denmark; MPI-SP, Germany; IMDEA Software Institute, Spain; Boston University, USA; MPI-SWS, Germany; National Institute of Informatics, Japan; Tokyo Institute of Technology, Japan)
Publisher's Version
Article: icfp21main-p187-p doi:10.1145/3473598
|
| |
Kavvos, G. A. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Client-Server Sessions in ..."
Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, and Lars Birkedal
(Aarhus University, Denmark; University of Bristol, UK)
Publisher's Version
Distinguished Paper
Article: icfp21main-p4-p doi:10.1145/3473567
|
| |
Kidney, Donnacha Oisín |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Algebras for Weighted Search ..."
Algebras for Weighted Search
Donnacha Oisín Kidney and Nicolas Wu
(Imperial College London, UK)
Publisher's Version
Artifacts Functional
Article: icfp21main-p57-p doi:10.1145/3473577
|
| |
Koparkar, Chaitanya |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Efficient Tree-Traversals: ..."
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, and Ryan R. Newton
(Indiana University, USA; Carnegie Mellon University, USA; University of Kent, UK; Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p158-p doi:10.1145/3473596
|
| |
Krauter, Nicolas |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Persistent Software Transactional ..."
Persistent Software Transactional Memory in Haskell
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, and André Brinkmann
(Johannes Gutenberg University Mainz, Germany; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p6-p doi:10.1145/3473568
|
| |
Kulkarni, Milind |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Efficient Tree-Traversals: ..."
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, and Ryan R. Newton
(Indiana University, USA; Carnegie Mellon University, USA; University of Kent, UK; Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p158-p doi:10.1145/3473596
|
| |
Lazarek, Lukas
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Northeastern University, USA)
Publisher's Version
Article: icfp21main-p45-p doi:10.1145/3473573
|
| |
Lee, Daniel |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Existential Crisis Resolved: ..."
An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, and Daniel Lee
(Tweag, France; ENS Lyon, France; University of Pennsylvania, USA)
Publisher's Version
Article: icfp21main-p7-p doi:10.1145/3473569
|
| |
Leijen, Daan |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Generalized Evidence Passing ..."
Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C
Ningning Xie and Daan Leijen
(University of Hong Kong, China; Microsoft Research, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p50-p doi:10.1145/3473576
|
| |
Lesani, Mohsen |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Grafs: Declarative Graph Analytics ..."
Grafs: Declarative Graph Analytics
Farzin Houshmand, Mohsen Lesani, and Keval Vora
(University of California at Riverside, USA; Simon Fraser University, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p119-p doi:10.1145/3473588
|
| |
Li, John M. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Deriving Efficient Program ..."
Deriving Efficient Program Transformations from Rewrite Rules
John M. Li and Andrew W. Appel
(Princeton University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p68-p doi:10.1145/3473579
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Compositional Optimizations ..."
Compositional Optimizations for CertiCoq
Zoe Paraskevopoulou, John M. Li, and Andrew W. Appel
(Northeastern University, USA; Princeton University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p128-p doi:10.1145/3473591
|
| |
Li, Yao |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Reasoning about the Garden ..."
Reasoning about the Garden of Forking Paths
Yao Li, Li-yao Xia, and Stephanie Weirich
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p99-p doi:10.1145/3473585
|
| |
Maclaurin, Dougal
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Martínez, Guido |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Steel: Proof-Oriented Programming ..."
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p127-p doi:10.1145/3473590
|
| |
McCarthy, Jay |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Newly-Single and Loving It: ..."
Newly-Single and Loving It: Improving Higher-Order Must-Alias Analysis with Heap Fragments
Kimball Germane and Jay McCarthy
(Brigham Young University, USA; University of Massachusetts at Lowell, USA)
Publisher's Version
Article: icfp21main-p265-p doi:10.1145/3473601
|
| |
Merigoux, Denis |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Catala: A Programming Language ..."
Catala: A Programming Language for the Law
Denis Merigoux, Nicolas Chataing, and Jonathan Protzenko
(Inria, France; ENS, France; Microsoft Research, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p84-p doi:10.1145/3473582
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Steel: Proof-Oriented Programming ..."
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p127-p doi:10.1145/3473590
|
| |
Mével, Glen |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Formal Verification of a Concurrent ..."
Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
Glen Mével and Jacques-Henri Jourdan
(Inria, France; University of Paris-Saclay, France; CNRS, France; ENS Paris-Saclay, France; LMF, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p23-p doi:10.1145/3473571
|
| |
Nanevski, Aleksandar
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Contextual Modal Types for ..."
Contextual Modal Types for Algebraic Effects and Handlers
Nikita Zyuzin and Aleksandar Nanevski
(IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain)
Publisher's Version
Article: icfp21main-p78-p doi:10.1145/3473580
|
| |
Newton, Ryan R. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Efficient Tree-Traversals: ..."
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, and Ryan R. Newton
(Indiana University, USA; Carnegie Mellon University, USA; University of Kent, UK; Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p158-p doi:10.1145/3473596
|
| |
Oliveira, Bruno C. d. S.
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Distributing Intersection ..."
Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)
Xuejing Huang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p138-p doi:10.1145/3473594
|
| |
Paraskevopoulou, Zoe
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Compositional Optimizations ..."
Compositional Optimizations for CertiCoq
Zoe Paraskevopoulou, John M. Li, and Andrew W. Appel
(Northeastern University, USA; Princeton University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p128-p doi:10.1145/3473591
|
| |
Paszke, Adam |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Pickard, Mitchell |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Calculating Dependently-Typed ..."
Calculating Dependently-Typed Compilers (Functional Pearl)
Mitchell Pickard and Graham Hutton
(University of Nottingham, UK)
Publisher's Version
Published Artifact
Artifacts Available
Article: icfp21main-p109-p doi:10.1145/3473587
|
| |
Pîrlea, George |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Certifying the Synthesis of ..."
Certifying the Synthesis of Heap-Manipulating Programs
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p124-p doi:10.1145/3473589
|
| |
Polikarpova, Nadia |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Certifying the Synthesis of ..."
Certifying the Synthesis of Heap-Manipulating Programs
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p124-p doi:10.1145/3473589
|
| |
Protzenko, Jonathan |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Catala: A Programming Language ..."
Catala: A Programming Language for the Law
Denis Merigoux, Nicolas Chataing, and Jonathan Protzenko
(Inria, France; ENS, France; Microsoft Research, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p84-p doi:10.1145/3473582
|
| |
Qian, Zesen
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Client-Server Sessions in ..."
Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, and Lars Birkedal
(Aarhus University, Denmark; University of Bristol, UK)
Publisher's Version
Distinguished Paper
Article: icfp21main-p4-p doi:10.1145/3473567
|
| |
Raaf, Patrick
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Persistent Software Transactional ..."
Persistent Software Transactional Memory in Haskell
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, and André Brinkmann
(Johannes Gutenberg University Mainz, Germany; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p6-p doi:10.1145/3473568
|
| |
Radul, Alexey |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Ragan-Kelley, Jonathan |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Rainey, Mike |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Efficient Tree-Traversals: ..."
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, and Ryan R. Newton
(Indiana University, USA; Carnegie Mellon University, USA; University of Kent, UK; Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p158-p doi:10.1145/3473596
|
| |
Ramananandro, Tahina |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Steel: Proof-Oriented Programming ..."
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p127-p doi:10.1145/3473590
|
| |
Rastogi, Aseem |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Steel: Proof-Oriented Programming ..."
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p127-p doi:10.1145/3473590
|
| |
Rinard, Martin C. |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Order-Aware Dataflow Model ..."
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p20-p doi:10.1145/3473570
|
| |
Rocha, Pedro |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Propositions-as-Types and ..."
Propositions-as-Types and Shared State
Pedro Rocha and Luís Caires
(Nova University of Lisbon, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p97-p doi:10.1145/3473584
|
| |
Salkhordeh, Reza
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Persistent Software Transactional ..."
Persistent Software Transactional Memory in Haskell
Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, and André Brinkmann
(Johannes Gutenberg University Mainz, Germany; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p6-p doi:10.1145/3473568
|
| |
Sato, Tetsuya |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Higher-Order Probabilistic ..."
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, and Tetsuya Sato
(Aarhus University, Denmark; MPI-SP, Germany; IMDEA Software Institute, Spain; Boston University, USA; MPI-SWS, Germany; National Institute of Informatics, Japan; Tokyo Institute of Technology, Japan)
Publisher's Version
Article: icfp21main-p187-p doi:10.1145/3473598
|
| |
Sekiyama, Taro |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "CPS Transformation with Affine ..."
CPS Transformation with Affine Types for Call-By-Value Implicit Polymorphism
Taro Sekiyama and Takeshi Tsukada
(National Institute of Informatics, Japan; Chiba University, Japan)
Publisher's Version
Article: icfp21main-p236-p doi:10.1145/3473600
|
| |
Sergey, Ilya |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Certifying the Synthesis of ..."
Certifying the Synthesis of Heap-Manipulating Programs
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p124-p doi:10.1145/3473589
|
| |
Serrano, Manuel |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Of JavaScript AOT Compilation ..."
Of JavaScript AOT Compilation Performance
Manuel Serrano
(Inria, France; University of Côte d'Azur, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p48-p doi:10.1145/3473575
|
| |
Silva, Alexandra |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "ProbNV: Probabilistic Verification ..."
ProbNV: Probabilistic Verification of Network Control Planes
Nick Giannarakis, Alexandra Silva, and David Walker
(University of Wisconsin-Madison, USA; University College London, UK; Cornell University, USA; Princeton University, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p154-p doi:10.1145/3473595
|
| |
Stucki, Sandro |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "A Theory of Higher-Order Subtyping ..."
A Theory of Higher-Order Subtyping with Type Intervals
Sandro Stucki and Paolo G. Giarrusso
(Chalmers University of Technology, Sweden; BedRock Systems, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p46-p doi:10.1145/3473574
|
| |
Svendsen, Kasper |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Theorems for Free from Separation ..."
Theorems for Free from Separation Logic Specifications
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, and Nikos Tzevelekos
(Aarhus University, Denmark; Concordium, Denmark; University of Nantes, France; Uber, Denmark; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p101-p doi:10.1145/3473586
|
| |
Swamy, Nikhil |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Steel: Proof-Oriented Programming ..."
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p127-p doi:10.1145/3473590
|
| |
Tsukada, Takeshi
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "CPS Transformation with Affine ..."
CPS Transformation with Affine Types for Call-By-Value Implicit Polymorphism
Taro Sekiyama and Takeshi Tsukada
(National Institute of Informatics, Japan; Chiba University, Japan)
Publisher's Version
Article: icfp21main-p236-p doi:10.1145/3473600
|
| |
Tzevelekos, Nikos |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Theorems for Free from Separation ..."
Theorems for Free from Separation Logic Specifications
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, and Nikos Tzevelekos
(Aarhus University, Denmark; Concordium, Denmark; University of Nantes, France; Uber, Denmark; Queen Mary University of London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p101-p doi:10.1145/3473586
|
| |
Vasilakis, Nikos
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Order-Aware Dataflow Model ..."
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p20-p doi:10.1145/3473570
|
| |
Vollmer, Michael |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Efficient Tree-Traversals: ..."
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, and Ryan R. Newton
(Indiana University, USA; Carnegie Mellon University, USA; University of Kent, UK; Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p158-p doi:10.1145/3473596
|
| |
Vora, Keval |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Grafs: Declarative Graph Analytics ..."
Grafs: Declarative Graph Analytics
Farzin Houshmand, Mohsen Lesani, and Keval Vora
(University of California at Riverside, USA; Simon Fraser University, Canada)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p119-p doi:10.1145/3473588
|
| |
Vytiniotis, Dimitrios |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Getting to the Point: Index ..."
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Article: icfp21main-p136-p doi:10.1145/3473593
|
| |
Walker, David
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "ProbNV: Probabilistic Verification ..."
ProbNV: Probabilistic Verification of Network Control Planes
Nick Giannarakis, Alexandra Silva, and David Walker
(University of Wisconsin-Madison, USA; University College London, UK; Cornell University, USA; Princeton University, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p154-p doi:10.1145/3473595
|
| |
Watanabe, Yasunari |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Certifying the Synthesis of ..."
Certifying the Synthesis of Heap-Manipulating Programs
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, and Ilya Sergey
(Yale-NUS College, Singapore; National University of Singapore, Singapore; University of California at San Diego, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p124-p doi:10.1145/3473589
|
| |
Weirich, Stephanie |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "An Existential Crisis Resolved: ..."
An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, and Daniel Lee
(Tweag, France; ENS Lyon, France; University of Pennsylvania, USA)
Publisher's Version
Article: icfp21main-p7-p doi:10.1145/3473569
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Reasoning about the Garden ..."
Reasoning about the Garden of Forking Paths
Yao Li, Li-yao Xia, and Stephanie Weirich
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p99-p doi:10.1145/3473585
|
| |
Wu, Nicolas |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Algebras for Weighted Search ..."
Algebras for Weighted Search
Donnacha Oisín Kidney and Nicolas Wu
(Imperial College London, UK)
Publisher's Version
Artifacts Functional
Article: icfp21main-p57-p doi:10.1145/3473577
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Reasoning about Effect Interaction ..."
Reasoning about Effect Interaction by Fusion
Zhixuan Yang and Nicolas Wu
(Imperial College London, UK)
Publisher's Version
Article: icfp21main-p61-p doi:10.1145/3473578
|
| |
Xia, Li-yao
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Reasoning about the Garden ..."
Reasoning about the Garden of Forking Paths
Yao Li, Li-yao Xia, and Stephanie Weirich
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p99-p doi:10.1145/3473585
|
| |
Xie, Ningning |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Generalized Evidence Passing ..."
Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C
Ningning Xie and Daan Leijen
(University of Hong Kong, China; Microsoft Research, USA)
Publisher's Version
Artifacts Functional
Article: icfp21main-p50-p doi:10.1145/3473576
|
| |
Yang, Zhixuan
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Reasoning about Effect Interaction ..."
Reasoning about Effect Interaction by Fusion
Zhixuan Yang and Nicolas Wu
(Imperial College London, UK)
Publisher's Version
Article: icfp21main-p61-p doi:10.1145/3473578
|
| |
Yanovski, Joshua |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "GhostCell: Separating Permissions ..."
GhostCell: Separating Permissions from Data in Rust
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, and Derek Dreyer
(MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p176-p doi:10.1145/3473597
|
| |
Yoon, Irene |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Modular, Compositional, and ..."
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic
(Inria, France; University of Pennsylvania, USA; Taras Shevchenko National University of Kyiv, Ukraine; Carnegie Mellon University, USA; Digamma.ai, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p43-p doi:10.1145/3473572
|
| |
Zaichuk, Ilia
|
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Modular, Compositional, and ..."
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic
(Inria, France; University of Pennsylvania, USA; Taras Shevchenko National University of Kyiv, Ukraine; Carnegie Mellon University, USA; Digamma.ai, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p43-p doi:10.1145/3473572
|
| |
Zakowski, Yannick |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Modular, Compositional, and ..."
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic
(Inria, France; University of Pennsylvania, USA; Taras Shevchenko National University of Kyiv, Ukraine; Carnegie Mellon University, USA; Digamma.ai, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p43-p doi:10.1145/3473572
|
| |
Zaliva, Vadim |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Modular, Compositional, and ..."
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic
(Inria, France; University of Pennsylvania, USA; Taras Shevchenko National University of Kyiv, Ukraine; Carnegie Mellon University, USA; Digamma.ai, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p43-p doi:10.1145/3473572
|
| |
Zdancewic, Steve |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Modular, Compositional, and ..."
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, and Steve Zdancewic
(Inria, France; University of Pennsylvania, USA; Taras Shevchenko National University of Kyiv, Ukraine; Carnegie Mellon University, USA; Digamma.ai, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: icfp21main-p43-p doi:10.1145/3473572
|
| |
Zyuzin, Nikita |
Proc. ACM Program. Lang., vol. 5, issue ICFP: "Contextual Modal Types for ..."
Contextual Modal Types for Algebraic Effects and Handlers
Nikita Zyuzin and Aleksandar Nanevski
(IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain)
Publisher's Version
Article: icfp21main-p78-p doi:10.1145/3473580
|