GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "The Life Cycle of Features ..."
The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)
@InProceedings{GPCE21p21,
author = {Gabriela K. Michelon and Wesley K. G. Assunção and David Obermann and Lukas Linsbauer and Paul Grünbacher and Alexander Egyed},
title = {The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3486609.3487195},
year = {2021},
}
Publisher's Version
GPCE '21: "A Variational Database Management ..."
A Variational Database Management System
Parisa Ataei, Fariba Khan, and Eric Walkingshaw
(Oregon State University, USA)
@InProceedings{GPCE21p61,
author = {Parisa Ataei and Fariba Khan and Eric Walkingshaw},
title = {A Variational Database Management System},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3486609.3487197},
year = {2021},
}
Publisher's Version
GPCE '21: "Artifact and Reference Models ..."
Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems
Abdallah Atouani, Jörg Christian Kirchhof, Evgeny Kusmenko, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE21p101,
author = {Abdallah Atouani and Jörg Christian Kirchhof and Evgeny Kusmenko and Bernhard Rumpe},
title = {Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3486609.3487199},
year = {2021},
}
Publisher's Version
GPCE '21: "Towards Supporting SPL Engineering ..."
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, and David Caetano
(Institute of Engineering of Porto, Portugal; Polytechnic of Porto, Portugal; Games, Interaction and Learning Technologies, Portugal; Interdisciplinary Studies Research Center, Portugal; NumbersBelieve, Portugal)
@InProceedings{GPCE21p41,
author = {Alexandre Bragança and Isabel Azevedo and Nuno Bettencourt and Carlos Morais and Diogo Teixeira and David Caetano},
title = {Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3486609.3487196},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Towards Supporting SPL Engineering ..."
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, and David Caetano
(Institute of Engineering of Porto, Portugal; Polytechnic of Porto, Portugal; Games, Interaction and Learning Technologies, Portugal; Interdisciplinary Studies Research Center, Portugal; NumbersBelieve, Portugal)
@InProceedings{GPCE21p41,
author = {Alexandre Bragança and Isabel Azevedo and Nuno Bettencourt and Carlos Morais and Diogo Teixeira and David Caetano},
title = {Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3486609.3487196},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Multi-stage Programming with ..."
Multi-stage Programming with Generative and Analytical Macros
Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
(EPFL, Switzerland)
@InProceedings{GPCE21p181,
author = {Nicolas Stucki and Jonathan Immanuel Brachthäuser and Martin Odersky},
title = {Multi-stage Programming with Generative and Analytical Macros},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3486609.3487203},
year = {2021},
}
Publisher's Version
GPCE '21: "Towards Supporting SPL Engineering ..."
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, and David Caetano
(Institute of Engineering of Porto, Portugal; Polytechnic of Porto, Portugal; Games, Interaction and Learning Technologies, Portugal; Interdisciplinary Studies Research Center, Portugal; NumbersBelieve, Portugal)
@InProceedings{GPCE21p41,
author = {Alexandre Bragança and Isabel Azevedo and Nuno Bettencourt and Carlos Morais and Diogo Teixeira and David Caetano},
title = {Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3486609.3487196},
year = {2021},
}
Publisher's Version
GPCE '21: "Delta-Based Verification of ..."
Delta-Based Verification of Software Product Families
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, and Richard Bubel
(TU Darmstadt, Germany; CISPA, Germany)
@InProceedings{GPCE21p121,
author = {Marco Scaletta and Reiner Hähnle and Dominic Steinhöfel and Richard Bubel},
title = {Delta-Based Verification of Software Product Families},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3486609.3487200},
year = {2021},
}
Publisher's Version
GPCE '21: "Towards Supporting SPL Engineering ..."
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, and David Caetano
(Institute of Engineering of Porto, Portugal; Polytechnic of Porto, Portugal; Games, Interaction and Learning Technologies, Portugal; Interdisciplinary Studies Research Center, Portugal; NumbersBelieve, Portugal)
@InProceedings{GPCE21p41,
author = {Alexandre Bragança and Isabel Azevedo and Nuno Bettencourt and Carlos Morais and Diogo Teixeira and David Caetano},
title = {Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3486609.3487196},
year = {2021},
}
Publisher's Version
GPCE '21: "Extracting the Power of Dependent ..."
Extracting the Power of Dependent Types
Artjoms Šinkarovs and Jesper Cockx
(Heriot-Watt University, UK; TU Delft, Netherlands)
@InProceedings{GPCE21p141,
author = {Artjoms Šinkarovs and Jesper Cockx},
title = {Extracting the Power of Dependent Types},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3486609.3487201},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Lifted Termination Analysis ..."
Lifted Termination Analysis by Abstract Interpretation and Its Applications
Aleksandar S. Dimovski
(Mother Teresa University at Skopje, Macedonia)
@InProceedings{GPCE21p161,
author = {Aleksandar S. Dimovski},
title = {Lifted Termination Analysis by Abstract Interpretation and Its Applications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3486609.3487202},
year = {2021},
}
Publisher's Version
GPCE '21: "The Life Cycle of Features ..."
The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)
@InProceedings{GPCE21p21,
author = {Gabriela K. Michelon and Wesley K. G. Assunção and David Obermann and Lukas Linsbauer and Paul Grünbacher and Alexander Egyed},
title = {The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3486609.3487195},
year = {2021},
}
Publisher's Version
GPCE '21: "MADMAX: A DSL for Explanatory ..."
MADMAX: A DSL for Explanatory Decision Making
Martin Erwig and Prashant Kumar
(Oregon State University, USA)
@InProceedings{GPCE21p241,
author = {Martin Erwig and Prashant Kumar},
title = {MADMAX: A DSL for Explanatory Decision Making},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {241-240},
doi = {10.1145/3486609.3487206},
year = {2021},
}
Publisher's Version
GPCE '21: "On-Stack Replacement for Program ..."
On-Stack Replacement for Program Generators and Source-to-Source Compilers
Grégory M. Essertel, Ruby Y. Tahboub, and Tiark Rompf
(Purdue University, USA)
@InProceedings{GPCE21p261,
author = {Grégory M. Essertel and Ruby Y. Tahboub and Tiark Rompf},
title = {On-Stack Replacement for Program Generators and Source-to-Source Compilers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3486609.3487207},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Compiling Pattern Matching ..."
Compiling Pattern Matching to In-Place Modifications
Paul Iannetta, Laure Gonnord, and Gabriel Radanne
(University of Lyon, France; ENS Lyon, France; University of Lyon 1, France; CNRS, France; Inria, France; LIP, France; Grenoble Alps University, France; Grenoble INP, France; LCIS, France)
@InProceedings{GPCE21p201,
author = {Paul Iannetta and Laure Gonnord and Gabriel Radanne},
title = {Compiling Pattern Matching to In-Place Modifications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3486609.3487204},
year = {2021},
}
Publisher's Version
GPCE '21: "The Life Cycle of Features ..."
The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)
@InProceedings{GPCE21p21,
author = {Gabriela K. Michelon and Wesley K. G. Assunção and David Obermann and Lukas Linsbauer and Paul Grünbacher and Alexander Egyed},
title = {The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3486609.3487195},
year = {2021},
}
Publisher's Version
GPCE '21: "Delta-Based Verification of ..."
Delta-Based Verification of Software Product Families
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, and Richard Bubel
(TU Darmstadt, Germany; CISPA, Germany)
@InProceedings{GPCE21p121,
author = {Marco Scaletta and Reiner Hähnle and Dominic Steinhöfel and Richard Bubel},
title = {Delta-Based Verification of Software Product Families},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3486609.3487200},
year = {2021},
}
Publisher's Version
GPCE '21: "Leveraging Relational Concept ..."
Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Nicolas Hlad, Bérénice Lemoine, Marianne Huchard, and Abdelhak-Djamel Seriai
(LIRMM, France; University of Montpellier, France; CNRS, France)
@InProceedings{GPCE21p281,
author = {Nicolas Hlad and Bérénice Lemoine and Marianne Huchard and Abdelhak-Djamel Seriai},
title = {Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3486609.3487208},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '21: "Leveraging Relational Concept ..."
Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Nicolas Hlad, Bérénice Lemoine, Marianne Huchard, and Abdelhak-Djamel Seriai
(LIRMM, France; University of Montpellier, France; CNRS, France)
@InProceedings{GPCE21p281,
author = {Nicolas Hlad and Bérénice Lemoine and Marianne Huchard and Abdelhak-Djamel Seriai},
title = {Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3486609.3487208},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '21: "Compiling Pattern Matching ..."
Compiling Pattern Matching to In-Place Modifications
Paul Iannetta, Laure Gonnord, and Gabriel Radanne
(University of Lyon, France; ENS Lyon, France; University of Lyon 1, France; CNRS, France; Inria, France; LIP, France; Grenoble Alps University, France; Grenoble INP, France; LCIS, France)
@InProceedings{GPCE21p201,
author = {Paul Iannetta and Laure Gonnord and Gabriel Radanne},
title = {Compiling Pattern Matching to In-Place Modifications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3486609.3487204},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Type-Safe Generation of Modules ..."
Type-Safe Generation of Modules in Applicative and Generative Styles
Yuhi Sato and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{GPCE21p301,
author = {Yuhi Sato and Yukiyoshi Kameyama},
title = {Type-Safe Generation of Modules in Applicative and Generative Styles},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3486609.3487209},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "A Variational Database Management ..."
A Variational Database Management System
Parisa Ataei, Fariba Khan, and Eric Walkingshaw
(Oregon State University, USA)
@InProceedings{GPCE21p61,
author = {Parisa Ataei and Fariba Khan and Eric Walkingshaw},
title = {A Variational Database Management System},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3486609.3487197},
year = {2021},
}
Publisher's Version
GPCE '21: "Artifact and Reference Models ..."
Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems
Abdallah Atouani, Jörg Christian Kirchhof, Evgeny Kusmenko, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE21p101,
author = {Abdallah Atouani and Jörg Christian Kirchhof and Evgeny Kusmenko and Bernhard Rumpe},
title = {Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3486609.3487199},
year = {2021},
}
Publisher's Version
GPCE '21: "Understanding and Improving ..."
Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins
Jörg Christian Kirchhof, Lukas Malcher, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE21p321,
author = {Jörg Christian Kirchhof and Lukas Malcher and Bernhard Rumpe},
title = {Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {321-320},
doi = {10.1145/3486609.3487210},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "MADMAX: A DSL for Explanatory ..."
MADMAX: A DSL for Explanatory Decision Making
Martin Erwig and Prashant Kumar
(Oregon State University, USA)
@InProceedings{GPCE21p241,
author = {Martin Erwig and Prashant Kumar},
title = {MADMAX: A DSL for Explanatory Decision Making},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {241-240},
doi = {10.1145/3486609.3487206},
year = {2021},
}
Publisher's Version
GPCE '21: "Artifact and Reference Models ..."
Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems
Abdallah Atouani, Jörg Christian Kirchhof, Evgeny Kusmenko, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE21p101,
author = {Abdallah Atouani and Jörg Christian Kirchhof and Evgeny Kusmenko and Bernhard Rumpe},
title = {Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3486609.3487199},
year = {2021},
}
Publisher's Version
GPCE '21: "Leveraging Relational Concept ..."
Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Nicolas Hlad, Bérénice Lemoine, Marianne Huchard, and Abdelhak-Djamel Seriai
(LIRMM, France; University of Montpellier, France; CNRS, France)
@InProceedings{GPCE21p281,
author = {Nicolas Hlad and Bérénice Lemoine and Marianne Huchard and Abdelhak-Djamel Seriai},
title = {Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3486609.3487208},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '21: "Live Programming and Programming ..."
Live Programming and Programming by Example: Better Together (Keynote)
Sorin Lerner
(University of California at San Diego, USA)
@InProceedings{GPCE21p1,
author = {Sorin Lerner},
title = {Live Programming and Programming by Example: Better Together (Keynote)},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486609.3491064},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "The Life Cycle of Features ..."
The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)
@InProceedings{GPCE21p21,
author = {Gabriela K. Michelon and Wesley K. G. Assunção and David Obermann and Lukas Linsbauer and Paul Grünbacher and Alexander Egyed},
title = {The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3486609.3487195},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Metaprogramming with Combinators ..."
Metaprogramming with Combinators
Mahshid Shahmohammadian and Geoffrey Mainland
(Drexel University, USA)
@InProceedings{GPCE21p81,
author = {Mahshid Shahmohammadian and Geoffrey Mainland},
title = {Metaprogramming with Combinators},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3486609.3487198},
year = {2021},
}
Publisher's Version
GPCE '21: "Understanding and Improving ..."
Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins
Jörg Christian Kirchhof, Lukas Malcher, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE21p321,
author = {Jörg Christian Kirchhof and Lukas Malcher and Bernhard Rumpe},
title = {Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {321-320},
doi = {10.1145/3486609.3487210},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "The Life Cycle of Features ..."
The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)
@InProceedings{GPCE21p21,
author = {Gabriela K. Michelon and Wesley K. G. Assunção and David Obermann and Lukas Linsbauer and Paul Grünbacher and Alexander Egyed},
title = {The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3486609.3487195},
year = {2021},
}
Publisher's Version
GPCE '21: "Towards Supporting SPL Engineering ..."
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, and David Caetano
(Institute of Engineering of Porto, Portugal; Polytechnic of Porto, Portugal; Games, Interaction and Learning Technologies, Portugal; Interdisciplinary Studies Research Center, Portugal; NumbersBelieve, Portugal)
@InProceedings{GPCE21p41,
author = {Alexandre Bragança and Isabel Azevedo and Nuno Bettencourt and Carlos Morais and Diogo Teixeira and David Caetano},
title = {Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3486609.3487196},
year = {2021},
}
Publisher's Version
GPCE '21: "The Life Cycle of Features ..."
The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)
@InProceedings{GPCE21p21,
author = {Gabriela K. Michelon and Wesley K. G. Assunção and David Obermann and Lukas Linsbauer and Paul Grünbacher and Alexander Egyed},
title = {The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3486609.3487195},
year = {2021},
}
Publisher's Version
GPCE '21: "Multi-stage Programming with ..."
Multi-stage Programming with Generative and Analytical Macros
Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
(EPFL, Switzerland)
@InProceedings{GPCE21p181,
author = {Nicolas Stucki and Jonathan Immanuel Brachthäuser and Martin Odersky},
title = {Multi-stage Programming with Generative and Analytical Macros},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3486609.3487203},
year = {2021},
}
Publisher's Version
GPCE '21: "Compiling Pattern Matching ..."
Compiling Pattern Matching to In-Place Modifications
Paul Iannetta, Laure Gonnord, and Gabriel Radanne
(University of Lyon, France; ENS Lyon, France; University of Lyon 1, France; CNRS, France; Inria, France; LIP, France; Grenoble Alps University, France; Grenoble INP, France; LCIS, France)
@InProceedings{GPCE21p201,
author = {Paul Iannetta and Laure Gonnord and Gabriel Radanne},
title = {Compiling Pattern Matching to In-Place Modifications},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3486609.3487204},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "On-Stack Replacement for Program ..."
On-Stack Replacement for Program Generators and Source-to-Source Compilers
Grégory M. Essertel, Ruby Y. Tahboub, and Tiark Rompf
(Purdue University, USA)
@InProceedings{GPCE21p261,
author = {Grégory M. Essertel and Ruby Y. Tahboub and Tiark Rompf},
title = {On-Stack Replacement for Program Generators and Source-to-Source Compilers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3486609.3487207},
year = {2021},
}
Publisher's Version
GPCE '21: "Artifact and Reference Models ..."
Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems
Abdallah Atouani, Jörg Christian Kirchhof, Evgeny Kusmenko, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE21p101,
author = {Abdallah Atouani and Jörg Christian Kirchhof and Evgeny Kusmenko and Bernhard Rumpe},
title = {Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3486609.3487199},
year = {2021},
}
Publisher's Version
GPCE '21: "Understanding and Improving ..."
Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins
Jörg Christian Kirchhof, Lukas Malcher, and Bernhard Rumpe
(RWTH Aachen University, Germany)
@InProceedings{GPCE21p321,
author = {Jörg Christian Kirchhof and Lukas Malcher and Bernhard Rumpe},
title = {Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {321-320},
doi = {10.1145/3486609.3487210},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Type-Safe Generation of Modules ..."
Type-Safe Generation of Modules in Applicative and Generative Styles
Yuhi Sato and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{GPCE21p301,
author = {Yuhi Sato and Yukiyoshi Kameyama},
title = {Type-Safe Generation of Modules in Applicative and Generative Styles},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3486609.3487209},
year = {2021},
}
Publisher's Version
GPCE '21: "Delta-Based Verification of ..."
Delta-Based Verification of Software Product Families
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, and Richard Bubel
(TU Darmstadt, Germany; CISPA, Germany)
@InProceedings{GPCE21p121,
author = {Marco Scaletta and Reiner Hähnle and Dominic Steinhöfel and Richard Bubel},
title = {Delta-Based Verification of Software Product Families},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3486609.3487200},
year = {2021},
}
Publisher's Version
GPCE '21: "Leveraging Relational Concept ..."
Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Nicolas Hlad, Bérénice Lemoine, Marianne Huchard, and Abdelhak-Djamel Seriai
(LIRMM, France; University of Montpellier, France; CNRS, France)
@InProceedings{GPCE21p281,
author = {Nicolas Hlad and Bérénice Lemoine and Marianne Huchard and Abdelhak-Djamel Seriai},
title = {Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3486609.3487208},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Metaprogramming with Combinators ..."
Metaprogramming with Combinators
Mahshid Shahmohammadian and Geoffrey Mainland
(Drexel University, USA)
@InProceedings{GPCE21p81,
author = {Mahshid Shahmohammadian and Geoffrey Mainland},
title = {Metaprogramming with Combinators},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3486609.3487198},
year = {2021},
}
Publisher's Version
GPCE '21: "Extracting the Power of Dependent ..."
Extracting the Power of Dependent Types
Artjoms Šinkarovs and Jesper Cockx
(Heriot-Watt University, UK; TU Delft, Netherlands)
@InProceedings{GPCE21p141,
author = {Artjoms Šinkarovs and Jesper Cockx},
title = {Extracting the Power of Dependent Types},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3486609.3487201},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "Delta-Based Verification of ..."
Delta-Based Verification of Software Product Families
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, and Richard Bubel
(TU Darmstadt, Germany; CISPA, Germany)
@InProceedings{GPCE21p121,
author = {Marco Scaletta and Reiner Hähnle and Dominic Steinhöfel and Richard Bubel},
title = {Delta-Based Verification of Software Product Families},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3486609.3487200},
year = {2021},
}
Publisher's Version
GPCE '21: "Multi-stage Programming with ..."
Multi-stage Programming with Generative and Analytical Macros
Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
(EPFL, Switzerland)
@InProceedings{GPCE21p181,
author = {Nicolas Stucki and Jonathan Immanuel Brachthäuser and Martin Odersky},
title = {Multi-stage Programming with Generative and Analytical Macros},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3486609.3487203},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "On-Stack Replacement for Program ..."
On-Stack Replacement for Program Generators and Source-to-Source Compilers
Grégory M. Essertel, Ruby Y. Tahboub, and Tiark Rompf
(Purdue University, USA)
@InProceedings{GPCE21p261,
author = {Grégory M. Essertel and Ruby Y. Tahboub and Tiark Rompf},
title = {On-Stack Replacement for Program Generators and Source-to-Source Compilers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3486609.3487207},
year = {2021},
}
Publisher's Version
GPCE '21: "Towards Supporting SPL Engineering ..."
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, Carlos Morais, Diogo Teixeira, and David Caetano
(Institute of Engineering of Porto, Portugal; Polytechnic of Porto, Portugal; Games, Interaction and Learning Technologies, Portugal; Interdisciplinary Studies Research Center, Portugal; NumbersBelieve, Portugal)
@InProceedings{GPCE21p41,
author = {Alexandre Bragança and Isabel Azevedo and Nuno Bettencourt and Carlos Morais and Diogo Teixeira and David Caetano},
title = {Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3486609.3487196},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "A Variational Database Management ..."
A Variational Database Management System
Parisa Ataei, Fariba Khan, and Eric Walkingshaw
(Oregon State University, USA)
@InProceedings{GPCE21p61,
author = {Parisa Ataei and Fariba Khan and Eric Walkingshaw},
title = {A Variational Database Management System},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3486609.3487197},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version
GPCE '21: "HACCLE: Metaprogramming for ..."
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
@InProceedings{GPCE21p221,
author = {Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoit Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni},
title = {HACCLE: Metaprogramming for Secure Multi-Party Computation},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3486609.3487205},
year = {2021},
}
Publisher's Version