| |
Allais, Guillaume
|
PEPM '24: "Scoped and Typed Staging by ..."
Scoped and Typed Staging by Evaluation
Guillaume Allais
(University of Strathclyde, UK)
@InProceedings{PEPM24p246,
author = {Guillaume Allais},
title = {Scoped and Typed Staging by Evaluation},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {246-245},
doi = {10.1145/3635800.3636964},
year = {2024},
}
 Publisher's Version
Article: poplws24pepmmain-id7-p doi:10.1145/3635800.3636964
|
| |
Berezun, Daniil
|
PEPM '24: "A Case Study in Functional ..."
A Case Study in Functional Conversion and Mode Inference in miniKanren
Ekaterina Verbitskaia, Igor Engel, and Daniil Berezun
(JetBrains Research, Serbia; Constructor University Bremen, Germany; JetBrains Research, Germany; JetBrains Research, Netherlands)
@InProceedings{PEPM24p316,
author = {Ekaterina Verbitskaia and Igor Engel and Daniil Berezun},
title = {A Case Study in Functional Conversion and Mode Inference in miniKanren},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {316-315},
doi = {10.1145/3635800.3636966},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id9-p doi:10.1145/3635800.3636966
|
| |
Bjørner, Dines |
PEPM '24: "The 0'th PEPM Event: October ..."
The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution)
Dines Bjørner
(DTU, Denmark)
@InProceedings{PEPM24p141,
author = {Dines Bjørner},
title = {The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3635800.3637448},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id16-p doi:10.1145/3635800.3637448
|
| |
Cong, Youyou
|
PEPM '24: "An Intrinsically Typed Compiler ..."
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)
@InProceedings{PEPM24p386,
author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
title = {An Intrinsically Typed Compiler for Algebraic Effect Handlers},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {386-385},
doi = {10.1145/3635800.3636968},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id2-p doi:10.1145/3635800.3636968
|
| |
De Angelis, Emanuele
|
PEPM '24: "A Historical Perspective on ..."
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, and Emanuele De Angelis
(University of Rome Tor Vergata, Italy; IASI-CNR, Italy; University of Chieti-Pescara, Italy)
@InProceedings{PEPM24p71,
author = {Alberto Pettorossi and Maurizio Proietti and Fabio Fioravanti and Emanuele De Angelis},
title = {A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3635800.3637446},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id14-p doi:10.1145/3635800.3637446
|
| |
Engel, Igor
|
PEPM '24: "A Case Study in Functional ..."
A Case Study in Functional Conversion and Mode Inference in miniKanren
Ekaterina Verbitskaia, Igor Engel, and Daniil Berezun
(JetBrains Research, Serbia; Constructor University Bremen, Germany; JetBrains Research, Germany; JetBrains Research, Netherlands)
@InProceedings{PEPM24p316,
author = {Ekaterina Verbitskaia and Igor Engel and Daniil Berezun},
title = {A Case Study in Functional Conversion and Mode Inference in miniKanren},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {316-315},
doi = {10.1145/3635800.3636966},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id9-p doi:10.1145/3635800.3636966
|
| |
Fioravanti, Fabio
|
PEPM '24: "A Historical Perspective on ..."
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, and Emanuele De Angelis
(University of Rome Tor Vergata, Italy; IASI-CNR, Italy; University of Chieti-Pescara, Italy)
@InProceedings{PEPM24p71,
author = {Alberto Pettorossi and Maurizio Proietti and Fabio Fioravanti and Emanuele De Angelis},
title = {A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3635800.3637446},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id14-p doi:10.1145/3635800.3637446
|
| |
Fukaishi, Ren |
PEPM '24: "Productivity Verification ..."
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi, Naoki Kobayashi, and Ryosuke Sato
(University of Tokyo, Japan)
@InProceedings{PEPM24p211,
author = {Ren Fukaishi and Naoki Kobayashi and Ryosuke Sato},
title = {Productivity Verification for Functional Programs by Reduction to Termination Verification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3635800.3636963},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id6-p doi:10.1145/3635800.3636963
|
| |
Glück, Robert
|
PEPM '24: "Partial Evaluation of Reversible ..."
Partial Evaluation of Reversible Flowchart Programs
Louis Marott Normann and Robert Glück
(University of Copenhagen, Denmark)
@InProceedings{PEPM24p351,
author = {Louis Marott Normann and Robert Glück},
title = {Partial Evaluation of Reversible Flowchart Programs},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3635800.3636967},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id12-p doi:10.1145/3635800.3636967
|
| |
Henglein, Fritz
|
PEPM '24: "In memoriam Neil Deaton Jones ..."
In memoriam Neil Deaton Jones
Fritz Henglein
(University of Copenhagen, Denmark)
@InProceedings{PEPM24p36,
author = {Fritz Henglein},
title = {In memoriam Neil Deaton Jones},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {36-35},
doi = {10.1145/3635800.3639464},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id01-p doi:10.1145/3635800.3639464
|
| |
Kiselyov, Oleg
|
PEPM '24: "Complete Stream Fusion for ..."
Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi and Oleg Kiselyov
(Tohoku University, Japan)
@InProceedings{PEPM24p176,
author = {Tomoaki Kobayashi and Oleg Kiselyov},
title = {Complete Stream Fusion for Software-Defined Radio},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {176-175},
doi = {10.1145/3635800.3636962},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id4-p doi:10.1145/3635800.3636962
|
| |
Kobayashi, Naoki |
PEPM '24: "Productivity Verification ..."
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi, Naoki Kobayashi, and Ryosuke Sato
(University of Tokyo, Japan)
@InProceedings{PEPM24p211,
author = {Ren Fukaishi and Naoki Kobayashi and Ryosuke Sato},
title = {Productivity Verification for Functional Programs by Reduction to Termination Verification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3635800.3636963},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id6-p doi:10.1145/3635800.3636963
PEPM '24: "Ownership Types for Verification ..."
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka, Ken Sakayori, and Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM24p281,
author = {Izumi Tanaka and Ken Sakayori and Naoki Kobayashi},
title = {Ownership Types for Verification of Programs with Pointer Arithmetic},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3635800.3636965},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id5-p doi:10.1145/3635800.3636965
|
| |
Kobayashi, Tomoaki |
PEPM '24: "Complete Stream Fusion for ..."
Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi and Oleg Kiselyov
(Tohoku University, Japan)
@InProceedings{PEPM24p176,
author = {Tomoaki Kobayashi and Oleg Kiselyov},
title = {Complete Stream Fusion for Software-Defined Radio},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {176-175},
doi = {10.1145/3635800.3636962},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id4-p doi:10.1145/3635800.3636962
|
| |
Liu, Yanhong A.
|
PEPM '24: "Incremental Computation: What ..."
Incremental Computation: What Is the Essence? (Invited Contribution)
Yanhong A. Liu
(Stony Brook University, USA)
@InProceedings{PEPM24p106,
author = {Yanhong A. Liu},
title = {Incremental Computation: What Is the Essence? (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3635800.3637447},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id15-p doi:10.1145/3635800.3637447
|
| |
Masuhara, Hidehiko
|
PEPM '24: "An Intrinsically Typed Compiler ..."
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)
@InProceedings{PEPM24p386,
author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
title = {An Intrinsically Typed Compiler for Algebraic Effect Handlers},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {386-385},
doi = {10.1145/3635800.3636968},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id2-p doi:10.1145/3635800.3636968
|
| |
Normann, Louis Marott
|
PEPM '24: "Partial Evaluation of Reversible ..."
Partial Evaluation of Reversible Flowchart Programs
Louis Marott Normann and Robert Glück
(University of Copenhagen, Denmark)
@InProceedings{PEPM24p351,
author = {Louis Marott Normann and Robert Glück},
title = {Partial Evaluation of Reversible Flowchart Programs},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3635800.3636967},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id12-p doi:10.1145/3635800.3636967
|
| |
Pettorossi, Alberto
|
PEPM '24: "A Historical Perspective on ..."
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, and Emanuele De Angelis
(University of Rome Tor Vergata, Italy; IASI-CNR, Italy; University of Chieti-Pescara, Italy)
@InProceedings{PEPM24p71,
author = {Alberto Pettorossi and Maurizio Proietti and Fabio Fioravanti and Emanuele De Angelis},
title = {A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3635800.3637446},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id14-p doi:10.1145/3635800.3637446
|
| |
Proietti, Maurizio |
PEPM '24: "A Historical Perspective on ..."
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, and Emanuele De Angelis
(University of Rome Tor Vergata, Italy; IASI-CNR, Italy; University of Chieti-Pescara, Italy)
@InProceedings{PEPM24p71,
author = {Alberto Pettorossi and Maurizio Proietti and Fabio Fioravanti and Emanuele De Angelis},
title = {A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3635800.3637446},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id14-p doi:10.1145/3635800.3637446
|
| |
Sakayori, Ken
|
PEPM '24: "Ownership Types for Verification ..."
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka, Ken Sakayori, and Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM24p281,
author = {Izumi Tanaka and Ken Sakayori and Naoki Kobayashi},
title = {Ownership Types for Verification of Programs with Pointer Arithmetic},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3635800.3636965},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id5-p doi:10.1145/3635800.3636965
|
| |
Sato, Ryosuke |
PEPM '24: "Productivity Verification ..."
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi, Naoki Kobayashi, and Ryosuke Sato
(University of Tokyo, Japan)
@InProceedings{PEPM24p211,
author = {Ren Fukaishi and Naoki Kobayashi and Ryosuke Sato},
title = {Productivity Verification for Functional Programs by Reduction to Termination Verification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3635800.3636963},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id6-p doi:10.1145/3635800.3636963
|
| |
Sestoft, Peter |
PEPM '24: "The Genesis of Mix: Early ..."
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
Peter Sestoft and Harald Søndergaard
(IT University of Copenhagen, Denmark; University of Melbourne, Australia)
@InProceedings{PEPM24p1,
author = {Peter Sestoft and Harald Søndergaard},
title = {The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3635800.3637445},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id13-p doi:10.1145/3635800.3637445
|
| |
Søndergaard, Harald |
PEPM '24: "The Genesis of Mix: Early ..."
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
Peter Sestoft and Harald Søndergaard
(IT University of Copenhagen, Denmark; University of Melbourne, Australia)
@InProceedings{PEPM24p1,
author = {Peter Sestoft and Harald Søndergaard},
title = {The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3635800.3637445},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id13-p doi:10.1145/3635800.3637445
|
| |
Tanaka, Izumi
|
PEPM '24: "Ownership Types for Verification ..."
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka, Ken Sakayori, and Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM24p281,
author = {Izumi Tanaka and Ken Sakayori and Naoki Kobayashi},
title = {Ownership Types for Verification of Programs with Pointer Arithmetic},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3635800.3636965},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id5-p doi:10.1145/3635800.3636965
|
| |
Tsuyama, Syouki |
PEPM '24: "An Intrinsically Typed Compiler ..."
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)
@InProceedings{PEPM24p386,
author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
title = {An Intrinsically Typed Compiler for Algebraic Effect Handlers},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {386-385},
doi = {10.1145/3635800.3636968},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id2-p doi:10.1145/3635800.3636968
|
| |
Verbitskaia, Ekaterina
|
PEPM '24: "A Case Study in Functional ..."
A Case Study in Functional Conversion and Mode Inference in miniKanren
Ekaterina Verbitskaia, Igor Engel, and Daniil Berezun
(JetBrains Research, Serbia; Constructor University Bremen, Germany; JetBrains Research, Germany; JetBrains Research, Netherlands)
@InProceedings{PEPM24p316,
author = {Ekaterina Verbitskaia and Igor Engel and Daniil Berezun},
title = {A Case Study in Functional Conversion and Mode Inference in miniKanren},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {316-315},
doi = {10.1145/3635800.3636966},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id9-p doi:10.1145/3635800.3636966
|