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 more
Our Primary Contributors
Robbert van RenesseCreator of the Harmony Project
Anthony YangCompilers & Data Output
William MaCompilers & Visualization
Kevin SunDesign & Documentation
Renyu LiGraphical User Interface
Past Team Members
Shi Chong Zhao
433 Gates Hall, Ithaca, NY 14853
+1 (607) 255-1021