BibTeX records: Francisco Ferreira 0001

download as .bib file

@article{DBLP:journals/darts/JongmansF23,
  author       = {Sung{-}Shik Jongmans and
                  Francisco Ferreira},
  title        = {Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via
                  Implicit Local Types (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {9},
  number       = {2},
  pages        = {18:1--18:2},
  year         = {2023},
  url          = {https://doi.org/10.4230/DARTS.9.2.18},
  doi          = {10.4230/DARTS.9.2.18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/JongmansF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/JongmansF23,
  author       = {Sung{-}Shik Jongmans and
                  Francisco Ferreira},
  editor       = {Karim Ali and
                  Guido Salvaneschi},
  title        = {Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via
                  Implicit Local Types (Pearl/Brave New Idea)},
  booktitle    = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
                  July 17-21, 2023, Seattle, Washington, United States},
  series       = {LIPIcs},
  volume       = {263},
  pages        = {42:1--42:30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.42},
  doi          = {10.4230/LIPICS.ECOOP.2023.42},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/JongmansF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/FerreiraJ23,
  author       = {Francisco Ferreira and
                  Sung{-}Shik Jongmans},
  editor       = {Ren{\'{e}} Just and
                  Gordon Fraser},
  title        = {Oven: Safe and Live Communication Protocols in Scala, using Synthetic
                  Behavioural Type Analysis},
  booktitle    = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
                  Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
                  17-21, 2023},
  pages        = {1511--1514},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3597926.3604926},
  doi          = {10.1145/3597926.3604926},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/FerreiraJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/BarwellFY22,
  author       = {Adam D. Barwell and
                  Francisco Ferreira and
                  Nobuko Yoshida},
  title        = {{CONCUR} test-of-time award for the period 1994-97 interview with
                  Uwe Nestmann and Benjamin C. Pierce},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {125},
  pages        = {100744},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jlamp.2021.100744},
  doi          = {10.1016/J.JLAMP.2021.100744},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/BarwellFY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cc/Miu0Y021,
  author       = {Anson Miu and
                  Francisco Ferreira and
                  Nobuko Yoshida and
                  Fangyi Zhou},
  editor       = {Aaron Smith and
                  Delphine Demange and
                  Rajiv Gupta},
  title        = {Communication-safe web programming in TypeScript with routed multiparty
                  session types},
  booktitle    = {{CC} '21: 30th {ACM} {SIGPLAN} International Conference on Compiler
                  Construction, Virtual Event, Republic of Korea, March 2-3, 2021},
  pages        = {94--106},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3446804.3446854},
  doi          = {10.1145/3446804.3446854},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cc/Miu0Y021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/YoshidaZF21,
  author       = {Nobuko Yoshida and
                  Fangyi Zhou and
                  Francisco Ferreira},
  editor       = {Evripidis Bampis and
                  Aris Pagourtzis},
  title        = {Communicating Finite State Machines and an Extensible Toolchain for
                  Multiparty Session Types},
  booktitle    = {Fundamentals of Computation Theory - 23rd International Symposium,
                  {FCT} 2021, Athens, Greece, September 12-15, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12867},
  pages        = {18--35},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86593-1\_2},
  doi          = {10.1007/978-3-030-86593-1\_2},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/YoshidaZF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/Castro-Perez0GY21,
  author       = {David Castro{-}Perez and
                  Francisco Ferreira and
                  Lorenzo Gheri and
                  Nobuko Yoshida},
  editor       = {Stephen N. Freund and
                  Eran Yahav},
  title        = {Zooid: a {DSL} for certified multiparty computation: from mechanised
                  metatheory to certified multiparty processes},
  booktitle    = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, Virtual Event, Canada, June 20-25,
                  2021},
  pages        = {237--251},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3453483.3454041},
  doi          = {10.1145/3453483.3454041},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/Castro-Perez0GY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2101-04622,
  author       = {Anson Miu and
                  Francisco Ferreira and
                  Nobuko Yoshida and
                  Fangyi Zhou},
  title        = {Communication-Safe Web Programming in TypeScript with Routed Multiparty
                  Session Types},
  journal      = {CoRR},
  volume       = {abs/2101.04622},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.04622},
  eprinttype    = {arXiv},
  eprint       = {2101.04622},
  timestamp    = {Fri, 22 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-04622.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2103-10269,
  author       = {David Castro{-}Perez and
                  Francisco Ferreira and
                  Lorenzo Gheri and
                  Nobuko Yoshida},
  title        = {Zooid: a {DSL} for Certified Multiparty Computation},
  journal      = {CoRR},
  volume       = {abs/2103.10269},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.10269},
  eprinttype    = {arXiv},
  eprint       = {2103.10269},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-10269.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/00020HNY20,
  author       = {Fangyi Zhou and
                  Francisco Ferreira and
                  Raymond Hu and
                  Rumyana Neykova and
                  Nobuko Yoshida},
  title        = {Statically verified refinements for multiparty protocols},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {148:1--148:30},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428216},
  doi          = {10.1145/3428216},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/00020HNY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/CastroFY20,
  author       = {David Castro{-}Perez and
                  Francisco Ferreira and
                  Nobuko Yoshida},
  editor       = {Armin Biere and
                  David Parker},
  title        = {{EMTST:} Engineering the Meta-theory of Session Types},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 26th International Conference, {TACAS} 2020, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12079},
  pages        = {278--285},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45237-7\_17},
  doi          = {10.1007/978-3-030-45237-7\_17},
  timestamp    = {Fri, 14 May 2021 08:34:19 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CastroFY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-01321,
  author       = {Anson Miu and
                  Francisco Ferreira and
                  Nobuko Yoshida and
                  Fangyi Zhou},
  editor       = {Stephanie Balzer and
                  Luca Padovani},
  title        = {Generating Interactive WebSocket Applications in TypeScript},
  booktitle    = {Proceedings of the 12th International Workshop on Programming Language
                  Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS
                  2020, Dublin, Ireland, 26th April 2020},
  series       = {{EPTCS}},
  volume       = {314},
  pages        = {12--22},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.314.2},
  doi          = {10.4204/EPTCS.314.2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-01321.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2009-06541,
  author       = {Fangyi Zhou and
                  Francisco Ferreira and
                  Raymond Hu and
                  Rumyana Neykova and
                  Nobuko Yoshida},
  title        = {Statically Verified Refinements for Multiparty Protocols},
  journal      = {CoRR},
  volume       = {abs/2009.06541},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.06541},
  eprinttype    = {arXiv},
  eprint       = {2009.06541},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06541.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/PientkaT00Z19,
  author       = {Brigitte Pientka and
                  David Thibodeau and
                  Andreas Abel and
                  Francisco Ferreira and
                  R{\'{e}}becca Zucchini},
  title        = {A Type Theory for Defining Logics and Proofs},
  booktitle    = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2019, Vancouver, BC, Canada, June 24-27, 2019},
  pages        = {1--13},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/LICS.2019.8785683},
  doi          = {10.1109/LICS.2019.8785683},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/PientkaT00Z19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1901-03378,
  author       = {Brigitte Pientka and
                  Andreas Abel and
                  Francisco Ferreira and
                  David Thibodeau and
                  R{\'{e}}becca Zucchini},
  title        = {Cocon: Computation in Contextual Type Theory},
  journal      = {CoRR},
  volume       = {abs/1901.03378},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.03378},
  eprinttype    = {arXiv},
  eprint       = {1901.03378},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-03378.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1905-02617,
  author       = {Brigitte Pientka and
                  David Thibodeau and
                  Andreas Abel and
                  Francisco Ferreira and
                  R{\'{e}}becca Zucchini},
  title        = {A Type Theory for Defining Logics and Proofs},
  journal      = {CoRR},
  volume       = {abs/1905.02617},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.02617},
  eprinttype    = {arXiv},
  eprint       = {1905.02617},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-02617.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1805-07176,
  author       = {Francisco Ferreira Ruiz},
  title        = {Proofs and Programs about Open Terms},
  journal      = {CoRR},
  volume       = {abs/1805.07176},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.07176},
  eprinttype    = {arXiv},
  eprint       = {1805.07176},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-07176.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/0001P17,
  author       = {Francisco Ferreira and
                  Brigitte Pientka},
  editor       = {Hongseok Yang},
  title        = {Programs Using Syntax with First-Class Binders},
  booktitle    = {Programming Languages and Systems - 26th European Symposium on Programming,
                  {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
                  2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10201},
  pages        = {504--529},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54434-1\_19},
  doi          = {10.1007/978-3-662-54434-1\_19},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/0001P17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/CaveFPP14,
  author       = {Andrew Cave and
                  Francisco Ferreira and
                  Prakash Panangaden and
                  Brigitte Pientka},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {Fair reactive programming},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {361--372},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535881},
  doi          = {10.1145/2535838.2535881},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/CaveFPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/FerreiraP14,
  author       = {Francisco Ferreira and
                  Brigitte Pientka},
  editor       = {Olaf Chitil and
                  Andy King and
                  Olivier Danvy},
  title        = {Bidirectional Elaboration of Dependently Typed Programs},
  booktitle    = {Proceedings of the 16th International Symposium on Principles and
                  Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
                  September 8-10, 2014},
  pages        = {161--174},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2643135.2643153},
  doi          = {10.1145/2643135.2643153},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/FerreiraP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/FerreiraMP13,
  author       = {Francisco Ferreira and
                  Stefan Monnier and
                  Brigitte Pientka},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Compiling contextual objects: bringing higher-order abstract syntax
                  to programmers},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428121},
  doi          = {10.1145/2428116.2428121},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/FerreiraMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.