◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Amorim

7 papers hereh-index 12559 citations37 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author5

Across the 7 of 7 papers where every author was matched, so the position is known.

fields
  • cs.CR3
  • cs.PL3
  • math.LO1
same name
  • A. Amorim — 168 papers
  • A. Amorim — 65 papers, h 33
  • A. Amorim — 24 papers, h 8
  • A. Amorim — 18 papers, h 91
  • A. Amorim — 15 papers, h 20
  • A. Amorim — 11 papers, h 13

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20172026
most citedWhen Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

10 citations · 16 across the 7 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.PL2022★ 1 cited

Bunched Fuzz: Sensitivity for Vector Metrics

june wunder, Arthur Azevedo de Amorim, Patrick Baillot +1

Program sensitivity measures the distance between the outputs of a program when run on two related inputs. This notion, which plays a key role in areas such as data privacy and opt…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.