Can Cebeci

According to our database, Can Cebeci authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

A Conjecture Regarding SMT Instability.

Can Cebeci, Nikolaj Bjørner, George Candea, Clément Pit-Claudel

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Practical Verification of System-Software Components Written in Standard C.

Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024