Email: ik335 at drexel dot edu
Hello!
I am a computer scientist at Drexel University, where I also did my Ph.D. in the field of programming languages, logic, and verification, advised by Colin Gordon.
Before Drexel, I was a Senior Software Engineer at Crytek. Before Crytek, I graduated with an M.S. degree from Koc University in 2015. Thanks to Microsoft Research for supporting me through a Microsoft Research scholarship during my M.S. degree studies
My work is on understanding software systems, so far mostly the low-level ones, through mathematical proof. On this mission, I am interested in building program logics, the ergonomics of specifications in these logics, and, most recently, articulation (drawing them!) of proofs and specifications for programs. The complete set of projects constituting my work can be found in Contingent Systems Project which includes systems (os kernel, filesystem, machine models etc.) and Roqc (mostly Iris) proofs for them.
My Ph.D. thesis was funded by my advisor's NSF Career grant.
Talks & News
July 2025: This summer, I will continue working on my research at Drexel as a researcher!
^Future
March 2025: I defended my thesis! Slides are here
September 2024: I'll be hosted as a research fellow at Drexel CCI
May 2024: I gave a talk at UPenn PL Club!
May 2024: I gave a talk at Princeton PL Group!
May 2024: I gave a talk at NJPLS 2024 at NYU!
April 2024: I gave a talk at Languages, Systems and Data Seminar 2024 at UC Santa Cruz!
March 2024: I defended my thesis proposal!
May 2023: I gave a talk at NJPLS 2023 at UPenn!
Representative Papers
Conference Papers
- Kuru, I., & Gordon,C.S. (To Be Submitted July 2025). Modal Understanding of Modularity of State Transition Systems.
- Kuru, I., & Gordon,C.S. (Under Submission May 2025). Modal Abstractions for Virtualizing Memory Addresses
- Kuru, I., & Gordon,C.S. (2019, April).A Type System for Read-Copy-Update Concurrency. European Symposium on Programming (ESOP 2019). DOI
Tech Reports
- Kuru, I., & Gordon, C. S. (2024). Modal Abstractions for Virtualizing Memory Addresses. CoRR, abs/2307.14471.
- Kuru, I., & Gordon, C. S. (2019). Safe Deferred Memory Reclamation with Types. CoRR, abs/1811.11853.
Ph.D. Thesis
- Kuru, I. (Graduate School of College of Computing and Informatics, Drexel University, 2025). Modal Abstractions for operating system kernels. Graduate School of College of Computing and Informatics, Drexel University.
Other Papers (Before Ph.D.)
Conference Papers
- Kuru, I., Matar, H. S., Cristal, A., Kestor, G., & Unsal, O. (2013). PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors. In S. Qadeer & S. Tasiran (Eds.), Runtime Verification (pp. 42–47). Springer Berlin Heidelberg.
Book Chapters
- Cristal, A., Ozkan, B. K., Cohen, E., Kestor, G., Kuru, I., Unsal, O., Tasiran, S., Mutluergil, S. O., & Elmas, T. (2015). Verification Tools for Transactional Programs. In R. Guerraoui & P. Romano (Eds.), Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001 (pp. 283–306). Springer International Publishing. DOI
Workshop Papers
- Kuru, I., Kulahcioglu Ozkan, B., Mutluergil, S. O., Tasiran, S., Elmas, T., & Cohen, E. (2014). Verifying programs under snapshot isolation and similar relaxed consistency models.
- Matar, H. S., Kuru, I., Tasiran, S., & Dementiev, R. (2014). Accelerating precise race detection using commercially-available hardware transactional memory support.
M.S. Thesis
- Kuru, I. (Graduate School of Engineering, Koc University, 2015). Static Methods for Checking Correctness of Programs on Relaxed Memory Systems. Graduate School of Engineering, Koc University.
Awards & Grants
- Scholarship for School on Univalent Mathematics Workshop at the University of Minnesota Twin Cities, U.S.A, 2024. (Unfortunately, Not Attended)
- Scholarship for DeepSpec Summer School Princeton U.S.A 2018
- Scholarship for PLMW ICFP U.K 2017
- Travel Grant. Microsoft Research Visitor Grants(Multiple) Hosted by Dr. Matthew Parkinson, U.K 2014
- Graduate School Scholarship. Received one of 18 Microsoft Research Europe PhD Scholarship awards, 2011-2014.
- Travel Grant. From Koc University for the VCLA Winter School in Vienna, 2012.
- Travel Grant. Inria-Paris Visitor Grants(Multiple) Hosted by Dr. Albert Cohen, France 2011.
Teaching
- I was the TA for CS 360, Programming Languages, taught by Krzysztof Nowak in Summer 2019 at Drexel University
- I was the TA for SE 311, Software Engineering, taught by Yuanfang Cai in Winter 2019 at Drexel University
- I was a TA for, Software Engineering, taught by Serdar Tasiran in Spring 2012 at Koc University
Service
- SIGPLAN-M Long Term Mentor
- OOPSLA'24 Subreviewer
- POPL’20 Artifact Evaluation Committee
- OOPSLA'19 Artifact Evaluation Subreviewer
- PLDI’18 Student Volunteer
- SEFM’13 Subreviewer
- SAS’13 Subreviewer
- RV’12 Subreviewer