on stable (∞,1)-categories stable homotopy theory and homological algebra
A Survey of Elliptic Cohomology (pdf)
on the generalized (Eilenberg-Steenrod) cohomology theory tmf, the gluing of all elliptic cohomology theories
(∞,2)-Categories and the Goodwillie Calculus (pdf)
on (∞,1)-categories of (∞,n)-categories and Goodwillie calculus
PhD thesis, derived algebraic geometry (pdf)
all the material in there should now be, in more complete and more coherent form, in the articles above. But some papers will cite page and verse in the PhD thesis, so it is useful to have that as a reference, too.
Moduli Problems and DG-Lie Algebras
on ∞-Lie algebras as formal neighbourhoods of point in ∞-stacks.
The following articles have mostly been subsumed and expanded in the book Higher Algebra
Noncommutative Algebra (arXiv)
and
alert: the new version is now here
the new version differs from the previous one by embedding the theory of symmetric monoidal (∞,1)-categories into a theory of (∞,1)-operads.
on the notions of Kähler differential and cotangent complex and their generalization from the ordinary context of algebra to that of higher algebra.
on little cubes (∞,1)-operads
on the derived geometry of schemes over E-infinity rings.
Quasi-Coherent Sheaves and Tannaka Duality Theorems
on quasi-coherent sheaves over Spectral Schemes and Tannaka duality for geometric stacks in this context