BibTeX records: Paolo G. Giarrusso

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Paolo G. Giarrusso

download as .bib file

@article{DBLP:journals/pacmpl/StuckiG21,
  author       = {Sandro Stucki and
                  Paolo G. Giarrusso},
  title        = {A theory of higher-order subtyping with type intervals},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{ICFP}},
  pages        = {1--30},
  year         = {2021},
  url          = {https://doi.org/10.1145/3473574},
  doi          = {10.1145/3473574},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/StuckiG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2107-01883,
  author       = {Sandro Stucki and
                  Paolo G. Giarrusso},
  title        = {A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2107.01883},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.01883},
  eprinttype    = {arXiv},
  eprint       = {2107.01883},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01883.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Giarrusso20,
  author       = {Paolo G. Giarrusso},
  title        = {Optimizing and Incrementalizing Higher-order Collection Queries by
                  {AST} Transformation},
  school       = {University of T{\"{u}}bingen, Germany},
  year         = {2020},
  url          = {https://publikationen.uni-tuebingen.de/xmlui/handle/10900/97998/},
  urn          = {urn:nbn:de:bsz:21-dspace-979980},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Giarrusso20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/GiarrussoSTBK20,
  author       = {Paolo G. Giarrusso and
                  L{\'{e}}o Stefanesco and
                  Amin Timany and
                  Lars Birkedal and
                  Robbert Krebbers},
  title        = {Scala step-by-step: soundness for {DOT} with step-indexed logical
                  relations in Iris},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{ICFP}},
  pages        = {114:1--114:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3408996},
  doi          = {10.1145/3408996},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GiarrussoSTBK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/LiuLBGO20,
  author       = {Fengyun Liu and
                  Ondrej Lhot{\'{a}}k and
                  Aggelos Biboudis and
                  Paolo G. Giarrusso and
                  Martin Odersky},
  title        = {A type-and-effect system for object initialization},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {175:1--175:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428243},
  doi          = {10.1145/3428243},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LiuLBGO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/GiarrussoRS19,
  author       = {Paolo G. Giarrusso and
                  Yann R{\'{e}}gis{-}Gianas and
                  Philipp Schuster},
  editor       = {Lu{\'{\i}}s Caires},
  title        = {Incremental {\textbackslash}lambda -Calculus in Cache-Transfer Style
                  - Static Memoization by Program Transformation},
  booktitle    = {Programming Languages and Systems - 28th European Symposium on Programming,
                  {ESOP} 2019, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
                  6-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11423},
  pages        = {553--580},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17184-1\_20},
  doi          = {10.1007/978-3-030-17184-1\_20},
  timestamp    = {Fri, 31 Jan 2020 21:32:28 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/GiarrussoRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scala/ParreauxBG19,
  author       = {Lionel Parreaux and
                  Aleksander Boruch{-}Gruszecki and
                  Paolo G. Giarrusso},
  editor       = {Jonathan Immanuel Brachth{\"{a}}user and
                  Sukyoung Ryu and
                  Nathaniel Nystrom},
  title        = {Towards improved {GADT} reasoning in Scala},
  booktitle    = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
                  2019, London, UK, July 17, 2019},
  pages        = {12--16},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3337932.3338813},
  doi          = {10.1145/3337932.3338813},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/ParreauxBG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scala/StuckiGO18,
  author       = {Nicolas Stucki and
                  Paolo G. Giarrusso and
                  Martin Odersky},
  editor       = {Sebastian Erdweg and
                  Bruno C. d. S. Oliveira},
  title        = {Truly abstract interfaces for algebraic data types: the extractor
                  typing problem},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
                  Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  pages        = {56--60},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3241653.3241658},
  doi          = {10.1145/3241653.3241658},
  timestamp    = {Tue, 11 Dec 2018 19:20:16 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/StuckiGO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/CaiGO16,
  author       = {Yufei Cai and
                  Paolo G. Giarrusso and
                  Klaus Ostermann},
  editor       = {Rastislav Bod{\'{\i}}k and
                  Rupak Majumdar},
  title        = {System f-omega with equirecursive types for datatype-generic programming},
  booktitle    = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2016, St. Petersburg,
                  FL, USA, January 20 - 22, 2016},
  pages        = {30--43},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2837614.2837660},
  doi          = {10.1145/2837614.2837660},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/CaiGO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/CaiGRO14,
  author       = {Yufei Cai and
                  Paolo G. Giarrusso and
                  Tillmann Rendel and
                  Klaus Ostermann},
  editor       = {Michael F. P. O'Boyle and
                  Keshav Pingali},
  title        = {A theory of changes for higher-order languages: incrementalizing {\(\lambda\)}-calculi
                  by static differentiation},
  booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
                  {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages        = {145--155},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2594291.2594304},
  doi          = {10.1145/2594291.2594304},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/CaiGRO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/SiegmundRKGAK13,
  author       = {Norbert Siegmund and
                  Marko Rosenm{\"{u}}ller and
                  Christian K{\"{a}}stner and
                  Paolo G. Giarrusso and
                  Sven Apel and
                  Sergiy S. Kolesnikov},
  title        = {Scalable prediction of non-functional properties in software product
                  lines: Footprint and memory consumption},
  journal      = {Inf. Softw. Technol.},
  volume       = {55},
  number       = {3},
  pages        = {491--507},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.infsof.2012.07.020},
  doi          = {10.1016/J.INFSOF.2012.07.020},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/SiegmundRKGAK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aosd/GiarrussoOEMRK13,
  author       = {Paolo G. Giarrusso and
                  Klaus Ostermann and
                  Michael Eichberg and
                  Ralf Mitschke and
                  Tillmann Rendel and
                  Christian K{\"{a}}stner},
  editor       = {Hidehiko Masuhara and
                  Shigeru Chiba and
                  Naoyasu Ubayashi},
  title        = {Reify your collection queries for modularity and speed!},
  booktitle    = {Aspect-Oriented Software Development, {AOSD} '13, Fukuoka, Japan,
                  March 24-29, 2013},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2451436.2451438},
  doi          = {10.1145/2451436.2451438},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/GiarrussoOEMRK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/Giarrusso13,
  author       = {Paolo G. Giarrusso},
  title        = {Open GADTs and declaration-site variance: a problem statement},
  booktitle    = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
                  France, July 2, 2013},
  pages        = {5:1--5:4},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2489837.2489842},
  doi          = {10.1145/2489837.2489842},
  timestamp    = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/Giarrusso13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/CaiGRO13,
  author       = {Yufei Cai and
                  Paolo G. Giarrusso and
                  Tillmann Rendel and
                  Klaus Ostermann},
  title        = {A Theory of Changes for Higher-Order Languages - Incrementalizing
                  {\(\lambda\)}-Calculi by Static Differentiation},
  journal      = {CoRR},
  volume       = {abs/1312.0658},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.0658},
  eprinttype    = {arXiv},
  eprint       = {1312.0658},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CaiGRO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldta/ErdwegGR12,
  author       = {Sebastian Erdweg and
                  Paolo G. Giarrusso and
                  Tillmann Rendel},
  editor       = {Anthony Sloane and
                  Suzana Andova},
  title        = {Language composition untangled},
  booktitle    = {International Workshop on Language Descriptions, Tools, and Applications,
                  {LDTA} '12, Tallinn, Estonia, March 31 - April 1, 2012},
  pages        = {7},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2427048.2427055},
  doi          = {10.1145/2427048.2427055},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldta/ErdwegGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/Giarrusso12,
  author       = {Paolo G. Giarrusso},
  editor       = {Gary T. Leavens},
  title        = {Reifying and optimizing collection queries for modularity},
  booktitle    = {SPLASH'12 - Proceedings of the 2012 {ACM} Conference on Systems, Programming,
                  and Applications: Software for Humanity, Tucson, AZ, USA, October
                  21-25, 2012},
  pages        = {41--44},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384716.2384735},
  doi          = {10.1145/2384716.2384735},
  timestamp    = {Mon, 14 Feb 2022 15:08:35 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/Giarrusso12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/GiarrussoOERK12,
  author       = {Paolo G. Giarrusso and
                  Klaus Ostermann and
                  Michael Eichberg and
                  Tillmann Rendel and
                  Christian K{\"{a}}stner},
  editor       = {Gary T. Leavens},
  title        = {Reifying and optimizing collection queries for modularity},
  booktitle    = {SPLASH'12 - Proceedings of the 2012 {ACM} Conference on Systems, Programming,
                  and Applications: Software for Humanity, Tucson, AZ, USA, October
                  21-25, 2012},
  pages        = {77--78},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384716.2384747},
  doi          = {10.1145/2384716.2384747},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/GiarrussoOERK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1210-6284,
  author       = {Paolo G. Giarrusso and
                  Klaus Ostermann and
                  Michael Eichberg and
                  Ralf Mitschke and
                  Tillmann Rendel and
                  Christian K{\"{a}}stner},
  title        = {Reify Your Collection Queries for Modularity and Speed!},
  journal      = {CoRR},
  volume       = {abs/1210.6284},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.6284},
  eprinttype    = {arXiv},
  eprint       = {1210.6284},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-6284.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/OstermannGKR11,
  author       = {Klaus Ostermann and
                  Paolo G. Giarrusso and
                  Christian K{\"{a}}stner and
                  Tillmann Rendel},
  editor       = {Mira Mezini},
  title        = {Revisiting Information Hiding: Reflections on Classical and Nonclassical
                  Modularity},
  booktitle    = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
                  Lancaster, UK, July 25-29, 2011 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6813},
  pages        = {155--178},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22655-7\_8},
  doi          = {10.1007/978-3-642-22655-7\_8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/OstermannGKR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/KastnerGREOB11,
  author       = {Christian K{\"{a}}stner and
                  Paolo G. Giarrusso and
                  Tillmann Rendel and
                  Sebastian Erdweg and
                  Klaus Ostermann and
                  Thorsten Berger},
  editor       = {Cristina Videira Lopes and
                  Kathleen Fisher},
  title        = {Variability-aware parsing in the presence of lexical macros and conditional
                  compilation},
  booktitle    = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
                  part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
  pages        = {805--824},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2048066.2048128},
  doi          = {10.1145/2048066.2048128},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/KastnerGREOB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/splc/SiegmundRKGAK11,
  author       = {Norbert Siegmund and
                  Marko Rosenm{\"{u}}ller and
                  Christian K{\"{a}}stner and
                  Paolo G. Giarrusso and
                  Sven Apel and
                  Sergiy S. Kolesnikov},
  editor       = {Eduardo Santana de Almeida and
                  Tomoji Kishi and
                  Christa Schwanninger and
                  Isabel John and
                  Klaus Schmid},
  title        = {Scalable Prediction of Non-functional Properties in Software Product
                  Lines},
  booktitle    = {Software Product Lines - 15th International Conference, {SPLC} 2011,
                  Munich, Germany, August 22-26, 2011},
  pages        = {160--169},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SPLC.2011.20},
  doi          = {10.1109/SPLC.2011.20},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/splc/SiegmundRKGAK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vamos/KastnerGO11,
  author       = {Christian K{\"{a}}stner and
                  Paolo G. Giarrusso and
                  Klaus Ostermann},
  editor       = {Patrick Heymans and
                  Krzysztof Czarnecki and
                  Ulrich W. Eisenecker},
  title        = {Partial preprocessing {C} code for variability analysis},
  booktitle    = {Fifth International Workshop on Variability Modelling of Software-Intensive
                  Systems, Namur, Belgium, January 27-29, 2011. Proceedings},
  series       = {{ACM} International Conference Proceedings Series},
  pages        = {127--136},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1944892.1944908},
  doi          = {10.1145/1944892.1944908},
  timestamp    = {Fri, 30 Dec 2022 23:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/KastnerGO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.