Strength Reduction of Integer Division and Modulo Operations. - Jeffrey Sheldon; Walter Lee; Ben Greenwald; Saman P. Amarasinghe (LCPC, 2001)

A Unified Framework for Schedule and Storage Optimization. - William Thies; Frédéric Vivien; Jeffrey Sheldon; Saman P. Amarasinghe (PLDI, 2001)

The evolution of an x86 virtual machine monitor. - Ole Agesen; Alex Garthwaite; Jeffrey Sheldon; Pratap Subrahmanyam (ACM SIGOPS Oper. Syst. Rev., 2010)

Software Techniques for Avoiding Hardware Virtualization Exits. - Ole Agesen; Jim Mattson; Radu Rugina; Jeffrey Sheldon (USENIX ATC, 2012)