About Me
Note: this page is currently under construction
Contact Information
E-mail: benjamin [dot] chetioui [at] uib [dot] no GitHub: @bchetioui Twitter: @_SIben_ |
Who am I?
Hi, I’m Benjamin! I am currently pursuing a PhD in Computer Science in the Programming Theory group at the University of Bergen, Norway. My advisors are Prof. Dr. Jaakko Järvi and Prof. Dr. Magne Haveraaen. My research at UiB focuses on providing developers with the keys to producing high-quality software. I investigate generic programming as a foundational methodology for such software, using a research programming language called Magnolia. I share my office with Jonathan Prieto-Cubides and Tam Thanh Truong. Other areas of interest include Array Programming, Cryptography, Computer Security, Type Theory, and Machine Learning.
For more details, my resume is available here.
Publications
- P³ Problem and Magnolia Language: Specializing Array Computations for Emerging Architectures, pdf] , Marius Kleppe Larnøy, Jaakko Järvi, Magne Haveraaen, Lenore Mullin, Frontiers in Computer Science, 2022, [
- Revisiting Language Support for Generic Programming: When Genericity is a
Core Design Goal,
2023*, [[pdf](https://programming-journal.org/2023/7/4/)]
, Jaakko Järvi, Magne Haveraaen, * - Padding in the Mathematics of Arrays, pdf] , Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Lenore Mullin, ARRAY 2021. [
- Attacks on Integer-RLWE, Alessandro Budroni, , Ermes Franch, ICICS 2020
- An Alignment Cost-Based Classification of Log Traces Using Machine-Learning, Mathilde Boltenhagen, , Laurine Huber, ML4PM 2020
- Finite Difference Methods Fengshui: Alignment Through a Mathematics of Arrays, , Lenore Mullin, Ole Abusdal, Magne Haveraaen, Sandra Macià, ARRAY 2019