Last updated

Talks


Copyright notice. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Invited Talks

A Calculus of Atomic Actions.
Schloss Dagstuhl, Germany.
September, 2009.

[Slides]
A Calculus of Atomic Actions.
Microsoft Research. Redmond WA.
January 2009.

[Slides]
A Calculus of Atomic Actions.
The University of Washington, WASP meeting.
January 2009.

Goldilocks: A Race and Transaction-aware Java Runtime.
Microsoft Research, Redmond, WA.
August 23, 2006.


Conference Talks

An Annotation Assistant for Interactive Debugging of Programs with Common Synchronization Idioms.
In ACM 2009 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD).
Chicago, Illionis, USA, July 19-20, 2009. 

[Slides]
A Calculus of Atomic Actions.
In ACM SIGPLAN-SIGACT 2009 Symposium on Principles of Programming Languages (POPL).
Savannah, Georgia, USA, January 21-23, 2009. 

Paralel Yazilim Gelistirme Surecinde Yaris Durumu Denetimi. (in Turkish)
In the 1st National Symposium on Software Quality and Software Development Tools.
Istanbul Kultur University, Hava Harp Okulu, Istanbul, Turkey, October 9-10, 2008. 

[Slides]
Goldilocks: A Race and Transaction-Aware Java Runtime.
ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI).
San Diego, CA, USA, June 10-13, 2007.

[Slides]
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.
In Formal Approaches to Testing and Runtime Verification (FATES/RV'06)
Seattle, WA, USA. August 16, 2006. 

[Slides]
Kosutzamanli Yazilim Bilesenleri için Bir Otomatik Dogrulama Çerçevesi: VyrdMC. (in Turkish)
In II. National Software Engineering Symposium.
METU, Ankara, Turkey, September 22-24, 2005.

[Slides]
VYRD: VerifYing Concurrent Programs by Runtime Refinement-Violation Detection
In ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI'05).
Chicago, Illinois, U.S., June 12-15 2005.


Others

[Slides]
Runtime Checking of Refinement for Concurrent Software Components.
The thesis defense for Master of Science in Electrical and Computer Engineering.
Koc University, Istanbul. December 26, 2005.