What is the i10Index of the contributor who published Tools for the construction and analysis of systems in the Int. J. Softw. Tools Technol. Transf. journal in 2020?
51
Marieke Huisman et al.: A Type-Theoretic Memory Model for Verification of Sequential Java Programs. (1999) authored by Marieke Huisman. Dilian Gurov et al.: Compositional verification of sequential programs with procedures. (2016) authored by Marieke Huisman. Sophie Lathouwers et al.: Verifying Sanitizer Correctness through Black-Box Learning. (2020) authored by Marieke Huisman. <unk>mer Sakar et al.: An Annotation-Aware GPU Program Optimizer. (2018) authored by Marieke Huisman. Afshin Amighi et al.: Permission-Based Separation Logic for Multithreaded Java Programs. (2015) authored by Marieke Huisman. The book "A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms" was authored by Marieke Huisman. She graduated from Utrecht University in 1996. She held her inaugural lecture, Software Reliability for Everyone, on 26 January 2021.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What is the i10Index of the contributor who published Tools for the construction and analysis of systems in the Int. J. Softw. Tools Technol. Transf. journal in 2020?
Context: Marieke Huisman et al.: A Type-Theoretic Memory Model for Verification of Sequential Java Programs. (1999) authored by Marieke Huisman. Dilian Gurov et al.: Compositional verification of sequential programs with procedures. (2016) authored by Marieke Huisman. Sophie Lathouwers et al.: Verifying Sanitizer Correctness through Black-Box Learning. (2020) authored by Marieke Huisman. <unk>mer Sakar et al.: An Annotation-Aware GPU Program Optimizer. (2018) authored by Marieke Huisman. Afshin Amighi et al.: Permission-Based Separation Logic for Multithreaded Java Programs. (2015) authored by Marieke Huisman. The book "A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms" was authored by Marieke Huisman. She graduated from Utrecht University in 1996. She held her inaugural lecture, Software Reliability for Everyone, on 26 January 2021.
[/INST] Answer:
