Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(8446)
Paul Frenger
45
Simon Peyton-Jones
40
Kathryn S. McKinley
34
Craig Chambers
32
Ken Kennedy
30
James R. Larus
29
Martin C. Rinard
28
Ron Cytron
27
Henry G. Baker Jr.
25
Monica S. Lam (林倩玲)
25
Keywords
(3187)
Subscribe
Academic
Journals
SIGPLAN - Sigplan Notices
SIGPLAN - Sigplan Notices
Publications: 7,387
|
Citation Count: 143,279 (Self-Citation: 11740)
|
H-Index: 170Year Range: 1966-2010
Interests:
Programming Languages
Homepage
Cumulative
Annual
Order by:
Publications
(7387)
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
(
Citations: 2
)
Matthias Biehl
,
Chen DeJiu
,
Martin Törngren
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 4, pp. 125-132, 2010
Toward a verified relational database management system
(
Citations: 3
)
Gregory Malecha
,
Greg Morrisett
,
Avraham Shinnar
,
Ryan Wisnesky
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 1, pp. 237-248, 2010
Cache topology aware computation mapping for multicores
(
Citations: 1
)
Mahmut Kandemir
,
Taylan Yemliha
,
SaiPrashanth Muralidhara
,
Shekhar Srikantaiah
,
Mary Jane Irwin
,
Yuanrui Zhnag
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 6, pp. 74-85, 2010
Continuity analysis of programs
(
Citations: 2
)
Swarat Chaudhuri
,
Sumit Gulwani
,
Roberto Lublinerman
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 1, pp. 57-70, 2010
Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications
(
Citations: 1
)
Ines Viskic
,
Lochi Yu
,
Daniel Gajski
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 4, pp. 77-84, 2010