What's New ? (click on titles below for details)

- Scholarships available for Graduate Study.. Graduate assistantships with full scholarship are available. Please click here for further information.

- M. Keremoglu will be presenting in PADTAD '06 the poster titled.. A Classification of Concurrency Bugs in Java Benchmarks by Developer Intent PADTAD '06 , July 17, 2006, Portland, Maine, USA

- S. Tasiran is in the Program Committee of FATES/RV '06 1st Joint International Workshop on Formal Aspects of Testing and Runtime Verification, August 2006, Seattle USA In conjunction with The 2006 Federated Logic Conference (FLoC 2006)

- S. Tasiran is in the Program Committee of PADTAD '06 Parallel and Distributed Systems: Testing and Debugging, July 2006, Portland USA In conjunction with International Symposium on Software Testing and Analysis (ISSTA)

- Technical Report published.. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran Precise race detection and efficient model checking using locksets Microsoft Research Technical Report, MSR-TR-2005-118, September 2005.

- Patent pending for approval.. Tayfun Elmas and Shaz Qadeer applied for a patent of the work titled: Precise race detection and efficient model checking using locksets

- A. Demir chaired Analog Subcommittee of ICCAD '05 International Conference on Computer-Aided Design, November 2005, San Jose USA

- T. Elmas had his summer internship at Microsoft Research, USA.. He worked on work Developing Lockset-based Transaction Inference Algorithm for Model Checking in the Software Productivity Tools Group.

- A. Demir presented the paper titled.. 'Oscillator Noise Analysis', in ICNF'05 , Spain, Sept. 2005.

- T. Elmas presented the paper titled.. "Kosut Zamanli Yazilim Bilesenleri Için Bir Dogrulama Çerçevesi: VyrdMC", in 2. National Software Engineering Symphosium,Ankara, Turkey, Sept.2005

- S. Yaldiz presented the paper titled.. "Characterizing and Exploiting Task-Load Variability and Correlation for Energy Management in Multi-Core Systems", in ESTIMedia 2005 , New York, USA, Sept.2005

- TUBITAK Young Investigator Career Awards.. A. Demir and S. Tasiran have both been awarded TUBITAK Young Investigator Career Awards in the form of research funding for five years.