Kadiray Karakaya (@kadirayk) 's Twitter Profile
Kadiray Karakaya

@kadirayk

PhD student on program analysis, Lead of github.com/soot-oss/SootUp

ID: 888415439604379648

linkhttps://karakaya.dev calendar_today21-07-2017 15:08:41

9 Tweet

345 Followers

243 Following

Secure Software Engineering, Paderborn University (@secengupb) 's Twitter Profile Photo

For several years now, Philipp Schubert has been giving an excellent course on C++ #programming. Thanks to him and thanks to #COVID19, it is now fully recorded and available on our YouTube channel. Enjoy! youtube.com/playlist?list=… #cplusplus

Soot and SootUp (@sootanalyzer) 's Twitter Profile Photo

Thanks a lot to Amazon Web Services for sponsoring the further development of Soot as a Gold 🏆 Sponsor! Your contribution is making a big difference to us! 🚀 Here others can find out more about how sponsoring works, how we use it, and how anyone can contribute: github.com/sponsors/soot-…

Enes Yigitbas (@enesy14) 's Twitter Profile Photo

Our paper "Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and #VR Interfaces" (preprint follows) has been accepted SEAMS. Joint work with Kadiray Karakaya Ivan Jovanovic and Gregor Engels SICP #seams21 #seams2021

Enes Yigitbas (@enesy14) 's Twitter Profile Photo

Tomorrow, we are going to present two papers in the #VR for #SE Session of SE 2025. First talk on "Enhancing HiL Adaptive Systems through Digital Twins and VR Interfaces" will be given by my colleague Kadiray Karakaya. Then, I will talk about "Collaborative Software Modeling in VR".

Kadiray Karakaya (@kadirayk) 's Twitter Profile Photo

Happy to announce that our work with @profbodden "Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis" has been accepted to #ICST2023 research track. Secure Software Engineering, Paderborn University HeinzNixdorfInstitut

Happy to announce that our work with @profbodden  "Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis" has been accepted to #ICST2023 research track. <a href="/SecEngUPB/">Secure Software Engineering, Paderborn University</a> <a href="/HNI_PB/">HeinzNixdorfInstitut</a>
Soot and SootUp (@sootanalyzer) 's Twitter Profile Photo

Christmas is coming early this year! 🎁 Today, after more than three years of R&D, we are releasing #SootUp, a completely overhauled version of the established #Soot program analysis framework. 🕺🥳🍾 Opposed to Soot, SootUp features a modular, easily testable architecture. (1/n)

Kadiray Karakaya (@kadirayk) 's Twitter Profile Photo

Our work with @profbodden "Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems" has been accepted at ICSE2024. We introduce Sparse IDE, a scalable alternative to the traditional IDE framework by Sagiv, Reps and Horwitz. Secure Software Engineering, Paderborn University