Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
C
Clément Pit-Claudel
swiss federal institutes of technology domain
11
H-index
41
Paper Count
427
Citation Count
0
Related Insights
Subscribe
Published Papers
2
Publication Date
Publication Date
Impact Factor
Citations
Precise Reasoning about Container-Internal Pointers with Logical Pinning
PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF
0
2026-01-01
0
PRE
AI
Guan, Yawen; Pit-Claudel, Clement
Share
Save
Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-01-01
0
PRE
AI
Barriere, Aurele; Deng, Victor; Pit-Claudel, Clement
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
A
Aurèle Barrière
H-index: 4 · Papers: 12
V
Victor Deng
H-index: 0 · Papers: 4
Y
Yawen Guan
H-index: 0 · Papers: 3
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}