conf.researchr.org / Ilya Sergey
Registered user since Mon 13 Oct 2014
Name:Ilya Sergey
Bio:
I am a tenured Associate Professor at National University of Singapore. I do research in programming language design and implementation, software verification, distributed systems, and program synthesis.
Before moving to Singapore, I was a faculty at University College London in 2015-2018. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and an MSc in mathematics from St Petersburg University. Before joining academia I worked as a software engineer at JetBrains.
Country:Singapore
Affiliation:National University of Singapore
Personal website: http://ilyasergey.net
X (Twitter): https://x.com/ilyasergey
GitHub: https://github.com/ilyasergey
Research interests:Programming Languages, Concurrency, Static Analysis, Program Verification, Program Synthesis
Contributions
2025
2024
Symposium on Practical Aspects of Declarative Languages
SPLASH
PLDI
RTFM
- Committee Member in Organizing Committee within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Moderator of Panel: Recruiting and Supporting Students within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Session Chair of Session 4 (part of RTFM 2024: Red-Hot Topics in Faculty Mentoring)
- Organizer of Opening within the RTFM 2024: Red-Hot Topics in Faculty Mentoring-track
- Session Chair of Session 1 (part of RTFM 2024: Red-Hot Topics in Faculty Mentoring)
2023
SPLASH
PLDI
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Author of Leveraging Rust Types for Program Synthesis within the PLDI Research Papers-track
- Author of Mostly Automated Proof Repair for Verified Libraries within the PLDI Research Papers-track
- Session Chair of PLDI: Synthesis (part of PLDI Research Papers)
2022
SPLASH
- Session Chair of Synthesis III (part of OOPSLA)
- Author of Certifying the Synthesis of Heap-Manipulating Programs within the COVID Time Papers In Person-track
- Author of Practical Smart Contract Sharding with Ownership and Commutativity Analysis within the COVID Time Papers In Person-track
- APLAS PC Chair in Organizing Committee
ICFP
- Publicity Chair in Steering Committee
- Publicity Chair in Organizing Committee
- Session Chair of Logic (part of ICFP Papers and Events)
- Committee Member in Program Committee within the ICFP Papers and Events-track
- Author of Random Testing of a Higher-Order Blockchain Language within the ICFP Papers and Events-track
EGRAPHS
Infer
POPL
2021
ICFP
PLDI
POPL
VMCAI
2020
PLDI
2019
SPLASH
PLMW
ICFP
ECOOP
PLDI
POPL
- Committee Member in Program Committee within the Research Papers-track
- Author of Structuring the Synthesis of Heap-Manipulating Programs within the Research Papers-track
- Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track
- Session Chair of Separation Logic and Memory Semantics (part of Research Papers)
CoqPL
Symposium on Practical Aspects of Declarative Languages
PLMW
2018
ICFP
CoqPL
2017
ICFP
- Session Chair of SRC Awards (part of Student Research Competition)
- Student Research Competition Chair of Student Research Competition Awards within the Student Research Competition-track
- Student Research Competition Chair in Selection Committee within the Student Research Competition-track
- Student Research Competition Chair in Organizing Committee
- Session Chair of SRC Presentations (part of Student Research Competition)