Serdar Tasiran
Serdar Tasiran
S3, Amazon Web Services
Verified email at - Homepage
Cited by
Cited by
MOCHA: Modularity in model checking
R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
Treejuxtaposer: scalable tree comparison using focus+ context with guaranteed visibility
T Munzner, F Guimbretiere, S Tasiran, L Zhang, Y Zhou
ACM SIGGRAPH 2003 Papers, 453-462, 2003
Goldilocks: a race and transaction-aware java runtime
T Elmas, S Qadeer, S Tasiran
Acm Sigplan Notices 42 (6), 245-255, 2007
Coverage metrics for functional validation of hardware designs
S Tasiran, K Keutzer
IEEE Design & Test of Computers 18 (4), 36-45, 2001
A calculus of atomic actions
T Elmas, S Qadeer, S Tasiran
ACM SIGPLAN Notices 44 (1), 2-15, 2009
BDD variable ordering for interacting finite state machines
A Aziz, S Taşiran, RK Brayton
Proceedings of the 31st annual Design Automation Conference, 283-288, 1994
Verifying abstractions of timed systems
S TaŞiran, R Alur, RP Kurshan, RK Brayton
CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996
HSIS: A BDD-based environment for formal verification
A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ...
Proceedings of the 31st annual Design Automation Conference, 454-459, 1994
Checking Cache-Coherence Protocols with TLA+
R Joshi, L Lamport, J Matthews, S Tasiran, M Tuttle, Y Yu
Formal Methods in System Design 22, 125-131, 2003
Automated and modular refinement reasoning for concurrent programs
C Hawblitzel, E Petrank, S Qadeer, S Tasiran
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
MOCHA user manual
R Alur, L De Alfaro, TA Henzinger, SC Krishnan, FYC Mang, S Qadeer, ...
University of Berkeley Report, 2000
Continuous formal verification of Amazon s2n
A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ...
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Vyrd: verifying concurrent programs by runtime refinement-violation detection
T Elmas, S Tasiran, S Qadeer
ACM SIGPLAN Notices 40 (6), 27-37, 2005
Using lightweight formal methods to validate a key-value storage node in Amazon S3
J Bornholt, R Joshi, V Astrauskas, B Cully, B Kragl, S Markle, K Sauri, ...
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
Simplifying linearizability proofs with reduction and abstraction
T Elmas, S Qadeer, A Sezgin, O Subasi, S Tasiran
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
A functional validation technique: biased-random simulation guided by observability-based coverage
S Tasiran, F Fallah, DG Chinnery, SJ Weber, K Keutzer
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in …, 2001
An assume-guarantee rule for checking simulation
TA Henzinger, S Qadeer, SK Rajamani, S TaŞiran
Formal Methods in Computer-Aided Design: Second International Conference …, 1998
An assume-guarantee rule for checking simulation
TA Henzinger, S Qadeer, SK Rajamani, S Tasiran
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (1), 51-64, 2002
Detecting JavaScript races that matter
E Mutlu, S Tasiran, B Livshits
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
STARI: A case study in compositional and hierarchical timing verification
S Taşiran, RK Brayton
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
The system can't perform the operation now. Try again later.
Articles 1–20