Burak Ekici

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 10

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Burak Ekici
A Sound Definitional Interpreter for a Simply Typed Functional Language. Axioms 12 (1) (2023)
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
Formal Verification of Bit-Vector Invertibility Conditions in Coq. FroCoS (2023)
Burak Ekici, Cezary Kaliszyk
Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq. Math. Comput. Sci. 14 (3) (2020)
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract). PxTP (2019)
Lukasz Czajka, Burak Ekici, Cezary Kaliszyk
Concrete Semantics with Coq and CoqHammer. CICM (2018)
Lukasz Czajka, Burak Ekici, Cezary Kaliszyk
Concrete Semantics with Coq and CoqHammer. CoRR (2018)
Burak Ekici
IMP with exceptions over decorated logic. Discret. Math. Theor. Comput. Sci. 20 (2) (2018)
Burak Ekici
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq. CICM Workshops (2018)
Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. CAV (2) (2017)
Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). HaTT@IJCAR (2016)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Relative Hilbert-Post Completeness for Exceptions. MACIS (2015)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
Hilbert-Post completeness for the state and the exception effects. CoRR (2015)
Burak Ekici
IMP with exceptions over decorated logic. CoRR (2015)
Burak Ekici
Certification of programs with computational effects. CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Formal verification in Coq of program properties involving the global state effect. JFLA (2014)
Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov, Tuncay Ercan, Burak Ekici
Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming. CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Program certification with computational effects. CoRR (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud
Certified Proofs in Programs Involving Exceptions. CICM Workshops (2014)
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
Formal verification in Coq of program properties involving the global state effect. CoRR (2013)

Burak Ekici.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Burak Ekici