I briefly worked with Professor David Andersen writing a partial implementation of ePaxos, a new algorithm based on paxos, written in Go. Unfortunately, I never found enough time to get as much done on this as I had hoped. So, my implementation will probably remain incomplete. Some more information can be found in this paper (to be clear-not my work!)
There is More Consensus in Egalitarian Parliaments. Moraru, Iulian and Andersen, David G. and Kaminsky, Michael. In Proc. 24th ACM Symposium on Operating Systems Principles (SOSP) , Nov 2013. [pdf].
I am involved with a research project in the Computational Chemistry department at CMU. I joined this project in fall of 2011. The goal of the project is to use machine learning techniques to develop new semi-empirical methods in ab initio quantum chemistry. The project is predominantly implemented in MATLAB. I have put extensive work into adapting sequential code to run in parallel on multiple cores. I have also worked to improve general code efficiency with major results. Here are some places where you can find some more detailed information:
I have been a teaching assistant for 15-122 at CMU (Principles of Imperative Computation). I have been a TA for the S12, F12, and S13 semesters. I am a CA for the F13 semester. The course has two primary aims: code specification and verification through C0, a small safe subset of the C programming language, augmented with contracts. It is also an introductory data structures course. I lead a recitation for two hours per week and have a role in assignment creation and grading. For more information: