Ph.D. Candidate

441 Gates Hall
Computer Science Dept.
Cornell University
Ithaca, NY 14853



2015 - Present
With transformations we are investigating new techniques for modular development of reliable and scalable systems in a principled manner. A simple example of a transformation is to take an existing client-server system and transform it into a system in which the server is replicated in some fashion automatically while preserving required guarantees.

Paxos Made Moderately Complex

2013 - 2015
Explaining the Paxos protocol for systems programming. The paper presents reconfigurable multi-decree Paxos using invariants that help the reader understand why Paxos works. The paper also includes various techniques for making the protocol pragmatic, as well as important variants of the Paxos protocol that can further improve efficiency.

Paper: Robbert van Renesse, Deniz Altınbüken. Paxos Made Moderately Complex. ACM Computing Surveys. Vol. 47. No. 3. February 2015.


2009 - Present
Designing and implementing a coordination framework for networked systems. The framework builds upon a new object-oriented approach that proposes using application-specific coordination objects.

Paper: Deniz Altınbüken, Emin Gün Sirer. Commodifying Replicated State Machines with OpenReplica. Computing and Information Science Technical Report 1813-29009, June 5, 2012.

Scalar & ScalarUp

2008 - 2009
Worked on a scalable and reactive data replication framework, SCALAR. Later, enhanced the proposed framework to take data updates into consideration. The study employed extensive simulations on Scalable Wireless Ad hoc Network Simulator (SWANS).

• Emre Atsan, Deniz Altınbüken, Öznur Özkasap. SCALAR Data Replication Performance in Mobile Ad hoc Applications. In Proceedings of the 24th International Symposium on Computer and Information Sciences (ISCIS), North Cyprus, September 2009.
• Deniz Altınbüken, Öznur Özkasap. ScalarUp: Scalable Data Lookup and Replication Framework for Updated Data. In Proceedings of the 5th International Advanced Technologies Symposium (IATS), Karabük, Turkey, May 2009.


• Research Intern at Microsoft Research Silicon Valley (Distributed Systems Lab) May - Aug 2013
Worked on the design and implementation of a modular key-value store for the cloud environment.
• Software Engineering Intern at Google, Inc. (MapReduce Infrastructure Team) May - Aug 2012
Worked on the design and implementation of a new system for Distributed Data Analysis and Execution (MapReduce v2.0).
• Software Engineering Intern at Airties (R&D Department, Wireless Video Transfer) Aug - Sep 2008
Worked in the Project of designing a Wireless Modem intended for academic research. Took part in structural design and testing of the project. Prepared usage guidelines and documentation.
• Software Engineering Intern at Mobilera (Software Development Department) June - July 2008
Worked in the team designing website. Designed and implemented the Mavi Jeans Game software. Prepared documentation for continuation and linking of my project.
• IT Intern at Alcatel-Lucent (IT Department) July - Aug 2007
Worked in the Project of creating a Personal Inventory of the .employers. Took part in the design and creation of the data.


Teaching Assistant for Computer Architecture, Cornell University. Spring, Fall 2015
Teaching Assistant for Distributed Computing Principles, Cornell University. Fall 2012
Teaching Assistant for Advanced Systems Security, Cornell University. Spring 2011
Teaching Assistant for Computer Architecture, Cornell University. Spring 2010
Teaching Assistant for Operating Systems, Cornell University. Fall 2009, Fall 2010
Teaching Assistant for Advanced Programming, Koç University. Fall 2008


Student Scholarship, SOSP 2011, 2013, 2015
Diversity Workshop Poster Competition. 1st place. 2013
Outstanding TA Award, Cornell University Department of Computer Science 2010, 2011, 2015
Student Scholarship, NSDI 2009
Finalist in CPU Turkey Virtual Processor Design Competition held by Tübider 2008
Koç University Vehbi Koç Scholar Honor Roll 2005 to 2008


EPFL (École Polytechnique Fédérale de Lausanne) Lausanne, Switzerland May 2013
Cloudera, Palo Alto, CA August 2012
Facebook, Menlo Park, CA July 2012
Microsoft Research Silicon Valley, Mountain View, CA July 2012