Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arthur Azevedo de Amorim
@article{DBLP:journals/pacmpl/RinaldiwAM24,
author = {Francis Rinaldi and
june wunder and
Arthur Azevedo de Amorim and
Stefan K. Muller},
title = {Pipelines and Beyond: Graph Types for ADTs with Futures},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {482--511},
year = {2024},
url = {https://doi.org/10.1145/3632859},
doi = {10.1145/3632859},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RinaldiwAM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16277,
author = {J{\'{e}}r{\'{e}}my Thibault and
Roberto Blanco and
Dongjae Lee and
Sven Argo and
Arthur Azevedo de Amorim and
A{\"{\i}}na Linn Georges and
Catalin Hritcu and
Andrew Tolmach},
title = {{SECOMP:} Formally Secure Compilation of Compartmentalized {C} Programs},
journal = {CoRR},
volume = {abs/2401.16277},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16277},
doi = {10.48550/ARXIV.2401.16277},
eprinttype = {arXiv},
eprint = {2401.16277},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/wunderABG23,
author = {june wunder and
Arthur Azevedo de Amorim and
Patrick Baillot and
Marco Gaboardi},
editor = {Thomas Wies},
title = {Bunched Fuzz: Sensitivity for Vector Metrics},
booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 2023, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {451--478},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8\_17},
doi = {10.1007/978-3-031-30044-8\_17},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/wunderABG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-06984,
author = {Francis Rinaldi and
june wunder and
Arthur Azevedo de Amorim and
Stefan K. Muller},
title = {Pipelines and Beyond: Graph Types for ADTs with Futures},
journal = {CoRR},
volume = {abs/2311.06984},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.06984},
doi = {10.48550/ARXIV.2311.06984},
eprinttype = {arXiv},
eprint = {2311.06984},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-06984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhangAG22,
author = {Cheng Zhang and
Arthur Azevedo de Amorim and
Marco Gaboardi},
title = {On incorrectness logic and Kleene algebra with top and tests},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022},
url = {https://doi.org/10.1145/3498690},
doi = {10.1145/3498690},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhangAG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01901,
author = {june wunder and
Arthur Azevedo de Amorim and
Patrick Baillot and
Marco Gaboardi},
title = {Bunched Fuzz: Sensitivity for Vector Metrics},
journal = {CoRR},
volume = {abs/2202.01901},
year = {2022},
url = {https://arxiv.org/abs/2202.01901},
eprinttype = {arXiv},
eprint = {2202.01901},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-01901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07053,
author = {Arthur Azevedo de Amorim},
title = {On Pitts' Relational Properties of Domains},
journal = {CoRR},
volume = {abs/2207.07053},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07053},
doi = {10.48550/ARXIV.2207.07053},
eprinttype = {arXiv},
eprint = {2207.07053},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/ZhangA0P21,
author = {Zichao Zhang and
Arthur Azevedo de Amorim and
Limin Jia and
Corina S. Pasareanu},
editor = {Gwen Sala{\"{u}}n and
Anton Wijs},
title = {Learning Assumptions for Verifying Cryptographic Protocols Compositionally},
booktitle = {Formal Aspects of Component Software - 17th International Conference,
{FACS} 2021, Virtual Event, October 28-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13077},
pages = {3--23},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90636-8\_1},
doi = {10.1007/978-3-030-90636-8\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/ZhangA0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhangZAAFJ21,
author = {Han Zhang and
Chi Zhang and
Arthur Azevedo de Amorim and
Yuvraj Agarwal and
Matt Fredrikson and
Limin Jia},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Netter: Probabilistic, Stateful Network Models},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {486--508},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_22},
doi = {10.1007/978-3-030-67067-2\_22},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/ZhangZAAFJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07707,
author = {Cheng Zhang and
Arthur Azevedo de Amorim and
Marco Gaboardi},
title = {On Incorrectness Logic and Kleene Algebra With Top and Tests},
journal = {CoRR},
volume = {abs/2108.07707},
year = {2021},
url = {https://arxiv.org/abs/2108.07707},
eprinttype = {arXiv},
eprint = {2108.07707},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZhangAJP20,
author = {Zichao Zhang and
Arthur Azevedo de Amorim and
Limin Jia and
Corina S. Pasareanu},
title = {Automating Compositional Analysis of Authentication Protocols},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {113--118},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_18},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ZhangAJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AmorimFJ20,
author = {Arthur Azevedo de Amorim and
Matt Fredrikson and
Limin Jia},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Reconciling noninterference and gradual typing},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {116--129},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394778},
doi = {10.1145/3373718.3394778},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/AmorimFJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AmorimGHK19,
author = {Arthur Azevedo de Amorim and
Marco Gaboardi and
Justin Hsu and
Shin{-}ya Katsumata},
title = {Probabilistic Relational Reasoning via Metrics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--19},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785715},
doi = {10.1109/LICS.2019.8785715},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AmorimGHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AbateABEFHLPST18,
author = {Carmine Abate and
Arthur Azevedo de Amorim and
Roberto Blanco and
Ana Nora Evans and
Guglielmo Fachini and
Catalin Hritcu and
Th{\'{e}}o Laurent and
Benjamin C. Pierce and
Marco Stronati and
Andrew Tolmach},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic
Compromise},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {1351--1368},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243745},
doi = {10.1145/3243734.3243745},
timestamp = {Tue, 10 Nov 2020 20:00:51 +0100},
biburl = {https://dblp.org/rec/conf/ccs/AbateABEFHLPST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AmorimHP18,
author = {Arthur Azevedo de Amorim and
Catalin Hritcu and
Benjamin C. Pierce},
editor = {Lujo Bauer and
Ralf K{\"{u}}sters},
title = {The Meaning of Memory Safety},
booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
2018, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10804},
pages = {79--105},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89722-6\_4},
doi = {10.1007/978-3-319-89722-6\_4},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/AmorimHP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00588,
author = {Guglielmo Fachini and
Catalin Hritcu and
Marco Stronati and
Arthur Azevedo de Amorim and
Ana Nora Evans and
Carmine Abate and
Roberto Blanco and
Th{\'{e}}o Laurent and
Benjamin C. Pierce and
Andrew Tolmach},
title = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic
Compromise},
journal = {CoRR},
volume = {abs/1802.00588},
year = {2018},
url = {http://arxiv.org/abs/1802.00588},
eprinttype = {arXiv},
eprint = {1802.00588},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-00588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-05091,
author = {Arthur Azevedo de Amorim and
Marco Gaboardi and
Justin Hsu and
Shin{-}ya Katsumata},
title = {Metric Semantics for Probabilistic Relational Reasoning},
journal = {CoRR},
volume = {abs/1807.05091},
year = {2018},
url = {http://arxiv.org/abs/1807.05091},
eprinttype = {arXiv},
eprint = {1807.05091},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-05091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmorimGHKC17,
author = {Arthur Azevedo de Amorim and
Marco Gaboardi and
Justin Hsu and
Shin{-}ya Katsumata and
Ikram Cherigui},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {A semantic account of metric preservation},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {545--556},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009890},
doi = {10.1145/3009837.3009890},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/AmorimGHKC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimGHKC17,
author = {Arthur Azevedo de Amorim and
Marco Gaboardi and
Justin Hsu and
Shin{-}ya Katsumata and
Ikram Cherigui},
title = {A Semantic Account of Metric Preservation},
journal = {CoRR},
volume = {abs/1702.00374},
year = {2017},
url = {http://arxiv.org/abs/1702.00374},
eprinttype = {arXiv},
eprint = {1702.00374},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmorimGHKC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimHP17,
author = {Arthur Azevedo de Amorim and
Catalin Hritcu and
Benjamin C. Pierce},
title = {The Meaning of Memory Safety},
journal = {CoRR},
volume = {abs/1705.07354},
year = {2017},
url = {http://arxiv.org/abs/1705.07354},
eprinttype = {arXiv},
eprint = {1705.07354},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmorimHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07308,
author = {Guglielmo Fachini and
Catalin Hritcu and
Marco Stronati and
Ana Nora Evans and
Th{\'{e}}o Laurent and
Arthur Azevedo de Amorim and
Benjamin C. Pierce and
Andrew Tolmach},
title = {Formally Secure Compilation of Unsafe Low-Level Components (Extended
Abstract)},
journal = {CoRR},
volume = {abs/1710.07308},
year = {2017},
url = {http://arxiv.org/abs/1710.07308},
eprinttype = {arXiv},
eprint = {1710.07308},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AmorimCDDHPPPT16,
author = {Arthur Azevedo de Amorim and
Nathan Collins and
Andr{\'{e}} DeHon and
Delphine Demange and
Catalin Hritcu and
David Pichardie and
Benjamin C. Pierce and
Randy Pollack and
Andrew Tolmach},
title = {A verified information-flow architecture},
journal = {J. Comput. Secur.},
volume = {24},
number = {6},
pages = {689--734},
year = {2016},
url = {https://doi.org/10.3233/JCS-15784},
doi = {10.3233/JCS-15784},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AmorimCDDHPPPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HritcuLSADHPV16,
author = {Catalin Hritcu and
Leonidas Lampropoulos and
Antal Spector{-}Zabusky and
Arthur Azevedo de Amorim and
Maxime D{\'{e}}n{\`{e}}s and
John Hughes and
Benjamin C. Pierce and
Dimitrios Vytiniotis},
title = {Testing noninterference, quickly},
journal = {J. Funct. Program.},
volume = {26},
pages = {e4},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000058},
doi = {10.1017/S0956796816000058},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/HritcuLSADHPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JuglaretHAEP16,
author = {Yannis Juglaret and
Catalin Hritcu and
Arthur Azevedo de Amorim and
Boris Eng and
Benjamin C. Pierce},
title = {Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing
Compilation},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {45--60},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSF.2016.11},
doi = {10.1109/CSF.2016.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/JuglaretHAEP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Amorim16,
author = {Arthur Azevedo de Amorim},
editor = {Lars Birkedal},
title = {Binding Operators for Nominal Sets},
booktitle = {The Thirty-second Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
USA, May 23-26, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {325},
pages = {3--27},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.09.029},
doi = {10.1016/J.ENTCS.2016.09.029},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Amorim16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JuglaretHAP16,
author = {Yannis Juglaret and
Catalin Hritcu and
Arthur Azevedo de Amorim and
Benjamin C. Pierce},
title = {Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level
Compartmentalization},
journal = {CoRR},
volume = {abs/1602.04503},
year = {2016},
url = {http://arxiv.org/abs/1602.04503},
eprinttype = {arXiv},
eprint = {1602.04503},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JuglaretHAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AmorimDGHPST15,
author = {Arthur Azevedo de Amorim and
Maxime D{\'{e}}n{\`{e}}s and
Nick Giannarakis and
Catalin Hritcu and
Benjamin C. Pierce and
Antal Spector{-}Zabusky and
Andrew Tolmach},
title = {Micro-Policies: Formally Verified, Tag-Based Security Monitors},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {813--830},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.55},
doi = {10.1109/SP.2015.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/AmorimDGHPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimAGH15,
author = {Arthur Azevedo de Amorim and
Emilio Jes{\'{u}}s Gallego Arias and
Marco Gaboardi and
Justin Hsu},
title = {Really Natural Linear Indexed Type Checking},
journal = {CoRR},
volume = {abs/1503.04522},
year = {2015},
url = {http://arxiv.org/abs/1503.04522},
eprinttype = {arXiv},
eprint = {1503.04522},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmorimAGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimCDDHPPPT15,
author = {Arthur Azevedo de Amorim and
Nathan Collins and
Andr{\'{e}} DeHon and
Delphine Demange and
Catalin Hritcu and
David Pichardie and
Benjamin C. Pierce and
Randy Pollack and
Andrew Tolmach},
title = {A Verified Information-Flow Architecture},
journal = {CoRR},
volume = {abs/1509.06503},
year = {2015},
url = {http://arxiv.org/abs/1509.06503},
eprinttype = {arXiv},
eprint = {1509.06503},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmorimCDDHPPPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JuglaretHAPST15,
author = {Yannis Juglaret and
Catalin Hritcu and
Arthur Azevedo de Amorim and
Benjamin C. Pierce and
Antal Spector{-}Zabusky and
Andrew Tolmach},
title = {Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation
for Mutually Distrustful Components},
journal = {CoRR},
volume = {abs/1510.00697},
year = {2015},
url = {http://arxiv.org/abs/1510.00697},
eprinttype = {arXiv},
eprint = {1510.00697},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JuglaretHAPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AmorimGAH14,
author = {Arthur Azevedo de Amorim and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu},
editor = {Sam Tobin{-}Hochstadt},
title = {Really Natural Linear Indexed Type Checking},
booktitle = {Proceedings of the 26th 2014 International Symposium on Implementation
and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
October 1-3, 2014},
pages = {5:1--5:12},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2746325.2746335},
doi = {10.1145/2746325.2746335},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/AmorimGAH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmorimCDDHPPPT14,
author = {Arthur Azevedo de Amorim and
Nathan Collins and
Andr{\'{e}} DeHon and
Delphine Demange and
Catalin Hritcu and
David Pichardie and
Benjamin C. Pierce and
Randy Pollack and
Andrew Tolmach},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {A verified information-flow architecture},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {165--178},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535839},
doi = {10.1145/2535838.2535839},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/AmorimCDDHPPPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HritcuLSADHPV14,
author = {Catalin Hritcu and
Leonidas Lampropoulos and
Antal Spector{-}Zabusky and
Arthur Azevedo de Amorim and
Maxime D{\'{e}}n{\`{e}}s and
John Hughes and
Benjamin C. Pierce and
Dimitrios Vytiniotis},
title = {Testing Noninterference, Quickly},
journal = {CoRR},
volume = {abs/1409.0393},
year = {2014},
url = {http://arxiv.org/abs/1409.0393},
eprinttype = {arXiv},
eprint = {1409.0393},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HritcuLSADHPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HritcuHPSVAL13,
author = {Catalin Hritcu and
John Hughes and
Benjamin C. Pierce and
Antal Spector{-}Zabusky and
Dimitrios Vytiniotis and
Arthur Azevedo de Amorim and
Leonidas Lampropoulos},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Testing noninterference, quickly},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {455--468},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500574},
doi = {10.1145/2500365.2500574},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HritcuHPSVAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-12 20:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
