| |
Asai, Kenichi
|
PEPM '23: "Towards a Reflection for Effect ..."
Towards a Reflection for Effect Handlers
Youyou Cong and Kenichi Asai
(Tokyo Institute of Technology, Japan; Ochanomizu University, Japan)
@InProceedings{PEPM23p69,
author = {Youyou Cong and Kenichi Asai},
title = {Towards a Reflection for Effect Handlers},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3571786.3573015},
year = {2023},
}
 Publisher's Version
Article: poplws23pepmmain-p3-p doi:10.1145/3571786.3573015
|
| |
Carette, Jacques
|
PEPM '23: "Symbolic Execution of Hadamard-Toffoli ..."
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Jacques Carette, Gerardo Ortiz, and Amr Sabry
(McMaster University, Canada; Indiana University, USA)
@InProceedings{PEPM23p18,
author = {Jacques Carette and Gerardo Ortiz and Amr Sabry},
title = {Symbolic Execution of Hadamard-Toffoli Quantum Circuits},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3571786.3573018},
year = {2023},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: poplws23pepmmain-p9-p doi:10.1145/3571786.3573018
|
| |
Cong, Youyou |
PEPM '23: "Towards a Reflection for Effect ..."
Towards a Reflection for Effect Handlers
Youyou Cong and Kenichi Asai
(Tokyo Institute of Technology, Japan; Ochanomizu University, Japan)
@InProceedings{PEPM23p69,
author = {Youyou Cong and Kenichi Asai},
title = {Towards a Reflection for Effect Handlers},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3571786.3573015},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p3-p doi:10.1145/3571786.3573015
|
| |
Hong, Jaemin
|
PEPM '23: "Semantic Transformation Framework ..."
Semantic Transformation Framework for Rewriting Rules
Jihee Park, Jaemin Hong, and Sukyoung Ryu
(KAIST, South Korea)
@InProceedings{PEPM23p1,
author = {Jihee Park and Jaemin Hong and Sukyoung Ryu},
title = {Semantic Transformation Framework for Rewriting Rules},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3571786.3573016},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p6-p doi:10.1145/3571786.3573016
|
| |
Kameyama, Yukiyoshi
|
PEPM '23: "Generating Programs for Polynomial ..."
Generating Programs for Polynomial Multiplication with Correctness Assurance
Ryo Tokuda and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{PEPM23p35,
author = {Ryo Tokuda and Yukiyoshi Kameyama},
title = {Generating Programs for Polynomial Multiplication with Correctness Assurance},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3571786.3573017},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p8-p doi:10.1145/3571786.3573017
|
| |
Macedo, José Nuno
|
PEPM '23: "Efficient Embedding of Strategic ..."
Efficient Embedding of Strategic Attribute Grammars via Memoization
José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, and João Saraiva
(HASLab - INESC TEC, Portugal; University of Minho, Portugal; Universidad de la República, Uruguay)
@InProceedings{PEPM23p52,
author = {José Nuno Macedo and Emanuel Rodrigues and Marcos Viera and João Saraiva},
title = {Efficient Embedding of Strategic Attribute Grammars via Memoization},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3571786.3573019},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p10-p doi:10.1145/3571786.3573019
|
| |
Ortiz, Gerardo
|
PEPM '23: "Symbolic Execution of Hadamard-Toffoli ..."
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Jacques Carette, Gerardo Ortiz, and Amr Sabry
(McMaster University, Canada; Indiana University, USA)
@InProceedings{PEPM23p18,
author = {Jacques Carette and Gerardo Ortiz and Amr Sabry},
title = {Symbolic Execution of Hadamard-Toffoli Quantum Circuits},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3571786.3573018},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: poplws23pepmmain-p9-p doi:10.1145/3571786.3573018
|
| |
Park, Jihee
|
PEPM '23: "Semantic Transformation Framework ..."
Semantic Transformation Framework for Rewriting Rules
Jihee Park, Jaemin Hong, and Sukyoung Ryu
(KAIST, South Korea)
@InProceedings{PEPM23p1,
author = {Jihee Park and Jaemin Hong and Sukyoung Ryu},
title = {Semantic Transformation Framework for Rewriting Rules},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3571786.3573016},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p6-p doi:10.1145/3571786.3573016
|
| |
Rodrigues, Emanuel
|
PEPM '23: "Efficient Embedding of Strategic ..."
Efficient Embedding of Strategic Attribute Grammars via Memoization
José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, and João Saraiva
(HASLab - INESC TEC, Portugal; University of Minho, Portugal; Universidad de la República, Uruguay)
@InProceedings{PEPM23p52,
author = {José Nuno Macedo and Emanuel Rodrigues and Marcos Viera and João Saraiva},
title = {Efficient Embedding of Strategic Attribute Grammars via Memoization},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3571786.3573019},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p10-p doi:10.1145/3571786.3573019
|
| |
Ryu, Sukyoung |
PEPM '23: "Semantic Transformation Framework ..."
Semantic Transformation Framework for Rewriting Rules
Jihee Park, Jaemin Hong, and Sukyoung Ryu
(KAIST, South Korea)
@InProceedings{PEPM23p1,
author = {Jihee Park and Jaemin Hong and Sukyoung Ryu},
title = {Semantic Transformation Framework for Rewriting Rules},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3571786.3573016},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p6-p doi:10.1145/3571786.3573016
|
| |
Sabry, Amr
|
PEPM '23: "Symbolic Execution of Hadamard-Toffoli ..."
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Jacques Carette, Gerardo Ortiz, and Amr Sabry
(McMaster University, Canada; Indiana University, USA)
@InProceedings{PEPM23p18,
author = {Jacques Carette and Gerardo Ortiz and Amr Sabry},
title = {Symbolic Execution of Hadamard-Toffoli Quantum Circuits},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3571786.3573018},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: poplws23pepmmain-p9-p doi:10.1145/3571786.3573018
|
| |
Saraiva, João |
PEPM '23: "Efficient Embedding of Strategic ..."
Efficient Embedding of Strategic Attribute Grammars via Memoization
José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, and João Saraiva
(HASLab - INESC TEC, Portugal; University of Minho, Portugal; Universidad de la República, Uruguay)
@InProceedings{PEPM23p52,
author = {José Nuno Macedo and Emanuel Rodrigues and Marcos Viera and João Saraiva},
title = {Efficient Embedding of Strategic Attribute Grammars via Memoization},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3571786.3573019},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p10-p doi:10.1145/3571786.3573019
|
| |
Tokuda, Ryo
|
PEPM '23: "Generating Programs for Polynomial ..."
Generating Programs for Polynomial Multiplication with Correctness Assurance
Ryo Tokuda and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{PEPM23p35,
author = {Ryo Tokuda and Yukiyoshi Kameyama},
title = {Generating Programs for Polynomial Multiplication with Correctness Assurance},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3571786.3573017},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p8-p doi:10.1145/3571786.3573017
|
| |
Viera, Marcos
|
PEPM '23: "Efficient Embedding of Strategic ..."
Efficient Embedding of Strategic Attribute Grammars via Memoization
José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, and João Saraiva
(HASLab - INESC TEC, Portugal; University of Minho, Portugal; Universidad de la República, Uruguay)
@InProceedings{PEPM23p52,
author = {José Nuno Macedo and Emanuel Rodrigues and Marcos Viera and João Saraiva},
title = {Efficient Embedding of Strategic Attribute Grammars via Memoization},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3571786.3573019},
year = {2023},
}
Publisher's Version
Article: poplws23pepmmain-p10-p doi:10.1145/3571786.3573019
|