Ilya Sergey
Scholar

Ilya Sergey

Google Scholar ID: oCIeffUAAAAJ
Associate Professor, National University of Singapore
Programming LanguagesConcurrencyDistributed SystemsProgram VerificationProgram Synthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,796
 
H-index
28
 
i10-index
41
 
Publications
20
 
Co-authors
72
list available
Contact
No contact links provided.
Publications
4 items
Grammar Repair with Examples and Tree Automata: Extended Version
2026
Cited
0
Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Beluga: Block Synchronization for BFT Consensus Protocols
2025
Cited
0
Inductive Synthesis of Inductive Heap Predicates -- Extended Version
2025
Cited
0
Resume (English only)
Co-authors
72 total
Co-author 1
Co-author 1
Aleksandar Nanevski
Aleksandar Nanevski
IMDEA Software Institute
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Anindya Banerjee
Anindya Banerjee
Professor, IMDEA Software Institute
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Amrit Kumar
Amrit Kumar
Research Fellow, National University of Singapore