ENTITY
Xavier Leroy
Xavier Leroy
PulseAugur coverage of Xavier Leroy — every cluster mentioning Xavier Leroy across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Xavier Leroy discusses programming languages and formal verification
Xavier Leroy, a prominent figure in programming and formal verification, discussed his work and perspectives on programming languages. The discussion, shared via a video link, covered topics related to formal methods an…
-
Xavier Leroy discusses programming languages and formal verification
Xavier Leroy, a prominent researcher in programming languages and formal verification, discusses his work and perspectives in a recent interview. He shares insights into the development and application of formal methods…