| |
Bühlmann, Noah
|
GPCE '24: "Automated Generation of Code ..."
Automated Generation of Code Contracts: Generative AI to the Rescue?
Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer
(University of Southern Denmark, Denmark; University of Bern, Switzerland; University of Athens, Greece; Feenk, Switzerland)
@InProceedings{GPCE24p1,
author = {Sandra Greiner and Noah Bühlmann and Manuel Ohrndorf and Christos Tsigkanos and Oscar Nierstrasz and Timo Kehrer},
title = {Automated Generation of Code Contracts: Generative AI to the Rescue?},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689484.3690738},
year = {2024},
}
 Publisher's Version
Article: splashws24gpcemain-p75-p doi:10.1145/3689484.3690738
|
| |
Chalal, Zaak
|
GPCE '24: "An Extensible Feature-Oriented ..."
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Karim Ghallab, Tewfik Ziadi, and Zaak Chalal
(Mobioos, France; LIP6, France; Sorbonne Université, France)
@InProceedings{GPCE24p17,
author = {Karim Ghallab and Tewfik Ziadi and Zaak Chalal},
title = {An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689484.3690735},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p66-p doi:10.1145/3689484.3690735
|
| |
Das, Pratyush
|
GPCE '24: "Specializing Data Access in ..."
Specializing Data Access in a Distributed File System (Generative Pearl)
Pratyush Das, Anxhelo Xhebraj, and Tiark Rompf
(Purdue University, USA)
@InProceedings{GPCE24p49,
author = {Pratyush Das and Anxhelo Xhebraj and Tiark Rompf},
title = {Specializing Data Access in a Distributed File System (Generative Pearl)},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3689484.3690736},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p70-p doi:10.1145/3689484.3690736
|
| |
Erdweg, Sebastian
|
GPCE '24: "Separate Compilation and Partial ..."
Separate Compilation and Partial Linking: Modules for Datalog IR
David Klopp, André Pacak, and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{GPCE24p113,
author = {David Klopp and André Pacak and Sebastian Erdweg},
title = {Separate Compilation and Partial Linking: Modules for Datalog IR},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3689484.3690737},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p72-p doi:10.1145/3689484.3690737
|
| |
Frölich, Damian
|
GPCE '24: "On the Soundness of Auto-completion ..."
On the Soundness of Auto-completion Services for Dynamically Typed Languages
Damian Frölich and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)
@InProceedings{GPCE24p129,
author = {Damian Frölich and L. Thomas van Binsbergen},
title = {On the Soundness of Auto-completion Services for Dynamically Typed Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {129-128},
doi = {10.1145/3689484.3690734},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p62-p doi:10.1145/3689484.3690734
|
| |
Gao, Cunyuan
|
GPCE '24: "Seamless Scope-Safe Metaprogramming ..."
Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)
Cunyuan Gao and Lionel Parreaux
(Hong Kong University of Science and Technology, China)
@InProceedings{GPCE24p145,
author = {Cunyuan Gao and Lionel Parreaux},
title = {Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3689484.3690733},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24gpcemain-p41-p doi:10.1145/3689484.3690733
|
| |
Gerasimov, Arkadii |
GPCE '24: "Applying a Self-Extension ..."
Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries
Arkadii Gerasimov, Nico Jansen, Judith Michael, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE24p33,
author = {Arkadii Gerasimov and Nico Jansen and Judith Michael and Bernhard Rumpe},
title = {Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3689484.3690732},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p25-p doi:10.1145/3689484.3690732
|
| |
Ghallab, Karim |
GPCE '24: "An Extensible Feature-Oriented ..."
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Karim Ghallab, Tewfik Ziadi, and Zaak Chalal
(Mobioos, France; LIP6, France; Sorbonne Université, France)
@InProceedings{GPCE24p17,
author = {Karim Ghallab and Tewfik Ziadi and Zaak Chalal},
title = {An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689484.3690735},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p66-p doi:10.1145/3689484.3690735
|
| |
Greiner, Sandra |
GPCE '24: "Automated Generation of Code ..."
Automated Generation of Code Contracts: Generative AI to the Rescue?
Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer
(University of Southern Denmark, Denmark; University of Bern, Switzerland; University of Athens, Greece; Feenk, Switzerland)
@InProceedings{GPCE24p1,
author = {Sandra Greiner and Noah Bühlmann and Manuel Ohrndorf and Christos Tsigkanos and Oscar Nierstrasz and Timo Kehrer},
title = {Automated Generation of Code Contracts: Generative AI to the Rescue?},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689484.3690738},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p75-p doi:10.1145/3689484.3690738
|
| |
Hollenbeck, Celeste
|
GPCE '24: "Hot Call-Chain Inlining for ..."
Hot Call-Chain Inlining for the Glasgow Haskell Compiler
Celeste Hollenbeck and Michael F. P. O’Boyle
(University of Edinburgh, United Kingdom)
@InProceedings{GPCE24p81,
author = {Celeste Hollenbeck and Michael F. P. O’Boyle},
title = {Hot Call-Chain Inlining for the Glasgow Haskell Compiler},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3689484.3690730},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p2-p doi:10.1145/3689484.3690730
|
| |
Isoda, Kanaru
|
GPCE '24: "Type-Safe Code Generation ..."
Type-Safe Code Generation with Algebraic Effects and Handlers
Kanaru Isoda, Ayato Yokoyama, and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{GPCE24p65,
author = {Kanaru Isoda and Ayato Yokoyama and Yukiyoshi Kameyama},
title = {Type-Safe Code Generation with Algebraic Effects and Handlers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3689484.3690731},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p23-p doi:10.1145/3689484.3690731
|
| |
Jansen, Nico
|
GPCE '24: "Applying a Self-Extension ..."
Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries
Arkadii Gerasimov, Nico Jansen, Judith Michael, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE24p33,
author = {Arkadii Gerasimov and Nico Jansen and Judith Michael and Bernhard Rumpe},
title = {Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3689484.3690732},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p25-p doi:10.1145/3689484.3690732
|
| |
Kameyama, Yukiyoshi
|
GPCE '24: "Type-Safe Code Generation ..."
Type-Safe Code Generation with Algebraic Effects and Handlers
Kanaru Isoda, Ayato Yokoyama, and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{GPCE24p65,
author = {Kanaru Isoda and Ayato Yokoyama and Yukiyoshi Kameyama},
title = {Type-Safe Code Generation with Algebraic Effects and Handlers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3689484.3690731},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p23-p doi:10.1145/3689484.3690731
|
| |
Kehrer, Timo |
GPCE '24: "Automated Generation of Code ..."
Automated Generation of Code Contracts: Generative AI to the Rescue?
Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer
(University of Southern Denmark, Denmark; University of Bern, Switzerland; University of Athens, Greece; Feenk, Switzerland)
@InProceedings{GPCE24p1,
author = {Sandra Greiner and Noah Bühlmann and Manuel Ohrndorf and Christos Tsigkanos and Oscar Nierstrasz and Timo Kehrer},
title = {Automated Generation of Code Contracts: Generative AI to the Rescue?},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689484.3690738},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p75-p doi:10.1145/3689484.3690738
|
| |
Klopp, David |
GPCE '24: "Separate Compilation and Partial ..."
Separate Compilation and Partial Linking: Modules for Datalog IR
David Klopp, André Pacak, and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{GPCE24p113,
author = {David Klopp and André Pacak and Sebastian Erdweg},
title = {Separate Compilation and Partial Linking: Modules for Datalog IR},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3689484.3690737},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p72-p doi:10.1145/3689484.3690737
|
| |
Michael, Judith
|
GPCE '24: "Applying a Self-Extension ..."
Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries
Arkadii Gerasimov, Nico Jansen, Judith Michael, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE24p33,
author = {Arkadii Gerasimov and Nico Jansen and Judith Michael and Bernhard Rumpe},
title = {Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3689484.3690732},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p25-p doi:10.1145/3689484.3690732
|
| |
Nierstrasz, Oscar
|
GPCE '24: "Automated Generation of Code ..."
Automated Generation of Code Contracts: Generative AI to the Rescue?
Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer
(University of Southern Denmark, Denmark; University of Bern, Switzerland; University of Athens, Greece; Feenk, Switzerland)
@InProceedings{GPCE24p1,
author = {Sandra Greiner and Noah Bühlmann and Manuel Ohrndorf and Christos Tsigkanos and Oscar Nierstrasz and Timo Kehrer},
title = {Automated Generation of Code Contracts: Generative AI to the Rescue?},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689484.3690738},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p75-p doi:10.1145/3689484.3690738
|
| |
O’Boyle, Michael F. P.
|
GPCE '24: "Hot Call-Chain Inlining for ..."
Hot Call-Chain Inlining for the Glasgow Haskell Compiler
Celeste Hollenbeck and Michael F. P. O’Boyle
(University of Edinburgh, United Kingdom)
@InProceedings{GPCE24p81,
author = {Celeste Hollenbeck and Michael F. P. O’Boyle},
title = {Hot Call-Chain Inlining for the Glasgow Haskell Compiler},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3689484.3690730},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p2-p doi:10.1145/3689484.3690730
|
| |
Ohrndorf, Manuel |
GPCE '24: "Automated Generation of Code ..."
Automated Generation of Code Contracts: Generative AI to the Rescue?
Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer
(University of Southern Denmark, Denmark; University of Bern, Switzerland; University of Athens, Greece; Feenk, Switzerland)
@InProceedings{GPCE24p1,
author = {Sandra Greiner and Noah Bühlmann and Manuel Ohrndorf and Christos Tsigkanos and Oscar Nierstrasz and Timo Kehrer},
title = {Automated Generation of Code Contracts: Generative AI to the Rescue?},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689484.3690738},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p75-p doi:10.1145/3689484.3690738
|
| |
Pacak, André
|
GPCE '24: "Separate Compilation and Partial ..."
Separate Compilation and Partial Linking: Modules for Datalog IR
David Klopp, André Pacak, and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{GPCE24p113,
author = {David Klopp and André Pacak and Sebastian Erdweg},
title = {Separate Compilation and Partial Linking: Modules for Datalog IR},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3689484.3690737},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p72-p doi:10.1145/3689484.3690737
|
| |
Parreaux, Lionel |
GPCE '24: "Seamless Scope-Safe Metaprogramming ..."
Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)
Cunyuan Gao and Lionel Parreaux
(Hong Kong University of Science and Technology, China)
@InProceedings{GPCE24p145,
author = {Cunyuan Gao and Lionel Parreaux},
title = {Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper)},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3689484.3690733},
year = {2024},
}
Publisher's Version
Artifacts Reusable
Article: splashws24gpcemain-p41-p doi:10.1145/3689484.3690733
|
| |
Rompf, Tiark
|
GPCE '24: "Specializing Data Access in ..."
Specializing Data Access in a Distributed File System (Generative Pearl)
Pratyush Das, Anxhelo Xhebraj, and Tiark Rompf
(Purdue University, USA)
@InProceedings{GPCE24p49,
author = {Pratyush Das and Anxhelo Xhebraj and Tiark Rompf},
title = {Specializing Data Access in a Distributed File System (Generative Pearl)},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3689484.3690736},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p70-p doi:10.1145/3689484.3690736
|
| |
Rumpe, Bernhard |
GPCE '24: "Applying a Self-Extension ..."
Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries
Arkadii Gerasimov, Nico Jansen, Judith Michael, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE24p33,
author = {Arkadii Gerasimov and Nico Jansen and Judith Michael and Bernhard Rumpe},
title = {Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3689484.3690732},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p25-p doi:10.1145/3689484.3690732
|
| |
Shaikhha, Amir
|
GPCE '24: "Restaging Domain-Specific ..."
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
Amir Shaikhha
(University of Edinburgh, United Kingdom)
@InProceedings{GPCE24p97,
author = {Amir Shaikhha},
title = {Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3689484.3690739},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p88-p doi:10.1145/3689484.3690739
|
| |
Tsigkanos, Christos
|
GPCE '24: "Automated Generation of Code ..."
Automated Generation of Code Contracts: Generative AI to the Rescue?
Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer
(University of Southern Denmark, Denmark; University of Bern, Switzerland; University of Athens, Greece; Feenk, Switzerland)
@InProceedings{GPCE24p1,
author = {Sandra Greiner and Noah Bühlmann and Manuel Ohrndorf and Christos Tsigkanos and Oscar Nierstrasz and Timo Kehrer},
title = {Automated Generation of Code Contracts: Generative AI to the Rescue?},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689484.3690738},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p75-p doi:10.1145/3689484.3690738
|
| |
Van Binsbergen, L. Thomas
|
GPCE '24: "On the Soundness of Auto-completion ..."
On the Soundness of Auto-completion Services for Dynamically Typed Languages
Damian Frölich and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)
@InProceedings{GPCE24p129,
author = {Damian Frölich and L. Thomas van Binsbergen},
title = {On the Soundness of Auto-completion Services for Dynamically Typed Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {129-128},
doi = {10.1145/3689484.3690734},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p62-p doi:10.1145/3689484.3690734
|
| |
Xhebraj, Anxhelo
|
GPCE '24: "Specializing Data Access in ..."
Specializing Data Access in a Distributed File System (Generative Pearl)
Pratyush Das, Anxhelo Xhebraj, and Tiark Rompf
(Purdue University, USA)
@InProceedings{GPCE24p49,
author = {Pratyush Das and Anxhelo Xhebraj and Tiark Rompf},
title = {Specializing Data Access in a Distributed File System (Generative Pearl)},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3689484.3690736},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p70-p doi:10.1145/3689484.3690736
|
| |
Yokoyama, Ayato
|
GPCE '24: "Type-Safe Code Generation ..."
Type-Safe Code Generation with Algebraic Effects and Handlers
Kanaru Isoda, Ayato Yokoyama, and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{GPCE24p65,
author = {Kanaru Isoda and Ayato Yokoyama and Yukiyoshi Kameyama},
title = {Type-Safe Code Generation with Algebraic Effects and Handlers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3689484.3690731},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p23-p doi:10.1145/3689484.3690731
|
| |
Ziadi, Tewfik
|
GPCE '24: "An Extensible Feature-Oriented ..."
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
Karim Ghallab, Tewfik Ziadi, and Zaak Chalal
(Mobioos, France; LIP6, France; Sorbonne Université, France)
@InProceedings{GPCE24p17,
author = {Karim Ghallab and Tewfik Ziadi and Zaak Chalal},
title = {An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3689484.3690735},
year = {2024},
}
Publisher's Version
Article: splashws24gpcemain-p66-p doi:10.1145/3689484.3690735
|