Marieke Huisman -

Registered user since Wed 16 Jan 2019

Name:Marieke Huisman

Country:Netherlands

Affiliation:University of Twente

Personal website:http://wwwhome.cs.utwente.nl/~marieke/

Contributions

FTfJP 2021	Author of IntelliJML: A JML plugin for IntelliJ IDEA within the FTfJP-track
SAS 2021	Author of Automated Verification of the Parallel Bellman--Ford Algorithm within the SAS-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