scispace - formally typeset
J

James R. Larus

Researcher at École Polytechnique Fédérale de Lausanne

Publications -  240
Citations -  18975

James R. Larus is an academic researcher from École Polytechnique Fédérale de Lausanne. The author has contributed to research in topics: Shared memory & Cache. The author has an hindex of 63, co-authored 235 publications receiving 18344 citations. Previous affiliations of James R. Larus include University of Wisconsin-Madison & University of California, Berkeley.

Papers
More filters
Proceedings ArticleDOI

Mining specifications

TL;DR: In this article, a machine learning approach is proposed to discover formal specifications of the protocols that code must obey when interacting with an application program interface or abstract data type, starting from the assumption that a working program is well enough debugged to reveal strong hints of correct protocols, and concisely summarizing the frequent interaction patterns as state machines that capture both temporal and data dependences.
Proceedings ArticleDOI

Efficient path profiling

TL;DR: A new algorithm for path profiling is described, which selects and places profile instrumentation to minimize run-time overhead and identifies longer paths than a previous technique, which predicted paths from edge profiles.
Journal ArticleDOI

Software and the Concurrency Revolution: Leveraging the full power of multicore processors demands new tools and new thinking from the software industry.

Herb Sutter, +1 more
- 01 Sep 2005 - 
TL;DR: The introductory article in this issue describes the hardware imperatives behind this shift in computer architecture from uniprocessors to multicore processors, also known as CMPs.