VERSEN Master Thesis award, first place
Published:
Posts by Collection
awards
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Analysing the performance of GPU hash tables for state space exploration
Published in Graphs as Models (GAM), 2017
Recommended citation: Cassee, Nathan, and Anton Wijs. "Analysing the Performance of GPU Hash Tables for State Space Exploration." Electronic Proceedings in Theoretical Computer Science 263 (2017): 1-15. Crossref. Web. https://cassee.dev/files/gpu-hashtables.pdf
On the scalability of the gpuexplore explicit-state model checker
Published in Graphs as Models (GAM), 2017
Recommended citation: Cassee, Nathan, Thomas Neele, and Anton Wijs. "On the Scalability of the GPUexplore Explicit-State Model Checker." Electronic Proceedings in Theoretical Computer Science 263 (2017): 38-52. Crossref. Web. https://cassee.dev/files/gpuexplore-scalability.pdf
How Swift developers handle errors
Published in Mining Software Repositories (MSR), 2018
Mixed-method study investigation the error handling patterns of Swift developers.
Recommended citation: N. Cassee, G. Pinto, F. Castor and A. Serebrenik, "How Swift Developers Handle Errors," 2018 IEEE/ACM 15th International Conference on Mining Software Repositories (MSR), Gothenburg, 2018, pp. 292-302. https://cassee.dev/files/swift_errors.pdf
The Silent Helper: The Impact of Continuous Integration on Code Reviews
Published in Software Analysis, Evolution and Reengineering (SANER), 2020
Recommended citation: empty https://cassee.dev/files/CI-silent.pdf
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk 2, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
01 02 2019 2imp25 software evolution
, , 2019
01 10 2019 2itx0 applied logic
, , 2019
01 02 2020 2imp25 software evolution
, , 2020