About
What is Harmony?
Concurrent programming is hard to get right. A deadlock might occur only once in a million executions, caused by the most esoteric of circumstances. Harmony makes finding those bugs easy.
- Checks every possible interleaving of processes
- Detects non-compilance with invariants
- Provides the shortest path to a failing execution
Learning programming in Harmony should be straightforward to those familiar with Python or similar languages. In addition to our online documentation, we provide a textbook in PDF form with many programming examples including Peterson's Algorithm, reader/writer locks, and split binary semaphores.
Read moreTeam
Our Primary Contributors

Robbert van Renesse
Creator of the Harmony Project
Anthony Yang
Compilers & Data Output
William Ma
Compilers & Visualization
Kevin Sun
Design & Documentation
Haobin Ni
Design
Renyu Li
Graphical User InterfacePast Team Members

Shi Chong Zhao
Contact
Contact Us
Location:
433 Gates Hall, Ithaca, NY 14853
Email:
rvr@cs.cornell.edu
Call:
+1 (607) 255-1021