Skip to content

Ismail Kuru

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

5

Active years

2012–2025

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2025PLOSModal Verification Patterns for Systems Software.Ismail Kuru, Colin S. Gordon
2019ESOPSafe Deferred Memory Reclamation with Types.Ismail Kuru, Colin S. Gordon
2017ICRAMulti-arm snake-like robot.Yannick S. Krieger, Daniel B. Roppenecker, Ismail Kuru, Tim C. Lueth
2014IROSFirst 3D printed medical robot for ENT surgery - Application specific manufacturing of laser sintered disposable manipulators.Konrad Entsfellner, Ismail Kuru, Thomas Maier, Jan D. J. Gumprecht, Tim C. Lueth
2012RVPaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors.Ismail Kuru, Hassan Salehe Matar, Adrin Cristal, Gokcen Kestor, Osman S. Unsal