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++ monitoring framework that combines shared temporal-logic evaluation with a linear execution schedule and preallocated temporal state. The accompanying paper, Multi-Property Temporal Logic Monitoring, was published in the FMCAD 2026 proceedings, with me as first author.
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
First-author paper with Doğan Ulus. LoomRV combines shared past-time LTL/MTL monitoring with a linear execution schedule and preallocated, double-buffered temporal state, in discrete and dense time. Compared with Reelay, the paper reports 1.81–4.53× median single-property speedups and 6.4–11.7× end-to-end speedups for 30 properties.