Levent Erkök

According to our database, Levent Erkök authored at least 10 papers between 2000 and 2018.

Collaborative distances:

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

2018

Digit Serial Methods with Applications to Division and Square Root.

Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd

IEEE Trans. Computers, 2018

2017

Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs).

Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd

CoRR, 2017

2011

Practical Considerations in Control-Flow Integrity Monitoring.

Iavor S. Diatchki, Lee Pike, Levent Erkök

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009

Pragmatic equivalence and safety checking in Cryptol.

Levent Erkök, John Matthews

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Hardware/software co-verification of cryptographic algorithms using Cryptol.

Levent Erkök, Magnus Carlsson, Adam Wick

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

High assurance programming in Cryptol.

Levent Erkök, John Matthews

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2008

Imperative Functional Programming with Isabelle/HOL.

Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2002

Semantics of value recursion for Monadic Input/Output.

Levent Erkök, John Launchbury, Andrew Moran

RAIRO Theor. Informatics Appl., 2002

A recursive do for Haskell.

Levent Erkök, John Launchbury

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2000

Recursive monadic bindings.

Levent Erkök, John Launchbury

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000