Index file section A for pacmpl.bib
Last update: Sat May 11 02:08:55 MDT 2024
Return to index directory
A
-
à, 2(z)79--79, 6(z)192--192, 7(z)67--67, 7(z)68--68, 7(z)258--258,
8(z)48--48
-
A, Arm-, 8(z)21--21
-
A, FF-, 7(z)165--165
-
a, RacerD-, 2(z)144--144
-
a, sampling-, 4(z)55--55
-
A, VST-, 8(z)69--69
-
a-chip, laboratories-on-, 2(z)128--128
-
a-Service, Functions-as-, 5(z)133--133
-
a.k.a, 7(z)244--244
-
AAMs, 2(z)105--105
-
Aanjaneya, Mridul, 5(z)29--29
-
Aanjaneya, Mridul, see Lim, Jay P.
-
AARA, 3(z)13--13
-
ab1,100, 4(z)218--218
-
Abadi, 4(z)45--45
-
Abadi, Martín, 4(z)38--38
-
Abadi:2020:SDP, 4(z)38--38
-
abductive, 5(z)116--116
-
Abdulla, Parosh Aziz, 2(z)135--135, 3(z)150--150, 4(z)26--26,
5(z)56--56, 7(z)137--137
-
Abdulla, Parosh Aziz, see Tunç, Hünkar Can
-
Abdulla:2018:OSM, 2(z)135--135
-
Abdulla:2019:OSM, 3(z)150--150
-
Abdulla:2020:PVU, 4(z)26--26
-
Abdulla:2021:DRU, 5(z)56--56
-
Abe, Tatsuya, 1(z)53--53
-
Abe, Tatsuya, see Ugawa, Tomoharu
-
Abel, Andreas, 1(z)33--33, 2(z)23--23, 2(z)75--75, 3(z)87--87,
4(z)90--90, 7(z)220--220
-
Abel, Andreas, see Cockx, Jesper,
see Vezzosi, Andrea
-
Abel:2017:NES, 1(z)33--33
-
Abel:2018:DCT, 2(z)23--23
-
Abel:2020:UVM, 4(z)90--90
-
Abel:2023:GMD, 7(z)220--220
-
Abeysinghe, Supun, 7(z)236--236, 8(z)86--86
-
Abeysinghe, Supun, see Bra{\v{c}}evac, Oliver
-
Abeysinghe:2024:FEE, 8(z)86--86
-
ability, 2(z)157--157, 3(z)96--96, 3(z)170--170, 4(z)66--66, 5(z)18--18,
5(z)33--33, 5(z)100--100, 5(z)145--145, 6(z)23--23, 8(z)51--51
-
able, 2(z)117--117, 4(z)7--7, 4(z)132--132, 4(z)189--189, 5(z)138--138,
6(z)4--4, 6(z)159--159, 7(z)51--51, 7(z)82--82, 7(z)89--89,
8(z)102--102
-
ableC, 1(z)98--98
-
Abortable, 7(z)116--116
-
Abraham, Ittai, 2(z)48--48
-
Abraham, Ittai, see Grossman, Shelly
-
Abrahamsson, Oskar, 7(z)145--145, 7(z)152--152
-
Abrahamsson, Oskar, see Kanabar, Hrutvik,
see Sewell, Thomas
-
Abramsky, 3(z)24--24, 4(z)18--18
-
Abreu, Pedro, 7(z)3--3
-
Abreu:2023:TBA, 7(z)3--3
-
Abridging, 1(z)58--58
-
absence, 3(z)147--147, 6(z)81--81, 6(z)138--138, 7(z)45--45,
7(z)162--162
-
absorbing, 4(z)131--131
-
abstract, 2(z)55--55, 2(z)72--72, 2(z)105--105, 3(z)10--10, 3(z)22--22,
3(z)84--84, 3(z)126--126, 3(z)137--137, 3(z)167--167, 3(z)176--176,
4(z)14--14, 4(z)28--28, 4(z)42--42, 4(z)93--93, 4(z)119--119,
4(z)142--142, 4(z)152--152, 5(z)7--7, 5(z)12--12, 5(z)31--31,
5(z)51--51, 5(z)58--58, 5(z)64--64, 5(z)81--81, 5(z)118--118,
6(z)1--1, 6(z)14--14, 6(z)15--15, 6(z)44--44, 6(z)53--53, 6(z)56--56,
6(z)59--59, 6(z)94--94, 6(z)119--119, 6(z)129--129, 6(z)134--134,
6(z)161--161, 6(z)171--171, 7(z)65--65, 7(z)138--138, 7(z)171--171,
7(z)174--174, 7(z)175--175, 7(z)192--192, 7(z)221--221, 8(z)7--7,
8(z)16--16, 8(z)28--28
-
abstract, fully-, 3(z)24--24
-
abstracting, 1(z)12--12, 2(z)105--105, 3(z)6--6, 3(z)12--12,
3(z)164--164, 5(z)61--61
-
abstraction, 2(z)37--37, 2(z)63--63, 2(z)107--107, 2(z)111--111,
2(z)123--123, 3(z)29--29, 3(z)109--109, 3(z)147--147, 3(z)148--148,
3(z)149--149, 3(z)176--176, 4(z)6--6, 4(z)12--12, 4(z)20--20,
4(z)63--63, 4(z)93--93, 4(z)136--136, 4(z)168--168, 4(z)213--213,
4(z)232--232, 5(z)2--2, 5(z)5--5, 5(z)41--41, 5(z)116--116,
5(z)118--118, 5(z)149--149, 6(z)25--25, 6(z)33--33, 6(z)42--42,
6(z)56--56, 6(z)67--67, 6(z)82--82, 6(z)120--120, 6(z)174--174,
6(z)186--186, 7(z)14--14, 7(z)53--53, 7(z)202--202, 7(z)255--255,
7(z)269--269, 8(z)22--22, 8(z)27--27, 8(z)101--101, 8(z)128--128,
8(z)141--141
-
Abstraction-safe, 3(z)5--5
-
abstractly, 6(z)161--161, 7(z)68--68
-
Absynthe, 7(z)171--171
-
Abuah, Chike, 3(z)172--172
-
Abuah, Chike, see Near, Joseph P.
-
Abuah, Chiké, 6(z)150--150
-
Abuah:2022:SLS, 6(z)150--150
-
abundance, 7(z)218--218
-
academia, 4(z)113--113, 4(z)167--167, 6(z)108--108, 7(z)194--194,
8(z)89--89
-
academic, 5(z)70--70, 7(z)94--94
-
Acar, Umut A., 2(z)95--95, 3(z)81--81, 4(z)47--47, 4(z)171--171,
5(z)18--18, 6(z)115--115, 7(z)135--135, 7(z)170--170, 8(z)38--38,
8(z)53--53
-
Acar, Umut A., see Arora, Jatin,
see Clune, Joshua, \see{Muller, Stefan K.,
see Westrick, Sam
-
Accattoli, 6(z)119--119
-
Accattoli, Beniamino, 2(z)94--94, 5(z)51--51, 6(z)119--119,
6(z)121--121
-
Accattoli:2018:TTS, 2(z)94--94
-
Accattoli:2021:EI, 5(z)51--51
-
Accattoli:2022:MTR, 6(z)119--119
-
Accattoli:2022:TCV, 6(z)121--121
-
accelerate, 1(z)51--51
-
accelerating, 4(z)224--224, 7(z)75--75
-
acceleration, 8(z)57--57
-
accelerators, 3(z)186--186, 5(z)117--117, 7(z)153--153
-
acceptable, 2(z)162--162
-
acceptance, 4(z)87--87
-
accepted, commonly-, 6(z)58--58
-
accepting, 4(z)188--188
-
accepts, 5(z)30--30, 5(z)151--151
-
access, 2(z)108--108, 2(z)145--145, 3(z)133--133, 3(z)142--142,
3(z)189--189, 4(z)7--7, 4(z)17--17, 4(z)36--36, 4(z)41--41,
4(z)50--50, 4(z)73--73, 5(z)4--4, 5(z)63--63, 5(z)93--93, 5(z)99--99,
5(z)132--132, 5(z)139--139, 6(z)163--163, 7(z)67--67, 7(z)227--227
-
accessed, 2(z)108--108, 3(z)134--134, 4(z)136--136
-
accessibility, 3(z)151--151
-
accessible, 2(z)128--128, 2(z)153--153, 3(z)115--115, 6(z)133--133
-
accessors, 2(z)84--84
-
accidental, 5(z)148--148
-
Accioly, Paola, 1(z)59--59
-
Accioly, Paola, see Cavalcanti, Guilherme
-
accommodate, 5(z)24--24, 5(z)161--161
-
accompanied, 4(z)84--84, 7(z)285--285
-
accompanying, 2(z)90--90, 3(z)142--142
-
according, 2(z)108--108, 3(z)169--169, 5(z)74--74
-
account, 2(z)116--116, 3(z)28--28, 4(z)31--31, 4(z)34--34, 4(z)130--130,
4(z)178--178, 6(z)4--4, 6(z)9--9, 6(z)105--105, 7(z)68--68,
7(z)214--214
-
accounted, 3(z)124--124
-
accretion, 4(z)73--73
-
accumulating, 5(z)58--58
-
accumulation, 5(z)20--20
-
accuracy, 3(z)119--119, 3(z)160--160, 3(z)186--186, 4(z)19--19,
4(z)130--130, 5(z)8--8, 6(z)75--75, 8(z)16--16, 8(z)32--32
-
accuracy-aware, 3(z)186--186, 4(z)130--130
-
accuracy-tuning, 3(z)186--186
-
accurate, 4(z)36--36, 4(z)60--60, 7(z)171--171, 8(z)123--123
-
accurately, 2(z)117--117, 4(z)107--107, 5(z)65--65
-
achieve, 2(z)108--108, 2(z)109--109, 2(z)116--116, 2(z)154--154,
4(z)7--7, 4(z)60--60, 4(z)93--93, 4(z)194--194, 5(z)26--26,
5(z)56--56, 5(z)163--163, 6(z)12--12, 6(z)28--28, 8(z)32--32
-
achieved, 3(z)156--156, 6(z)16--16, 7(z)27--27, 8(z)108--108
-
achieving, 3(z)140--140, 4(z)92--92, 4(z)98--98, 6(z)148--148,
6(z)162--162, 7(z)246--246, 8(z)32--32, 8(z)109--109
-
Achour, Sara, 7(z)222--222
-
Achour, Sara, see Yi, Pu (Luke)
-
Ackerman, Nate, 8(z)61--61
-
Ackerman:2024:PPI, 8(z)61--61
-
ACM, 7(z)224--224
-
Acquire, Release-, 2(z)135--135, 5(z)99--99
-
acquire, release-, 2(z)135--135, 5(z)99--99, 6(z)189--189
-
acquired, 4(z)74--74
-
across, 2(z)124--124, 2(z)157--157, 3(z)144--144, 3(z)186--186,
4(z)198--198, 4(z)199--199, 4(z)221--221, 7(z)130--130,
7(z)246--246, 8(z)26--26, 8(z)58--58, 8(z)66--66
-
act, 3(z)110--110, 3(z)133--133, 4(z)60--60
-
action, 3(z)29--29, 4(z)54--54, 4(z)169--169, 5(z)59--59
-
action, match-, 5(z)41--41
-
activation, 6(z)43--43, 8(z)75--75
-
active, 8(z)23--23, 8(z)48--48
-
activity, 6(z)73--73
-
actor, 1(z)72--72, 4(z)214--214, 7(z)159--159, 7(z)191--191
-
actor, multi-, 4(z)198--198
-
actor-based, 1(z)107--107
-
Actris, 4(z)6--6
-
actual, 3(z)120--120, 6(z)34--34, 7(z)219--219
-
actually, 2(z)66--66, 4(z)34--34, 6(z)156--156
-
acyclic, 3(z)171--171, 7(z)37--37
-
AD, 2(z)70--70, 3(z)97--97, 5(z)28--28, 5(z)130--130, 6(z)161--161,
7(z)43--43, 7(z)54--54
-
ad, 4(z)40--40, 5(z)126--126, 7(z)201--201
-
ad-hoc, 2(z)100--100, 4(z)212--212
-
Adams, Andrew, 4(z)166--166, 5(z)109--109
-
Adams, Andrew, see Anderson, Luke,
see Newcomb, Julie L.
-
Adams, Michael D., 1(z)82--82, 4(z)108--108
-
Adams, Michael D., see Darragh, Pierce
-
Adams, Ulf, 3(z)169--169
-
Adams:2017:RGT, 1(z)82--82
-
Adams:2019:RRP, 3(z)169--169
-
Adamsen, Christoffer Quist, 1(z)66--66
-
Adamsen:2017:PIR, 1(z)66--66
-
adapt, 3(z)177--177, 4(z)34--34
-
adapted, 6(z)56--56
-
adapting, 4(z)165--165, 4(z)187--187
-
adaptive, 1(z)10--10
-
add, 2(z)101--101, 2(z)154--154, 4(z)191--191, 5(z)111--111,
5(z)113--113, 5(z)165--165, 6(z)4--4
-
added, 2(z)162--162, 3(z)133--133
-
adding, 4(z)72--72, 4(z)222--222, 6(z)180--180, 7(z)187--187, 8(z)14--14
-
addition, 2(z)125--125, 3(z)2--2, 3(z)12--12, 3(z)161--161, 4(z)72--72,
4(z)81--81, 5(z)53--53, 5(z)149--149, 5(z)156--156, 6(z)108--108,
8(z)4--4
-
additional, 2(z)154--154, 2(z)163--163, 4(z)73--73, 4(z)74--74,
5(z)21--21, 5(z)44--44, 6(z)45--45, 6(z)66--66, 8(z)101--101,
8(z)115--115
-
additionally, 3(z)86--86, 3(z)177--177, 7(z)253--253
-
additive, 5(z)50--50
-
address, 2(z)109--109, 2(z)150--150, 3(z)130--130, 3(z)133--133,
3(z)159--159, 4(z)5--5, 4(z)36--36, 4(z)56--56, 4(z)73--73,
4(z)148--148, 4(z)158--158, 4(z)192--192, 4(z)215--215,
4(z)225--225, 5(z)56--56, 5(z)147--147, 6(z)60--60, 6(z)116--116,
6(z)171--171, 6(z)187--187, 7(z)174--174, 7(z)219--219,
7(z)251--251, 7(z)293--293, 8(z)32--32
-
addressable, byte-, 7(z)244--244
-
addressing, 4(z)73--73
-
adequate, 3(z)128--128, 6(z)44--44, 8(z)72--72
-
adequately, 8(z)102--102
-
ADEV, 7(z)5--5
-
adhere, 5(z)150--150, 7(z)66--66
-
adhering, 6(z)5--5
-
adjunctions, 2(z)86--86
-
adjusted, 8(z)32--32
-
Admissible, 7(z)42--42
-
admit, 4(z)131--131
-
ADO, 5(z)97--97
-
AdoB, 8(z)109--109
-
adopt, 2(z)108--108
-
adopted, 4(z)7--7, 4(z)166--166, 6(z)158--158, 7(z)262--262
-
adopters, 2(z)99--99
-
adoption, 2(z)112--112, 4(z)48--48, 4(z)71--71, 4(z)126--126,
4(z)132--132, 6(z)4--4, 6(z)43--43, 6(z)96--96, 6(z)150--150,
7(z)168--168
-
ADT, 8(z)28--28
-
ADTs, 6(z)60--60, 7(z)216--216, 8(z)17--17
-
advanced, 2(z)77--77, 2(z)81--81, 2(z)111--111, 3(z)100--100,
3(z)116--116, 4(z)132--132, 4(z)139--139, 6(z)77--77, 6(z)81--81,
6(z)152--152, 8(z)110--110
-
advances, 4(z)189--189, 5(z)97--97, 6(z)83--83, 7(z)78--78, 7(z)91--91,
7(z)161--161, 8(z)104--104
-
advantage, 2(z)69--69, 2(z)154--154, 3(z)79--79, 4(z)191--191,
6(z)134--134, 7(z)85--85, 7(z)189--189
-
Adve, Sarita, 3(z)186--186
-
Adve, Sarita, see Sharif, Hashim
-
Adve, Vikram, 2(z)154--154
-
Adve, Vikram, see Dietz, Will
-
Adve, Vikram S., 3(z)186--186, 4(z)145--145
-
Adve, Vikram S., see Bartell, Sean,
see Sharif, Hashim
-
advent, 4(z)151--151
-
Adventure, 7(z)245--245
-
adverbs, 6(z)101--101
-
adversarial, 4(z)162--162, 5(z)93--93, 7(z)90--90, 7(z)113--113,
7(z)187--187, 7(z)239--239, 8(z)130--130
-
adversary, 5(z)93--93, 5(z)141--141
-
advertised, 5(z)33--33
-
advertising, 4(z)71--71
-
advocate, 2(z)82--82, 2(z)119--119, 3(z)164--164, 7(z)159--159
-
advocated, 5(z)33--33
-
Aeneas, 6(z)116--116
-
aerospace, 2(z)96--96
-
affect, 3(z)117--117, 3(z)189--189, 5(z)52--52
-
affected, 2(z)109--109, 3(z)187--187, 3(z)189--189, 4(z)187--187
-
affine, 2(z)32--32, 5(z)95--95, 6(z)84--84, 7(z)46--46
-
Affordable, 7(z)236--236
-
afforded, 4(z)153--153
-
Aftandilian, Edward, 1(z)104--104
-
Aftandilian, Edward, see Rice, Andrew
-
after-free, use-, 7(z)86--86
-
again, 4(z)46--46
-
against, 2(z)89--89, 2(z)113--113, 2(z)116--116, 3(z)9--9, 3(z)93--93,
3(z)118--118, 3(z)120--120, 3(z)138--138, 3(z)158--158, 4(z)7--7,
4(z)43--43, 5(z)4--4, 5(z)142--142, 5(z)148--148, 6(z)4--4,
7(z)129--129, 7(z)253--253, 7(z)286--286, 8(z)29--29, 8(z)73--73,
8(z)74--74, 8(z)146--146
-
Agarwal, Sukarn, 7(z)153--153
-
Agarwal, Sukarn, see Goens, Andrés
-
Agda, 3(z)4--4, 3(z)87--87, 4(z)101--101, 5(z)60--60, 6(z)98--98,
7(z)96--96, 8(z)8--8, 8(z)56--56
-
age, 3(z)125--125, 4(z)207--207, 7(z)233--233
-
agent, 6(z)16--16, 7(z)179--179
-
aggregate, 6(z)4--4
-
aggregation, 3(z)80--80
-
aggressive, 2(z)125--125, 7(z)236--236
-
aggressively, 2(z)117--117
-
Agile, 2(z)138--138
-
agnostic, 2(z)123--123, 3(z)110--110, 4(z)188--188
-
agnostic, hardware-, 3(z)186--186
-
Agnostic, Language-, 7(z)77--77, 7(z)97--97
-
agnostic, language-, 6(z)167--167, 7(z)77--77
-
Agnostic, Policy-, 7(z)147--147, 8(z)144--144
-
ago, 3(z)17--17
-
Agrawal, Kunal, 7(z)135--135
-
Agrawal, Kunal, see Muller, Stefan K.
-
Agrawal, Sheshansh, 2(z)34--34
-
Agrawal:2018:LRS, 2(z)34--34
-
agree, 4(z)74--74
-
agreement, 5(z)157--157, 7(z)81--81, 7(z)101--101
-
Agreement-Based, 7(z)81--81
-
agreement-based, 5(z)157--157
-
AGT, 5(z)61--61
-
Aguirre, Alejandro, 1(z)21--21, 5(z)52--52, 5(z)93--93, 7(z)2--2,
8(z)26--26
-
Aguirre, Alejandro, see Gregersen, Simon Oddershede
-
Aguirre:2017:RLH, 1(z)21--21
-
Aguirre:2021:HOP, 5(z)93--93
-
Aguirre:2021:PEC, 5(z)52--52
-
Aguirre:2023:SIL, 7(z)2--2
-
ahead-of-time, 4(z)168--168
-
Ahman, Danel, 2(z)7--7, 2(z)65--65, 3(z)104--104, 4(z)121--121,
5(z)24--24
-
Ahman, Danel, see Maillard, Kenji,
see Swamy, Nikhil
-
Ahman:2018:HFA, 2(z)7--7
-
Ahman:2018:RWF, 2(z)65--65
-
Ahman:2021:AE, 5(z)24--24
-
Ahmed, Amal, 1(z)39--39, 2(z)22--22, 2(z)49--49, 2(z)73--73, 3(z)15--15,
3(z)85--85, 4(z)46--46, 7(z)112--112, 8(z)125--125
-
Ahmed, Amal, see Bowman, William J.,
see Flückiger, Olivier,
see Gierczak, Olek, \see{Li, John M.,
see New, Max S., \see{Patterson, Daniel
-
Ahmed:2017:TFF, 1(z)39--39
-
Ahrens, Benedikt, 4(z)31--31
-
Ahrens, Emma, 6(z)130--130
-
Ahrens:2020:RMT, 4(z)31--31
-
Ahrens:2022:RAD, 6(z)130--130
-
AI, 7(z)78--78
-
aid, 2(z)162--162, 5(z)115--115, 6(z)132--132, 6(z)168--168
-
Aided, Computer-, 3(z)99--99, 7(z)109--109
-
aided, computer-, 2(z)99--99, 8(z)71--71
-
aided, Solver-, 2(z)149--149
-
aided, solver-, 1(z)25--25, 1(z)91--91, 2(z)149--149,
6(z)47--47
-
aided, synthesis-, 4(z)205--205
-
Aiken, Alex, 1(z)78--78, 2(z)47--47, 6(z)50--50
-
Aiken, Alex, see Lee, Wonyeol,
see Padon, Oded, \see{Papadakis, Manolis
-
aim, 2(z)165--165, 3(z)14--14, 3(z)15--15, 3(z)92--92, 3(z)141--141,
3(z)145--145, 3(z)187--187, 4(z)19--19, 4(z)43--43, 4(z)93--93,
4(z)230--230, 4(z)233--233, 6(z)81--81, 6(z)110--110, 6(z)116--116,
7(z)103--103
-
aimed, 4(z)116--116
-
aiming, 4(z)37--37, 7(z)11--11
-
air'', ``out-of-thin-, 2(z)136--136
-
air, out-of-thin-, 2(z)136--136
-
aka, 3(z)185--185, 4(z)25--25
-
aka, types-, 2(z)94--94
-
Aksun, David T., 2(z)153--153
-
Aksun, David T., see Cohen, Nachshon
-
AL, 3(z)175--175
-
al, 3(z)95--95, 4(z)34--34, 5(z)7--7, 5(z)47--47, 5(z)56--56, 5(z)61--61,
6(z)33--33, 6(z)64--64, 6(z)70--70, 7(z)61--61, 8(z)87--87,
8(z)91--91
-
Al Awar, Nader, 5(z)166--166
-
Al Thokair, Mosaad, 7(z)45--45
-
alarms, 1(z)57--57, 6(z)59--59
-
AlAwar:2021:PEM, 5(z)166--166
-
Albarghouthi, Aws, 1(z)80--80, 2(z)58--58, 3(z)94--94, 6(z)14--14,
7(z)140--140
-
Albarghouthi, Aws, see Smith, Calvin,
see Wang, Zi, \see{Xu, Amanda
-
Albarghouthi:2017:FPV, 1(z)80--80
-
Albarghouthi:2018:SCP, 2(z)58--58
-
albeit, 4(z)74--74
-
Albert, Elvira, 4(z)209--209
-
Albert:2020:TCS, 4(z)209--209
-
Aldrich, Jonathan, 2(z)106--106, 4(z)66--66, 4(z)132--132, 4(z)228--228,
8(z)85--85
-
Aldrich, Jonathan, see Coblenz, Michael,
see Mackay, Julian, \see{Omar, Cyrus,
see Wise, Jenna, \see{Zimmerman, Conrad
-
Alexandrescu, Andrei, 4(z)73--73
-
Alexandrescu, Andrei, see Bright, Walter
-
algebra, 1(z)77--77, 2(z)47--47, 2(z)67--67, 2(z)86--86, 2(z)100--100,
2(z)123--123, 2(z)166--166, 3(z)25--25, 4(z)61--61, 4(z)158--158,
4(z)161--161, 5(z)72--72, 6(z)29--29, 6(z)141--141, 6(z)175--175,
7(z)20--20, 7(z)62--62, 7(z)122--122, 7(z)229--229
-
algebraic, 1(z)22--22, 2(z)7--7, 2(z)8--8, 2(z)67--67, 2(z)104--104,
3(z)5--5, 3(z)6--6, 3(z)8--8, 3(z)25--25, 3(z)80--80, 3(z)132--132,
3(z)161--161, 4(z)4--4, 4(z)48--48, 4(z)99--99, 4(z)117--117,
4(z)124--124, 4(z)164--164, 5(z)5--5, 5(z)24--24, 5(z)32--32,
5(z)71--71, 5(z)75--75, 5(z)91--91, 5(z)102--102, 5(z)126--126,
6(z)6--6, 6(z)51--51, 6(z)60--60, 6(z)104--104, 6(z)105--105,
6(z)126--126, 7(z)3--3, 7(z)62--62, 7(z)163--163, 7(z)208--208,
7(z)216--216, 7(z)253--253, 7(z)292--292, 8(z)5--5, 8(z)24--24,
8(z)56--56
-
Algebro-geometric, 7(z)100--100
-
Algehed, Maximilian, 3(z)89--89
-
Algehed:2019:SNP, 3(z)89--89
-
Algol, 7(z)24--24
-
Algol-style, 4(z)73--73
-
algorithm, 1(z)7--7, 2(z)70--70, 2(z)83--83, 2(z)108--108, 2(z)112--112,
2(z)121--121, 2(z)127--127, 2(z)131--131, 3(z)18--18, 3(z)98--98,
3(z)99--99, 3(z)113--113, 3(z)118--118, 3(z)120--120, 3(z)121--121,
3(z)125--125, 3(z)166--166, 3(z)167--167, 3(z)169--169,
3(z)170--170, 3(z)177--177, 4(z)33--33, 4(z)36--36, 4(z)63--63,
4(z)64--64, 4(z)68--68, 4(z)128--128, 4(z)221--221, 5(z)19--19,
5(z)72--72, 5(z)109--109, 5(z)136--136, 5(z)148--148, 6(z)15--15,
6(z)30--30, 6(z)33--33, 6(z)41--41, 6(z)46--46, 6(z)62--62,
6(z)63--63, 6(z)84--84, 6(z)88--88, 6(z)103--103, 6(z)117--117,
6(z)134--134, 6(z)146--146, 7(z)43--43, 7(z)44--44, 7(z)49--49,
7(z)56--56, 7(z)67--67, 7(z)100--100, 7(z)101--101, 7(z)148--148,
7(z)161--161, 7(z)221--221, 7(z)225--225, 7(z)253--253,
7(z)277--277, 7(z)286--286, 7(z)296--296, 8(z)32--32, 8(z)36--36,
8(z)39--39, 8(z)52--52, 8(z)94--94, 8(z)96--96
-
algorithmic, 2(z)35--35, 3(z)8--8, 5(z)130--130, 5(z)164--164,
6(z)127--127
-
algorithmic-level, 8(z)29--29
-
Ali, Karim, 1(z)99--99
-
Ali, Karim, see Späth, Johannes
-
alias, 2(z)30--30, 4(z)41--41, 6(z)153--153, 7(z)283--283
-
alias, must-, 5(z)96--96
-
alias-aware, 1(z)99--99
-
aliased, 3(z)147--147, 5(z)92--92
-
aliasing, 3(z)147--147, 4(z)41--41, 4(z)136--136, 5(z)92--92,
5(z)139--139, 6(z)69--69, 6(z)116--116, 7(z)94--94, 8(z)14--14
-
Alignment, 7(z)20--20
-
aligns, 4(z)207--207
-
Alimadadi, Saba, 2(z)162--162
-
Alimadadi:2018:FBP, 2(z)162--162
-
Alistarh, Dan, 7(z)116--116
-
Alistarh, Dan, see Koval, Nikita
-
alive, 1(z)56--56
-
all, 2(z)71--71, 2(z)76--76, 2(z)125--125, 2(z)146--146, 2(z)162--162,
3(z)78--78, 3(z)87--87, 3(z)99--99, 3(z)102--102, 3(z)104--104,
3(z)109--109, 3(z)120--120, 3(z)123--123, 3(z)133--133,
3(z)142--142, 3(z)173--173, 3(z)186--186, 3(z)189--189, 4(z)41--41,
4(z)55--55, 4(z)84--84, 4(z)122--122, 4(z)127--127, 4(z)175--175,
4(z)197--197, 4(z)219--219, 5(z)2--2, 5(z)31--31, 5(z)151--151,
5(z)166--166, 6(z)3--3, 6(z)19--19, 6(z)47--47, 6(z)49--49,
6(z)59--59, 6(z)67--67, 6(z)105--105, 6(z)188--188, 7(z)48--48,
7(z)75--75, 7(z)94--94, 7(z)111--111, 7(z)157--157, 7(z)202--202,
7(z)207--207, 7(z)212--212, 7(z)242--242, 7(z)253--253,
7(z)270--270, 8(z)27--27, 8(z)32--32, 8(z)102--102, 8(z)137--137,
8(z)138--138
-
all, one-fit-for-, 8(z)63--63
-
Allais, Guillaume, 2(z)90--90
-
Allais:2018:TSS, 2(z)90--90
-
Allamanis, Miltiadis, 6(z)139--139
-
Allamanis, Miltiadis, see Zhang, Yuhao
-
allocate, 7(z)253--253
-
allocated, 4(z)103--103
-
allocation, 2(z)142--142, 3(z)120--120, 3(z)157--157, 5(z)149--149,
6(z)2--2, 6(z)11--11, 7(z)4--4, 7(z)179--179
-
allocator, 3(z)120--120, 7(z)272--272
-
Allocator-Induced, 7(z)272--272
-
allow, 2(z)73--73, 2(z)98--98, 2(z)102--102, 2(z)109--109, 2(z)110--110,
2(z)120--120, 2(z)132--132, 3(z)11--11, 3(z)98--98, 3(z)100--100,
3(z)105--105, 3(z)106--106, 3(z)125--125, 3(z)142--142,
3(z)147--147, 3(z)156--156, 4(z)32--32, 4(z)47--47, 4(z)48--48,
4(z)66--66, 4(z)102--102, 4(z)136--136, 4(z)168--168, 4(z)203--203,
4(z)209--209, 4(z)216--216, 4(z)226--226, 5(z)30--30, 5(z)33--33,
5(z)46--46, 5(z)58--58, 5(z)63--63, 5(z)76--76, 5(z)100--100,
5(z)111--111, 5(z)112--112, 5(z)121--121, 5(z)125--125,
5(z)165--165, 6(z)1--1, 6(z)4--4, 6(z)11--11, 6(z)20--20, 6(z)51--51,
6(z)82--82, 6(z)87--87, 6(z)104--104, 6(z)116--116, 6(z)161--161,
6(z)163--163, 6(z)183--183, 7(z)31--31, 7(z)74--74, 7(z)85--85,
7(z)98--98, 7(z)147--147, 7(z)210--210, 7(z)211--211, 7(z)291--291,
8(z)3--3, 8(z)21--21, 8(z)67--67, 8(z)84--84
-
allowed, 3(z)2--2, 3(z)78--78, 4(z)74--74, 8(z)21--21
-
allowing, 2(z)80--80, 3(z)95--95, 3(z)109--109, 3(z)147--147,
4(z)198--198, 5(z)57--57, 5(z)129--129, 6(z)7--7, 6(z)52--52,
6(z)116--116, 6(z)148--148, 7(z)85--85, 7(z)180--180
-
Alloy, 4(z)11--11, 6(z)79--79, 8(z)116--116
-
Allred, Taylor, 7(z)242--242
-
Allred, Taylor, see Flatt, Matthew
-
Almagor, Shaull, 5(z)48--48
-
Almagor:2021:DRP, 5(z)48--48
-
Almeida, José Bacelar, 2(z)82--82
-
Almeida:2018:THP, 2(z)82--82
-
almost, 2(z)90--90, 4(z)74--74, 4(z)120--120, 5(z)68--68, 5(z)148--148,
5(z)149--149
-
Almost-Sure, 8(z)37--37
-
almost-sure, 2(z)33--33, 3(z)129--129, 5(z)32--32
-
almost-surely, 7(z)99--99
-
Alon, Uri, 4(z)162--162, 4(z)215--215, 4(z)225--225
-
Alon, Uri, see Brody, Shaked,
see David, Yaniv, \see{Yefet, Noam
-
alone, 2(z)27--27, 4(z)73--73
-
along, 2(z)90--90, 2(z)124--124, 3(z)133--133, 4(z)18--18, 5(z)84--84
-
alongside, 2(z)104--104, 4(z)74--74
-
Alpaca, 1(z)96--96
-
Alpernas, Kalev, 2(z)118--118
-
Alpernas:2018:SSC, 2(z)118--118
-
alpha, 4(z)73--73
-
already, 1(z)55--55, 3(z)125--125, 5(z)102--102, 5(z)127--127,
6(z)116--116, 6(z)133--133, 7(z)215--215
-
Alshnakat, Anoud, 8(z)102--102
-
Alshnakat:2024:HMS, 8(z)102--102
-
Altenkirch, Thorsten, 3(z)2--2, 8(z)78--78
-
Altenkirch, Thorsten, see Kaposi, Ambrus
-
Altenkirch:2024:IPI, 8(z)78--78
-
altering, 2(z)138--138
-
altering, career-, 4(z)71--71
-
alternative, 3(z)166--166, 5(z)29--29, 6(z)148--148
-
AlThokair:2023:DRD, 7(z)45--45
-
although, 2(z)82--82, 3(z)78--78, 3(z)138--138, 4(z)8--8, 4(z)9--9,
4(z)72--72, 4(z)73--73, 4(z)132--132, 4(z)214--214, 5(z)23--23,
5(z)43--43, 5(z)95--95, 5(z)135--135, 5(z)140--140, 5(z)144--144,
6(z)64--64, 7(z)170--170, 8(z)90--90
-
Alur, Rajeev, 4(z)153--153, 7(z)13--13, 7(z)37--37, 7(z)271--271
-
Alur, Rajeev, see Kallas, Konstantinos,
see Thakkar, Aalok
-
Alur:2023:RTS, 7(z)37--37
-
always, 2(z)125--125, 3(z)7--7, 3(z)181--181, 4(z)38--38, 4(z)89--89,
5(z)22--22, 6(z)35--35, 7(z)198--198, 8(z)21--21
-
Amarasinghe, Saman, 1(z)77--77, 2(z)110--110, 2(z)121--121,
2(z)123--123, 3(z)125--125, 4(z)158--158, 5(z)128--128,
6(z)175--175
-
Amarasinghe, Saman, see Chou, Stephen,
see Henry, Rawn, \see{Kjolstad, Fredrik,
see Mendis, Charith,
see Senanayake, Ryan, \see{Shajii, Ariya,
see Zhang, Yunming
-
Amber, 4(z)223--223
-
ambiguity, 7(z)58--58, 7(z)141--141, 7(z)262--262
-
ambiguous, 3(z)142--142, 4(z)56--56, 5(z)151--151
-
ambition, 4(z)1--1
-
ambitious, 7(z)192--192
-
Amin, 6(z)138--138
-
Amin, Nada, 2(z)52--52, 2(z)67--67, 6(z)16--16, 7(z)172--172,
7(z)197--197, 8(z)119--119
-
Amin, Nada, see Bracevac, Oliver,
see Jin, Ende,
see Kravchuk-Kirilyuk, Anastasiya,
see Zhang, Yizhou
-
Amin:2018:CTI, 2(z)52--52
-
Amin:2023:LLU, 7(z)197--197
-
amongst, 4(z)126--126
-
amor, 5(z)27--27
-
Amorim, Arthur, Azevedo de, 8(z)17--17
-
Amorim, Arthur Azevedo de, 6(z)29--29
-
Amorim, Arthur Azevedo de, see Zhang, Cheng
-
Amorim, Pedro Henrique Azevedo de, 1(z)31--31, 7(z)120--120
-
Amorim, Pedro Henrique Azevedo de, see Nigam, Rachit,
see Weirich, Stephanie
-
amortized, 3(z)13--13, 4(z)97--97, 5(z)27--27, 5(z)76--76, 7(z)50--50,
7(z)67--67
-
amount, 3(z)120--120, 3(z)125--125, 3(z)167--167, 4(z)225--225,
5(z)94--94, 6(z)2--2, 6(z)69--69
-
Amour, Vincent, St-, 1(z)1--1, 2(z)133--133
-
amplifies, 3(z)184--184
-
An, Shengwei, 4(z)56--56
-
An:2020:AEB, 4(z)56--56
-
analog, 7(z)219--219, 8(z)81--81
-
analogous, 6(z)18--18, 7(z)123--123, 7(z)163--163
-
analogy, 5(z)11--11
-
analyse, 2(z)72--72, 2(z)105--105, 2(z)139--139, 2(z)141--141,
3(z)26--26, 3(z)93--93, 3(z)99--99, 3(z)147--147, 3(z)158--158,
3(z)176--176, 3(z)179--179, 4(z)14--14, 4(z)41--41, 4(z)141--141,
4(z)167--167, 4(z)183--183, 4(z)190--190, 5(z)1--1, 5(z)38--38,
5(z)59--59, 5(z)76--76, 6(z)12--12, 6(z)153--153, 6(z)176--176,
7(z)65--65, 7(z)68--68, 7(z)119--119, 7(z)146--146, 7(z)177--177,
7(z)283--283, 8(z)42--42, 8(z)105--105, 8(z)145--145
-
analysed, 4(z)172--172
-
analysing, 4(z)15--15, 4(z)136--136, 7(z)156--156
-
analysis, data-, 3(z)94--94
-
analysis, re-, 2(z)139--139
-
analysis-based, control-flow-, 2(z)116--116
-
Analysis/atomic-condition, \urlhttps://github.com/FP-,
4(z)60--60
-
analytic, 2(z)13--13, 4(z)71--71, 4(z)125--125, 5(z)20--20, 5(z)83--83,
6(z)175--175, 7(z)95--95
-
analytic, deductive-, 7(z)264--264
-
analytical, 2(z)32--32, 5(z)162--162
-
analyzable, 8(z)118--118
-
analyze, 2(z)116--116, 2(z)117--117, 3(z)153--153, 5(z)148--148
-
analyzed, 3(z)125--125, 3(z)189--189, 4(z)60--60, 6(z)136--136
-
analyzer, 3(z)159--159, 3(z)160--160, 6(z)125--125, 6(z)171--171,
7(z)221--221, 7(z)291--291, 8(z)55--55
-
analyzing, 1(z)76--76, 3(z)160--160, 4(z)97--97, 5(z)25--25,
5(z)138--138, 6(z)46--46, 6(z)114--114, 6(z)125--125, 8(z)111--111
-
ancestor, 4(z)87--87
-
anchor, 4(z)156--156, 7(z)148--148
-
Ancona, Davide, 1(z)81--81
-
Ancona:2017:RDC, 1(z)81--81
-
and, languages-, 4(z)55--55
-
and-coeffect, type-, 6(z)156--156
-
and-Conquer, Divide-, 7(z)3--3
-
and-conquer, divide-, 7(z)3--3
-
and-Effect, Type-, 7(z)71--71
-
and-effect, Type-, 7(z)71--71
-
and-effect, type-, 4(z)175--175, 5(z)75--75, 6(z)2--2
-
and-patch, Copy-, 5(z)136--136
-
and-patch, copy-, 5(z)136--136
-
Andersen, 5(z)34--34
-
Andersen, Leif, 1(z)30--30, 4(z)222--222
-
Andersen:2017:SLM, 1(z)30--30
-
Andersen:2020:AIV, 4(z)222--222
-
Anderson, Adam, 5(z)119--119
-
Anderson, Adam, see Nandi, Chandrakana
-
Anderson, Carolyn Jane, 5(z)111--111
-
Anderson, Carolyn Jane, see Phipps-Costin, Luna
-
Anderson, Luke, 5(z)109--109
-
Anderson:2021:EAS, 5(z)109--109
-
and/or, 3(z)10--10, 6(z)170--170
-
Andow, Samantha, 5(z)130--130
-
Andow, Samantha, see Shen, Xipeng
-
Andrici, Cezar-Constantin, 8(z)74--74
-
Andrici:2024:SVI, 8(z)74--74
-
Android, 2(z)156--156, 4(z)160--160, 5(z)156--156
-
Ang, Zhendong, 8(z)73--73
-
Ang:2024:PMA, 8(z)73--73
-
Angel, Sebastian, 7(z)13--13
-
Angel, Sebastian, see Kallas, Konstantinos
-
angelic, 6(z)21--21
-
Angiuli, Carlo, 5(z)12--12, 7(z)57--57
-
Angiuli, Carlo, see (Favonia), Kuen-Bang Hou
-
Angiuli:2021:IRI, 5(z)12--12
-
Angle, Nia, 7(z)242--242
-
Angle, Nia, see Flatt, Matthew
-
AnICA, 6(z)125--125
-
Annenkov, Danil, 2(z)97--97
-
Annenkov, Danil, see Elsman, Martin
-
annotate, 3(z)147--147, 4(z)105--105
-
annotated, non-, 7(z)142--142
-
Annotation, 8(z)69--69
-
annotation-based, 2(z)119--119, 8(z)69--69
-
annotations, 2(z)113--113, 2(z)120--120, 4(z)29--29, 4(z)191--191,
5(z)111--111, 6(z)4--4, 6(z)111--111, 6(z)156--156
-
Announced, 3(z)163--163
-
another, 4(z)71--71, 4(z)196--196, 5(z)89--89, 7(z)19--19, 7(z)68--68,
7(z)82--82, 7(z)215--215
-
another., 7(z)68--68
-
answer, 3(z)142--142, 4(z)7--7, 4(z)194--194, 8(z)5--5
-
Answer-Effect, 7(z)71--71
-
answered, 4(z)136--136
-
answering, 7(z)186--186
-
anti-patterns, 2(z)162--162
-
Anti-unification, 7(z)14--14
-
Antonopoulos, Timos, 3(z)178--178, 4(z)189--189, 7(z)20--20
-
Antonopoulos, Timos, see Le, Ton Chanh
-
Antonopoulos:2019:SIT, 3(z)178--178
-
Antonopoulos:2023:AAR, 7(z)20--20
-
Antwerpen, Hendrik van, 2(z)114--114, 4(z)180--180, 6(z)85--85,
6(z)140--140
-
Antwerpen, Hendrik van, see Pelsmaeker, Daniel A. A.,
see Rouvoet, Arjen, \see{Zwaan, Aron
-
any, 2(z)76--76, 2(z)162--162, 2(z)164--164, 3(z)12--12, 3(z)104--104,
3(z)121--121, 3(z)137--137, 3(z)142--142, 3(z)158--158,
3(z)186--186, 3(z)189--189, 4(z)71--71, 4(z)80--80, 4(z)128--128,
4(z)133--133, 4(z)175--175, 4(z)203--203, 5(z)16--16, 5(z)32--32,
5(z)39--39, 5(z)103--103, 5(z)148--148, 6(z)3--3, 6(z)51--51,
6(z)59--59, 6(z)116--116, 7(z)253--253, 8(z)38--38
-
AnyDSL, 2(z)119--119
-
anyone, 7(z)253--253
-
anywhere, 4(z)102--102
-
AOP, 8(z)117--117
-
AOT, 5(z)70--70
-
APA, 7(z)292--292
-
Apache, 7(z)95--95
-
API, 3(z)29--29, 3(z)134--134, 4(z)187--187, 4(z)205--205, 4(z)214--214,
5(z)17--17, 7(z)105--105, 7(z)290--290
-
API-Driven, 8(z)62--62
-
API-driven, 8(z)62--62
-
APIs, 3(z)29--29, 3(z)168--168, 5(z)160--160, 6(z)71--71, 6(z)147--147,
7(z)95--95, 7(z)105--105, 7(z)231--231
-
APL, 4(z)69--69
-
Apostolakis, Sotiris, 5(z)103--103, 8(z)110--110
-
Apostolakis, Sotiris, see Popescu, Natalie,
see Xu, Ziyang
-
app, 4(z)160--160, 5(z)156--156
-
appeal, 4(z)73--73, 4(z)74--74
-
appear, 2(z)104--104, 3(z)153--153, 5(z)148--148
-
appearance, 4(z)120--120
-
appeared, 4(z)73--73, 4(z)81--81
-
Appel, Andrew W., 1(z)87--87, 3(z)83--83, 5(z)74--74, 5(z)86--86,
8(z)69--69
-
Appel, Andrew W., see Li, John M.,
see Mansky, William,
see Paraskevopoulou, Zoe,
see Zhou, Litao
-
Apple, 4(z)81--81
-
applicability, 2(z)113--113, 3(z)9--9, 3(z)29--29, 3(z)160--160,
7(z)253--253
-
application-level, 3(z)186--186
-
application-portability, 3(z)186--186
-
application-specific, 2(z)163--163, 4(z)179--179, 5(z)117--117
-
applicative, 3(z)10--10, 3(z)90--90, 6(z)120--120
-
applied, 4(z)37--37, 4(z)112--112, 4(z)137--137, 4(z)224--224,
6(z)14--14, 6(z)162--162, 7(z)253--253
-
apply, 2(z)108--108, 3(z)177--177, 4(z)84--84, 6(z)13--13, 6(z)35--35,
6(z)75--75, 6(z)113--113, 6(z)146--146, 7(z)103--103, 7(z)134--134,
7(z)230--230, 8(z)98--98, 8(z)115--115
-
applying, 2(z)78--78, 2(z)89--89, 2(z)141--141, 2(z)143--143,
2(z)162--162, 4(z)140--140, 4(z)165--165, 5(z)15--15, 5(z)73--73,
5(z)78--78, 6(z)79--79, 7(z)60--60, 8(z)114--114
-
Appreciated, 3(z)6--6
-
appropriate, 2(z)113--113, 5(z)57--57
-
appropriately, 4(z)165--165
-
ApproxHPVM, 3(z)186--186
-
approximable, 3(z)186--186
-
approximate, 3(z)88--88, 3(z)119--119, 3(z)186--186, 4(z)36--36,
4(z)60--60, 6(z)3--3, 6(z)75--75, 6(z)116--116, 6(z)159--159,
7(z)167--167, 7(z)222--222
-
approximate, under-, 6(z)34--34
-
approximates, over-, 5(z)118--118
-
approximation, 2(z)6--6, 3(z)8--8, 3(z)119--119, 3(z)186--186, 4(z)1--1,
4(z)14--14, 4(z)130--130, 6(z)3--3, 6(z)14--14, 6(z)43--43,
6(z)59--59, 8(z)75--75
-
approximation, over-, 5(z)34--34, 7(z)138--138
-
approximative, 3(z)120--120
-
April, 4(z)73--73
-
Arashloo, Mina Tahmasbi, 5(z)41--41
-
Arashloo, Mina Tahmasbi, see Doenges, Ryan
-
Araújo, Marcus R. de, 2(z)29--29,
see Melo, Leandro T. C.
-
arbitrarily, 4(z)73--73, 7(z)72--72, 7(z)74--74, 7(z)101--101
-
arbitrary, 3(z)104--104, 3(z)138--138, 3(z)169--169, 3(z)184--184,
4(z)4--4, 4(z)210--210, 5(z)128--128, 6(z)90--90, 8(z)21--21
-
arc, 4(z)34--34
-
archetypal, 4(z)101--101
-
architects, 7(z)4--4
-
architectural, 2(z)83--83
-
architectural, micro-, 5(z)142--142
-
architecture, 1(z)88--88, 2(z)18--18, 3(z)120--120, 3(z)128--128,
4(z)11--11, 4(z)153--153, 4(z)229--229, 5(z)47--47, 5(z)56--56,
6(z)22--22, 6(z)43--43, 6(z)166--166, 7(z)88--88, 7(z)108--108,
7(z)202--202, 8(z)21--21, 8(z)38--38, 8(z)140--140
-
Architecture-Preserving, 7(z)124--124
-
are, types-, 5(z)64--64
-
area, 3(z)81--81, 4(z)73--73, 5(z)77--77, 6(z)29--29, 7(z)275--275,
8(z)48--48
-
area, wide-, 7(z)4--4
-
arguably, 4(z)7--7
-
argue, 3(z)133--133, 4(z)99--99, 4(z)194--194, 6(z)70--70
-
argued, 6(z)82--82
-
argument, 1(z)104--104, 2(z)113--113, 3(z)153--153, 3(z)166--166,
3(z)168--168, 4(z)72--72, 4(z)101--101, 4(z)135--135, 5(z)101--101,
5(z)145--145
-
Ariola, Zena M., 4(z)104--104
-
Ariola, Zena M., see Downen, Paul
-
arise, 2(z)162--162, 4(z)38--38, 4(z)61--61, 4(z)90--90, 4(z)173--173,
5(z)93--93, 7(z)18--18, 7(z)144--144, 8(z)26--26
-
arising, 5(z)35--35, 7(z)5--5
-
arithmetic, 2(z)61--61, 3(z)99--99, 3(z)157--157, 4(z)73--73,
5(z)148--148, 5(z)162--162, 6(z)4--4, 6(z)20--20, 6(z)116--116,
6(z)146--146, 7(z)44--44, 7(z)114--114, 8(z)1--1, 8(z)25--25,
8(z)138--138
-
arithmetic/logical, 5(z)148--148
-
arity, 6(z)135--135
-
ARM, 1(z)88--88, 2(z)19--19, 7(z)192--192
-
Arm, 7(z)88--88
-
Arm-A, 8(z)21--21
-
Arm®, 7(z)88--88
-
ARMv8, 2(z)19--19, 3(z)135--135
-
Arntzenius, Michael, 4(z)22--22
-
Arntzenius:2020:SVE, 4(z)22--22
-
Aroma, 3(z)152--152
-
Arora, Jatin, 5(z)18--18, 6(z)115--115, 7(z)170--170, 8(z)53--53
-
Arora, Jatin, see Westrick, Sam
-
Arora:2021:PSE, 5(z)18--18
-
Arora:2023:EPF, 7(z)170--170
-
Arora:2024:DFS, 8(z)53--53
-
around, 2(z)79--79, 2(z)113--113, 3(z)81--81, 3(z)116--116, 3(z)166--166,
4(z)8--8, 4(z)41--41, 4(z)136--136, 5(z)132--132, 6(z)121--121,
7(z)69--69, 7(z)129--129
-
aroused, 3(z)185--185
-
array, 1(z)11--11, 1(z)75--75, 2(z)97--97, 2(z)108--108, 4(z)72--72,
4(z)81--81, 5(z)88--88, 5(z)128--128, 6(z)55--55, 6(z)89--89,
8(z)22--22, 8(z)103--103
-
array-processing, 3(z)97--97
-
Arrial, Victor, 7(z)51--51
-
Arrial:2023:QID, 7(z)51--51
-
Arroyo-Fang, Emilio, 5(z)130--130
-
Arroyo-Fang, Emilio, see Shen, Xipeng
-
Arroyo-Paredes, Yulissa, 1(z)104--104
-
Arroyo-Paredes, Yulissa, see Rice, Andrew
-
art, 3(z)23--23, 3(z)115--115, 3(z)132--132
-
art, state-of-the-, 2(z)83--83, 2(z)109--109, 3(z)120--120,
3(z)147--147, 3(z)151--151, 3(z)160--160, 3(z)170--170, 4(z)60--60,
6(z)4--4, 6(z)25--25, 6(z)52--52, 6(z)159--159, 7(z)233--233,
8(z)9--9, 8(z)32--32, 8(z)112--112
-
Arteca, Ellen, 1(z)55--55
-
Arteca, Ellen, see Richards, Gregor
-
article, 4(z)24--24, 4(z)74--74, 4(z)99--99, 4(z)106--106, 4(z)110--110,
6(z)148--148, 7(z)87--87
-
articulated, 4(z)82--82
-
Arvidsson, Ellen, 7(z)270--270
-
Arvidsson:2023:RCF, 7(z)270--270
-
Arvind, 1(z)24--24
-
Arvind, see Choi, Joonwon
-
as-a-Service, Functions-, 5(z)133--133
-
as-deployed, 4(z)190--190
-
as-Processes'', ``Proofs-, 4(z)18--18
-
as-Rule-Selection, Synthesis-, 7(z)7--7
-
as-rule-selection, synthesis-, 7(z)7--7
-
as-sessions, propositions-, 6(z)155--155
-
as-types, proposition-, 5(z)79--79
-
as-types, Propositions-, 5(z)79--79
-
Asada, Kazuyuki, 8(z)13--13
-
Asada, Kazuyuki, see Tsukada, Takeshi
-
Asai, Kenichi, 2(z)69--69
-
Asai, Kenichi, see Cong, Youyou
-
Aschieri, Federico, 4(z)18--18
-
Aschieri:2020:PMP, 4(z)18--18
-
ask, 3(z)129--129, 4(z)180--180
-
Askarov, Aslan, 7(z)165--165
-
Askarov, Aslan, see Liu, Zongyuan
-
ASP, 7(z)7--7
-
Asparagus, 7(z)253--253
-
aspect, 2(z)69--69, 2(z)83--83, 3(z)182--182, 4(z)19--19, 4(z)31--31,
4(z)74--74, 4(z)223--223, 5(z)77--77, 5(z)139--139, 6(z)9--9,
6(z)76--76, 6(z)172--172, 7(z)285--285, 8(z)10--10, 8(z)79--79,
8(z)117--117
-
aspect, finite-, 7(z)80--80
-
Aspect-Oriented, 8(z)117--117
-
Asphalion, 3(z)138--138
-
aspire, 4(z)48--48
-
assembly, 4(z)23--23, 4(z)129--129, 4(z)221--221, 4(z)225--225,
6(z)165--165
-
assembly, C-, 4(z)23--23
-
assert, 3(z)153--153, 8(z)1--1
-
assertion, 3(z)147--147, 3(z)166--166, 4(z)109--109, 4(z)150--150,
5(z)39--39, 8(z)69--69, 8(z)92--92
-
Assertion-based, 4(z)133--133
-
assess, 4(z)136--136
-
assessed, 3(z)155--155
-
assessing, 3(z)182--182
-
assessment, 2(z)82--82
-
asset-related, 4(z)132--132
-
assets, 4(z)24--24, 4(z)132--132, 5(z)146--146, 6(z)4--4
-
assign, 3(z)14--14, 7(z)135--135, 8(z)44--44
-
assigned, 4(z)175--175, 7(z)253--253
-
Assigning, 7(z)96--96
-
assignment, 2(z)158--158, 3(z)166--166, 3(z)188--188, 4(z)117--117,
4(z)171--171, 5(z)68--68, 7(z)65--65, 7(z)144--144, 8(z)30--30,
8(z)133--133
-
assist, 4(z)78--78, 4(z)185--185
-
assistant, 2(z)77--77, 2(z)92--92, 3(z)4--4, 3(z)86--86, 3(z)87--87,
3(z)108--108, 3(z)136--136, 3(z)166--166, 5(z)37--37, 5(z)60--60,
5(z)153--153, 6(z)101--101, 7(z)29--29, 7(z)78--78, 8(z)8--8
-
assisted, 4(z)171--171
-
assisted, computer-, 2(z)157--157
-
assisted, Model-, 1(z)61--61
-
assisting, 8(z)110--110
-
assistive, 3(z)151--151
-
associate, 7(z)196--196
-
associated, 2(z)100--100, 2(z)124--124, 2(z)142--142, 2(z)164--164,
6(z)74--74, 8(z)59--59
-
association, 1(z)64--64
-
associative, 5(z)20--20
-
assume, 4(z)40--40, 6(z)28--28
-
assumption, 2(z)109--109, 4(z)34--34, 4(z)40--40, 4(z)136--136,
5(z)46--46, 5(z)60--60, 5(z)98--98, 6(z)44--44
-
assurance, high-, 7(z)85--85
-
AST, 7(z)233--233
-
Astorga, Angello, 5(z)104--104, 7(z)299--299
-
Astorga:2021:SCC, 5(z)104--104
-
Astorga:2023:PCS, 7(z)299--299
-
Astrauskas, Vytautas, 3(z)147--147, 4(z)136--136
-
Astrauskas:2019:LRT, 3(z)147--147
-
Astrauskas:2020:HDP, 4(z)136--136
-
astronomical, 4(z)227--227
-
astronomically, 6(z)91--91
-
asymptotic, 4(z)100--100, 5(z)138--138
-
asymptotically, 4(z)91--91, 6(z)48--48
-
async/await, 3(z)5--5
-
asynchronous, 2(z)67--67, 2(z)162--162, 3(z)27--27, 3(z)28--28,
4(z)139--139, 4(z)186--186, 5(z)16--16, 5(z)24--24, 5(z)38--38,
5(z)124--124, 5(z)160--160, 7(z)191--191, 7(z)205--205,
7(z)217--217, 7(z)300--300, 8(z)2--2, 8(z)26--26
-
asynchronously, 4(z)210--210
-
asynchrony, 2(z)162--162, 5(z)24--24
-
Atig, Mohamed Faouzi, 2(z)135--135, 3(z)150--150, 4(z)26--26,
5(z)56--56
-
Atig, Mohamed Faouzi, see Abdulla, Parosh Aziz
-
Atkey, Robert, 2(z)90--90, 3(z)104--104, 8(z)76--76
-
Atkey, Robert, see Allais, Guillaume,
see Maillard, Kenji
-
Atkey:2024:PTD, 8(z)76--76
-
Atkinson, Eric, 4(z)200--200, 5(z)20--20, 5(z)115--115, 6(z)184--184,
7(z)132--132
-
Atkinson, Eric, see Liu, Junrui,
see Yang, Cambridge
-
Atkinson:2020:PRP, 4(z)200--200
-
Atkinson:2021:SBM, 5(z)115--115
-
Atkinson:2022:SSI, 6(z)184--184
-
atomic, 3(z)133--133, 4(z)60--60, 5(z)14--14, 7(z)253--253, 8(z)109--109
-
atomic, multicopy-, 2(z)19--19
-
atomicity., 2(z)109--109
-
AtomiS, 7(z)226--226
-
attached, 4(z)216--216
-
attack, 3(z)189--189, 5(z)129--129, 5(z)142--142, 7(z)90--90,
7(z)113--113, 7(z)187--187, 7(z)253--253, 7(z)266--266,
7(z)274--274, 7(z)286--286, 8(z)29--29, 8(z)91--91, 8(z)130--130
-
attack, non-, 2(z)116--116
-
attacker, 2(z)116--116, 3(z)189--189, 4(z)135--135, 5(z)129--129,
7(z)253--253
-
attains, 3(z)125--125
-
Attard, Duncan Paul, 7(z)191--191
-
Attard, Duncan Paul, see Fowler, Simon
-
attempt, 3(z)5--5, 3(z)17--17, 4(z)56--56, 5(z)84--84, 5(z)88--88
-
attention, 3(z)157--157, 4(z)190--190, 4(z)233--233, 5(z)38--38,
5(z)72--72, 6(z)64--64, 7(z)84--84, 7(z)113--113
-
attention-based, 3(z)162--162
-
Attouche, Lyes, 8(z)49--49
-
Attouche:2024:VMJ, 8(z)49--49
-
attracted, 4(z)233--233, 7(z)113--113
-
attracting, 8(z)89--89
-
attraction, 7(z)62--62
-
attributes, 6(z)7--7
-
attribution, 7(z)250--250
-
audience, 3(z)14--14, 3(z)147--147
-
auditing, 1(z)97--97
-
audits, 6(z)24--24
-
Auerbach, Joshua S., 1(z)9--9
-
Auerbach:2017:PQC, 1(z)9--9
-
augment, 3(z)189--189, 4(z)108--108, 4(z)216--216
-
augmented, 4(z)56--56, 4(z)225--225
-
August, David I., 5(z)103--103, 8(z)110--110
-
August, David I., see Popescu, Natalie,
see Xu, Ziyang
-
Augustsson, Lennart, 7(z)203--203
-
Augustsson:2023:VCC, 7(z)203--203
-
author, 4(z)41--41, 4(z)85--85
-
author., 4(z)71--71
-
authoring, 2(z)157--157
-
authority, 6(z)74--74
-
authority-carrying, 5(z)6--6
-
authorization, 8(z)118--118
-
auto-merging, 3(z)170--170
-
auto-vectorization, 2(z)110--110
-
autodiff, 5(z)88--88
-
autogenerating, 3(z)175--175
-
automata, 1(z)62--62, 1(z)82--82, 4(z)112--112, 4(z)218--218, 5(z)38--38,
7(z)52--52, 7(z)56--56, 7(z)92--92, 8(z)34--34, 8(z)65--65
-
Automata-Based, 7(z)156--156
-
automata-theoretic, 6(z)10--10
-
automate, 3(z)93--93, 3(z)143--143, 4(z)19--19, 4(z)185--185,
4(z)231--231, 5(z)100--100, 6(z)139--139, 6(z)171--171
-
automated, 1(z)93--93, 2(z)9--9, 2(z)82--82, 3(z)115--115, 3(z)151--151,
3(z)175--175, 4(z)106--106, 4(z)115--115, 4(z)135--135,
4(z)161--161, 4(z)165--165, 4(z)172--172, 5(z)23--23, 5(z)84--84,
5(z)115--115, 5(z)156--156, 6(z)4--4, 6(z)69--69, 6(z)71--71,
6(z)159--159, 6(z)182--182, 7(z)6--6, 7(z)16--16, 7(z)95--95,
7(z)107--107, 7(z)144--144, 7(z)149--149, 7(z)168--168,
7(z)190--190, 7(z)225--225, 7(z)245--245, 7(z)253--253,
7(z)262--262, 7(z)271--271, 8(z)35--35, 8(z)132--132
-
automatic, 1(z)98--98, 2(z)70--70, 2(z)120--120, 2(z)144--144,
2(z)158--158, 3(z)13--13, 3(z)97--97, 3(z)115--115, 3(z)139--139,
3(z)188--188, 4(z)35--35, 4(z)38--38, 4(z)64--64, 4(z)112--112,
4(z)138--138, 4(z)157--157, 4(z)221--221, 5(z)28--28, 5(z)76--76,
5(z)78--78, 5(z)103--103, 5(z)109--109, 5(z)117--117, 5(z)160--160,
6(z)48--48, 6(z)159--159, 6(z)161--161, 7(z)5--5, 7(z)43--43,
7(z)54--54, 7(z)102--102, 7(z)291--291, 8(z)36--36, 8(z)38--38,
8(z)46--46
-
automatically, 1(z)101--101, 2(z)47--47, 2(z)85--85, 2(z)116--116,
2(z)148--148, 2(z)158--158, 3(z)147--147, 3(z)159--159,
3(z)167--167, 3(z)186--186, 3(z)188--188, 4(z)11--11, 4(z)15--15,
4(z)52--52, 4(z)94--94, 4(z)105--105, 4(z)106--106, 4(z)130--130,
4(z)136--136, 4(z)179--179, 4(z)206--206, 4(z)219--219, 5(z)49--49,
5(z)60--60, 5(z)61--61, 5(z)165--165, 6(z)4--4, 6(z)68--68,
6(z)71--71, 6(z)94--94, 6(z)103--103, 6(z)117--117, 6(z)122--122,
6(z)132--132, 6(z)143--143, 6(z)144--144, 6(z)167--167,
6(z)171--171, 7(z)94--94, 7(z)182--182, 7(z)239--239, 7(z)253--253,
7(z)256--256, 7(z)259--259, 7(z)291--291, 8(z)32--32, 8(z)35--35
-
automatically, semi-, 4(z)216--216, 7(z)94--94
-
automating, 1(z)43--43, 4(z)59--59, 4(z)78--78, 4(z)110--110, 7(z)19--19
-
automation, 2(z)114--114, 3(z)147--147, 3(z)166--166, 4(z)106--106,
4(z)161--161, 5(z)145--145, 7(z)91--91
-
automaton, 7(z)52--52
-
autonomous, 6(z)73--73
-
AutoPandas, 3(z)168--168
-
auxiliary, 4(z)2--2, 4(z)45--45, 5(z)74--74, 6(z)143--143
-
availability, 3(z)81--81, 4(z)188--188, 5(z)107--107, 5(z)131--131
-
available, 2(z)116--116, 2(z)149--149, 3(z)120--120, 3(z)167--167,
3(z)183--183, 4(z)60--60, 4(z)81--81, 4(z)220--220, 4(z)225--225,
5(z)80--80, 6(z)22--22, 7(z)227--227
-
available, readily-, 5(z)134--134
-
Avanzini, Martin, 1(z)43--43, 4(z)172--172, 5(z)87--87, 7(z)149--149,
8(z)122--122
-
Avanzini:2017:AST, 1(z)43--43
-
Avanzini:2020:MCA, 4(z)172--172
-
Avanzini:2021:CPT, 5(z)87--87
-
Avanzini:2023:AEV, 7(z)149--149
-
Avanzini:2024:HPE, 8(z)122--122
-
Avigad, Jeremy, 1(z)34--34
-
Avigad, Jeremy, see Ebner, Gabriel
-
Avneri, Eran, 7(z)90--90
-
Avneri, Eran, see Shapira, Yuval
-
avoid, 2(z)162--162, 3(z)133--133, 3(z)153--153, 3(z)177--177,
4(z)176--176, 5(z)22--22, 5(z)46--46, 5(z)150--150, 6(z)113--113,
7(z)170--170, 7(z)253--253
-
avoidable, 6(z)138--138
-
avoidance, 1(z)103--103
-
avoiding, 2(z)90--90, 2(z)136--136, 5(z)150--150, 7(z)180--180
-
Awar, Nader, Al, 5(z)166--166
-
Award, 7(z)224--224
-
aware, 3(z)180--180
-
aware, accuracy-, 3(z)186--186, 4(z)130--130
-
aware, alias-, 1(z)99--99
-
aware, Concurrency-, 2(z)130--130
-
aware, context-, 5(z)103--103
-
Aware, Cost-, 8(z)10--10
-
aware, cost-, 4(z)155--155, 6(z)9--9, 8(z)10--10
-
Aware, Dependence-, 7(z)50--50
-
aware, Dependence-, 3(z)179--179
-
aware, fault-, 5(z)97--97
-
Aware, Hardware-, 7(z)222--222
-
aware, nullness-, 6(z)138--138
-
aware, order-, 5(z)65--65
-
aware, privacy-, 3(z)167--167
-
aware, refactoring-, 3(z)170--170
-
aware, Reflection-, 3(z)187--187
-
Aware, Resource-, 7(z)66--66, 7(z)267--267
-
aware, resource-, 7(z)267--267
-
aware, semantics-, 4(z)231--231
-
Aware, Stack-, 4(z)197--197
-
Aware, Type-, 5(z)152--152
-
aware, type-, 4(z)193--193, 5(z)152--152
-
aware, usage-, 5(z)50--50
-
aware, variability-, 4(z)157--157
-
awareness, 3(z)189--189, 6(z)30--30
-
away, 3(z)164--164, 4(z)73--73
-
awesome, 2(z)79--79
-
awkward, 7(z)268--268
-
axiom, 2(z)78--78, 2(z)92--92, 3(z)1--1, 6(z)185--185, 8(z)39--39
-
axiomatic, 2(z)19--19, 2(z)41--41, 3(z)133--133, 3(z)142--142,
7(z)19--19, 8(z)21--21
-
axiomatizations, 6(z)185--185
-
AxSL, 8(z)21--21
-
Azevedo de Amorim, Arthur, 8(z)17--17
-
Azevedo de Amorim, Arthur, see Rinaldi, Francis