Følg
Serdar Tasiran
Serdar Tasiran
S3, Amazon Web Services
Verifisert e-postadresse på acm.org - Startside
Tittel
Sitert av
Sitert av
År
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
5641998
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
5192003
Coverage metrics for functional validation of hardware designs
S Tasiran, K Keutzer
IEEE Design & Test of Computers 18 (4), 36-45, 2001
3212001
Goldilocks: a race and transaction-aware java runtime
T Elmas, S Qadeer, S Tasiran
Acm Sigplan Notices 42 (6), 245-255, 2007
3172007
A calculus of atomic actions
T Elmas, S Qadeer, S Tasiran
ACM SIGPLAN Notices 44 (1), 2-15, 2009
1442009
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
1181994
Verifying abstractions of timed systems
S TaŞiran, R Alur, RP Kurshan, RK Brayton
CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996
1141996
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
1071994
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
862021
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
852015
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
822018
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
822003
MOCHA user manual
R Alur, L De Alfaro, TA Henzinger, SC Krishnan, FYC Mang, S Qadeer, ...
University of Berkeley Report, 2000
802000
Vyrd: verifying concurrent programs by runtime refinement-violation detection
T Elmas, S Tasiran, S Qadeer
ACM SIGPLAN Notices 40 (6), 27-37, 2005
652005
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
612010
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
612001
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
491998
Detecting JavaScript races that matter
E Mutlu, S Tasiran, B Livshits
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
482015
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
482002
Code-level model checking in the software development workflow
N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ...
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
472020
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20