Sjaak Smetsers

47 papers A 1B 3C 6Misc 1Journal 10Unranked 26

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