Data-driven modeling of 2D memristive devices - From September to present
CAU Kiel - EMD Team
Using neural network, from a triangle voltage signal applied as input, try to predict the simulated current response of the device.
Alias Analysis for instruction reordering in LLVM - From May to June 2025
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis. 2018. An efficient data structure for must-alias analysis. In Proceedings of the 27th International Conference on Compiler Construction (CC '18). Association for Computing Machinery, New York, NY, USA, 48–58.
Dinghao Liu, Shouling Ji, Kangjie Lu, and Qinming He. 2024. Improving indirect-call analysis in LLVM with type and data-flow co-analysis. In Proceedings of the 33rd USENIX Conference on Security Symposium (SEC '24). USENIX Association, USA, Article 330, 5895–5912.
Tuo Li, Jia-Ju Bai, Yulei Sui, and Shi-Min Hu. 2024. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis. ACM Trans. Comput. Syst. 42, 3–4, Article 9 (November 2024)
Web rendering on extremely constrained device- From September 2024 to April 2025
Inria - Irisa - Magellan Team, Rennes, France
With the idea of a really lowtech phone (aka "smolphone",
having for instance 200kB of RAM, a LCD display as a screen), how to render webpages while conserving a satisfying
level of interactivity.
Research engeneering - A method for optimizing color affectation - From April to June 2024