For conference presentations by my research group see http://msrc.ku.edu.tr
Verifying Concurrent Programs
with Relaxed Conflict Detection
- EPFL, October 2012
- ETH, October 2012
- University of Paris 7, June 2012
- University of Paris 6, June 2012
- IFIP WG 2.3 Working Group on Programming Methodology, Kirkland, WA, July 2012
- Microsoft Research Cambridge, UK, August 2012
Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach
- COST Action Meeting: Rich Model Toolkits, Tallinn, Estonia, March, 2012
- The Chemistry of Concurrent and Distributed Programming Workshop
Mysore Park Series. Mysore, India. February 2010.
- IFIP WG 2.3: Working Group on Programming Methodology
Meeting 51, Santa Barbara, CA, USA. January 2010
Reduction, abstraction, and atomicity:
How much can we prove about concurrent programs using them?
IFIP WG 2.3: Working Group on Programming Methodology Mtg. 50, Lachen, Switzerland, March 2010
Verifying Optimistic Concurrency: Prophecy Variables and Backwards Reasoning
Dagstuhl Seminar on the Design and Validation of Concurrent Systems
Schloss Dagstuhl, Germany. September 2009
Subasi, Tayfun Elmas, Serdar Tasiran
On Justifying and Verifying Relaxed Detection of Conflicts in Concurrent Programs
Workshop on Determinism and Correctness in Parallel Programming (WoDet)
London, England, UK, March 4, 2012
Location Pairs: A Test Coverage Metric for Shared-Memory Concurrent Programs
Microsoft Research Redmond
Redmond, WA, USA, July 21, 2011
A Compositional Method for Verifying Software Transactional Memory Implementations
Microsoft Research, July 2009
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Goldilocks: A Race- and Transaction-Aware Java Runtime
ACM SIGPLAN 2007 Conf. on Programming Language Design and Implementation,
PLDI '07. June 10-13, 2007.
Serdar Tasiran, Tayfun Elmas
7th Workshop on Runtime Verification (RV 2007)
6th International Conference on Aspect-Oriented Software Development Conference (AOSD 2007)
Vancouver, BC, Canada, March 2007
Serdar Tasiran, Alper Demir
Stochastic Logical Effort and Smart Monte Carlo for Timing Yield Estimation and Optimization
ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems (TAU)
San Jose, CA, Februrary 2006.
Soner Yaldiz, Alper Demir, Serdar Tasiran, Paolo Ienne, Yusuf Leblebici
Characterizing and Exploiting Task-Load Variability and Correlation for Energy Management for
IEEE 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
New York Metropolitan Area, USA. September 22-23, 2005
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
Fifth International Workshop on Formal Approaches to Testing of Software (FATES 2005).
University of Edinburgh, Scotland, UK, July 11, 2005
Tayfun Elmas, Serdar Tasiran
VyrdMC: Driving Runtime Refinement Checking with Model Checkers
Fifth Workshop on Runtime Verification (RV'05).
The University of Edinburgh, Scotland, UK. July 12, 2005.
Tayfun Elmas, Serdar Tasiran
Koşutzamanlı Yazılım Bileşenleri için Bir Otomatik Doğrulama Çerçevesi: VyrdMC
2nd National Software Engineering Symposium.
METU, Ankara, Turkey, September 22-24, 2005.
A Framework for Runtime Verification of Concurrent Programs
Presentation given at Microsoft Research (available on the Research Channel) June 29, 2005
Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
VYRD: VerifYing Concurrent Programs by Runtime Refinement-Violation Detection
ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, PLDI '05.
June 12-15, 2005.
Runtime Refinement Checking for Concurrent Data Structures (the VYRD* Project: VerifYing Refinement by Runtime Detection)
Presentation given at Microsoft Research (available on the Research Channel) August 30, 2004
Serdar Tasiran, Shaz Qadeer
Runtime Refinement Checking of Concurrent Data Structures
In Proc. RV'04 - Fourth Workshop on Runtime Verification, April 3, 2004, Barcelona, Spain
The European Joint Conferences on Theory and Practice of Software (ETAPS '04)
S. Taşıran, B. Batson, Y. Yu
Using a Formal Specification and a Model Checker to Monitor and Direct Simulation:
Verifying the Multiprocessing Hardware of the Alpha 21364 Microprocessor.
In Proc. IEEE 40th Design Automation Conference, DAC '03, Anaheim, CA, June 2003.
(Invited talk to ISSCC 2004, Highlights of DAC Session)
T. Munzner, F. Guimbretiere, S. Taşıran, L. Zhang, and Y. Zhou
TreeJuxtaposer: Scalable Tree Comparison using Focus+Context with Guaranteed Visibility
In Proc. of the 30th Int'l Conf. on Computer Graphics and Interactive Techniques (SIGGRAPH '03), San Diego, California, USA
ACM Transacations on Graphics, 22(3):453-462, 2003
S. Taşıran, Y. Yu, R. Joshi, B. Batson, S. Kreider
Using Formal Specifications to Monitor and Guide Simulation:
Verifying the Cache Coherence Engine of the Alpha 21364 Microprocessor.
IEEE Workshop on Microprocessor Test and Verification, MTV '02, Austin, TX, 2002.
S. Qadeer, S. Taşıran
Promising Directions in Hardware Design Verification.
In Proc. Intl. Symposium on Quality Electronic Design, ISQED '02, San Jose, CA, 2002.
S. Taşıran, F. Fallah, D. G. Chinnery, S. J. Weber, K. Keutzer
A Functional Validation Technique: Biased Random Simulation Guided By Observability-Based Coverage.
In Proc. of the IEEE Intl Conf. on Computer Design: VLSI in Computers & Processors, ICCD 01, pp. 82-88.
D. Dill, S. Taşıran
Simulation Meets Formal Verification.
Embedded tutorial in the IEEE Intl Conf. on Computer-Aided Design, ICCAD 1999, San Jose, CA, 1999
S. Taşıran, S. Yovine, R. K. Brayton
A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk.
In Proc. of the 2nd Intl. Conf. on Formal Methods in Computer-aided Design, FMCAD '98, LNCS 1522, Palo Alto, CA, 1998, pp. 149-166