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

FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
SPLASH 2019Committee Member in Review Committee within the OOPSLA-track
VerifyThis 2019Committee Member in Organizing Committee within the VerifyThis-track
MeTRiD 2019Committee Member in Program Committee within the MeTRiD-track
TACAS 2019Session Chair of Concurrent and Distributed Systems (part of TACAS 2019)
Committee Member in Program Committee within the TACAS 2019-track
ETAPS 2019Panelist 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 2019Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
FTfJP 2018Author of An Exercise in Verifying Sequential Programs with VerCors within the FTfJP-track
ICSE 2020Programme Committee in Program Committee within the Technical Papers-track
FormaliSE 2018Committee Member in Program Committee within the FormaliSE 2018-track
CPP 2018Committee Member in Program Committee within the CPP 2018-track
CPP 2017Committee Member in Program Committee within the CPP-track
IWACO 2016Committee Member in Program Committee within the IWACO-track
* ICSE 2018 *Committee Member in Program board within the Technical Papers -track
FTfJP 2015Committee 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 2015Committee Member in Programme Committee within the Research Track-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track