Levent Erkk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2000–2011
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICST | Practical Considerations in Control-Flow Integrity Monitoring. | Iavor S. Diatchki, Lee Pike, Levent Erkk |
| 2009 | FMCAD | Hardware/software co-verification of cryptographic algorithms using Cryptol. | Levent Erkk, Magnus Carlsson, Adam Wick |
| 2002 | HASKELL | A recursive do for Haskell. | Levent Erkk, John Launchbury |
| 2000 | ICFP | Recursive monadic bindings. | Levent Erkk, John Launchbury |