 Software for DSOS and SDSOS optimization, implemented in SPOTless (package by Megretski, Tobenkin, Permenter) with addon by Anirudha Majumdar.
 Problem instances for our paper "Optimization over structured subsets of psd matrices via column generation" (with Sanjeeb Dash and Georgina Hall)
 Formal certificates for computer assisted proofs of some of our papers:
 Certificates for the paper "A Complete Characterization of the Gap between Convexity and SOSConvexity"
(Attachment below: Minimal_counterexamples_certificates.zip)  Rational SOS certificates for the paper "A Convex Polynomial that Is not SOSConvex".
(Attachment below: rationalSOSconvex_not_sosconvex.m)
 Data and code accompanying our paper on the joint spectral radius and pathcomplete Graph Lyapunov functions
 Counterexamples associated with the Hasse diagram of Section 4
 Code for the wavelet application (Example 5.8)
 A MATLAB code for finding nonnegative polynomials that are not sums of squares using semidefinite programming.
(removed the file since the code needs some clean up, but email me if interested) What's it about nonnegative polynomials that are not sums of squares?  A few links to useful (and free!) software packages related to my research:

Updating...
Minimal_counterexamples_certificates.zip (66k) Amir Ali Ahmadi, Nov 19, 2011, 2:15 PM
rationalSOSconvex_not_sosconvex.m (9k) Amir Ali Ahmadi, Mar 17, 2011, 7:54 AM
