BibTeX records: Pedro B. Vasconcelos

download as .bib file

@inproceedings{DBLP:conf/haskell/VasconcelosM24,
  author       = {Pedro B. Vasconcelos and
                  Rodrigo Marques},
  editor       = {Niki Vazou and
                  J. Garrett Morris},
  title        = {Haskelite: {A} Tracing Interpreter Based on a Pattern-Matching Calculus},
  booktitle    = {Proceedings of the 17th {ACM} {SIGPLAN} International Haskell Symposium,
                  Haskell 2024, Milan, Italy, September 6-7, 2024},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3677999.3678274},
  doi          = {10.1145/3677999.3678274},
  timestamp    = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/VasconcelosM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2407-06747,
  author       = {Rodrigo Marques and
                  M{\'{a}}rio Florido and
                  Pedro B. Vasconcelos},
  title        = {Towards Algebraic Subtyping for Extensible Records},
  journal      = {CoRR},
  volume       = {abs/2407.06747},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.06747},
  doi          = {10.48550/ARXIV.2407.06747},
  eprinttype    = {arXiv},
  eprint       = {2407.06747},
  timestamp    = {Fri, 16 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-06747.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2407-11831,
  author       = {Pedro B. Vasconcelos and
                  Rodrigo Marques},
  title        = {Haskelite: {A} Tracing Interpreter Based on a Pattern-Matching Calculus},
  journal      = {CoRR},
  volume       = {abs/2407.11831},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.11831},
  doi          = {10.48550/ARXIV.2407.11831},
  eprinttype    = {arXiv},
  eprint       = {2407.11831},
  timestamp    = {Mon, 26 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-11831.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpec/Vasconcelos23,
  author       = {Pedro B. Vasconcelos},
  editor       = {Ricardo Alexandre Peixoto de Queir{\'{o}}s and
                  Mario Paulo Teixeira Pinto},
  title        = {Haskelite: {A} Step-By-Step Interpreter for Teaching Functional Programming},
  booktitle    = {4th International Computer Programming Education Conference, {ICPEC}
                  2023, June 26-28, 2023, Vila do Conde, Portugal},
  series       = {OASIcs},
  volume       = {112},
  pages        = {12:1--12:8},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/OASIcs.ICPEC.2023.12},
  doi          = {10.4230/OASICS.ICPEC.2023.12},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpec/Vasconcelos23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpec/VasconcelosR20,
  author       = {Pedro B. Vasconcelos and
                  Rita P. Ribeiro},
  editor       = {Ricardo Queir{\'{o}}s and
                  Filipe Portela and
                  M{\'{a}}rio Pinto and
                  Alberto Sim{\~{o}}es},
  title        = {Using Property-Based Testing to Generate Feedback for {C} Programming
                  Exercises},
  booktitle    = {First International Computer Programming Education Conference, {ICPEC}
                  2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)},
  series       = {OASIcs},
  volume       = {81},
  pages        = {28:1--28:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.ICPEC.2020.28},
  doi          = {10.4230/OASICS.ICPEC.2020.28},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpec/VasconcelosR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/MoreiraVF20,
  author       = {Sara Moreira and
                  Pedro B. Vasconcelos and
                  M{\'{a}}rio Florido},
  editor       = {Olaf Chitil},
  title        = {Resource Analysis for Lazy Evaluation with Polynomial Potential},
  booktitle    = {{IFL} 2020: 32nd Symposium on Implementation and Application of Functional
                  Languages, Virtual Event / Canterbury, UK, September 2-4, 2020},
  pages        = {104--114},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3462172.3462196},
  doi          = {10.1145/3462172.3462196},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/MoreiraVF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/JostVFH17,
  author       = {Steffen Jost and
                  Pedro B. Vasconcelos and
                  M{\'{a}}rio Florido and
                  Kevin Hammond},
  title        = {Type-Based Cost Analysis for Lazy Functional Languages},
  journal      = {J. Autom. Reason.},
  volume       = {59},
  number       = {1},
  pages        = {87--120},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10817-016-9398-9},
  doi          = {10.1007/S10817-016-9398-9},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/JostVFH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RodriguesAFSPV15,
  author       = {V{\'{\i}}tor Rodrigues and
                  Benny Akesson and
                  M{\'{a}}rio Florido and
                  Sim{\~{a}}o Melo de Sousa and
                  Jo{\~{a}}o Pedro Pedroso and
                  Pedro B. Vasconcelos},
  title        = {Certifying execution time in multicores},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {505--534},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.06.006},
  doi          = {10.1016/J.SCICO.2015.06.006},
  timestamp    = {Tue, 28 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/RodriguesAFSPV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/VasconcelosJFH15,
  author       = {Pedro B. Vasconcelos and
                  Steffen Jost and
                  M{\'{a}}rio Florido and
                  Kevin Hammond},
  editor       = {Jan Vitek},
  title        = {Type-Based Allocation Analysis for Co-recursion in Lazy Functional
                  Languages},
  booktitle    = {Programming Languages and Systems - 24th European Symposium on Programming,
                  {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9032},
  pages        = {787--811},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46669-8\_32},
  doi          = {10.1007/978-3-662-46669-8\_32},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/VasconcelosJFH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/SimoesVFJH12,
  author       = {Hugo R. Sim{\~{o}}es and
                  Pedro B. Vasconcelos and
                  M{\'{a}}rio Florido and
                  Steffen Jost and
                  Kevin Hammond},
  editor       = {Peter Thiemann and
                  Robby Bruce Findler},
  title        = {Automatic amortised analysis of dynamic memory allocation for lazy
                  functional programs},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages        = {165--176},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364527.2364575},
  doi          = {10.1145/2364527.2364575},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/SimoesVFJH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Vasconcelos08,
  author       = {Pedro B. Vasconcelos},
  title        = {Space cost analysis using sized types},
  school       = {University of St Andrews, {UK}},
  year         = {2008},
  url          = {https://hdl.handle.net/10023/564},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Vasconcelos08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/SimoesHFV06,
  author       = {Hugo R. Sim{\~{o}}es and
                  Kevin Hammond and
                  M{\'{a}}rio Florido and
                  Pedro B. Vasconcelos},
  editor       = {Thorsten Altenkirch and
                  Conor McBride},
  title        = {Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic
                  Functional Programs},
  booktitle    = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
                  Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4502},
  pages        = {221--236},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74464-1\_15},
  doi          = {10.1007/978-3-540-74464-1\_15},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/SimoesHFV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/VasconcelosH03,
  author       = {Pedro B. Vasconcelos and
                  Kevin Hammond},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Ricardo Pena},
  title        = {Inferring Cost Equations for Recursive, Polymorphic and Higher-Order
                  Functional Programs},
  booktitle    = {Implementation of Functional Languages, 15th International Workshop,
                  {IFL} 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3145},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-27861-0\_6},
  doi          = {10.1007/978-3-540-27861-0\_6},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/VasconcelosH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/PortilloHLV02,
  author       = {{\'{A}}lvaro J. Reb{\'{o}}n Portillo and
                  Kevin Hammond and
                  Hans{-}Wolfgang Loidl and
                  Pedro B. Vasconcelos},
  editor       = {Ricardo Pena and
                  Thomas Arts},
  title        = {Cost Analysis Using Automatic Size and Time Inference},
  booktitle    = {Implementation of Functional Languages, 14th International Workshop,
                  {IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2670},
  pages        = {232--248},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-44854-3\_15},
  doi          = {10.1007/3-540-44854-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/PortilloHLV02.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.