About
Arınç Demir
Software engineer focused on runtime verification and systems software.
I completed my B.S. in Computer Engineering at Boğaziçi University in June 2026. I now study Computer Science and Engineering at Eindhoven University of Technology (TU/e).
My recent work centers on runtime verification. With Dr. Doğan Ulus, I developed LoomRV, a C++ monitor that evaluates related temporal-logic properties through shared subformula execution. The accompanying paper, Multi-Property Temporal Logic Monitoring, was accepted at FMCAD 2026.
I have completed software engineering internships at TaleWorlds Entertainment and Databin, working on developer tooling, a Windows service, Active Directory automation, and deployment tooling. Earlier, I was an undergraduate researcher at Boğaziçi University’s COLORSLAB and contributed to a social-navigation paper published at IEEE SIU 2025.
Outside work, I dance Lindy Hop and play music.
Research
Papers
Multi-Property Temporal Logic Monitoring
A multi-property runtime verification approach that shares repeated subformulas across past-time LTL and MTL monitors. In the reported 30-property experiments, LoomRV achieved 6.0–11.7× speedups over independent monitoring.