CC '21: "PolyBench/Python: Benchmarking ..."
PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations
Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, and Gabriel Rodríguez
(Universidade da Coruña, Spain; Colorado State University, USA; Inria, France)
@InProceedings{CC21p86,
author = {Miguel Á. Abella-González and Pedro Carollo-Fernández and Louis-Noël Pouchet and Fabrice Rastello and Gabriel Rodríguez},
title = {PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3446804.3446842},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
CC '21: "Data-Aware Process Networks ..."
Data-Aware Process Networks
Christophe Alias and Alexandru Plesco
(CNRS, France; ENS Lyon, France; Inria, France; University of Lyon, France; XtremLogic, France)
@InProceedings{CC21p1,
author = {Christophe Alias and Alexandru Plesco},
title = {Data-Aware Process Networks},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3446804.3446847},
year = {2021},
}
Publisher's Version
CC '21: "Lightning BOLT: Powerful, ..."
Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization
Maksim Panchenko, Rafael Auler, Laith Sakka, and Guilherme Ottoni
(Facebook, USA)
@InProceedings{CC21p171,
author = {Maksim Panchenko and Rafael Auler and Laith Sakka and Guilherme Ottoni},
title = {Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3446804.3446843},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Results Reproduced
CC '21: "Resolvable Ambiguity: Principled ..."
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs
Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman
(KTH, Sweden)
@InProceedings{CC21p222,
author = {Viktor Palmkvist and Elias Castegren and Philipp Haller and David Broman},
title = {Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3446804.3446846},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Compact Native Code Generation ..."
Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
Maurice Jamieson and Nick Brown
(University of Edinburgh, UK)
@InProceedings{CC21p188,
author = {Maurice Jamieson and Nick Brown},
title = {Compact Native Code Generation for Dynamic Languages on Micro-core Architectures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {188-187},
doi = {10.1145/3446804.3446853},
year = {2021},
}
Publisher's Version
CC '21: "PolyBench/Python: Benchmarking ..."
PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations
Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, and Gabriel Rodríguez
(Universidade da Coruña, Spain; Colorado State University, USA; Inria, France)
@InProceedings{CC21p86,
author = {Miguel Á. Abella-González and Pedro Carollo-Fernández and Louis-Noël Pouchet and Fabrice Rastello and Gabriel Rodríguez},
title = {PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3446804.3446842},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
CC '21: "Resolvable Ambiguity: Principled ..."
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs
Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman
(KTH, Sweden)
@InProceedings{CC21p222,
author = {Viktor Palmkvist and Elias Castegren and Philipp Haller and David Broman},
title = {Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3446804.3446846},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "NSan: A Floating-Point Numerical ..."
NSan: A Floating-Point Numerical Sanitizer
Clement Courbet
(Google Research, France)
@InProceedings{CC21p120,
author = {Clement Courbet},
title = {NSan: A Floating-Point Numerical Sanitizer},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3446804.3446848},
year = {2021},
}
Publisher's Version
CC '21: "Exploring the Space of Optimization ..."
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools
Anderson Faustino da Silva, Bernardo N. B. de Lima, and Fernando Magno Quintão Pereira
(State University of Maringá, Brazil; Federal University of Minas Gerais, Brazil)
@InProceedings{CC21p69,
author = {Anderson Faustino da Silva and Bernardo N. B. de Lima and Fernando Magno Quintão Pereira},
title = {Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3446804.3446849},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Communication-Safe Web Programming ..."
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu, Francisco Ferreira, Nobuko Yoshida, and Fangyi Zhou
(Imperial College London, UK; Bloomberg, UK)
@InProceedings{CC21p137,
author = {Anson Miu and Francisco Ferreira and Nobuko Yoshida and Fangyi Zhou},
title = {Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3446804.3446854},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Compiling Data-Parallel Datalog ..."
Compiling Data-Parallel Datalog
Thomas Gilray, Sidharth Kumar, and Kristopher Micinski
(University of Alabama at Birmingham, USA; Syracuse University, USA)
@InProceedings{CC21p35,
author = {Thomas Gilray and Sidharth Kumar and Kristopher Micinski},
title = {Compiling Data-Parallel Datalog},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3446804.3446855},
year = {2021},
}
Publisher's Version
CC '21: "Deep NLP-Based Co-evolvement ..."
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
Zifan Nan, Hui Guan, Xipeng Shen, and Chunhua Liao
(North Carolina State University, USA; University of Massachusetts at Amherst, USA; Lawrence Livermore National Laboratory, USA)
@InProceedings{CC21p205,
author = {Zifan Nan and Hui Guan and Xipeng Shen and Chunhua Liao},
title = {Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {205-204},
doi = {10.1145/3446804.3446852},
year = {2021},
}
Publisher's Version
CC '21: "Resolvable Ambiguity: Principled ..."
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs
Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman
(KTH, Sweden)
@InProceedings{CC21p222,
author = {Viktor Palmkvist and Elias Castegren and Philipp Haller and David Broman},
title = {Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3446804.3446846},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Compact Native Code Generation ..."
Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
Maurice Jamieson and Nick Brown
(University of Edinburgh, UK)
@InProceedings{CC21p188,
author = {Maurice Jamieson and Nick Brown},
title = {Compact Native Code Generation for Dynamic Languages on Micro-core Architectures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {188-187},
doi = {10.1145/3446804.3446853},
year = {2021},
}
Publisher's Version
CC '21: "Compiling Data-Parallel Datalog ..."
Compiling Data-Parallel Datalog
Thomas Gilray, Sidharth Kumar, and Kristopher Micinski
(University of Alabama at Birmingham, USA; Syracuse University, USA)
@InProceedings{CC21p35,
author = {Thomas Gilray and Sidharth Kumar and Kristopher Micinski},
title = {Compiling Data-Parallel Datalog},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3446804.3446855},
year = {2021},
}
Publisher's Version
CC '21: "Deep NLP-Based Co-evolvement ..."
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
Zifan Nan, Hui Guan, Xipeng Shen, and Chunhua Liao
(North Carolina State University, USA; University of Massachusetts at Amherst, USA; Lawrence Livermore National Laboratory, USA)
@InProceedings{CC21p205,
author = {Zifan Nan and Hui Guan and Xipeng Shen and Chunhua Liao},
title = {Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {205-204},
doi = {10.1145/3446804.3446852},
year = {2021},
}
Publisher's Version
CC '21: "Integrating a Functional Pattern-Based ..."
Integrating a Functional Pattern-Based IR into MLIR
Martin Lücke, Michel Steuwer, and Aaron Smith
(University of Edinburgh, UK; Microsoft, USA)
@InProceedings{CC21p18,
author = {Martin Lücke and Michel Steuwer and Aaron Smith},
title = {Integrating a Functional Pattern-Based IR into MLIR},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3446804.3446844},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Results Reproduced
CC '21: "A Modern Compiler for the ..."
A Modern Compiler for the French Tax Code
Denis Merigoux, Raphaël Monat, and Jonathan Protzenko
(Inria, France; Sorbonne University, France; CNRS, France; LIP6, France; Microsoft Research, USA)
@InProceedings{CC21p103,
author = {Denis Merigoux and Raphaël Monat and Jonathan Protzenko},
title = {A Modern Compiler for the French Tax Code},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3446804.3446850},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Compiling Data-Parallel Datalog ..."
Compiling Data-Parallel Datalog
Thomas Gilray, Sidharth Kumar, and Kristopher Micinski
(University of Alabama at Birmingham, USA; Syracuse University, USA)
@InProceedings{CC21p35,
author = {Thomas Gilray and Sidharth Kumar and Kristopher Micinski},
title = {Compiling Data-Parallel Datalog},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3446804.3446855},
year = {2021},
}
Publisher's Version
CC '21: "Communication-Safe Web Programming ..."
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu, Francisco Ferreira, Nobuko Yoshida, and Fangyi Zhou
(Imperial College London, UK; Bloomberg, UK)
@InProceedings{CC21p137,
author = {Anson Miu and Francisco Ferreira and Nobuko Yoshida and Fangyi Zhou},
title = {Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3446804.3446854},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "A Modern Compiler for the ..."
A Modern Compiler for the French Tax Code
Denis Merigoux, Raphaël Monat, and Jonathan Protzenko
(Inria, France; Sorbonne University, France; CNRS, France; LIP6, France; Microsoft Research, USA)
@InProceedings{CC21p103,
author = {Denis Merigoux and Raphaël Monat and Jonathan Protzenko},
title = {A Modern Compiler for the French Tax Code},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3446804.3446850},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Deep NLP-Based Co-evolvement ..."
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
Zifan Nan, Hui Guan, Xipeng Shen, and Chunhua Liao
(North Carolina State University, USA; University of Massachusetts at Amherst, USA; Lawrence Livermore National Laboratory, USA)
@InProceedings{CC21p205,
author = {Zifan Nan and Hui Guan and Xipeng Shen and Chunhua Liao},
title = {Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {205-204},
doi = {10.1145/3446804.3446852},
year = {2021},
}
Publisher's Version
CC '21: "Lightning BOLT: Powerful, ..."
Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization
Maksim Panchenko, Rafael Auler, Laith Sakka, and Guilherme Ottoni
(Facebook, USA)
@InProceedings{CC21p171,
author = {Maksim Panchenko and Rafael Auler and Laith Sakka and Guilherme Ottoni},
title = {Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3446804.3446843},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Results Reproduced
CC '21: "Resolvable Ambiguity: Principled ..."
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs
Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman
(KTH, Sweden)
@InProceedings{CC21p222,
author = {Viktor Palmkvist and Elias Castegren and Philipp Haller and David Broman},
title = {Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3446804.3446846},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Lightning BOLT: Powerful, ..."
Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization
Maksim Panchenko, Rafael Auler, Laith Sakka, and Guilherme Ottoni
(Facebook, USA)
@InProceedings{CC21p171,
author = {Maksim Panchenko and Rafael Auler and Laith Sakka and Guilherme Ottoni},
title = {Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3446804.3446843},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Results Reproduced
CC '21: "Exploring the Space of Optimization ..."
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools
Anderson Faustino da Silva, Bernardo N. B. de Lima, and Fernando Magno Quintão Pereira
(State University of Maringá, Brazil; Federal University of Minas Gerais, Brazil)
@InProceedings{CC21p69,
author = {Anderson Faustino da Silva and Bernardo N. B. de Lima and Fernando Magno Quintão Pereira},
title = {Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3446804.3446849},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Data-Aware Process Networks ..."
Data-Aware Process Networks
Christophe Alias and Alexandru Plesco
(CNRS, France; ENS Lyon, France; Inria, France; University of Lyon, France; XtremLogic, France)
@InProceedings{CC21p1,
author = {Christophe Alias and Alexandru Plesco},
title = {Data-Aware Process Networks},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3446804.3446847},
year = {2021},
}
Publisher's Version
CC '21: "PolyBench/Python: Benchmarking ..."
PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations
Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, and Gabriel Rodríguez
(Universidade da Coruña, Spain; Colorado State University, USA; Inria, France)
@InProceedings{CC21p86,
author = {Miguel Á. Abella-González and Pedro Carollo-Fernández and Louis-Noël Pouchet and Fabrice Rastello and Gabriel Rodríguez},
title = {PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3446804.3446842},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
CC '21: "A Modern Compiler for the ..."
A Modern Compiler for the French Tax Code
Denis Merigoux, Raphaël Monat, and Jonathan Protzenko
(Inria, France; Sorbonne University, France; CNRS, France; LIP6, France; Microsoft Research, USA)
@InProceedings{CC21p103,
author = {Denis Merigoux and Raphaël Monat and Jonathan Protzenko},
title = {A Modern Compiler for the French Tax Code},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3446804.3446850},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "PGZ: Automatic Zero-Value ..."
PGZ: Automatic Zero-Value Code Specialization
Mark Stephenson and Ram Rangan
(NVIDIA, USA; NVIDIA, India)
@InProceedings{CC21p52,
author = {Mark Stephenson and Ram Rangan},
title = {PGZ: Automatic Zero-Value Code Specialization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3446804.3446845},
year = {2021},
}
Publisher's Version
CC '21: "PolyBench/Python: Benchmarking ..."
PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations
Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, and Gabriel Rodríguez
(Universidade da Coruña, Spain; Colorado State University, USA; Inria, France)
@InProceedings{CC21p86,
author = {Miguel Á. Abella-González and Pedro Carollo-Fernández and Louis-Noël Pouchet and Fabrice Rastello and Gabriel Rodríguez},
title = {PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3446804.3446842},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
CC '21: "PolyBench/Python: Benchmarking ..."
PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations
Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, and Gabriel Rodríguez
(Universidade da Coruña, Spain; Colorado State University, USA; Inria, France)
@InProceedings{CC21p86,
author = {Miguel Á. Abella-González and Pedro Carollo-Fernández and Louis-Noël Pouchet and Fabrice Rastello and Gabriel Rodríguez},
title = {PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3446804.3446842},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
CC '21: "Lightning BOLT: Powerful, ..."
Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization
Maksim Panchenko, Rafael Auler, Laith Sakka, and Guilherme Ottoni
(Facebook, USA)
@InProceedings{CC21p171,
author = {Maksim Panchenko and Rafael Auler and Laith Sakka and Guilherme Ottoni},
title = {Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3446804.3446843},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Results Reproduced
CC '21: "Deep NLP-Based Co-evolvement ..."
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
Zifan Nan, Hui Guan, Xipeng Shen, and Chunhua Liao
(North Carolina State University, USA; University of Massachusetts at Amherst, USA; Lawrence Livermore National Laboratory, USA)
@InProceedings{CC21p205,
author = {Zifan Nan and Hui Guan and Xipeng Shen and Chunhua Liao},
title = {Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {205-204},
doi = {10.1145/3446804.3446852},
year = {2021},
}
Publisher's Version
CC '21: "Exploring the Space of Optimization ..."
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools
Anderson Faustino da Silva, Bernardo N. B. de Lima, and Fernando Magno Quintão Pereira
(State University of Maringá, Brazil; Federal University of Minas Gerais, Brazil)
@InProceedings{CC21p69,
author = {Anderson Faustino da Silva and Bernardo N. B. de Lima and Fernando Magno Quintão Pereira},
title = {Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3446804.3446849},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Integrating a Functional Pattern-Based ..."
Integrating a Functional Pattern-Based IR into MLIR
Martin Lücke, Michel Steuwer, and Aaron Smith
(University of Edinburgh, UK; Microsoft, USA)
@InProceedings{CC21p18,
author = {Martin Lücke and Michel Steuwer and Aaron Smith},
title = {Integrating a Functional Pattern-Based IR into MLIR},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3446804.3446844},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Results Reproduced
CC '21: "PGZ: Automatic Zero-Value ..."
PGZ: Automatic Zero-Value Code Specialization
Mark Stephenson and Ram Rangan
(NVIDIA, USA; NVIDIA, India)
@InProceedings{CC21p52,
author = {Mark Stephenson and Ram Rangan},
title = {PGZ: Automatic Zero-Value Code Specialization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3446804.3446845},
year = {2021},
}
Publisher's Version
CC '21: "Integrating a Functional Pattern-Based ..."
Integrating a Functional Pattern-Based IR into MLIR
Martin Lücke, Michel Steuwer, and Aaron Smith
(University of Edinburgh, UK; Microsoft, USA)
@InProceedings{CC21p18,
author = {Martin Lücke and Michel Steuwer and Aaron Smith},
title = {Integrating a Functional Pattern-Based IR into MLIR},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3446804.3446844},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Results Reproduced
CC '21: "Helper Function Inlining in ..."
Helper Function Inlining in Dynamic Binary Translation
Wenwen Wang
(University of Georgia, USA)
@InProceedings{CC21p154,
author = {Wenwen Wang},
title = {Helper Function Inlining in Dynamic Binary Translation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {154-153},
doi = {10.1145/3446804.3446851},
year = {2021},
}
Publisher's Version
CC '21: "Communication-Safe Web Programming ..."
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu, Francisco Ferreira, Nobuko Yoshida, and Fangyi Zhou
(Imperial College London, UK; Bloomberg, UK)
@InProceedings{CC21p137,
author = {Anson Miu and Francisco Ferreira and Nobuko Yoshida and Fangyi Zhou},
title = {Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3446804.3446854},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced
CC '21: "Communication-Safe Web Programming ..."
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu, Francisco Ferreira, Nobuko Yoshida, and Fangyi Zhou
(Imperial College London, UK; Bloomberg, UK)
@InProceedings{CC21p137,
author = {Anson Miu and Francisco Ferreira and Nobuko Yoshida and Fangyi Zhou},
title = {Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3446804.3446854},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Results Reproduced