Software: Practice and Experience

Cover image for Software: Practice and Experience

January 2010

Volume 40, Issue 1

Pages 1–100

  1. Research Articles

    1. Top of page
    2. Research Articles
    1. Detecting memory leaks in managed languages with Cork (pages 1–22)

      Maria Jump and Kathryn S. McKinley

      Version of Record online: 21 DEC 2009 | DOI: 10.1002/spe.945

    2. Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking (pages 23–43)

      Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur and William Gropp

      Version of Record online: 21 DEC 2009 | DOI: 10.1002/spe.946

    3. Loop recreation for thread-level speculation on multicore processors (pages 45–72)

      Lin Gao, Jingling Xue and Tin-Fook Ngai

      Version of Record online: 18 DEC 2009 | DOI: 10.1002/spe.947

    4. A service-based runtime environment for native applications (pages 73–100)

      Abdulmalik Al-Gahmi and Jonathan Cook

      Version of Record online: 18 DEC 2009 | DOI: 10.1002/spe.951

SEARCH

SEARCH BY CITATION