Darko Marinov's Professional Service

Updated 04/2024

This page lists most services I performed (or will perform). For more details, please see my CV.

Steering committee member:

International Conference on Automated Software Engineering (ASE), 2019-now
International Conference on Software Engineering (ICSE), 2017-2023
International Conference on Software Testing, Verification, and Validation (ICST), 2015-2018
International Symposium on Software Testing and Analysis (ISSTA), 2014-2021

Program committee member for conferences (main research tracks):

ISSTA 2025, POPL 2025
ASE 2024, ICSE 2024
ESEC/FSE 2023
ESEC/FSE 2022, ASE 2022
ASE 2021, ISSTA 2021 (Sponsorship Co-Chair and PC), PLDI 2021
ASE 2020, ISSTA 2020, ICSE 2020 (PC Co-Chair)
ASE 2019 (PC Co-Chair), PLDI 2019 (ERC), ICSE 2019 (PB), ICST 2019
ASE 2018 (Observer), ICSE 2018
ASE 2017 (Finance Chair and ERP), ICSE 2017 (PB), TACAS 2017
ASE 2016, ICST 2016
ASE 2015, CAV 2015, ICST 2015 (PC Co-Chair)
HVC 2014, ASE 2014 (ERP), ISSTA 2014 (PC Chair), ICSE 2014, ICST 2014
ASE 2013, RV 2013, ISSTA 2013
FSE 2012, OOPSLA 2012, ASE 2012 (ERP), ISSTA 2012, ABZ 2012 (Alloy track), ICSE 2012, ICST 2012
ASE 2011, ATVA 2011, ICSE 2011, ICST 2011
ASE 2010, ISSTA 2010, ABZ 2010 (Alloy track)
ASE 2009, ISSRE 2009, TASE 2009, ISSTA 2009, PLDI 2009 (ERC), ICST 2009
ISSRE 2008, SIGSOFT FSE 2008, ASE 2008
ASE 2007 (ERP), ISSRE 2007, ISSTA 2007

Department evaluation:

Texas Higher Education Coordinating Board, National Research University Fund (NRUF) Review of Department of Computer Science Graduate Faculty and Doctoral Program at UT San Antonio, expert reviewer, via Zoom

Funding evaluation:

2021: two NSF panels, via Zoom
2021: one Natural Sciences and Engineering Research Council of Canada (NSERC), Canada proposal, remotely
2021: one National Research Fund (FNR), Luxembourg proposal, remotely
2020: four NSF proposals
2020: two National Research Fund (FNR), Luxembourg proposals
2020: one University Grants Committee Research Grants Council (UGC/RGC), Hong Kong proposal
2019: two NSF panels
2019: one Qatar National Research Fund (QNRF), Qatar proposal
2018: one NSF panel
2018: one National Research Fund (FNR), Luxembourg proposal
2017: two NSF panels
2017: one National Research Fund (FNR), Luxembourg proposal
2017: one University Grants Committee Research Grants Council (UGC/RGC), Hong Kong proposal
2016: one NSF panel
2016: one Natural Sciences and Engineering Research Council of Canada (NSERC), Canada proposal
2016: one National Research Fund (FNR), Luxembourg proposal
2015: one NSF panel
2015: one National Research Fund (FNR), Luxembourg proposal
2015: one Qatar National Research Fund (QNRF), Qatar proposal
2014: two NSF panels
2014: one Qatar National Research Fund (QNRF), Qatar proposal
2013: one American University of Beirut (AUB), Lebanon proposal
2013: one post-doc proposal for the Swiss National Science Foundation (SNF), Switzerland
2012: one American University of Beirut (AUB), Lebanon proposal
2010: two NSF panels
2009: one AFOSR proposal
2008: two NSF panels
2007: two NSF panels
2005: one NSF panel

Award evaluation:

ISSTA 2014 Impact Paper Award Committee 2024 Committee Member
ACM Student Research Competition (SRC) at ACM Tapia 2023 Graduate Students Panel Judge
ESEC/FSE 2022 Test of Time Award 2022 Committee Member
ASE Most Influential Paper Award 2021 Committee Member
ACM SIGSOFT Impact Paper Award 2021 Committee Chair
IEEE Computer Science TCSE New Directions Award Committee 2020 Committee Member
ACM SIGSOFT Impact Paper Award 2020 Committee Member
ICST 2008 Most Influential Paper 2018 Committee Chair
ACM SIGSOFT Impact Paper Award 2015 Committee Chair
HVC 2014 Award Selection Committee Member
HVC 2013 Award Selection Committee Member

Workshop co-organizer:

JPF 2017, TECPS 2017
ICSE Workshops 2016, TAIC PART 2016
ASE 2012 Workshops and Tutorials Co-Chair
SOTA 2011, SSEAT 2011, Parallel Programming Tools at the Intel UPCRC Symposium
SSEAT 2010
SSEAT 2009, STEW 2009
SSEAT 2008

Program committee member for workshops and non-main-research conference tracks:

ISSTA DS 2025 (PC Co-Chair)
ICSME NIER 2024, FTW 2024, ICSE DS 2024
JPF 2023, ICSE SEIP 2023, ICSE NIER 2023
ISSTA DS 2022, ICSE SEIP 2022
SySEPL 2020
BESE 2019, VVIoT 2019
JPF 2018, ASE Demo 2018 (PC Co-Chair), VVIoT 2018, TAIC PART 2018
ASE Doctoral Symposium 2017, ISSTA Doctoral Symposium 2017, ICSE NIER 2017, TAIC PART 2017
FSE Visions and Reflections 2016 (PC Co-Chair), FSE Doctoral Symposium 2016
ESEC/FSE Doctoral Symposium 2015, ISSTA Demo 2015
FSE Demo 2014 (PC Co-Chair)
ICSE Mentoring 2013, CSTVA 2013
JPF 2012, CSTVA 2012
WODA 2011, ETSE 2011, SPIN 2011, CSTVA 2011
STEP 2010, CSTVA 2010, MBT 2010
SAVCBS 2009, STEP 2009, MBT 2009
SAVCBS 2008, STEP 2008, ICST 2008 Student Papers Track, MBT 2008
WODA 2007, MBT 2007
SOQUA 2006, ICSE Demo 2006, WODA 2006, MBT 2006
MIT SOW 2004

Journal guest co-editor:

2015-2017: Special issue (with invited ICST 2015 papers) of the Software Testing, Verification and Reliability (STVR) journal