Serdar Tasiran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
16
Active years
1994–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2021 | SOSP | Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. | James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield |
| 2020 | ICSE | Code-level model checking in the software development workflow. | Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2019 | CCS | A Machine-Checked Proof of Security for AWS Key Management Service. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grgoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran |
| 2018 | CAV | Reasoning About TSO Programs Using Reduction and Abstraction. | Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran |
| 2018 | CAV | Continuous Formal Verification of Amazon s2n. | Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCrthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook |
| 2018 | CAV | Model Checking Boot Code from AWS Data Centers. | Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2017 | ESOP | Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran |
| 2017 | RV | EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM. | Hassan Salehe Matar, Serdar Tasiran, Didem Unat |
| 2015 | CAV | Automated and Modular Refinement Reasoning for Concurrent Programs. | Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran |
| 2015 | CAV | Systematic Asynchrony Bug Exploration for Android Apps. | Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran |
| 2014 | EuroSys | T-Rex: a dynamic race detection tool for C/C++ transactional memory applications. | Gokcen Kestor, Osman S. Unsal, Adrin Cristal, Serdar Tasiran |
| 2014 | EuroSys | Towards verifying eventually consistent applications. | Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran |
| 2014 | PLDI | I Know It When I See It: Observable Races in JavaScript Applications. | Erdal Mutlu, Serdar Tasiran, Benjamin Livshits |
| 2014 | RV | Dynamic Verification for Hybrid Concurrent Programming Models. | Erdal Mutlu, Vladimir Gajinov, Adrin Cristal, Serdar Tasiran, Osman S. Unsal |
| 2010 | RV | Run-Time Verification of Optimistic Concurrency. | Ali Sezgin, Serdar Tasiran, Kivan Muslu, Shaz Qadeer |
| 2010 | TACAS | Simplifying Linearizability Proofs with Reduction and Abstraction. | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
| 2009 | ISSTA | An annotation assistant for interactive debugging of programs with common synchronization idioms. | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
| 2009 | POPL | A calculus of atomic actions. | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
| 2007 | PLDI | Goldilocks: a race and transaction-aware java runtime. | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
| 2007 | RV | Rollback Atomicity. | Serdar Tasiran, Tayfun Elmas |
| 2006 | ISSTA | A classification of concurrency bugs in java benchmarks by developer intent. | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
| 2005 | PLDI | VYRD: verifYing concurrent programs by runtime refinement-violation detection. | Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |
| 2003 | DAC | Using a formal specification and a model checker to monitor and direct simulation. | Serdar Tasiran, Yuan Yu, Brannon Batson |
| 2001 | ICCD | A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage. | Serdar Tasiran, Farzan Fallah, David G. Chinnery, Scott J. Weber, Kurt Keutzer |
| 1999 | ICCAD | Formal verification meets simulation (tutorial abstract). | Ellen Sentovich, David L. Dill, Serdar Tasiran |
| 1998 | CAV | MOCHA: Modularity in Model Checking. | Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1998 | FMCAD | An Assume-Guarantee Rule for Checking Simulation. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1997 | CAV | STARI: A Case Study in Compositional and Hierarchical Timing Verification. | Serdar Tasiran, Robert K. Brayton |
| 1996 | CONCUR | Verifying Abstractions of Timed Systems. | Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton |
| 1994 | DAC | HSIS: A BDD-Based Environment for Formal Verification. | Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | BDD Variable Ordering for Interacting Finite State Machines. | Adnan Aziz, Serdar Tasiran, Robert K. Brayton |