C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Benjamin Mikek
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
List Scheduling
Grid Workflow
Quantitative And Qualitative
Fingerprint Verification
Top Venues
CoRR
ESEC/SIGSOFT FSE
</>
Publications
</>
Saksham Goel
,
Benjamin Mikek
,
Jehad Aly
,
Venkat Arun
,
Ahmed Saeed
,
Aditya Akella
Quantitative Verification of Scheduling Heuristics.
CoRR
(2023)
Benjamin Mikek
,
Qirun Zhang
Speeding up SMT Solving via Compiler Optimization.
ESEC/SIGSOFT FSE
(2023)