Scholar
Ilya Sergey
Google Scholar ID: oCIeffUAAAAJ
Associate Professor, National University of Singapore
Programming Languages
Concurrency
Distributed Systems
Program Verification
Program Synthesis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,796
H-index
28
i10-index
41
Publications
20
Co-authors
72
list available
Publications
6 items
Answer Set Programming for Egg Extraction and More
2026
Cited
0
Certified Program Synthesis with a Multi-Modal Verifier
2026
Cited
0
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
Co-authors
12 total
Aleksandar Nanevski
IMDEA Software Institute
Aquinas Hobor
Associate Professor, University College London
Anindya Banerjee
Professor, IMDEA Software Institute
Albert Rubio
Professor of Computer Science, Complutense University of Madrid (UCM)
Amrit Kumar
Research Fellow, National University of Singapore
Nadia Polikarpova
UCSD
Kiran Gopinathan
Postdoctoral Researcher, University of Illinois, Urbana-Champaign
Ivica Nikolić
National University of Singapore
