Sjaak Smetsers

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 11

Top Topics

Empirically Validated

Benchmark Suite

Top Venues

NASA Formal Methods

Publications

Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed X25519. IACR Cryptol. ePrint Arch. 2021 (2021)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code - Correct High-Speed X25519. NFM (2021)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed Curve25519. CoRR (2020)
Renske Talsma, Erik Barendsen, Sjaak Smetsers
Analyzing the influence of block highlighting on beginning programmers' reading behavior using eye tracking. CSERC (2020)
Marko C. J. D. van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk
A benchmark for C program verification. CoRR (2019)
Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers
Evaluation of a Structured Design Methodology for Concurrent Programming. CSERC (2019)
Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? CSERC (2019)
Renske Smetsers-Weeda, Sjaak Smetsers
Problem Solving and Algorithmic Development with Flowcharts. WiPSCE (2017)
Martijn Stegeman, Erik Barendsen, Sjaak Smetsers
Designing a rubric for feedback on code quality in programming courses. Koli Calling (2016)
Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen
Formalizing Bialgebraic Semantics in PVS 6.0. WPTE@RTA/TLCA (2015)
Sjaak Smetsers, Marko C. J. D. van Eekelen
Derivation and inference of higher-order strictness types. Comput. Lang. Syst. Struct. 44 (2015)
Martijn Stegeman, Erik Barendsen, Sjaak Smetsers
Towards an empirically validated model for assessment of code quality. Koli Calling (2014)
Daniel J. Bernstein, Bernard van Gastel, Wesley Janssen, Tanja Lange, Peter Schwabe, Sjaak Smetsers
TweetNaCl: A Crypto Library in 100 Tweets. LATINCRYPT (2014)
Ken Madlener, Sjaak Smetsers
GSOS Formalized in Coq. TASE (2013)
Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. NASA Formal Methods (2013)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
Modular Bialgebraic Semantics and Algebraic Laws. SBLP (2013)
Sjaak Smetsers, Erik Barendsen
Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. The Beauty of Functional Code (2013)
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Generating Verifiable Java Code from Verified PVS Specifications. NASA Formal Methods (2012)
Sjaak Smetsers, Marko C. J. D. van Eekelen
Higher-Order Strictness Typing. Trends in Functional Programming (2012)
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
A Proof Framework for Concurrent Programs. IFM (2012)
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. Sci. Comput. Program. 76 (2) (2011)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
Formal Component-Based Semantics SOS (2011)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
A Formal Verification Study on the Rotterdam Storm Surge Barrier. ICFEM (2010)
Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer
Efficient and Type-Safe Generic Data Storage. Electron. Notes Theor. Comput. Sci. 238 (2) (2009)
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers
Preemption Abstraction. FMICS (2009)
Sjaak Smetsers, Marko C. J. D. van Eekelen
LaQuSo: Using Formal Methods for Analysis of Safety-Cr. ERCIM News 2008 (75) (2008)
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS (2008)
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS (2007)
Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming (2007)
Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur
Code-carrying theories. Formal Aspects Comput. 19 (2) (2007)
Artem Alimarine, Sjaak Smetsers
Improved Fusion for Optimizing Generics. PADL (2005)
Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
Polytypic Syntax Tree Operations. IFL (2005)
Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer
There and back again: arrows for invertible programming. Haskell (2005)
Artem Alimarine, Sjaak Smetsers
Optimizing Generic Functions. MPC (2004)
Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers
Fusion in Practice. IFL (2002)
Erik Barendsen, Sjaak Smetsers
Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Math. Struct. Comput. Sci. 6 (6) (1996)
Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer
Graph Rewriting Semantics for Functional Programming Languages. CSL (1996)
Erik Barendsen, Sjaak Smetsers
Uniqueness Typing in Natural Deduction Style. Functional Programming (1995)
Erik Barendsen, Sjaak Smetsers
Uniqueness Type Inference PLILP (1995)
Erik Barendsen, Sjaak Smetsers
A derivation system for uniqueness typing. Electron. Notes Theor. Comput. Sci. 2 (1995)
Eric Nöcker, Sjaak Smetsers
Partially Strict Non-Recursive Data Types. J. Funct. Program. 3 (2) (1993)
Erik Barendsen, Sjaak Smetsers
Extending Graph Rewriting with Copying. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Erik Barendsen, Sjaak Smetsers
Conventional and Uniqueness Typing in Graph Rewrite Systems. FSTTCS (1993)
Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Steffen van Bakel, Sjaak Smetsers, Simon Brock
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP (1992)
Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer
Generating Efficient Code for Lazy Functional Languages. FPCA (1991)