Franck Slama

According to our database, Franck Slama authored at least 4 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs).

Mohammed Javed Absar, Muthu Baskaran, Abhikrant Sharma, Abhilash Bhandari, Ankit Aggarwal, Arun Rangasamy, Dibyendu Das, Fateme Hosseini, Franck Slama, Iulian Brumar, Jyotsna Verma, Krishnaprasad Bindumadhavan, Mitesh Kothari, Mohit Gupta, Ravishankar Kolachana, Richard Lethin, Samarth Narang, Sanjay Motilal Ladwa, Shalini Jain, Snigdha Suresh Dalvi, Tasmia Rahman, Venkat Rasagna Reddy Komatireddy, Vivek Vasudevbhai Pandya, Xiyue Shi, Zachary Zipper

CoRR, February, 2026

2018

Automatic generation of proof terms in dependently typed programming languages.

Franck Slama

PhD thesis, 2018

2017

Automatically Proving Equivalence by Type-Safe Reflection.

Franck Slama, Edwin C. Brady

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016

Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!

Franck Slama

Proceedings of the Tests and Proofs - 10th International Conference, 2016