• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 37 matches

• 2024
• 
  Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller:
  Pipelines and Beyond: Graph Types for ADTs with Futures. Proc. ACM Program. Lang. 8(POPL): 482-511 (2024)
• 
  Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
  Domain Reasoning in TopKAT. ICALP 2024: 157:1-157:18
• 
  Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach:
  SECOMP: Formally Secure Compilation of Compartmentalized C Programs. CoRR abs/2401.16277 (2024)
• 
  Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
  Domain Reasoning in TopKAT. CoRR abs/2404.18417 (2024)
• 2023
• 
  june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi:
  Bunched Fuzz: Sensitivity for Vector Metrics. ESOP 2023: 451-478
• 
  Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller:
  Pipelines and Beyond: Graph Types for ADTs with Futures. CoRR abs/2311.06984 (2023)
• 2022
• 
  Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
  On incorrectness logic and Kleene algebra with top and tests. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022)
• 
  june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi:
  Bunched Fuzz: Sensitivity for Vector Metrics. CoRR abs/2202.01901 (2022)
• 
  Arthur Azevedo de Amorim:
  On Pitts' Relational Properties of Domains. CoRR abs/2207.07053 (2022)
• 2021
• 
  Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu:
  Learning Assumptions for Verifying Cryptographic Protocols Compositionally. FACS 2021: 3-23
• 
  Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson, Limin Jia:
  Netter: Probabilistic, Stateful Network Models. VMCAI 2021: 486-508
• 
  Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
  On Incorrectness Logic and Kleene Algebra With Top and Tests. CoRR abs/2108.07707 (2021)
• 2020
• 
  Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu:
  Automating Compositional Analysis of Authentication Protocols. FMCAD 2020: 113-118
• 
  Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia:
  Reconciling noninterference and gradual typing. LICS 2020: 116-129
• 2019
• 
  Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
  Probabilistic Relational Reasoning via Metrics. LICS 2019: 1-19
• 2018
• 
  Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach:
  When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS 2018: 1351-1368
• 
  Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce:
  The Meaning of Memory Safety. POST 2018: 79-105
• 
  Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach:
  When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR abs/1802.00588 (2018)
• 
  Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
  Metric Semantics for Probabilistic Relational Reasoning. CoRR abs/1807.05091 (2018)
• 2017
• 
  Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
  A semantic account of metric preservation. POPL 2017: 545-556
• 
  Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui:
  A Semantic Account of Metric Preservation. CoRR abs/1702.00374 (2017)
• 
  Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce:
  The Meaning of Memory Safety. CoRR abs/1705.07354 (2017)
• 
  Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach:
  Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). CoRR abs/1710.07308 (2017)
• 2016
• 
  Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach:
  A verified information-flow architecture. J. Comput. Secur. 24(6): 689-734 (2016)
• 
  Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis:
  Testing noninterference, quickly. J. Funct. Program. 26: e4 (2016)
• 
  Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce:
  Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. CSF 2016: 45-60
• 
  Arthur Souza, Mickael Figueredo, Nélio Cacho, Daniel Araújo, Jazon Coelho, Carlos A. Prolo:
  Social smart city: A platform to analyze social streams in smart city initiatives. ISC2 2016: 1-6
• 
  Arthur Azevedo de Amorim:
  Binding Operators for Nominal Sets. MFPS 2016: 3-27
• 
  Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce:
  Beyond Full Abstraction: Formalizing the Security Guarantees of Low-Level Compartmentalization. CoRR abs/1602.04503 (2016)
• 2015
• 
  Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach:
  Micro-Policies: Formally Verified, Tag-Based Security Monitors. IEEE Symposium on Security and Privacy 2015: 813-830

skipping 7 more matches