Sjaak Smetsers

According to our database, Sjaak Smetsers authored at least 47 papers between 1990 and 2021.

Collaborative distances:

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

2021

Efficient Verification of Optimized Code: Correct High-speed X25519.

Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen

IACR Cryptol. ePrint Arch., 2021

2020

Efficient Verification of Optimized Code: Correct High-speed Curve25519.

Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen

CoRR, 2020

Analyzing the influence of block highlighting on beginning programmers' reading behavior using eye tracking.

Renske Talsma, Erik Barendsen, Sjaak Smetsers

Proceedings of the CSERC '20: the 9th Computer Science Education Research Conference, 2020

2019

A benchmark for C program verification.

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

CoRR, 2019

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

Evaluation of a Structured Design Methodology for Concurrent Programming.

Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

2017

Problem Solving and Algorithmic Development with Flowcharts.

Renske Smetsers-Weeda, Sjaak Smetsers

Proceedings of the 12th Workshop on Primary and Secondary Computing Education, 2017

2016

Designing a rubric for feedback on code quality in programming courses.

Martijn Stegeman, Erik Barendsen, Sjaak Smetsers

Proceedings of the 16th Koli Calling International Conference on Computing Education Research, 2016

2015

Derivation and inference of higher-order strictness types.

Sjaak Smetsers, Marko C. J. D. van Eekelen

Comput. Lang. Syst. Struct., 2015

Formalizing Bialgebraic Semantics in PVS 6.0.

Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen

Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2015

2014

TweetNaCl: A Crypto Library in 100 Tweets.

Daniel J. Bernstein, Bernard van Gastel, Wesley Janssen, Tanja Lange, Peter Schwabe, Sjaak Smetsers

Proceedings of the Progress in Cryptology - LATINCRYPT 2014, 2014

Towards an empirically validated model for assessment of code quality.

Martijn Stegeman, Erik Barendsen, Sjaak Smetsers

Proceedings of the 14th Koli Calling International Conference on Computing Education Research, 2014

2013

GSOS Formalized in Coq.

Ken Madlener, Sjaak Smetsers

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Modular Bialgebraic Semantics and Algebraic Laws.

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing.

Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the NASA Formal Methods, 2013

Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS.

Sjaak Smetsers, Erik Barendsen

Proceedings of the Beauty of Functional Code, 2013

2012

Higher-Order Strictness Typing.

Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Generating Verifiable Java Code from Verified PVS Specifications.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the NASA Formal Methods, 2012

A Proof Framework for Concurrent Programs.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving.

Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Sci. Comput. Program., 2011

Formal Component-Based Semantics

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

2010

A Formal Verification Study on the Rotterdam Storm Surge Barrier.

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Preemption Abstraction.

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

LaQuSo: Using Formal Methods for Analysis of Safety-Cr.

Sjaak Smetsers, Marko C. J. D. van Eekelen

ERCIM News, 2008

Efficient and Type-Safe Generic Data Storage.

Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer

Proceedings of the First Workshop on Generative Technologies, 2008

Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving.

Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Code-carrying theories.

Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur

Formal Aspects Comput., 2007

AHA: Amortized Heap Space Usage Analysis.

Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2005

Improved Fusion for Optimizing Generics.

Artem Alimarine, Sjaak Smetsers

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Polytypic Syntax Tree Operations.

Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2005

There and back again: arrows for invertible programming.

Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Optimizing Generic Functions.

Artem Alimarine, Sjaak Smetsers

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2002

Fusion in Practice.

Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

1996

Uniqueness Typing for Functional Languages with Graph Rewriting Semantics.

Erik Barendsen, Sjaak Smetsers

Math. Struct. Comput. Sci., 1996

Graph Rewriting Semantics for Functional Programming Languages.

Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995

A derivation system for uniqueness typing.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Uniqueness Type Inference

Erik Barendsen, Sjaak Smetsers

Proceedings of the Programming Languages: Implementations, 1995

Uniqueness Typing in Natural Deduction Style.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1993

Partially Strict Non-Recursive Data Types.

Eric Nöcker, Sjaak Smetsers

J. Funct. Program., 1993

Conventional and Uniqueness Typing in Graph Rewrite Systems.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.

Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Extending Graph Rewriting with Copying.

Erik Barendsen, Sjaak Smetsers

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992

Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems.

Steffen van Bakel, Sjaak Smetsers, Simon Brock

Proceedings of the CAAP '92, 1992

1991

Concurrent Clean.

E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Generating Efficient Code for Lazy Functional Languages.

Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Parallel Graph Rewriting on Loosely Coupled Machine Architectures.

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers

Proceedings of the Conditional and Typed Rewriting Systems, 1990