Marieke Huisman

Registered user since Wed 16 Jan 2019

Name:Marieke Huisman
Country:Netherlands
Affiliation:University of Twente

Contributions

FTfJP 2021 Author of IntelliJML: A JML plugin for IntelliJ IDEA within the FTfJP-track
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
FormaliSE 2021 Author of Permission-Based Verification of Red-Black Trees and Their Merging within the FormaliSE 2021-track
FTfJP 2020 Author of Towards Verified Construction of Correct and Optimised GPU Software within the FTfJP-track
‹Programming› 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
Session Chair of R-3 (part of OOPSLA)
VMCAI 2020 Author of Practical Abstractions for Automated Verification of Shared-Memory Concurrency within the VMCAI 2020-track
ICSE 2021 Panelist of Europe Needs Strong Software Research within the Social and Networking-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
SPLASH 2019 Committee Member in Review Committee within the OOPSLA-track
VerifyThis 2019 Committee Member in Organizing Committee within the VerifyThis-track
MeTRiD 2019 Committee Member in Program Committee within the MeTRiD-track
TACAS 2019 Session Chair of Concurrent and Distributed Systems (part of TACAS 2019)
Committee Member in Program Committee within the TACAS 2019-track
ETAPS 2019 Panelist of Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary) within the TOOLympics-track
Committee Member in Steering Committee
Committee Member in Organizers within the TOOLympics-track
Author of How to survive being a woman in computer science within the Mentoring Workshop-track
Speaker in Speakers within the Mentoring Workshop-track
Mentor in Mentors within the Mentoring Workshop-track
PLDI 2019 Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
FTfJP 2018 Author of An Exercise in Verifying Sequential Programs with VerCors within the FTfJP-track
ICSE 2020 Programme Committee in Program Committee within the Technical Papers-track
FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track
CPP 2018 Committee Member in Program Committee within the CPP 2018-track
CPP 2017 Committee Member in Program Committee within the CPP-track
IWACO 2016 Committee Member in Program Committee within the IWACO-track
* ICSE 2018 * Committee Member in Program board within the Technical Papers -track
FTfJP 2015 Committee Member in Program committee within the FTfJP-track
Author of Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML within the FTfJP-track
Author of Verification of Concurrent Software: Java and OpenCL within the FTfJP-track
ECOOP 2015 Committee Member in Programme Committee within the Research Track-track
SPLASH 2013 Committee Member in External Review Committee within the OOPSLA-track