◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

D. Monniaux

47 papers hereh-index 294.6k citations99 works total

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

author position
  • sole author17
  • first author11
  • middle author11
  • last author8

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

fields
  • cs.PL27
  • cs.LO13
  • cs.AR1
  • cs.CC1
  • cs.CG1
  • cs.DC1

identity via Semantic Scholar / OpenAlex

activity
20072026
most citedA Static Analyzer for Large Safety-Critical Software

328 citations · 732 across the 43 of their papers we have counts for

collaborators
Showing cs.ARShow all

1 paper · 1 filter

cs.AR2022

The complexity gap in the static analysis of cache accesses grows if procedure calls are added

David Monniaux

The static analysis of cache accesses consists in correctly predicting which accesses are hits or misses. While there exist good exact and approximate analyses for caches implement…

◍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.