Scholar
Victor Nicolet
Google Scholar ID: 8UC8eW0AAAAJ
Applied Scientist, AWS
programming languages
program synthesis
verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
143
H-index
5
i10-index
5
Publications
12
Co-authors
0
Publications
5 items
Soundness Checking of Taint Flow Models
2026
Cited
0
EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
2026
Cited
0
Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
2025
Cited
0
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
2025
Cited
0
Program Synthesis From Partial Traces
2025
Cited
0
