Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
A
-
a, 45(2)35--44
-
à, 45(2)157--166
-
a, structure'-, 47(1)495--508
-
a-chip, systems-on-, 45(5)103--104
-
a-Class-pointer, Allocation-Site-via-, 45(7)109--120
-
a-Hash-code, Allocation-Site-as-, 45(7)109--120
-
A., 45(5)245--256
-
a.k.a, 45(2)1--2, 45(6)25--35, 47(3)43--52
-
AAAS, 45(6)98--98
-
AASH, 45(7)85--96
-
Abadi, Martin, 46(10)903--920
-
Abadi, Martin, see Harris, Tim
-
abandon, 45(10)3--3
-
abandoned, 46(11)89--98
-
Abbott, 47(1)495--508
-
abc, 45(2)35--44
-
Abdelatif, Tamer, 45(6)400--411
-
Abdelatif, Tamer, see Westbrook, Edwin
-
abduction, 47(1)309--322
-
ABI, 46(2)147--156, 47(4)291--304
-
ability, record-, 45(2)147--156
-
ABIs, 46(2)147--156
-
abolishing, 45(5)67--78
-
abort, 45(5)79--90, 46(8)157--168, 46(8)169--178, 47(4)39--52
-
abrupt, 45(3)243--256
-
absence, 45(6)99--110, 47(1)19--30
-
absent, 45(3)29--38
-
AbsInt, 45(4)67--76
-
absolute, 47(6)23--34
-
absolutely, 47(1)545--556
-
absorb, 45(3)243--256
-
absorbing, 46(2)137--146
-
abstract-interpretation, 45(6)292--304
-
abstracted, 47(5)79--88
-
abstracting, 45(9)51--62
-
Abstraction-guided, 45(1)327--338
-
abundance, 47(4)171--184
-
abundant, 45(7)25--36
-
AC, 45(3)231--242, 46(10)903--920, 47(1)545--556
-
academia, 45(2)1--2
-
Academy, 45(6)98--98
-
Acar, Umut A., 45(6)483--496, 46(9)129--141, 46(10)499--518,
46(10)753--772
-
Acar, Umut A., see Chen, Yan,
see Hammer, Matthew A.
-
Acar:2010:TDT, 45(6)483--496
-
Acar:2011:OSC, 46(10)499--518
-
accelerate, 45(3)39--52, 45(3)271--284, 45(3)285--296, 45(5)137--146,
47(2)13--24, 47(2)25--36, 47(4)27--38, 47(4)393--404
-
accelerated, 45(5)115--126, 46(4)41--52, 47(4)27--38
-
accelerated, hardware-, 47(4)27--38
-
accelerating, 45(3)271--284, 45(3)297--310, 46(1)511--522,
46(8)267--276, 47(4)27--38, 47(4)381--392, 47(6)13--22
-
acceleration, 45(3)205--218, 45(3)285--296, 45(7)121--132, 46(3)27--38,
46(8)295--296, 47(4)27--38
-
Accentuating, 46(10)19--34
-
accept, 46(8)293--294
-
acceptable, 45(2)65--74, 45(6)146--159, 47(2)1--12
-
acceptably, 47(1)441--454
-
acceptance, 46(8)91--102, 47(2)51--60
-
accepted, 45(6)1--12, 46(11)109--118
-
access, memory-, 45(3)271--284
-
access-controlled, 45(7)63--74
-
accessed, 45(3)219--230, 45(4)17--26, 45(8)113--120, 47(4)171--184
-
accessibility, 45(2)3--4
-
accessible, 45(3)347--358, 45(4)9--16, 45(8)51--52, 46(8)35--46,
47(1)111--122, 47(6)1--12
-
accessing, 45(5)233--244, 47(1)215--216, 47(2)37--50, 47(4)171--184
-
access/modify, 47(3)97--106
-
accessor, 45(2)75--84
-
accidental, 47(3)53--62
-
accidentally, 46(8)57--68
-
accommodate, 45(2)75--84, 47(1)509--520, 47(4)119--132
-
accommodated, 45(4)85--94, 46(2)1--2
-
accommodating, 45(2)167--176
-
accommodation, 45(5)67--78
-
accompanied, 45(3)385--396, 45(6)111--121, 46(8)125--134
-
accompanying, 46(8)305--306
-
accomplish, 46(2)73--82
-
accomplished, 46(8)293--294
-
accord, 45(10)567--582, 46(8)125--134
-
accordance, 45(7)85--96
-
according, 45(6)279--291, 45(7)25--36, 45(7)85--96, 46(6)458--469,
47(3)137--146
-
accordingly, 45(7)97--108, 46(8)103--112, 47(5)89--98
-
account, 45(2)35--44, 45(3)257--270, 45(7)97--108, 45(8)121--130,
46(11)11--20, 47(1)481--494, 47(1)495--508, 47(1)521--532,
47(3)73--82, 47(4)305--318, 47(4)381--392, 47(5)31--40, 47(5)89--98
-
accounting, 45(3)91--102, 45(5)293--304, 45(6)160--173, 47(1)557--570
-
accrued, 45(6)174--186
-
accuracy-aware, 47(1)441--454
-
accurate, 45(2)147--156, 45(7)109--120, 45(8)121--130, 46(8)91--102,
46(8)309--310, 47(5)61--70
-
accurately, 45(4)77--84, 45(5)105--114, 45(5)293--304, 45(5)305--314,
45(5)315--324, 45(6)233--243, 45(7)133--144, 46(8)135--146,
47(1)123--136, 47(5)89--98
-
achievable, 45(3)29--38, 45(5)325--326, 45(12)1--14
-
achieved, 45(3)29--38, 45(3)219--230, 45(5)315--324, 45(6)160--173,
45(7)109--120, 45(8)51--52, 45(11)49--60, 46(8)25--34, 46(8)57--68,
46(11)1--10, 47(1)349--360, 47(4)145--158, 47(4)291--304,
47(4)405--418
-
achievement, 47(1)1--2, 47(1)3--6
-
achieving, 45(3)385--396, 45(4)115--124, 45(5)115--126, 45(8)51--52,
46(8)135--146, 46(8)277--288, 47(3)95--96, 47(4)67--78,
47(4)185--198, 47(6)23--34
-
achieving, semantics-, 45(6)160--173
-
Achten, Peter, 45(11)49--60
-
Achten, Peter, see Groningen, John van
-
ACL2, 47(1)425--426
-
ACM, 45(6)98--98, 47(1)3--6
-
ACM-W, 45(6)98--98
-
acquire, 45(5)245--256
-
acquired, 45(5)245--256
-
acquiring, 46(11)99--108
-
acquisition, 45(5)269--280, 45(5)305--314, 47(1)521--532
-
act, 45(3)3--14, 45(4)77--84
-
action, 45(1)483--494, 45(2)1--2, 45(4)47--56, 45(5)325--326,
46(6)425--436, 47(1)495--508, 47(3)185--186
-
Action-Oriented, 45(4)47--56
-
action-oriented, 45(4)47--56
-
ActionScript, 47(1)481--494, 47(2)13--24
-
activated, 46(8)201--212, 47(3)167--176
-
activation, 45(2)147--156, 47(4)185--198
-
active, 45(2)3--4, 45(2)147--156, 45(3)117--128, 45(3)243--256,
45(5)67--78, 45(6)13--24, 45(6)269--278, 45(6)363--375,
46(3)225--238, 46(8)201--212, 46(8)305--306, 46(11)79--88,
47(1)297--308, 47(4)185--198, 47(4)225--238, 47(4)239--250
-
active, standby-to-, 45(3)243--256
-
activity, 45(3)271--284, 45(4)133--142, 45(7)75--84, 45(8)1--10,
45(8)103--112, 46(2)73--82, 47(2)51--60, 47(3)147--156,
47(4)333--344, 47(4)345--356, 47(5)31--40
-
actor, 45(3)285--296, 46(8)81--90, 47(4)357--368, 47(5)79--88
-
actor, inter-, 45(4)27--36
-
actor-like, 46(8)1--2
-
actual, 45(5)159--168, 45(5)293--304, 45(6)341--350, 45(7)109--120,
45(7)133--144, 45(8)121--130, 46(8)113--122, 47(2)25--36,
47(4)133--144, 47(6)13--22
-
actually, 45(5)47--56, 45(6)1--12, 45(6)305--315, 45(6)460--470
-
acute, 45(5)191--202
-
acyclic, 45(5)355--356, 47(5)41--50
-
ad, 45(5)347--348, 45(6)221--232, 46(9)163--175, 47(3)53--62
-
ad-hoc, 45(6)122--133, 45(6)198--209, 46(12)1--12, 47(1)427--440,
47(4)3--14
-
Adamczyk, Paul, 45(10)947--957
-
Adamczyk:2010:TBD, 45(10)947--957
-
Adamoli, Andrea, 46(10)155--170
-
Adamoli, Andrea, see Jovic, Milan
-
Adams, Michael D., 46(10)483--498
-
Adams, Stephen, 45(6)363--375
-
Adams, Stephen, see Chambers, Craig
-
Adams:2011:FST, 46(10)483--498
-
adapt, 45(3)205--218, 45(3)257--270, 45(7)3--12, 45(7)97--108,
47(1)31--44
-
adaptation, 45(2)85--94, 45(2)95--98, 45(2)167--176, 45(3)103--116,
45(4)57--66, 45(6)198--209, 45(7)145--156, 45(8)21--30,
45(10)302--321, 45(10)322--340, 47(3)3--12, 47(4)119--132,
47(4)369--380
-
adapted, 45(3)257--270, 45(5)257--268
-
Adaptic, 47(6)13--22
-
adapting, 45(3)257--270, 45(5)179--190, 45(7)121--132, 47(4)199--212
-
adaption, 45(4)57--66, 45(12)81--96
-
adaptive, 45(2)85--94, 45(2)95--98, 45(3)103--116, 45(4)57--66,
45(4)115--124, 45(5)105--114, 45(5)179--190, 45(5)341--342,
45(5)347--348, 45(8)63--72, 46(4)65--83, 46(8)213--222,
46(8)235--246, 46(8)289--290, 47(3)3--12, 47(6)13--22
-
adaptively, 46(5)31--40, 47(4)145--158
-
adaptiveness, 46(5)31--40
-
ADD, 45(6)160--173
-
add, 45(2)177--186, 45(3)77--90, 45(6)13--24, 45(6)221--232,
45(6)255--268, 45(6)436--447, 45(12)97--112, 46(8)157--168,
46(12)107--117, 47(1)509--520, 47(2)37--50, 47(4)291--304
-
added, 45(6)160--173, 45(7)109--120, 47(4)119--132, 47(5)51--60
-
adding, 45(6)424--435, 45(6)436--447, 45(7)13--24, 45(7)109--120,
46(2)93--102, 46(2)123--126, 46(6)425--436, 47(1)111--122,
47(1)349--360, 47(1)481--494, 47(2)13--24, 47(2)85--96
-
additionally, 45(4)67--76, 45(5)169--178, 45(7)3--12, 45(11)49--60,
46(8)135--146, 46(8)147--156, 47(4)119--132, 47(4)239--250
-
addr, GRace-, 46(8)135--146
-
address-offset, 45(6)86--97
-
addressable, byte-, 47(4)105--118
-
addressed, 45(4)95--104, 45(7)85--96, 47(5)51--60
-
addressing, 45(2)3--4, 45(3)129--142
-
adequate, 45(5)147--158, 45(7)97--108, 46(12)35--46, 47(1)31--44
-
adherence, 47(1)85--96
-
adheres, 47(1)85--96
-
adhering, 46(8)291--292
-
adjust, 46(11)65--76, 47(5)89--98
-
adjusted, 46(8)91--102
-
adjusting, 47(4)345--356
-
adjusting, Self-, 45(6)483--496, 46(10)753--772
-
adjusting, self-, 45(6)483--496, 46(9)129--141
-
adjustment, 46(11)55--64
-
ADL2, EAST-, 45(4)125--132
-
ADM, 45(3)311--322
-
administrative, 45(2)137--146, 45(10)865--876
-
administrator, 45(3)143--154, 45(7)13--24, 47(1)215--216
-
admit, 45(5)67--78, 47(4)53--66
-
admitting, 46(11)55--64, 47(1)137--150
-
adopt, 45(2)109--116, 45(8)121--130, 47(5)89--98
-
adoptability, 45(5)233--244
-
adopted, 45(6)98--98, 46(8)81--90, 47(4)305--318
-
adopting, 45(2)147--156, 45(6)424--435, 47(5)11--20
-
adoption, 45(2)3--4, 45(6)146--159, 45(6)244--254, 45(7)97--108,
45(8)41--50, 46(12)13--22, 47(1)19--30, 47(3)33--42, 47(3)177--184,
47(4)27--38, 47(6)13--22
-
ADSM, 45(3)347--358
-
ADTs, 45(1)185--198
-
advance, 46(2)113--122, 46(6)283--294, 46(8)1--2, 47(1)137--150,
47(3)107--116, 47(4)145--158
-
advanced, 45(2)85--94, 45(5)293--304, 45(6)305--315, 45(12)43--58,
47(1)151--164, 47(4)39--52
-
Adve, Sarita V., 46(1)535--548
-
Adve, Sarita V., see Bocchino, Jr., Robert L.
-
Adve, Vikram S., 46(1)535--548
-
Adve, Vikram S., see Bocchino, Jr., Robert L.
-
adventure, 46(9)359--371
-
adversarial, 45(6)244--254, 47(1)571--584
-
adversely, 45(5)37--46
-
advertisement, 47(4)171--184
-
advertising, 47(1)165--178
-
advice, 45(2)3--4, 45(2)35--44, 45(2)45--54, 45(2)85--94, 45(2)95--98
-
advice, inter-, 45(2)85--94
-
advice, pointcut-, 45(2)35--44
-
advise, 45(2)3--4
-
advised, 45(2)35--44
-
advocate, 47(3)137--146
-
Aehlig, Klaus, 46(1)357--370
-
Aehlig, Klaus, see Hoffmann, Jan
-
AES, 47(3)185--186
-
Afek, Yehuda, 46(11)55--64
-
Afek:2011:CIA, 46(11)55--64
-
affect, 45(2)35--44, 45(3)129--142, 45(5)37--46, 46(8)135--146,
47(4)39--52, 47(4)251--264, 47(5)99--108, 47(5)119--128
-
affected, 47(3)33--42
-
affecting, 45(2)35--44, 45(5)337--338, 45(12)1--14
-
affine, 45(5)137--146, 45(6)412--423, 46(1)447--458, 46(9)221--233
-
affinity, 47(5)61--70
-
affinity, cache-, 45(7)97--108
-
affordable, 45(5)91--100, 46(5)31--40
-
affordably, 45(2)1--2
-
aforementioned, 46(2)43--52, 46(12)13--22
-
Africa, 45(3)1--2
-
Aftandilian, Edward E., 45(10)256--269, 46(10)275--288
-
Aftandilian, Edward E., see Reichenbach, Christoph
-
Aftandilian:2011:AA, 46(10)275--288
-
again, 45(4)37--46, 46(8)189--200, 46(12)83--94
-
again., 45(6)233--243
-
Agarwal, Anant, 45(5)347--348, 46(3)199--212, 47(4)199--212
-
Agarwal, Anant, see Hoffmann, Henry
-
Agarwal, Ashish, 47(1)545--556
-
Agarwal, Ashish, see Bhat, Sooraj
-
Agda, 46(9)142--142, 46(9)143--155, 47(1)571--584
-
age, 45(5)223--232, 46(6)458--469, 46(7)1--2
-
agencies, 45(5)1--2, 45(5)103--104
-
agenda, 45(2)3--4
-
Agerwala, Tilak, 45(5)1--2
-
Agerwala:2010:ECC, 45(5)1--2
-
aggregate, 45(5)245--256, 45(6)460--470, 47(6)89--98
-
aggressive, 45(3)385--396, 45(5)331--332, 45(6)351--362
-
aggressively, 46(6)199--210, 47(2)13--24
-
Agha, Gul, 46(8)81--90
-
Agha, Gul, see Negara, Stas
-
agile, 45(10)901--917
-
agility, 45(10)74--88
-
agnostic, thread-, 47(5)21--30
-
ago, 45(7)37--38, 47(5)149--152
-
Agrawal, Gagan, 46(8)135--146
-
Agrawal, Gagan, see Zheng, Mai
-
Agrawal, Kunal, 45(5)245--256
-
Agrawal:2010:HLF, 45(5)245--256
-
agree, 45(6)210--220
-
agreement, 47(6)55--66
-
AGUs, 45(4)105--114
-
AHEAD, 45(2)157--166, 45(2)177--186
-
ahead, look-, 45(5)337--338
-
Ahmad, Faraz, 45(3)243--256
-
Ahmad:2010:JOI, 45(3)243--256
-
Ahmed, Amal, 46(1)201--214, 46(9)431--444
-
Ahmed:2011:BA, 46(1)201--214
-
Ahmed:2011:EPC, 46(9)431--444
-
Ahn, Ki Yung, 46(9)234--246
-
Ahn:2011:HMS, 46(9)234--246
-
aid, 45(5)245--256, 45(8)31--40, 46(4)53--64, 47(4)3--14
-
aided, 45(5)37--46
-
aided, compiler-, 45(5)37--46
-
Aigner, Martin, 46(11)99--108
-
Aigner:2011:STM, 46(11)99--108
-
Aiken, Alex, 45(10)397--410, 46(1)187--200, 46(6)38--49, 46(6)567--577,
46(8)13--24, 46(10)51--64, 46(10)225--242
-
Aiken, Alex, see Bauer, Michael,
see Dillig, Isil, \see{Golan-Gueta, Guy,
see Hawkins, Peter, \see{Shacham, Ohad
-
Ailamaki, Anastasia, 45(3)117--128
-
Ailamaki, Anastasia, see Johnson, F. Ryan
-
aim, 45(6)1--12, 46(2)43--52, 46(2)103--112, 47(1)97--110, 47(1)509--520,
47(3)3--12, 47(6)89--98
-
aimed, 47(5)21--30
-
airplane, 45(4)67--76
-
airport, 47(3)43--52
-
aiT, 45(4)67--76
-
Aivo, 47(4)145--158
-
Akai, Shumpei, 45(2)45--54
-
Akai:2010:EAS, 45(2)45--54
-
Akel, Ameen, 46(3)105--118, 47(4)105--118
-
Akel, Ameen, see Coburn, Joel
-
Akritidis, Periklis, 45(1)457--470
-
Akritidis, Periklis, see Martin, Jean-Phillipe
-
Aktemur, Baris, 46(1)81--92
-
Aktemur, Baris, see Choi, Wontae
-
al, 45(3)65--76, 45(6)341--350, 47(1)455--468, 47(4)305--318
-
alarm, 45(6)436--447, 47(1)19--30
-
albeit, 45(6)198--209
-
Albert, Elvira, 45(8)121--130, 46(5)21--30
-
Albert:2010:PIM, 45(8)121--130
-
Albert:2011:TLA, 46(5)21--30
-
Aldrich, Jonathan, 46(10)713--732, 47(1)557--570
-
Aldrich, Jonathan, see Naden, Karl,
see Sunshine, Joshua
-
Aleen, Farhana, 45(5)315--324
-
Aleen:2010:IDD, 45(5)315--324
-
algebra, 45(5)223--232, 45(5)345--346, 47(1)137--150, 47(1)323--336
-
algebraic, 45(1)199--210, 45(2)15--24, 46(1)587--598, 46(2)13--22,
47(1)151--164, 47(1)217--230, 47(1)349--360
-
Alglave, Jade, 46(6)175--186
-
Alglave, Jade, see Sarkar, Susmit
-
Algorithm-based, 46(8)303--304
-
algorithm-specific, 47(4)333--344
-
algorithmic, 45(5)3--14, 45(5)127--136, 45(6)50--61, 45(6)436--447,
46(1)599--610, 47(1)203--214, 47(4)145--158, 47(6)67--76
-
Ali, Mahmood, 45(10)598--617
-
Ali, Mahmood, see Zibin, Yoav
-
Ali, Qasim, 45(5)293--304
-
Ali:2010:MAC, 45(5)293--304
-
alias, 45(5)281--292, 45(12)27--42, 47(1)557--570
-
alias, may-, 45(5)37--46, 45(12)27--42
-
aliasing, 46(12)1--12, 47(1)111--122
-
alien, 45(11)49--60
-
alignment, 45(9)193--204
-
alike, 45(2)75--84
-
all, discard-, 46(8)189--200
-
all, do-, 45(5)179--190
-
all-gather, 45(5)293--304
-
all-optical, 45(3)15--28
-
all-reduce, 45(5)293--304
-
all-window, 46(8)91--102
-
Allen, Eric, 46(10)973--992
-
Allen:2011:TCM, 46(10)973--992
-
alleviate, 45(5)147--158, 47(1)19--30, 47(3)93--94, 47(4)381--392
-
alleviated, 46(2)53--62, 46(2)73--82
-
alleviating, 46(2)103--112
-
allocate, 45(6)160--173, 46(8)103--112, 46(8)289--290, 47(4)91--104,
47(4)213--224, 47(5)41--50
-
allocate, pre-, 47(3)107--116
-
allocated, 45(3)347--358, 45(7)109--120, 45(8)31--40, 46(8)103--112,
46(8)277--288, 46(11)55--64
-
allocated, heap-, 46(8)309--310
-
allocating, 45(4)105--114, 45(7)25--36, 45(8)73--82, 46(8)103--112
-
allocation-site, 45(7)109--120
-
Allocation-Site-as-a-Hash-code, 45(7)109--120
-
allocation-site-aware, 45(7)109--120
-
allocation-site-based, 45(7)109--120
-
Allocation-Site-via-a-Class-pointer, 45(7)109--120
-
allocator, 46(11)55--64, 46(11)99--108
-
allowable, 47(1)191--202
-
allowed, 45(7)13--24, 47(1)85--96, 47(4)79--90
-
alltoall, 45(5)159--168
-
almost, 45(2)3--4, 45(3)39--52, 45(6)13--24, 45(8)51--52, 45(8)93--102,
46(11)77--78, 47(1)441--454, 47(4)105--118, 47(4)213--224
-
alone, 45(6)436--447, 45(8)51--52, 47(5)61--70
-
along, 45(3)15--28, 45(3)219--230, 45(3)297--310, 45(6)50--61,
45(6)146--159, 45(7)13--24, 46(8)57--68, 46(11)79--88,
47(3)185--186
-
alongside, 47(3)185--186
-
alpha, 45(8)51--52
-
alpha-conversion, 47(1)401--412
-
alphabet, 47(1)137--150
-
already, 45(3)3--14, 45(3)29--38, 45(3)39--52, 45(5)103--104,
45(6)122--133, 46(6)199--210, 47(1)179--190, 47(2)61--72,
47(4)393--404, 47(5)21--30
-
already-optimized, 47(6)13--22
-
Altenkirch, 47(1)495--508
-
ALTER, 46(6)480--491
-
alter, 47(5)51--60
-
alternating, 45(12)15--26
-
alternation, 45(1)43--56
-
alternative, 45(2)15--24, 45(2)45--54, 45(2)117--126, 45(5)47--56,
45(5)223--232, 45(5)345--346, 45(6)221--232, 45(6)424--435,
46(2)73--82, 47(4)91--104, 47(5)41--50
-
Althaus, Ernst, 46(5)141--150
-
Althaus:2011:PEP, 46(5)141--150
-
Altidor, John, 46(6)602--613
-
Altidor:2011:TWC, 46(6)602--613
-
Altman, Erik, 45(10)739--753
-
Altman:2010:PAI, 45(10)739--753
-
Altmeyer, Sebastian, 45(4)153--162, 46(5)141--150
-
Altmeyer, Sebastian, see Althaus, Ernst
-
Altmeyer:2010:RAT, 45(4)153--162
-
altogether, 45(8)113--120
-
ALU, 46(8)267--276
-
Alur, Rajeev, 46(1)599--610
-
Alur:2011:STA, 46(1)599--610
-
Alves, Vander, 47(3)33--42
-
Alves, Vander, see Neves, Laís
-
always, 45(2)99--108, 45(4)47--56, 45(5)349--350, 46(2)1--2,
46(12)13--22, 46(12)83--94, 47(1)349--360, 47(4)319--332
-
Amarasinghe, Saman, 45(8)93--102, 46(7)27--38
-
Amarasinghe, Saman, see Zhao, Qin
-
Amato, Nancy M., 46(8)235--246
-
Amato, Nancy M., see Tanase, Gabriel
-
Amazon, 46(8)1--2
-
ambiguity, 45(10)877--884
-
ambiguous, 45(8)51--52, 47(3)63--72
-
AMD, 47(4)39--52
-
Amdahl, 45(5)223--232
-
ameliorate, 45(8)1--10
-
amenability, 45(5)315--324
-
amenable, 45(5)281--292, 46(8)147--156, 47(4)333--344
-
Amid, David, 45(10)848--864
-
Amid, David, see Ossher, Harold
-
amongst, 45(12)73--80, 46(8)125--134, 47(2)1--12
-
amorphous, 45(5)3--14
-
amortize, 45(8)113--120
-
amortized, 45(5)353--354, 46(1)357--370
-
Amour, Vincent, St-, 46(6)132--141
-
AMP, 45(7)85--96
-
ample, 45(5)315--324
-
AMPs, 45(7)85--96
-
Amza, Cristiana, 45(5)325--326
-
Amza, Cristiana, see Lupei, Daniel
-
An, Jong-hoon (David), 46(1)459--472
-
an, Witawas, Srisa-, 46(10)35--50
-
An:2011:DIS, 46(1)459--472
-
Anaby-Tavor, Ateret, 45(10)848--864
-
Anaby-Tavor, Ateret, see Ossher, Harold
-
analogous, 46(4)84--96
-
analogue, 45(8)103--112
-
analysing, 46(8)313--314, 47(5)149--152
-
analysis, static-, 47(1)31--44
-
analyst, 45(6)187--197
-
analytic, 45(4)37--46
-
analytical, 45(5)105--114
-
analyzed, 46(2)33--42, 46(8)113--122, 47(1)97--110, 47(1)387--400,
47(2)37--50, 47(3)107--116
-
analyzer, 45(4)67--76, 47(4)265--278, 47(4)305--318
-
analyzing, 45(3)155--166, 45(4)153--162, 45(5)269--280, 45(6)330--340,
46(8)135--146, 47(3)33--42, 47(4)265--278, 47(4)279--290
-
Anantpur, Jayvant, 46(6)152--163
-
Anantpur, Jayvant, see Prasad, Ashwin
-
and, single-, 45(5)115--126
-
and, states-, 47(1)495--508
-
and-bound, branch-, 45(2)117--126
-
and-effect, type-, 47(1)73--84, 47(6)45--54
-
and-play, plug-, 46(2)93--102
-
and-space, time-, 45(6)146--159
-
and-sweep, mark-, 46(11)1--10
-
and-time, space-, 45(6)146--159
-
Anderson, Owen, 45(3)53--64
-
Anderson, Owen, see Bergan, Tom
-
Anderson, Todd A., 45(8)21--30
-
Anderson, Zachary, 46(10)865--884
-
Anderson:2010:OPN, 45(8)21--30
-
Anderson:2011:CNP, 46(10)865--884
-
and/or, 45(2)1--2, 45(3)271--284, 45(8)31--40, 45(12)97--112,
46(8)135--146, 47(1)557--570, 47(3)97--106
-
angelic, 45(1)339--352
-
ANNE, 45(6)221--232
-
annotate, 45(8)41--50, 46(8)125--134
-
annotated, 45(5)333--334, 45(6)221--232, 46(8)57--68, 47(1)123--136,
47(1)349--360, 47(1)481--494, 47(2)13--24
-
annotating, 47(1)495--508
-
annotation, Type-, 45(6)424--435
-
anomaly, 45(3)103--116, 47(3)97--106
-
anonymity, 46(6)447--457
-
anonymized, 46(6)447--457
-
another, 45(5)103--104, 45(5)169--178, 45(5)179--190, 45(5)245--256,
45(6)86--97, 45(6)376--387, 45(8)51--52, 45(12)81--96, 46(8)81--90,
47(1)259--272, 47(1)509--520, 47(3)23--32, 47(3)93--94,
47(3)97--106, 47(4)381--392, 47(6)55--66
-
another, one-, 47(3)185--186
-
another., 45(6)376--387
-
Ansaloni, Danilo, 45(2)85--94, 45(2)95--98, 46(2)113--122,
46(2)123--126, 46(10)825--844
-
Ansaloni, Danilo, see Tanter, Éric,
see Villazón, Alex,
see Würthinger, Thomas
-
Ansari, Amin, 45(3)385--396
-
Ansari, Amin, see Feng, Shuguang
-
Ansel, Jason, 46(6)355--366
-
Ansel:2011:LIS, 46(6)355--366
-
answer, 45(2)167--176, 45(7)37--38, 46(6)458--469, 46(8)1--2,
47(3)23--32, 47(4)305--318
-
answering, 47(3)23--32
-
antenna, 45(5)169--178
-
anti-quotes, 45(6)400--411
-
anticipated, 45(6)448--459
-
ANTLR, 46(6)425--436
-
Antony, 47(1)1--2
-
anywhere, 45(11)49--60, 47(6)13--22
-
AOP, 45(2)45--54, 45(2)85--94, 45(2)95--98, 46(10)825--844
-
AP, 45(5)179--190
-
apache, 45(3)103--116, 45(3)143--154, 45(7)51--62, 47(1)387--400,
47(6)77--88
-
Apel, Sven, 45(2)157--166, 46(2)103--112, 47(3)3--12
-
Apel, Sven, see Kästner, Christian,
see Rosenmüller, Marko,
see Schulze, Sandro
-
APIs, 45(12)59--72, 46(8)213--222, 47(3)157--166
-
apparent, 47(1)521--532
-
appeal, 45(5)67--78
-
appealing, 45(5)67--78, 47(1)59--72
-
appear, 45(3)65--76, 45(6)330--340, 45(8)51--52, 47(4)119--132
-
appeared, 46(8)179--188
-
Appel, Andrew W., 45(1)171--184
-
Appel, Andrew W., see Hobor, Aquinas
-
applicability, 45(3)65--76, 45(3)129--142, 45(5)347--348, 45(6)292--304,
46(2)13--22, 47(6)55--66
-
applicable, 46(8)25--34, 46(8)247--256, 46(8)303--304, 47(1)297--308,
47(1)571--584, 47(3)157--166, 47(5)99--108
-
application, Intra-, 45(5)329--330
-
application-independent, 47(4)185--198
-
application-level, 46(8)289--290, 47(4)213--224
-
Application-Specific, 45(5)103--104
-
application-specific, 45(5)345--346
-
applications., 45(7)13--24
-
application/thread, 45(5)191--202
-
applicative, 47(1)425--426
-
applu_l, 46(8)125--134
-
applying, 45(2)45--54, 45(2)117--126, 45(5)293--304, 45(5)345--346,
45(5)353--354, 45(6)269--278, 45(6)279--291, 46(8)189--200,
47(1)387--400, 47(1)571--584, 47(4)305--318, 47(5)149--152,
47(6)77--88
-
appreciate, 47(5)149--152
-
appreciated, 45(5)349--350
-
appreciation, 45(7)1--2
-
approach., 45(6)174--186
-
>approaches, 45(4)77--84
-
approaching, 45(3)385--396
-
approachtheory, 46(5)121--130
-
appropriate, 45(2)15--24, 45(2)117--126, 45(5)353--354, 45(6)363--375,
47(1)19--30, 47(1)495--508
-
appropriately, 45(5)203--212
-
approximated, over-, 46(10)1033--1052
-
approximately, 46(8)25--34, 46(8)91--102, 47(5)99--108
-
approximation, 45(1)171--184, 45(4)1--8, 45(6)198--209, 45(6)279--291,
46(3)357--368, 47(1)245--258, 47(1)441--454, 47(4)357--368
-
approximation, 2-, 45(4)1--8, 47(4)357--368
-
Aravind, 45(3)1--2
-
arbiter, 45(4)17--26
-
arc, 47(5)21--30
-
arcane, 47(1)273--284
-
arch, 47(4)305--318
-
architected, re-, 45(5)1--2
-
architecting, 45(4)85--94
-
architects, 47(4)319--332
-
architectural, 45(3)193--204, 45(3)285--296, 45(3)297--310,
45(3)311--322, 45(3)347--358, 45(7)85--96, 47(1)273--284,
47(4)171--184
-
architecture, micro-, 47(4)53--66
-
architecture.We, 46(8)267--276
-
architecturing, 45(10)47--61
-
archive, 47(4)305--318
-
Ardestani, Ehsan K., 45(3)193--204
-
Ardestani, Ehsan K., see Mesa-Martinez, Francisco Javier
-
Ardourel, Gilles, 47(3)43--52
-
Ardourel, Gilles, see Hannousse, Abdelhakim
-
area, 45(2)95--98, 45(2)137--146, 45(3)15--28, 45(3)285--296,
45(3)371--384, 45(4)67--76, 45(5)1--2, 45(5)233--244, 45(6)98--98,
45(8)73--82, 45(12)1--14, 46(2)3--12, 47(1)215--216, 47(1)259--272,
47(1)323--336, 47(1)441--454, 47(4)1--2, 47(5)99--108,
47(5)119--128
-
Arenas, Puri, 46(5)21--30
-
Arenas, Puri, see Albert, Elvira
-
argue, 45(3)347--358, 45(4)27--36, 45(6)122--133, 45(8)103--112,
46(2)127--136, 46(12)13--22, 46(12)71--82, 47(1)19--30,
47(1)273--284, 47(1)481--494, 47(2)97--106, 47(4)67--78,
47(4)133--144, 47(5)71--78
-
argument, 46(9)143--155
-
arise, 45(2)167--176, 45(3)155--166, 45(8)51--52, 46(6)199--210,
47(1)73--84, 47(4)105--118, 47(4)251--264
-
arising, 45(5)351--352, 45(8)63--72, 47(1)509--520
-
arithmetic, 45(6)233--243, 45(6)316--329, 46(8)309--310, 47(1)259--272
-
ARM, 45(8)51--52, 45(8)73--82, 46(8)213--222, 47(1)509--520
-
Arnold, Gilad, 45(9)249--260
-
Arnold, Kenneth C., 45(10)877--884
-
Arnold, Matthew, 45(6)174--186, 45(10)739--753, 46(4)65--83
-
Arnold, Matthew, see Altman, Erik,
see Xu, Guoqing
-
Arnold:2010:MAP, 45(10)877--884
-
Arnold:2010:SVS, 45(9)249--260
-
Arnold:2011:AOJ, 46(4)65--83
-
Arnoldus, B. J., 47(3)137--146
-
Arnoldus:2012:LMU, 47(3)137--146
-
around, 45(2)3--4, 45(3)39--52, 45(5)3--14, 45(6)436--447, 45(7)25--36,
45(8)21--30, 45(11)49--60, 46(8)189--200, 46(11)129--138,
46(12)95--106, 47(1)413--424, 47(2)97--106, 47(3)157--166,
47(4)119--132
-
arraylet, 45(6)146--159, 45(6)471--482
-
arrays., 45(5)355--356
-
arrival, 47(4)357--368
-
arrive, 46(8)201--212
-
arrow, 47(1)73--84
-
art, 45(7)1--2, 45(9)3--14, 45(10)2--2, 45(10)885--900, 46(6)283--294,
46(11)21--32, 47(1)151--164, 47(1)273--284, 47(4)357--368
-
art, state-of-, 45(3)285--296
-
artefacts, 45(2)99--108
-
article, 45(2)65--74, 45(2)109--116, 45(5)327--328, 46(12)83--94,
47(5)51--60, 47(5)129--138
-
articulating, 45(8)51--52
-
artifact, 45(7)37--38, 46(8)113--122, 46(8)267--276, 47(3)33--42
-
artificially, 46(11)55--64
-
Artzi, Shay, 46(10)1053--1068
-
Artzi, Shay, see Sridharan, Manu
-
Arvind, 45(5)103--104
-
Arvind:2010:HI, 45(5)103--104
-
as, latency-, 45(5)67--78
-
as-a-Hash-code, Allocation-Site-, 45(7)109--120
-
as-written, 45(5)233--244
-
Asai, Kenichi, 47(3)97--106
-
Asai:2012:RDS, 47(3)97--106
-
Asanovi{\'c}, Krste, 45(6)376--387, see Pan, Heidi
-
ASC, 45(7)109--120
-
ASCI, 45(5)305--314
-
ASF, 47(4)39--52
-
ASF+SDF, 45(2)3--4
-
ASH, 45(7)109--120
-
ASICs, 45(2)1--2, 45(5)103--104
-
aside, 46(11)1--10
-
aspect-based, 45(2)85--94
-
aspect-oriented, 45(2)35--44, 45(2)45--54, 45(2)85--94, 45(2)95--98,
45(12)15--26, 46(2)113--122, 46(2)123--126
-
AspectBench, 45(2)45--54
-
aspectized, 47(3)43--52
-
AspectJ, 45(2)35--44, 45(2)45--54, 45(2)85--94, 45(2)95--98
-
aspectual, 46(2)113--122
-
Aspinall, 45(6)341--350
-
assemble, 46(2)93--102
-
assembling, 46(8)235--246
-
assembly, 45(6)99--110, 45(6)424--435, 45(7)1--2, 45(7)37--38,
45(10)322--340, 46(1)133--146, 47(1)509--520, 47(5)11--20
-
assertion, 45(2)45--54, 45(4)47--56, 45(6)341--350, 45(8)41--50,
45(10)256--269, 46(4)84--96, 46(8)125--134, 46(10)275--288,
47(1)19--30, 47(1)245--258, 47(4)79--90
-
assess, 45(5)105--114, 45(5)233--244, 45(5)349--350, 45(7)51--62,
46(8)113--122
-
assessing, 45(3)359--370, 46(8)113--122, 47(3)23--32, 47(5)119--128
-
assets, 47(3)33--42
-
assign, 45(3)347--358, 45(8)113--120
-
assigned, 45(5)191--202, 45(6)74--85, 45(7)85--96
-
assigned, compiler-, 45(5)37--46
-
assigned, pre-, 45(4)1--8
-
assigning, 45(5)37--46, 45(5)347--348, 45(8)113--120, 47(1)273--284
-
assignment, 45(4)105--114, 45(5)37--46, 45(5)47--56, 45(5)203--212,
45(5)223--232, 45(8)113--120, 46(8)307--308, 47(4)119--132,
47(4)333--344, 47(5)31--40, 47(5)109--118
-
assist, 45(3)103--116, 45(4)105--114, 45(5)105--114, 46(8)293--294,
47(3)177--184
-
assist'', ``hardware-, 47(6)23--34
-
assistant, 45(6)111--121, 47(1)97--110, 47(1)273--284, 47(1)413--424,
47(6)55--66
-
assisted, 45(3)219--230
-
assisted, Compiler-, 47(5)109--118
-
assisted, compiler-, 46(8)57--68, 47(5)109--118
-
assisted, hardware-, 45(3)257--270, 45(6)25--35
-
assisted, shader-, 45(3)297--310
-
associate, 45(6)174--186, 45(8)31--40, 47(1)7--18, 47(2)51--60
-
associated, 45(2)5--14, 45(3)347--358, 45(3)397--408, 45(5)37--46,
45(5)269--280, 45(5)315--324, 45(5)353--354, 45(6)160--173,
45(7)133--144, 45(8)103--112, 46(6)425--436, 47(3)95--96,
47(3)117--126, 47(4)381--392, 47(5)149--152
-
associating, 47(1)203--214
-
association, 45(5)233--244, 47(1)495--508
-
associative, set-, 45(4)153--162
-
assume, 45(3)91--102, 45(3)257--270, 45(5)305--314, 45(5)341--342,
45(6)244--254, 45(7)3--12, 47(1)455--468, 47(1)495--508
-
assumed, 45(2)177--186, 45(6)134--145, 46(6)199--210, 47(3)117--126
-
assuming, 47(1)217--230
-
assumption, 45(3)257--270, 45(5)341--342, 45(5)349--350, 45(6)1--12,
45(8)63--72, 45(8)121--130, 47(1)19--30, 47(1)361--372,
47(1)455--468, 47(1)481--494
-
assurance, 46(9)142--142
-
assured, 45(2)99--108
-
astray, 47(3)185--186
-
Aswad, Mustafa K., 45(11)91--102
-
Aswad, Mustafa K., see Marlow, Simon
-
asymmetric, 45(3)347--358, 45(7)85--96
-
asymmetry, 45(3)347--358, 45(7)85--96
-
asymmetry-aware, 45(7)85--96
-
asymmetry-awareness, 45(7)85--96
-
asymptotic, 45(5)337--338, 47(6)89--98
-
asymptotically, 45(2)117--126, 45(6)483--496
-
async, 45(5)25--36
-
async-finish, 45(5)25--36
-
asyncash, 46(5)21--30
-
asynchronous-parallel, 45(5)345--346
-
asynchronously, 46(8)201--212
-
asynchrony, 45(5)213--222, 45(5)337--338, 47(6)55--66
-
AT-aware, 45(3)323--334
-
at-the-beginning, snapshot-, 45(8)73--82
-
Athena, 45(6)98--98
-
Atig, Mohamed Faouzi, 45(1)7--18
-
Atig:2010:VPW, 45(1)7--18
-
Atkinson, Kevin, 46(2)147--156
-
Atkinson:2011:ACT, 46(2)147--156
-
Atlas, 45(5)223--232
-
Atlee, Joanne M., 47(3)117--126
-
Atlee, Joanne M., see Esmaeilsabzali, Shahram
-
atom, 46(11)129--138
-
atomically, 45(6)210--220
-
atomicity, 45(3)29--38, 45(3)167--178, 45(5)281--292, 45(6)255--268,
45(6)330--340, 45(10)671--690, 46(3)79--90, 46(8)291--292,
46(10)19--34, 46(10)51--64, 47(1)455--468, 47(4)79--90,
47(4)239--250
-
atomicity-violation, 46(6)389--400
-
atomicity-violations, 45(3)179--192
-
atomics*, 47(1)509--520
-
Atreya, Anand R., 46(8)35--46
-
Atreya, Anand R., see Chafi, Hassan
-
ATS, 47(1)571--584
-
attack, 45(3)257--270, 45(3)371--384, 46(6)458--469, 47(1)165--178,
47(1)179--190
-
attacker, 47(1)179--190
-
attacking, 46(8)201--212
-
attain, 45(5)245--256, 47(4)53--66, 47(6)1--12
-
attained, 45(5)213--222
-
attempt, 45(3)219--230, 45(4)95--104, 45(6)244--254, 45(7)51--62,
45(8)1--10, 45(8)31--40, 45(8)51--52, 45(12)81--96, 46(8)201--212,
47(1)401--412, 47(1)441--454, 47(3)97--106
-
attempted, 45(6)448--459, 46(8)201--212
-
attention, 45(6)122--133, 45(6)460--470, 45(12)1--14, 47(1)19--30,
47(3)73--82, 47(4)185--198, 47(5)21--30
-
attenuating, 45(6)279--291
-
attitude, 45(4)67--76
-
Attiya, H., 45(1)31--42
-
Attiya, Hagit, 46(1)487--498
-
Attiya:2010:SVS, 45(1)31--42
-
Attiya:2011:LOE, 46(1)487--498
-
attractive, 45(3)129--142, 45(5)57--66, 45(7)51--62, 47(1)45--58,
47(4)105--118, 47(4)381--392, 47(5)41--50
-
attribute, 45(5)269--280, 46(2)43--52
-
attributed, 47(1)273--284
-
attributes, 45(5)269--280
-
auction, 45(3)103--116
-
audio, 45(7)1--2
-
auditing, 45(6)412--423, 46(7)145--156
-
Audsley, Neil C., 46(5)51--60
-
Audsley, Neil C., see Gray, Ian
-
Auerbach, Joshua, 45(10)89--108
-
Auerbach:2010:LJC, 45(10)89--108
-
augment, 45(3)397--408
-
augmented, 45(5)245--256, 45(6)62--73, 45(7)13--24, 47(1)137--150,
47(1)309--322
-
August, David I., 45(3)65--76, 46(6)1--11, 46(6)26--37, 46(6)142--151
-
August, David I., see Jablin, Thomas B.,
see Prabhu, Prakash, \see{Raman, Arun
-
Aura, 47(1)571--584
-
Austin, Thomas H., 46(10)921--938, 47(1)165--178
-
Austin:2011:VVL, 46(10)921--938
-
Austin:2012:MFD, 47(1)165--178
-
author, 45(2)3--4, 45(6)122--133, 45(7)51--62, 46(8)35--46, 47(2)97--106,
47(3)95--96, 47(3)97--106
-
authoring, 45(2)99--108
-
authorization, 45(6)412--423
-
auto-generate, 46(8)113--122
-
Auto-Partitioner, 45(5)179--190
-
auto-tuned, 46(8)257--266
-
auto-tuner, 46(8)257--266
-
auto-tuning, 45(5)105--114, 46(8)257--266, 46(11)109--118
-
auto-vectorizing, 45(3)285--296
-
automata, 45(1)1--6, 46(1)295--306, 47(1)137--150, 47(1)401--412,
47(5)51--60, 47(6)55--66
-
automate, 45(4)125--132
-
automated, Mostly-, 46(6)234--245
-
automatic, Semi-, 45(4)67--76
-
automatically, semi-, 45(4)67--76
-
automating, 45(2)127--136, 45(2)147--156, 46(1)317--330
-
automation, 46(9)163--175, 47(1)571--584
-
automatized, 45(4)77--84
-
automaton-based, 47(6)55--66
-
automotive, 45(4)125--132
-
autonomously, 46(8)201--212
-
autotuning, 45(5)115--126
-
auxiliary, 45(7)145--156, 46(1)283--294, 47(1)495--508
-
availability, 45(3)231--242, 45(5)341--342, 45(6)62--73, 45(8)63--72,
46(8)113--122, 46(8)189--200
-
availability, high-, 45(3)231--242
-
avenue, 46(6)199--210
-
average-case, 47(6)55--66
-
averaging, 45(6)460--470
-
averts, 45(2)25--34
-
AVL, 45(5)257--268, 47(1)123--136
-
avoidance, 45(5)67--78, 46(11)11--20
-
avoided, 45(6)50--61, 45(8)113--120, 47(2)85--96
-
avoiding, 45(3)231--242, 45(8)53--62, 45(12)59--72, 46(6)283--294,
46(8)81--90, 47(4)105--118
-
award, 45(6)98--98, 47(1)1--2, 47(1)3--6
-
awarded, 45(6)98--98
-
aware, 45(4)9--16, 45(4)77--84, 45(4)85--94, 45(5)191--202, 45(6)74--85,
45(8)93--102, 46(5)11--20, 46(8)289--290, 47(3)23--32,
47(3)107--116
-
aware, accuracy-, 47(1)441--454
-
aware, allocation-site-, 45(7)109--120
-
aware, asymmetry-, 45(7)85--96
-
aware, AT-, 45(3)323--334
-
aware, cache-sharing-, 45(5)203--212
-
aware, contention-, 45(3)129--142
-
aware, context-, 45(4)105--114
-
aware, DRM-, 45(3)3--14
-
aware, energy-, 47(4)159--170
-
aware, index-, 46(11)55--64
-
aware, input-, 47(6)13--22
-
aware, instruction-scheduling-, 46(5)151--160
-
aware, Locality-, 45(5)341--342
-
aware, locality-, 45(3)219--230, 45(5)341--342
-
aware, memory-, 45(4)9--16, 45(4)17--26
-
aware, power-, 46(3)199--212, 47(4)199--212
-
aware, replication-, 45(3)371--384
-
Aware, Reuse-, 45(4)163--172
-
aware, reuse-, 45(4)163--172
-
aware, schema-, 47(3)167--176
-
aware, self-, 45(5)347--348
-
aware, time-, 45(10)634--651
-
aware, timing-, 46(3)345--356, 47(4)345--356
-
aware, topology-, 45(6)74--85
-
aware, translation-, 45(3)323--334
-
aware, Variability-, 46(10)805--824
-
aware, WCET-, 47(5)31--40
-
aware, WCET-, 47(5)31--40, 47(5)41--50
-
aware, Workload-, 46(7)133--144
-
awareness, 45(5)341--342, 45(7)85--96
-
awareness, asymmetry-, 45(7)85--96
-
awareness, locality-, 45(5)341--342
-
Awasthi, Manu, 45(3)219--230
-
Awasthi, Manu, see Sudan, Kshitij
-
away, 47(1)19--30, 47(5)79--88
-
awkward, 47(1)557--570
-
AWS, 46(8)1--2
-
Axelsen, Eyvind W., 45(12)81--96
-
Axelsen:2010:CDM, 45(12)81--96
-
axiom, 45(2)15--24, 45(6)341--350
-
axiom-based, 45(2)15--24
-
axiomatic, 45(6)341--350, 47(1)337--348, 47(1)469--480
-
axiomatization, 45(10)397--410, 46(1)385--398
-
axis, 47(6)23--34
-
Ayguadé, Eduard, 45(5)337--338,
see Marjanovic, Vladimir
-
Azure, 46(8)1--2