Sotabase

Career

· Tenure Track Assistant Professor of Computer Science, ETH Zurich2023–
· PhD Student, Max Planck Institute for Software Systems
· Master of Engineering (MEng), National Technical University of Athens (NTUA)

Publications (0)

Effective stateless model checking for C/C++ concurrency
Proc. ACM Program. Lang. · 2017
123
cited
Model checking for weakly consistent libraries
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
97
cited
GenMC: A Model Checker for Weak Memory Models
International Conference on Computer Aided Verification · 2021
52
cited
Truly stateless, optimal dynamic partial order reduction
Proc. ACM Program. Lang. · 2022
42
cited
HMC: Model Checking for Hardware Memory Models
International Conference on Architectural Support for Programming Languages and Operating Systems · 2020
41
cited
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)
SPIN · 2017
25
cited
Effective lock handling in stateless model checking
Proc. ACM Program. Lang. · 2019
24
cited
PerSeVerE: persistency semantics for verification under ext4
Proc. ACM Program. Lang. · 2021
24
cited
Stateless model checking of the Linux kernel’s read–copy update (RCU)
International Journal on Software Tools for Technology Transfer (STTT) · 2019
12
cited
Kater: Automating Weak Memory Model Metatheory and Consistency Checking
Proc. ACM Program. Lang. · 2023
10
cited
Dynamic Partial Order Reductions for Spinloops
Formal Methods in Computer-Aided Design · 2021
9
cited
Unblocking Dynamic Partial Order Reduction
International Conference on Computer Aided Verification · 2023
9
cited
BAM: Efficient Model Checking for Barriers
International Conference on Networked Systems · 2021
7
cited
Model Checking Distributed Protocols in Must
Proc. ACM Program. Lang. · 2024
6
cited
Enhancing GenMC's Usability and Performance
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
5
cited
SPORE: Combining Symmetry and Partial Order Reduction
Proc. ACM Program. Lang. · 2024
5
cited
Model checking for a multi-execution memory model
Proc. ACM Program. Lang. · 2022
3
cited
Reconciling Preemption Bounding with DPOR
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2023
3
cited
RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency
Proc. ACM Program. Lang. · 2025
3
cited
Model Checking C/C++ with Mixed-Size Accesses
Proc. ACM Program. Lang. · 2025
1
cited
Sotabase