Innovation >> Impact

Recon

Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy execution schedules that illustrate how and why bugs happened. These fragments, called reconstructions, are inferred from inter-thread communication surrounding the root cause of a bug and significantly simplify the process of understanding bugs. The key idea in Recon is to monitor executions and build graphs that encode inter-thread communication with enough context information to build reconstructions.

Licensing Information

Recon is one of the many software programs and tools created at the University of Washington available through our Express Licensing Program. These agreements have standard terms and conditions that allow for rapid licensing by companies, organizations, or individuals.


Academic License

An academic license for Recon is available to users at academic and nonprofit research institutions at no charge. Please click on the "License" button to access the academic license.

License


The conditions and financial terms of this license apply only to those who download the license, sign it and return it "as is" to UW CoMotion. Some Express Licenses may be modified for an additional cost. Other licensing arrangements may be available.

For Descriptive and Technical Information

Luis Ceze

Email:  luisceze@cs.washington.edu


For Licensing Information/Customer Service

Express Licensing Program
UW CoMotion
4545 Roosevelt Way NE, Suite 400
Phone: (206) 543-3970
Fax: (206) 616-3322
Email: license@uw.edu