Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Serdar Tasiran
conf.researchr.org general profile
ASE 2020 profile
ICSE 2020 profile
ICSE 2022 profile
ICSE 2025 profile
POPL 2022 profile
SPLASH 2017 profile
Not registered as user
Name:
Serdar Tasiran
Affiliation:
Amazon, n.n.
Contributions
2025
ICSE
Author of Formally Verified Cloud-Scale Authorization within the Research Track-track
2022
ICSE
Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2020
ASE
Author of Continuous Compliance within the Research Papers-track
ICSE
Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
2017
SPLASH
Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track
Share
x
Sun 25 May 22:19
