Index file section R for pacmpl.bib
Last update: Sun May 19 02:04:08 MDT 2024
Return to index directory
R
-
R, 3(z)153--153, 4(z)52--52, 4(z)84--84, 4(z)181--181, 5(z)101--101,
5(z)125--125
-
RA, 2(z)135--135
-
Raad, 5(z)47--47, 5(z)56--56
-
Raad, Azalea, 2(z)137--137, 3(z)135--135, 3(z)173--173, 4(z)11--11,
4(z)151--151, 5(z)43--43, 6(z)22--22, 6(z)34--34, 6(z)81--81,
7(z)26--26, 7(z)118--118
-
Raad, Azalea, see Cho, Kyeongmin,
see D'Osualdo, Emanuele,
see Kokologiannakis, Michalis,
see Le, Quang Loc
-
Raad:2018:PSW, 2(z)137--137
-
Raad:2019:WPS, 3(z)135--135
-
Raad:2020:POG, 4(z)151--151
-
Raad:2020:PSI, 4(z)11--11
-
Raad:2022:CIS, 6(z)34--34
-
Raad:2022:EIX, 6(z)22--22
-
Raaf, Patrick, 5(z)63--63
-
Raaf, Patrick, see Krauter, Nicolas
-
race, 1(z)66--66, 1(z)69--69, 2(z)144--144, 2(z)145--145, 2(z)146--146,
2(z)162--162, 3(z)147--147, 3(z)179--179, 4(z)17--17, 4(z)34--34,
4(z)136--136, 4(z)214--214, 5(z)18--18, 5(z)36--36, 6(z)28--28,
6(z)46--46, 7(z)45--45, 7(z)170--170, 8(z)73--73, 8(z)123--123,
8(z)136--136
-
race, data-, 7(z)164--164
-
race-free, data-, 3(z)133--133
-
RacerD, 2(z)144--144
-
RacerD-a, 2(z)144--144
-
Racket, 3(z)78--78, 7(z)242--242
-
Racketensis, 1(z)1--1
-
RAD, 2(z)70--70
-
Radanne, Gabriel, 4(z)103--103, 7(z)216--216, 8(z)101--101
-
Radanne, Gabriel, see Baudon, Thaïs,
see Clement, Blaudeau
-
Radanne:2020:KBF, 4(z)103--103
-
Radhakrishna, Arjun, 3(z)106--106, 3(z)143--143, 4(z)212--212,
4(z)219--219, 5(z)158--158, 5(z)161--161, 6(z)139--139, 7(z)33--33,
7(z)141--141, 7(z)298--298
-
Radhakrishna, Arjun, see Cambronero, José,
see Gao, Xiang, \see{Gulwani, Sumit,
see Lewchenko, Nicholas V.,
see Miltner, Anders,
see Nazari, Amirmohammad,
see Rahmani, Kia, \see{Yuan, Yongwei,
see Zhang, Yuhao
-
radically, 3(z)125--125
-
Radicek, Ivan, 4(z)212--212
-
Radicek, Ivan, see Gulwani, Sumit
-
Radi{\v{c}}ek, Ivan, 2(z)36--36, 6(z)164--164,
see Bavishi, Rohan
-
Radicek:2018:MRR, 2(z)36--36
-
radio, 1(z)19--19
-
Radul, Alexey, 5(z)88--88, 7(z)43--43
-
Radul, Alexey, see Paszke, Adam
-
Radul:2023:YOL, 7(z)43--43
-
Ragan-Kelley, Jonathan, 5(z)88--88, 5(z)109--109, 6(z)55--55,
8(z)126--126
-
Ragan-Kelley, Jonathan, see Anderson, Luke,
see Liu, Amanda, \see{Michel, Jesse,
see Paszke, Adam
-
Raghothaman, Mukund, 4(z)62--62, 7(z)271--271, 7(z)298--298
-
Raghothaman, Mukund, see Nazari, Amirmohammad,
see Thakkar, Aalok
-
Raghothaman:2020:PGS, 4(z)62--62
-
Rahli, Vincent, 3(z)138--138
-
Rahli, Vincent, see Vukotic, Ivana
-
Rahman, Muntasir Raihan, 1(z)107--107
-
Rahman, Muntasir Raihan, see Bernstein, Philip A.
-
Rahmani, Kia, 3(z)117--117, 5(z)158--158, 8(z)18--18
-
Rahmani, Kia, see Patton, Noah
-
Rahmani:2019:CDT, 3(z)117--117
-
Rahmani:2021:MMP, 5(z)158--158
-
Rainey, Mike, 5(z)91--91, 8(z)38--38
-
Rainey, Mike, see Koparkar, Chaitanya,
see Westrick, Sam
-
Raising, 4(z)110--110
-
Rajan, Hridesh, 1(z)83--83
-
Rajan, Hridesh, see Khairunnesa, Samantha Syeda
-
Rajani, Vineet, 5(z)27--27
-
Rajani:2021:UTT, 5(z)27--27
-
Rakotonirina, Itsaka, 8(z)64--64
-
Rakotonirina:2024:DCD, 8(z)64--64
-
RAM, 2(z)137--137, 3(z)135--135, 4(z)11--11, 4(z)182--182
-
Rama, Girish Maskeri, 2(z)142--142
-
Rama:2018:ROS, 2(z)142--142
-
Ramamurthy, Vijay, 4(z)171--171
-
Ramamurthy, Vijay, see Clune, Joshua
-
Ramananandro, Tahina, 1(z)17--17, 5(z)85--85
-
Ramananandro, Tahina, see Fromherz, Aymeric,
see Protzenko, Jonathan
-
Ramanathan, Murali Krishna, 3(z)164--164
-
Ramanathan, Murali Krishna, see Barik, Rajkishore
-
Ramanathan, Nadesh, 5(z)117--117
-
Ramanathan, Nadesh, see Herklotz, Yann
-
Ramsay, Steven, 5(z)55--55, 7(z)69--69, 8(z)67--67
-
Ramsay, Steven, see Jochems, Jerome,
see Jones, Eddie
-
Ramsay, Steven J., 2(z)11--11
-
Ramsay, Steven J., see Burn, Toby Cathcart
-
Ramsay:2024:ITP, 8(z)67--67
-
Ramsey, 8(z)1--1
-
Ramsey, Norman, 6(z)90--90
-
Ramsey:2022:BRR, 6(z)90--90
-
ran, 4(z)41--41
-
Rand, Robert, 5(z)37--37, 7(z)32--32
-
Rand, Robert, see Hietala, Kesha,
see Voichick, Finn
-
random, 2(z)46--46, 2(z)87--87, 2(z)102--102, 3(z)180--180, 3(z)181--181,
4(z)36--36, 4(z)37--37, 4(z)55--55, 4(z)196--196, 5(z)11--11,
6(z)57--57, 6(z)122--122, 6(z)128--128, 6(z)181--181, 7(z)200--200,
8(z)26--26, 8(z)61--61, 8(z)77--77
-
randomised, 3(z)155--155
-
randomization, 8(z)93--93
-
randomized, 2(z)160--160, 4(z)25--25, 5(z)32--32, 6(z)64--64,
6(z)181--181, 7(z)67--67, 7(z)101--101, 7(z)158--158
-
randomly, 2(z)153--153, 3(z)177--177, 3(z)181--181
-
randomness, 6(z)128--128
-
Randone, Francesca, 8(z)63--63
-
Randone:2024:IPP, 8(z)63--63
-
range, 2(z)78--78, 3(z)82--82, 3(z)133--133, 3(z)160--160, 4(z)40--40,
4(z)47--47, 4(z)84--84, 4(z)90--90, 4(z)170--170, 5(z)7--7,
5(z)90--90, 5(z)108--108, 6(z)64--64, 7(z)166--166, 7(z)184--184,
7(z)186--186, 8(z)6--6, 8(z)32--32, 8(z)112--112
-
ranging, 5(z)148--148, 6(z)3--3, 7(z)5--5, 7(z)55--55
-
rank, higher-, 3(z)9--9
-
ranked, higher-, 3(z)112--112
-
ranking, 2(z)34--34, 8(z)35--35
-
Rao, Sanjay, 7(z)4--4
-
Rao, Sanjay, see Wang, Yanjun
-
Rao, Xiaojia, 7(z)151--151
-
Rao:2023:IWR, 7(z)151--151
-
rapid, 2(z)93--93, 3(z)82--82, 3(z)189--189, 4(z)73--73, 7(z)173--173,
7(z)283--283
-
rapidly, 4(z)3--3, 4(z)47--47, 4(z)72--72, 4(z)74--74, 4(z)182--182,
4(z)187--187, 5(z)117--117
-
Rapoport, Marianna, 1(z)46--46, 3(z)145--145, 4(z)45--45
-
Rapoport, Marianna, see Jung, Ralf
-
Rapoport:2017:SSP, 1(z)46--46
-
Rapoport:2019:PDF, 3(z)145--145
-
rarely, 2(z)79--79, 2(z)159--159
-
Rastogi, Aseem, 1(z)17--17, 2(z)65--65, 4(z)121--121, 5(z)85--85
-
Rastogi, Aseem, see Ahman, Danel,
see Fromherz, Aymeric,
see Protzenko, Jonathan,
see Swamy, Nikhil
-
rate, 3(z)125--125, 4(z)210--210, 6(z)4--4
-
Rate-Based, 7(z)278--278
-
rate-based, 7(z)278--278
-
rather, 2(z)134--134, 3(z)124--124, 4(z)71--71, 4(z)78--78, 4(z)84--84,
4(z)147--147, 4(z)177--177, 5(z)43--43, 6(z)116--116, 7(z)68--68,
7(z)193--193, 8(z)118--118
-
rational, 2(z)113--113
-
rationale, 4(z)71--71, 8(z)43--43
-
RaTT, 3(z)109--109
-
Raval, Harmit, 5(z)131--131
-
Raval, Harmit, see Sorensen, Tyler
-
Ravara, António, 7(z)226--226, see Paulino, Hervé
-
Ravi, Srivatsan, 4(z)198--198
-
Ravi, Srivatsan, see Sang, Bo
-
Ravitch, Tristan, 3(z)100--100
-
Ravitch, Tristan, see Christiansen, David Thrane
-
raw, 2(z)125--125, 4(z)136--136, 7(z)94--94
-
Ray, Baishakhi, 8(z)108--108
-
Ray, Baishakhi, see Ding, Yangruibo
-
Raza, Mohammad, 4(z)212--212, 5(z)158--158, 6(z)139--139
-
Raza, Mohammad, see Gulwani, Sumit,
see Rahmani, Kia, \see{Zhang, Yuhao
-
RDTs, 5(z)107--107, 7(z)227--227
-
re-analysis, 2(z)139--139
-
re-compile, 4(z)74--74
-
re-link, 4(z)74--74
-
reach, 7(z)233--233, 7(z)253--253, 8(z)32--32
-
reachability, 2(z)30--30, 3(z)121--121, 4(z)178--178, 5(z)56--56,
5(z)139--139, 6(z)12--12, 6(z)15--15, 6(z)41--41, 6(z)176--176,
6(z)180--180, 7(z)35--35, 7(z)59--59, 7(z)77--77, 7(z)119--119,
7(z)190--190, 7(z)289--289, 8(z)4--4, 8(z)14--14, 8(z)42--42,
8(z)91--91, 8(z)145--145
-
reachability, CFL-, 6(z)180--180, 7(z)119--119, 8(z)145--145
-
reachability, Dyck-, 6(z)62--62
-
reachability, Dyck-, 5(z)59--59, 6(z)62--62
-
reachability, non-, 4(z)59--59
-
reachable, 2(z)108--108, 5(z)145--145, 6(z)180--180
-
Reaching, 7(z)253--253
-
react, 2(z)129--129
-
reactions, 2(z)162--162
-
reactive, 1(z)2--2, 2(z)67--67, 2(z)96--96, 2(z)107--107, 2(z)152--152,
3(z)4--4, 3(z)109--109, 4(z)54--54, 5(z)2--2, 7(z)56--56,
7(z)205--205, 8(z)57--57
-
read, 4(z)26--26, 4(z)80--80, 6(z)163--163, 8(z)21--21
-
read--eval--synth, 4(z)159--159
-
Read-Eval-Print, 4(z)159--159
-
read-write, 3(z)189--189
-
readability, 4(z)29--29
-
readable, 8(z)119--119
-
readers, 7(z)165--165
-
readily, 4(z)73--73, 4(z)137--137, 4(z)220--220, 5(z)139--139
-
readily-available, 5(z)134--134
-
Reads-From, 7(z)137--137
-
reads-from, 3(z)150--150, 5(z)164--164, 8(z)21--21
-
read/write, 3(z)137--137
-
Ready, 2(z)89--89
-
real, 3(z)28--28, 3(z)99--99, 3(z)118--118, 3(z)179--179, 4(z)38--38,
5(z)28--28, 6(z)81--81, 7(z)253--253
-
real-time, 4(z)20--20, 4(z)183--183, 6(z)127--127
-
real-valued, 2(z)87--87
-
Real-World, 7(z)148--148
-
real-world, 2(z)69--69, 2(z)89--89, 2(z)113--113, 2(z)115--115,
2(z)150--150, 2(z)159--159, 3(z)29--29, 3(z)132--132, 3(z)155--155,
3(z)170--170, 4(z)6--6, 4(z)41--41, 4(z)60--60, 4(z)146--146,
4(z)214--214, 5(z)17--17, 5(z)122--122, 6(z)20--20, 6(z)43--43,
6(z)88--88, 7(z)86--86, 7(z)253--253, 7(z)282--282, 8(z)132--132
-
realistic, 2(z)66--66, 3(z)171--171, 4(z)7--7, 5(z)13--13, 6(z)43--43
-
realization, 2(z)109--109
-
realize, 5(z)152--152
-
realm, 6(z)37--37, 7(z)88--88
-
reap, 5(z)111--111
-
reason, 2(z)66--66, 2(z)126--126, 2(z)157--157, 3(z)121--121,
3(z)147--147, 3(z)157--157, 4(z)24--24, 4(z)34--34, 4(z)115--115,
4(z)226--226, 5(z)35--35, 5(z)42--42, 5(z)50--50, 5(z)59--59,
5(z)96--96, 6(z)50--50, 6(z)112--112, 6(z)116--116, 6(z)169--169,
7(z)191--191, 7(z)204--204, 7(z)297--297, 7(z)299--299,
7(z)300--300, 8(z)6--6
-
reasonable, 3(z)189--189, 4(z)27--27, 6(z)119--119
-
reasonably, 2(z)106--106, 3(z)108--108, 6(z)124--124
-
Rebuilding, 3(z)78--78
-
rebuilt, 3(z)78--78
-
rec, 5(z)45--45
-
recall, 2(z)139--139, 3(z)160--160, 3(z)170--170
-
Recalling, 2(z)65--65
-
receive, 2(z)161--161, 3(z)134--134, 4(z)200--200, 6(z)157--157,
6(z)184--184
-
received, 4(z)190--190, 5(z)38--38
-
receiving, 5(z)72--72
-
recent, 2(z)94--94, 2(z)143--143, 3(z)26--26, 3(z)94--94, 3(z)100--100,
3(z)133--133, 3(z)155--155, 3(z)161--161, 3(z)178--178, 4(z)35--35,
4(z)53--53, 4(z)81--81, 4(z)116--116, 4(z)121--121, 4(z)182--182,
4(z)189--189, 4(z)190--190, 4(z)202--202, 4(z)227--227, 5(z)23--23,
5(z)47--47, 5(z)91--91, 5(z)97--97, 5(z)156--156, 6(z)9--9,
6(z)19--19, 6(z)32--32, 6(z)35--35, 6(z)42--42, 6(z)83--83,
6(z)115--115, 6(z)166--166, 6(z)168--168, 6(z)179--179, 7(z)58--58,
7(z)78--78, 7(z)91--91, 7(z)95--95, 7(z)113--113, 7(z)162--162,
7(z)167--167, 7(z)171--171, 7(z)247--247, 7(z)296--296, 8(z)35--35,
8(z)49--49, 8(z)53--53, 8(z)83--83
-
recently, 2(z)160--160, 2(z)162--162, 2(z)163--163, 3(z)8--8, 3(z)17--17,
3(z)85--85, 3(z)108--108, 3(z)142--142, 3(z)162--162, 3(z)174--174,
3(z)189--189, 4(z)16--16, 4(z)126--126, 4(z)139--139, 4(z)185--185,
4(z)192--192, 5(z)56--56, 5(z)82--82, 6(z)34--34, 6(z)64--64,
6(z)81--81, 6(z)93--93, 6(z)103--103, 6(z)107--107, 6(z)119--119,
6(z)162--162, 7(z)84--84, 7(z)93--93, 7(z)213--213, 8(z)5--5,
8(z)91--91
-
recently-disclosed, 3(z)189--189
-
reclamation, 2(z)143--143, 4(z)34--34, 4(z)68--68, 5(z)149--149,
7(z)251--251
-
recognition, 6(z)40--40, 6(z)73--73
-
recognizer, 5(z)151--151
-
recommendation, 3(z)152--152, 3(z)158--158
-
recommended, 5(z)148--148
-
recompiling, 4(z)81--81
-
reconcile, 4(z)198--198
-
reconciled, 2(z)120--120
-
reconciliation, 7(z)68--68
-
reconciling, 2(z)125--125, 5(z)91--91, 5(z)142--142, 7(z)68--68
-
reconditioning, 7(z)180--180
-
reconfigurable, 6(z)130--130
-
reconfiguration, 6(z)130--130
-
reconfiguring, 7(z)290--290
-
reconstruction, 2(z)113--113
-
reconstructs, 6(z)9--9
-
Record, 7(z)31--31
-
records, 7(z)31--31, 7(z)196--196, 7(z)201--201
-
Recoules, Frédéric, 8(z)91--91,
see Sellami, Yanis
-
recounted, 4(z)69--69
-
recounts, 4(z)71--71
-
Recoverability, 7(z)118--118
-
recovered, 4(z)28--28
-
Recovering, 4(z)111--111
-
recovery, 2(z)153--153, 8(z)68--68
-
recurrence, 4(z)15--15, 4(z)97--97, 5(z)48--48, 5(z)138--138, 7(z)76--76,
8(z)103--103
-
recurrent, 3(z)158--158
-
recurring, 3(z)159--159, 5(z)164--164
-
recursion, 2(z)39--39, 2(z)87--87, 3(z)86--86, 3(z)166--166, 5(z)2--2,
5(z)87--87, 5(z)96--96, 6(z)16--16, 6(z)170--170, 7(z)3--3,
7(z)40--40, 7(z)210--210, 7(z)234--234, 7(z)271--271
-
recursion, tail-, 7(z)40--40
-
recursion-theoretic, 8(z)37--37
-
recursive, 1(z)76--76, 2(z)85--85, 3(z)4--4, 3(z)111--111, 3(z)166--166,
4(z)51--51, 4(z)228--228, 5(z)10--10, 5(z)21--21, 5(z)45--45,
5(z)91--91, 6(z)17--17, 6(z)21--21, 6(z)60--60, 6(z)90--90,
7(z)48--48, 7(z)61--61, 7(z)70--70, 7(z)98--98, 7(z)119--119,
7(z)141--141, 7(z)149--149, 7(z)197--197, 7(z)211--211,
7(z)271--271, 8(z)2--2, 8(z)34--34, 8(z)59--59
-
Recursive, Iso-, 7(z)234--234
-
recursive, Iso-, 7(z)234--234
-
recursive, iso-, 4(z)223--223, 5(z)21--21
-
recursive, mutually-, 5(z)45--45
-
recursive, Non-, 7(z)70--70
-
recursive, tail-, 7(z)40--40
-
recursively, 4(z)22--22, 5(z)30--30, 6(z)16--16, 6(z)191--191,
8(z)90--90
-
recursors, 8(z)15--15
-
Recursors, Epi-, 8(z)15--15
-
rediscovered, 7(z)68--68, 7(z)69--69
-
Redmond, Patrick, 4(z)216--216, 8(z)113--113
-
Redmond, Patrick, see Castello, Jonathan,
see Liu, Yiyun
-
redo-logs, 3(z)183--183
-
redo/undo, 4(z)118--118
-
reduce, 2(z)72--72, 2(z)99--99, 2(z)149--149, 3(z)26--26, 3(z)119--119,
3(z)170--170, 4(z)14--14, 4(z)59--59, 4(z)135--135, 4(z)176--176,
6(z)47--47, 6(z)64--64, 6(z)75--75, 6(z)159--159, 6(z)160--160,
7(z)115--115, 7(z)188--188, 7(z)193--193
-
reduced, 2(z)143--143, 5(z)4--4, 6(z)192--192
-
reducibility, 3(z)166--166
-
reducible, 5(z)31--31
-
reducing, 2(z)26--26, 2(z)130--130, 3(z)141--141, 3(z)170--170,
6(z)145--145, 6(z)160--160, 7(z)180--180, 8(z)92--92
-
reduction, 2(z)31--31, 2(z)47--47, 3(z)80--80, 3(z)124--124,
3(z)150--150, 3(z)173--173, 3(z)186--186, 4(z)13--13, 4(z)31--31,
4(z)98--98, 4(z)178--178, 5(z)19--19, 5(z)20--20, 5(z)128--128,
6(z)49--49, 7(z)97--97, 7(z)129--129, 7(z)206--206, 7(z)266--266,
7(z)267--267, 8(z)32--32, 8(z)83--83
-
reduction, beta-, 4(z)27--27
-
redundancy, 1(z)74--74, 2(z)117--117, 6(z)180--180
-
redundant, 3(z)177--177, 4(z)107--107, 6(z)4--4, 8(z)120--120
-
reentrant, 5(z)17--17
-
Reese, Josh, 3(z)132--132
-
Reese, Josh, see Mariano, Benjamin
-
refactoring, 2(z)138--138, 3(z)158--158, 3(z)170--170, 6(z)145--145,
7(z)241--241, 7(z)245--245, 8(z)28--28
-
refactoring-aware, 3(z)170--170
-
refactoring-related, 3(z)170--170
-
refer, 4(z)215--215, 5(z)117--117, 5(z)158--158
-
reference, 2(z)151--151, 3(z)121--121, 3(z)147--147, 3(z)158--158,
4(z)59--59, 4(z)208--208, 5(z)145--145, 6(z)103--103, 7(z)88--88,
7(z)94--94, 7(z)252--252, 7(z)270--270
-
reference-tracing, 7(z)115--115
-
references, self-, 4(z)9--9
-
Referencing, 7(z)109--109
-
referred, 2(z)99--99, 2(z)162--162, 3(z)163--163
-
refine, 3(z)21--21, 7(z)68--68, 8(z)92--92
-
Refine, Self-, 8(z)108--108
-
refined, 5(z)7--7
-
refinement, 1(z)26--26, 2(z)12--12, 2(z)36--36, 2(z)53--53, 2(z)63--63,
2(z)132--132, 2(z)142--142, 3(z)131--131, 3(z)140--140,
3(z)166--166, 3(z)178--178, 4(z)12--12, 4(z)24--24, 4(z)141--141,
4(z)148--148, 4(z)152--152, 4(z)216--216, 5(z)16--16, 5(z)19--19,
5(z)55--55, 5(z)71--71, 6(z)4--4, 6(z)42--42, 6(z)112--112,
6(z)150--150, 7(z)1--1, 7(z)39--39, 7(z)47--47, 7(z)73--73,
7(z)169--169, 7(z)195--195, 7(z)281--281, 8(z)5--5, 8(z)9--9,
8(z)70--70, 8(z)72--72
-
refinement-typed, 3(z)106--106
-
Refis, Thomas, 2(z)103--103
-
Refis, Thomas, see Bour, Frédéric
-
reflect, 2(z)109--109, 2(z)120--120, 3(z)23--23, 4(z)160--160,
5(z)139--139, 7(z)68--68, 7(z)200--200, 7(z)237--237
-
Reflecting, 7(z)200--200
-
reflection, 1(z)13--13, 2(z)53--53, 6(z)98--98, 7(z)210--210, 8(z)25--25
-
Reflection-aware, 3(z)187--187
-
reflection-like, 6(z)16--16
-
reflective, 7(z)200--200
-
reformulate, 7(z)60--60
-
refresh, 2(z)152--152
-
Refunctionalization, 2(z)105--105
-
Refuting, 7(z)289--289
-
regarded, 4(z)80--80, 5(z)162--162
-
regardless, 3(z)151--151
-
Regehr, John, 2(z)125--125, 4(z)177--177, 4(z)196--196, 7(z)181--181,
8(z)120--120
-
Regehr, John, see Lee, Juneyoung,
see Livinskii, Vsevolod,
see Mukherjee, Manasij
-
regenerate, 5(z)40--40
-
RegEx, 6(z)45--45
-
regex, 4(z)218--218, 7(z)92--92, 7(z)148--148, 7(z)173--173, 8(z)92--92
-
Regex-dependent, 6(z)45--45
-
regex-like, 2(z)150--150
-
region, 6(z)56--56, 7(z)81--81, 7(z)115--115, 7(z)142--142, 7(z)255--255,
7(z)270--270
-
Region-Based, 7(z)115--115, 7(z)283--283
-
region-based, 6(z)116--116, 7(z)204--204
-
Régis-Gianas, Yann, 2(z)78--78,
see Kaiser, Jan-Oliver
-
register, 4(z)218--218, 6(z)92--92, 7(z)188--188
-
register-transfer, 4(z)87--87
-
registered, 4(z)207--207
-
regression, 3(z)187--187, 4(z)184--184, 4(z)202--202, 7(z)20--20
-
regret, 4(z)93--93
-
regular, 3(z)139--139, 4(z)74--74, 4(z)108--108, 4(z)112--112,
4(z)218--218, 5(z)1--1, 5(z)48--48, 6(z)45--45, 6(z)105--105,
7(z)92--92, 7(z)160--160, 7(z)173--173, 7(z)287--287, 7(z)296--296,
8(z)22--22, 8(z)73--73, 8(z)92--92, 8(z)138--138
-
regular, non-, 3(z)139--139
-
regular-expression, 4(z)122--122
-
Rehof, Jakob, 3(z)8--8
-
Rehof, Jakob, see Dudenhefner, Andrej
-
REI, 7(z)160--160
-
Reichenbach, Christoph, 5(z)165--165
-
Reichenbach, Christoph, see Dura, Alexandru
-
Reid, Alastair, 1(z)88--88
-
Reid, John, 4(z)72--72
-
Reid:2017:WGG, 1(z)88--88
-
Reid:2020:HCS, 4(z)72--72
-
reifying, 6(z)109--109
-
reimplemented, 4(z)81--81
-
reinforcement, 3(z)141--141, 7(z)193--193
-
reinforces, 4(z)185--185
-
Reiter, Michael K., 5(z)141--141
-
Reiter, Michael K., see Zhou, Ziqiao
-
relate, 3(z)141--141, 6(z)135--135
-
related, 4(z)84--84, 4(z)219--219, 5(z)12--12, 5(z)110--110,
5(z)167--167, 6(z)7--7, 8(z)55--55
-
related, asset-, 4(z)132--132
-
related, memory-model-, 2(z)125--125
-
related, nondeterminism-, 3(z)189--189
-
related, promise-, 2(z)162--162
-
related, refactoring-, 3(z)170--170
-
related, typing-, 5(z)123--123
-
relating, 8(z)26--26
-
relation, 2(z)45--45, 2(z)64--64, 2(z)80--80, 2(z)113--113, 3(z)178--178,
4(z)38--38, 4(z)114--114, 4(z)119--119, 5(z)10--10, 5(z)13--13,
5(z)14--14, 5(z)23--23, 5(z)86--86, 5(z)114--114, 5(z)138--138,
6(z)18--18, 6(z)33--33, 6(z)44--44, 6(z)49--49, 6(z)100--100,
7(z)2--2, 7(z)49--49, 7(z)63--63, 7(z)64--64, 7(z)68--68,
7(z)178--178, 7(z)219--219, 7(z)275--275, 8(z)21--21, 8(z)31--31
-
relational, 1(z)21--21, 2(z)8--8, 2(z)36--36, 2(z)74--74, 2(z)86--86,
2(z)155--155, 2(z)156--156, 2(z)157--157, 3(z)17--17, 3(z)92--92,
3(z)105--105, 3(z)117--117, 3(z)141--141, 4(z)4--4, 4(z)21--21,
4(z)56--56, 4(z)170--170, 5(z)14--14, 5(z)110--110, 6(z)31--31,
6(z)35--35, 6(z)112--112, 6(z)150--150, 7(z)8--8, 7(z)20--20,
7(z)83--83, 7(z)271--271, 8(z)26--26
-
relational, stream-, 2(z)67--67
-
relationally-specified, 5(z)67--67
-
relationship, 3(z)142--142, 6(z)4--4, 8(z)113--113, 8(z)119--119
-
relative, 4(z)31--31, 4(z)210--210
-
relatively, 2(z)12--12, 5(z)33--33, 5(z)39--39, 5(z)72--72, 5(z)121--121
-
Relativization, 7(z)42--42
-
Relativizing, 7(z)42--42
-
relaxed, 2(z)18--18, 3(z)133--133, 4(z)34--34, 4(z)194--194,
4(z)226--226, 5(z)4--4, 5(z)99--99, 7(z)53--53, 8(z)21--21
-
relaxed-memory, 4(z)34--34, 6(z)54--54
-
release, 4(z)58--58, 4(z)71--71, 6(z)59--59, 6(z)168--168
-
release--acquire, 6(z)189--189
-
Release-Acquire, 2(z)135--135, 5(z)99--99
-
release-acquire, 2(z)135--135, 5(z)99--99
-
release/acquire, 5(z)4--4
-
released, 4(z)71--71
-
relevance, 6(z)4--4, 7(z)287--287, 8(z)39--39
-
relevant, 6(z)22--22, 6(z)43--43, 7(z)8--8, 8(z)2--2
-
Relevant, Proof-, 7(z)8--8
-
reliability, 3(z)88--88, 3(z)144--144, 3(z)160--160, 4(z)20--20
-
reliable, 1(z)98--98, 3(z)88--88, 3(z)146--146, 4(z)8--8, 4(z)17--17,
4(z)123--123, 7(z)159--159, 7(z)217--217
-
reliance, 3(z)153--153
-
reliant, 5(z)117--117
-
relieve, 4(z)204--204, 6(z)116--116
-
reloaded, 3(z)86--86
-
Relooper, 6(z)90--90
-
ReLU, 8(z)75--75
-
rely, 2(z)109--109, 2(z)113--113, 2(z)149--149, 2(z)165--165,
2(z)166--166, 3(z)101--101, 3(z)125--125, 3(z)129--129,
3(z)166--166, 3(z)170--170, 3(z)183--183, 4(z)47--47, 4(z)60--60,
4(z)96--96, 4(z)166--166, 4(z)183--183, 4(z)195--195, 5(z)60--60,
5(z)116--116, 5(z)119--119, 6(z)42--42, 6(z)55--55, 6(z)116--116,
7(z)132--132, 7(z)158--158, 7(z)212--212, 7(z)259--259,
7(z)273--273, 8(z)9--9, 8(z)94--94, 8(z)120--120
-
relying, 3(z)189--189, 4(z)124--124, 4(z)177--177, 6(z)134--134,
6(z)159--159
-
remain, 2(z)143--143, 3(z)78--78, 3(z)124--124, 3(z)159--159,
3(z)172--172, 3(z)188--188, 4(z)9--9, 4(z)11--11, 4(z)84--84,
4(z)114--114, 4(z)140--140, 4(z)146--146, 4(z)224--224, 5(z)53--53,
5(z)97--97, 5(z)164--164, 6(z)37--37, 6(z)174--174, 7(z)15--15,
7(z)182--182, 7(z)257--257, 7(z)263--263, 8(z)111--111
-
remained, 2(z)95--95, 3(z)98--98, 4(z)74--74
-
remaining, 2(z)113--113, 4(z)91--91, 7(z)68--68
-
remarkably, 4(z)74--74
-
remedy, 5(z)69--69
-
ReML, 8(z)79--79
-
remote, 4(z)72--72
-
remove, 3(z)102--102, 7(z)115--115, 8(z)120--120
-
removed, 2(z)125--125
-
removing, 7(z)266--266
-
Rémy, Didier, 2(z)21--21, 8(z)101--101,
see Clement, Blaudeau,
see Williams, Thomas
-
renaming, 7(z)31--31
-
Renaux, Thierry, 7(z)227--227
-
Renaux:2023:SRE, 7(z)227--227
-
Renda, Alex, 7(z)280--280
-
Renda:2023:TCG, 7(z)280--280
-
rendered, 2(z)156--156
-
rendez-vous, 7(z)55--55
-
rennaissance, 4(z)74--74
-
Rennels, Lisa, 7(z)275--275
-
Rennels:2023:HDE, 7(z)275--275
-
reorder, 4(z)41--41, 4(z)158--158, 6(z)54--54, 6(z)170--170
-
rep, K-, 3(z)99--99
-
repair, 3(z)139--139, 4(z)60--60, 6(z)159--159, 6(z)164--164,
6(z)167--167, 7(z)107--107, 7(z)124--124
-
repaired, 6(z)159--159
-
repairing, 3(z)139--139, 6(z)159--159, 6(z)167--167, 7(z)173--173,
8(z)133--133
-
repeat, 2(z)152--152
-
repeated, 2(z)139--139, 4(z)93--93, 4(z)184--184, 4(z)219--219
-
repeatedly, 4(z)159--159, 5(z)54--54, 5(z)159--159, 6(z)17--17
-
repetition, 4(z)218--218
-
repetitive, 3(z)143--143, 3(z)159--159, 5(z)100--100, 6(z)53--53
-
REPL, 4(z)159--159
-
replace, 3(z)128--128, 5(z)148--148
-
ReplaceAll, 2(z)3--3
-
replaced, 4(z)80--80
-
replacement, 3(z)125--125, 4(z)52--52, 6(z)68--68
-
replacing, 2(z)138--138, 4(z)1--1
-
replaying, 2(z)76--76
-
replica, 3(z)138--138, 3(z)154--154, 7(z)227--227
-
replicate, 4(z)84--84
-
replicated, 3(z)106--106, 3(z)154--154, 3(z)185--185, 4(z)94--94,
4(z)216--216, 5(z)107--107, 6(z)173--173, 6(z)188--188,
7(z)162--162, 7(z)227--227
-
replicated, geo-, 3(z)154--154
-
replication, 2(z)164--164, 3(z)138--138
-
report, 1(z)3--3, 1(z)9--9, 2(z)82--82, 2(z)89--89, 2(z)103--103,
2(z)116--116, 2(z)162--162, 3(z)78--78, 3(z)100--100, 3(z)115--115,
3(z)116--116, 3(z)189--189, 4(z)143--143, 6(z)102--102,
6(z)108--108, 6(z)122--122, 7(z)45--45, 7(z)192--192, 7(z)197--197,
7(z)199--199, 7(z)215--215, 7(z)218--218
-
reported, 2(z)113--113, 3(z)189--189
-
reporting, 3(z)9--9
-
repository, 4(z)212--212, 6(z)108--108, 6(z)142--142
-
Reppy, John, 4(z)86--86, 6(z)114--114
-
Reppy, John, see MacQueen, David,
see Quiring, Benjamin
-
represent, 3(z)4--4, 3(z)27--27, 4(z)233--233, 5(z)23--23, 5(z)58--58,
6(z)4--4, 7(z)35--35, 7(z)68--68
-
representation, 2(z)84--84, 2(z)119--119, 2(z)125--125, 3(z)99--99,
3(z)101--101, 3(z)162--162, 3(z)169--169, 3(z)189--189,
4(z)136--136, 4(z)137--137, 4(z)157--157, 4(z)221--221,
4(z)233--233, 5(z)12--12, 5(z)29--29, 5(z)37--37, 5(z)40--40,
5(z)91--91, 5(z)95--95, 5(z)102--102, 6(z)1--1, 6(z)3--3, 6(z)77--77,
6(z)159--159, 7(z)17--17, 7(z)60--60, 7(z)65--65, 7(z)154--154,
7(z)183--183, 7(z)216--216, 7(z)236--236, 7(z)293--293, 8(z)28--28,
8(z)84--84
-
representative, 6(z)25--25, 6(z)84--84
-
represented, 4(z)150--150, 6(z)90--90
-
represented, heap-, 3(z)171--171
-
representing, 2(z)66--66, 2(z)122--122, 4(z)51--51, 4(z)140--140,
5(z)9--9, 5(z)27--27, 6(z)101--101, 7(z)61--61, 8(z)12--12
-
reproduce, 4(z)185--185, 4(z)230--230, 5(z)36--36
-
reproduction, 4(z)60--60
-
Reps, Thomas, 1(z)61--61, 2(z)54--54, 5(z)30--30, 5(z)59--59,
6(z)171--171, 7(z)23--23, 7(z)35--35, 7(z)285--285, 8(z)105--105
-
Reps, Thomas, see Kalita, Pankaj Kumar,
see Kim, Jinwoo, \see{Kincaid, Zachary,
see Li, Yuanbo, \see{Park, Kanghee,
see Srinivasan, Venkatesh, \see{Wang, Di
-
repurposed, 7(z)200--200
-
repurposes, 5(z)23--23
-
requests, 2(z)152--152
-
require, 2(z)81--81, 2(z)96--96, 2(z)103--103, 2(z)109--109,
2(z)125--125, 2(z)129--129, 2(z)151--151, 3(z)84--84, 3(z)130--130,
3(z)147--147, 3(z)160--160, 3(z)188--188, 4(z)20--20, 4(z)23--23,
4(z)29--29, 4(z)84--84, 4(z)103--103, 4(z)118--118, 4(z)136--136,
4(z)143--143, 4(z)165--165, 4(z)179--179, 4(z)184--184,
4(z)188--188, 4(z)191--191, 5(z)17--17, 5(z)98--98, 5(z)122--122,
5(z)148--148, 6(z)20--20, 6(z)30--30, 6(z)36--36, 6(z)57--57,
6(z)69--69, 6(z)70--70, 6(z)86--86, 6(z)91--91, 6(z)127--127,
6(z)143--143, 6(z)159--159, 6(z)192--192, 7(z)82--82, 7(z)171--171,
7(z)194--194, 7(z)253--253, 7(z)287--287, 8(z)28--28, 8(z)124--124,
8(z)126--126
-
required, 3(z)23--23, 3(z)83--83, 3(z)115--115, 3(z)138--138,
3(z)140--140, 3(z)164--164, 4(z)73--73, 4(z)166--166, 5(z)63--63
-
requirement, 4(z)74--74, 6(z)159--159
-
requiring, 2(z)134--134, 4(z)40--40, 5(z)109--109, 6(z)80--80,
7(z)93--93
-
Rerolling, 7(z)123--123
-
rerunning, 3(z)187--187
-
research, 2(z)108--108, 2(z)128--128, 3(z)81--81, 3(z)94--94,
3(z)112--112, 3(z)142--142, 3(z)189--189, 4(z)43--43, 4(z)82--82,
4(z)84--84, 4(z)86--86, 4(z)121--121, 4(z)199--199, 5(z)5--5,
5(z)123--123, 5(z)127--127, 6(z)53--53, 6(z)100--100, 6(z)115--115,
7(z)38--38, 7(z)177--177, 7(z)239--239, 7(z)257--257, 7(z)275--275,
8(z)48--48
-
researchers, 2(z)163--163, 3(z)125--125, 3(z)158--158, 3(z)174--174,
4(z)84--84, 4(z)126--126, 4(z)163--163, 5(z)106--106, 6(z)14--14,
7(z)253--253, 7(z)280--280
-
resembles, 7(z)232--232
-
reserved, 4(z)81--81
-
reset, 3(z)96--96, 4(z)44--44
-
resilient, 2(z)163--163, 3(z)165--165, 7(z)159--159
-
resilient, error-, 7(z)222--222
-
resizing, 3(z)133--133, 6(z)116--116
-
resolution, 1(z)57--57, 2(z)166--166, 3(z)91--91, 4(z)180--180,
4(z)206--206, 8(z)86--86
-
Resolvable, 7(z)58--58
-
resolve, 1(z)83--83, 2(z)166--166, 4(z)94--94
-
resolved, 3(z)170--170, 5(z)64--64
-
resolving, 2(z)166--166, 3(z)170--170, 5(z)159--159, 8(z)93--93
-
resort, 6(z)148--148, 7(z)198--198
-
resource, 2(z)66--66, 2(z)116--116, 3(z)13--13, 3(z)25--25, 3(z)110--110,
3(z)161--161, 4(z)1--1, 4(z)17--17, 4(z)24--24, 4(z)34--34,
4(z)103--103, 4(z)106--106, 4(z)130--130, 4(z)144--144,
4(z)172--172, 4(z)184--184, 5(z)50--50, 5(z)76--76, 6(z)11--11,
6(z)76--76, 6(z)95--95, 6(z)163--163, 7(z)85--85, 7(z)179--179,
7(z)223--223, 7(z)228--228, 7(z)282--282, 8(z)21--21, 8(z)54--54,
8(z)107--107
-
Resource-Aware, 7(z)66--66, 7(z)267--267
-
resource-aware, 7(z)267--267
-
resource-bounded, 5(z)93--93
-
resourceful, 6(z)100--100
-
respect, 3(z)122--122, 3(z)166--166, 4(z)180--180, 5(z)104--104,
7(z)110--110, 8(z)15--15, 8(z)21--21
-
respecting, 2(z)125--125
-
response, 3(z)182--182, 4(z)160--160, 4(z)227--227, 6(z)140--140
-
responsibility, 4(z)136--136
-
responsible, 7(z)161--161
-
responsive, 3(z)81--81, 7(z)135--135
-
responsiveness, 7(z)135--135
-
rest, 3(z)96--96, 4(z)215--215
-
Rest, Cas van der, 6(z)105--105, 6(z)192--192, 7(z)62--62
-
Rest, Cas van der, see Poulsen, Casper Bach
-
restart, 4(z)74--74
-
restricted, 4(z)106--106, 7(z)264--264
-
restricted, grammar-, 6(z)10--10
-
restricting, 1(z)82--82, 4(z)61--61, 4(z)117--117
-
restriction, 3(z)102--102, 4(z)99--99, 4(z)117--117, 4(z)136--136,
6(z)65--65, 7(z)80--80, 7(z)226--226
-
restricts, 2(z)116--116
-
restructures, 2(z)138--138
-
result, 2(z)94--94, 2(z)121--121, 2(z)136--136, 2(z)162--162, 3(z)82--82,
3(z)85--85, 3(z)99--99, 3(z)177--177, 3(z)186--186, 4(z)25--25,
4(z)55--55, 4(z)60--60, 4(z)128--128, 4(z)132--132, 4(z)136--136,
4(z)142--142, 4(z)162--162, 4(z)172--172, 4(z)211--211, 5(z)15--15,
5(z)28--28, 5(z)44--44, 5(z)66--66, 5(z)103--103, 5(z)147--147,
5(z)148--148, 6(z)3--3, 6(z)10--10, 6(z)116--116, 6(z)159--159,
7(z)27--27, 7(z)71--71, 7(z)94--94, 7(z)149--149, 7(z)235--235,
7(z)253--253, 8(z)50--50, 8(z)65--65, 8(z)87--87, 8(z)92--92
-
resulting, 2(z)101--101, 3(z)78--78, 4(z)161--161, 5(z)82--82, 6(z)2--2,
6(z)3--3, 6(z)97--97, 6(z)103--103, 7(z)143--143, 7(z)253--253,
7(z)300--300
-
resumable, 2(z)116--116
-
resume, 8(z)20--20
-
resuming, 5(z)33--33
-
resumptions, 4(z)99--99
-
ReSync, 4(z)213--213
-
retail, 4(z)71--71
-
retain, 5(z)31--31, 7(z)68--68
-
rethink, 2(z)118--118
-
Rethinking, 4(z)188--188
-
retraces, 2(z)127--127
-
retrieval, 4(z)170--170
-
retrieving, 5(z)132--132
-
Retrofitting, 4(z)113--113
-
Retry, 7(z)159--159
-
return, 3(z)160--160, 4(z)205--205, 5(z)148--148, 6(z)58--58,
6(z)176--176, 8(z)20--20
-
returning, 5(z)148--148
-
reusability, 7(z)260--260
-
reusable, 2(z)149--149, 3(z)176--176, 5(z)116--116, 6(z)33--33,
6(z)47--47, 6(z)109--109, 7(z)14--14
-
reuse, 2(z)104--104, 4(z)7--7, 4(z)104--104, 5(z)154--154, 6(z)103--103,
6(z)168--168, 7(z)120--120
-
reused, 6(z)98--98
-
reusing, 1(z)51--51, 4(z)199--199, 6(z)192--192, 7(z)263--263
-
revealed, 5(z)129--129
-
revealing, 4(z)203--203
-
reveals, 2(z)145--145, 3(z)160--160, 5(z)95--95
-
reverse, 2(z)70--70, 3(z)125--125, 4(z)102--102, 4(z)225--225,
5(z)28--28, 7(z)54--54, 8(z)143--143
-
reverse-engineering, 5(z)122--122
-
reverse-mode, 4(z)38--38, 6(z)48--48, 7(z)54--54
-
reverse-which, 7(z)43--43
-
reversible, 5(z)9--9, 6(z)6--6, 8(z)19--19
-
review, 3(z)153--153, 4(z)72--72, 4(z)136--136
-
revised, 3(z)24--24
-
revision, 4(z)184--184, 8(z)49--49
-
revisit, 3(z)89--89
-
revisited, 3(z)17--17, 3(z)30--30, 3(z)169--169, 6(z)52--52
-
Revisiting, 4(z)223--223
-
reviver, 5(z)53--53
-
revocation, 5(z)6--6
-
revolutionized, 4(z)87--87
-
revolved, 3(z)81--81
-
rew, 5(z)60--60
-
rewrite, 4(z)92--92, 5(z)74--74, 5(z)119--119, 6(z)55--55, 6(z)148--148,
7(z)40--40, 7(z)258--258
-
rewrite-based, 6(z)91--91
-
rewriting, 4(z)112--112, 4(z)166--166, 7(z)63--63, 7(z)77--77, 8(z)3--3,
8(z)58--58, 8(z)132--132
-
rewritten, 2(z)104--104
-
Reynaud, Alban, 5(z)45--45, 6(z)188--188
-
Reynaud, Alban, see Nieto, Abel
-
Reynaud:2021:PMS, 5(z)45--45
-
Reynolds, Adam, 4(z)106--106
-
Reynolds, Adam, see Knoth, Tristan
-
Rezvan, Rojin, 4(z)26--26
-
Rezvan, Rojin, see Abdulla, Parosh Aziz
-
RFixer, 3(z)139--139
-
Rhombus, 7(z)242--242
-
Ribeiro, Rodrigo G., 2(z)29--29
-
Ribeiro, Rodrigo G., see Melo, Leandro T. C.
-
Ricciotti, Wilmer, 1(z)14--14
-
Ricciotti:2017:IFP, 1(z)14--14
-
Rice, Andrew, 1(z)75--75, 1(z)104--104
-
Rice, Andrew, see Orchard, Dominic
-
Rice:2017:DAS, 1(z)104--104
-
rich, 2(z)77--77, 2(z)115--115, 2(z)120--120, 3(z)131--131, 5(z)14--14,
5(z)145--145, 5(z)146--146, 6(z)4--4, 6(z)15--15, 6(z)18--18,
6(z)82--82, 6(z)116--116, 7(z)3--3, 7(z)68--68, 7(z)203--203,
7(z)218--218, 7(z)243--243
-
Richards, Gregor, 1(z)55--55
-
Richards:2017:VAK, 1(z)55--55
-
Richey, Cynthia, 7(z)258--258
-
Richey, Cynthia, see Pal, Anjali
-
richly-typed, 5(z)13--13
-
Rieg, Lionel, 4(z)20--20
-
Rieg, Lionel, see Liu, Mengqi
-
Riely, James, 2(z)18--18, 4(z)194--194, 6(z)54--54
-
Riely, James, see Dongol, Brijesh,
see Jagadeesan, Radha, \see{Jeffrey, Alan
-
rig, 6(z)6--6, 7(z)64--64, 8(z)19--19
-
Rigger, Manuel, 4(z)195--195, 4(z)211--211, 8(z)98--98
-
Rigger, Manuel, see Grosser, Tobias,
see Zhang, Chi
-
Rigger:2020:FBD, 4(z)211--211
-
right, 2(z)95--95, 2(z)101--101, 5(z)82--82, 6(z)106--106
-
Rigo, Armin, 2(z)109--109
-
Rigo, Armin, see Meier, Remigius
-
rigorous, 3(z)20--20, 4(z)34--34, 5(z)94--94
-
rigorously, 4(z)60--60
-
Rinaldi, Francis, 8(z)17--17
-
Rinaldi:2024:PBG, 8(z)17--17
-
Rinard, Martin C., 3(z)175--175, 4(z)36--36, 4(z)52--52, 5(z)65--65,
7(z)176--176
-
Rinard, Martin C., see Cambronero, José P.,
see Handa, Shivam, \see{Lew, Alexander K.,
see Saad, Feras A., \see{Samak, Malavika
-
Rinetzky, Noam, 2(z)48--48, 4(z)128--128, 4(z)209--209
-
Rinetzky, Noam, see Albert, Elvira,
see Feldman, Yotam M. Y.,
see Grossman, Shelly
-
ring, semi-, 6(z)89--89
-
Ring-Based, 7(z)114--114
-
Ringer, Talia, 1(z)91--91
-
Ringer:2017:SAL, 1(z)91--91
-
Rioux, Nick, 2(z)22--22, 4(z)95--95, 7(z)18--18
-
Rioux, Nick, see Bowman, William J.
-
Rioux:2020:CF, 4(z)95--95
-
Rioux:2023:BBO, 7(z)18--18
-
RISC-V, 8(z)21--21
-
rise, 2(z)118--118, 3(z)185--185, 4(z)109--109, 4(z)138--138,
4(z)172--172, 8(z)92--92
-
rising, 2(z)111--111
-
risk, 3(z)189--189, 6(z)40--40
-
risking, 6(z)24--24
-
Ritschel, Nico, 6(z)133--133
-
Ritschel:2022:CGD, 6(z)133--133
-
Ritter, Fabian, 6(z)125--125
-
Ritter:2022:AAI, 6(z)125--125
-
Rival, Xavier, 4(z)16--16, 7(z)12--12
-
Rival, Xavier, see Lee, Wonyeol
-
Rivas, Exequiel, 3(z)104--104, 4(z)4--4, 8(z)74--74
-
Rivas, Exequiel, see Andrici, Cezar-Constantin,
see Maillard, Kenji
-
Rivera, Elijah, 6(z)102--102
-
Rivera:2022:SVP, 6(z)102--102
-
Rix, Rob, 6(z)108--108
-
Rix, Rob, see Thomson, Patrick
-
Rizkallah, Christine, 2(z)89--89, 7(z)47--47
-
Rizkallah, Christine, see Breitner, Joachim,
see Chen, Zilin
-
RLIBM, 6(z)3--3
-
RMM, 7(z)88--88
-
RNN, 4(z)182--182
-
road, 6(z)153--153
-
roadblock, 4(z)140--140
-
Robert, Valentin, 5(z)135--135
-
Robert, Valentin, see He, Paul
-
Robin, 4(z)86--86
-
robot, 4(z)232--232, 6(z)133--133, 8(z)18--18
-
robot, multi-, 4(z)134--134
-
robotic, 4(z)134--134, 4(z)201--201, 4(z)232--232
-
robust, 1(z)89--89, 2(z)156--156, 3(z)99--99, 3(z)138--138, 3(z)149--149,
4(z)48--48, 5(z)69--69, 5(z)148--148, 6(z)154--154, 7(z)37--37,
7(z)151--151, 7(z)165--165, 7(z)184--184, 8(z)79--79, 8(z)91--91
-
robustness, 5(z)4--4, 6(z)14--14, 6(z)154--154, 7(z)90--90, 8(z)130--130
-
Rocca, Simona Ronchi, Della, 5(z)32--32
-
Roch, Marshall, 1(z)48--48
-
Roch, Marshall, see Chaudhuri, Avik
-
Rocha, Pedro, 5(z)79--79
-
Rocha:2021:PTS, 5(z)79--79
-
Rodrigues, Nishant, 4(z)161--161
-
Rodrigues, Nishant, see Chen, Xiaohong
-
Rodríguez, Clara, 7(z)168--168,
see Pailoor, Shankara
-
Rodriguez, Jose Perez, 7(z)148--148
-
Rodriguez, Jose Perez, see Moseley, Dan
-
Rodr{\'{\i}}guez-N{\'u}{\~n}ez, Clara, 4(z)209--209,
see Albert, Elvira
-
Roemer, Jake, 3(z)179--179
-
Roemer, Jake, see Genç, Kaan
-
Roesch, Jared, 1(z)34--34
-
Roesch, Jared, see Ebner, Gabriel
-
Roetteler, Martin, 4(z)130--130
-
Roetteler, Martin, see Meuli, Giulia
-
Rogozin, Daniel, 7(z)197--197
-
Rogozin, Daniel, see Amin, Nada
-
role, 2(z)130--130, 2(z)157--157, 3(z)29--29, 3(z)101--101, 3(z)146--146,
4(z)38--38, 4(z)49--49, 4(z)84--84, 6(z)25--25, 6(z)100--100,
7(z)272--272, 8(z)29--29
-
role-parametric, 3(z)29--29
-
rolled, hand-, 4(z)120--120
-
rom, 3(z)189--189
-
Roman, Pierre-Louis, 4(z)198--198
-
Roman, Pierre-Louis, see Sang, Bo
-
Román-Calvo, Enrique, 7(z)129--129,
see Bouajjani, Ahmed
-
Rompf, Tiark, 2(z)52--52, 2(z)105--105, 3(z)79--79, 3(z)96--96,
3(z)126--126, 3(z)157--157, 4(z)164--164, 5(z)139--139,
7(z)236--236, 8(z)14--14, 8(z)86--86
-
Rompf, Tiark, see Abeysinghe, Supun,
see Amin, Nada, \see{Bao, Yuyan,
see Bra{\v{c}}evac, Oliver,
see Cong, Youyou,
see Essertel, Grégory M.,
see Wang, Fei, \see{Wei, Guannan
-
Rong, Hongbo, 8(z)99--99
-
Rong, Hongbo, see Liu, Jie
-
root, 2(z)134--134, 3(z)189--189, 4(z)82--82, 4(z)214--214, 8(z)19--19
-
root-finding, 5(z)3--3
-
rooted, 4(z)57--57, 5(z)152--152, 7(z)43--43
-
Rose, Abhishek, 4(z)221--221, 8(z)146--146
-
Rose, Abhishek, see Gupta, Shubhani
-
Rose:2024:MDA, 8(z)146--146
-
Rosemann, Julian, 5(z)31--31
-
Rosemann:2021:AIS, 5(z)31--31
-
Rosenblatt, Gregory, 1(z)8--8
-
Rosenblatt, Gregory, see Byrd, William E.
-
Rosenthal, Eli, 7(z)125--125
-
Rosenthal, Eli, see Zhang, Yihong
-
Ross, Neil J., 7(z)11--11
-
Ross, Neil J., see Fu, Peng
-
Rossbach, Christopher J., 3(z)177--177, 5(z)166--166
-
Rossbach, Christopher J., see Al Awar, Nader,
see Celik, Ahmet
-
Rossberg, Andreas, 3(z)133--133, 7(z)234--234, 7(z)238--238
-
Rossberg, Andreas, see Phipps-Costin, Luna,
see Watt, Conrad
-
Rossberg:2023:MIR, 7(z)234--234
-
Rosu, Grigore, 4(z)88--88, 4(z)161--161
-
Rosu, Grigore, see Chen, Xiaohong
-
Ro{\c{s}}u, Grigore, 7(z)77--77, see Lin, Zhengyao
-
Roth, Aaron, 1(z)10--10, 3(z)93--93, 4(z)165--165
-
Roth, Aaron, see Winograd-Cort, Daniel,
see Zhang, Hengchu
-
Roth, Edo, 3(z)93--93, 4(z)165--165
-
Roth, Edo, see Zhang, Hengchu
-
Roth, Marc, 4(z)27--27
-
Roth, Marc, see Forster, Yannick
-
Roth, Ori, 5(z)137--137, 7(z)105--105
-
Roth:2021:SSM, 5(z)137--137
-
Roth:2023:FAF, 7(z)105--105
-
rough, 6(z)92--92
-
roughly, 7(z)92--92
-
round-to-odd, 6(z)3--3
-
rounded, 5(z)29--29, 6(z)3--3
-
rounding, 6(z)3--3
-
Rountev, Atanas, 4(z)203--203
-
Rountev, Atanas, see Zhang, Hailong
-
routers, 7(z)290--290
-
routinely, 5(z)46--46, 5(z)93--93, 6(z)157--157, 6(z)169--169,
7(z)184--184
-
routing, 4(z)42--42
-
Rouvoet, Arjen, 2(z)16--16, 2(z)114--114, 4(z)180--180, 5(z)22--22,
6(z)192--192
-
Rouvoet, Arjen, see Antwerpen, Hendrik van,
see Poulsen, Casper Bach,
see Rest, Cas van der
-
Rouvoet:2020:KWA, 4(z)180--180
-
Rouvoet:2021:ITC, 5(z)22--22
-
row, 3(z)12--12, 4(z)211--211, 7(z)201--201
-
Rowe, Reuben N. S., 8(z)46--46
-
Rowe, Reuben N. S., see Cohen, Liron
-
Roy, Peter, Van, 4(z)83--83
-
Roy, Daniel, 8(z)61--61
-
Roy, Daniel, see Ackerman, Nate
-
Roy, Subhajit, 6(z)169--169, 6(z)171--171, 6(z)181--181
-
Roy, Subhajit, see Kalita, Pankaj Kumar,
see Muduli, Sujit Kumar,
see Susag, Zachary
-
Roy, Sudip, 6(z)166--166
-
Roy, Sudip, see Jin, Charles
-
Roychoudhury, Abhik, 5(z)161--161
-
Roychoudhury, Abhik, see Gao, Xiang
-
RPython, 2(z)109--109
-
RRB-vectors, 1(z)16--16
-
RTL, 4(z)87--87, 6(z)92--92
-
RTS, 3(z)187--187
-
Rubio, Albert, 4(z)209--209
-
Rubio, Albert, see Albert, Elvira
-
Ruby, 2(z)108--108, 5(z)106--106
-
Ruch, Fabian, 6(z)118--118
-
Ruch, Fabian, see Valliappan, Nachiappan
-
Rudner, Julianne, 8(z)116--116
-
Rudner, Julianne, see Nelson, Tim
-
rule, 1(z)64--64, 2(z)33--33, 4(z)37--37, 4(z)41--41, 4(z)72--72,
4(z)96--96, 4(z)132--132, 4(z)223--223, 5(z)35--35, 5(z)62--62,
5(z)74--74, 5(z)119--119, 6(z)13--13, 6(z)185--185, 6(z)187--187,
7(z)7--7, 7(z)99--99, 7(z)164--164, 7(z)258--258, 8(z)37--37
-
Rule, Cross-, 8(z)98--98
-
rule, cross-, 8(z)98--98
-
Rule-Selection, Synthesis-as-, 7(z)7--7
-
rule-selection, synthesis-as-, 7(z)7--7
-
rulesets, 5(z)119--119
-
Rümmer, Philipp, 2(z)4--4, 6(z)45--45, 8(z)138--138,
see Chen, Taolue,
see Holk, Luká{\v{s}},
see Stjerna, Amanda
-
run, 2(z)101--101, 2(z)116--116, 2(z)122--122, 2(z)146--146, 3(z)78--78,
3(z)95--95, 3(z)126--126, 3(z)133--133, 3(z)141--141, 3(z)158--158,
3(z)184--184, 4(z)42--42, 4(z)71--71, 4(z)73--73, 4(z)92--92,
4(z)169--169, 4(z)182--182, 4(z)210--210, 5(z)52--52, 5(z)58--58,
6(z)35--35, 6(z)48--48, 7(z)83--83, 7(z)151--151, 7(z)215--215,
7(z)253--253, 7(z)263--263, 8(z)31--31
-
Run-Time, 7(z)231--231
-
run-time, 2(z)162--162, 3(z)7--7, 3(z)11--11, 3(z)29--29, 3(z)101--101,
3(z)158--158, 4(z)47--47, 4(z)155--155, 5(z)46--46, 5(z)53--53,
7(z)241--241, 8(z)11--11
-
Rungta, Neha, 8(z)118--118
-
Rungta, Neha, see Cutler, Joseph W.
-
running, 2(z)135--135, 3(z)177--177, 4(z)15--15, 4(z)97--97,
4(z)144--144, 4(z)207--207, 5(z)56--56, 6(z)40--40, 8(z)92--92
-
runST, 2(z)64--64
-
runtime, 2(z)90--90, 2(z)151--151, 3(z)7--7, 3(z)120--120, 3(z)122--122,
3(z)145--145, 3(z)183--183, 4(z)37--37, 4(z)71--71, 4(z)100--100,
4(z)150--150, 4(z)160--160, 4(z)186--186, 5(z)34--34, 5(z)45--45,
5(z)83--83, 5(z)102--102, 5(z)136--136, 5(z)138--138, 5(z)144--144,
6(z)4--4, 6(z)159--159, 6(z)160--160, 7(z)67--67, 7(z)143--143,
7(z)152--152, 7(z)199--199, 8(z)139--139
-
runtime-useful, 4(z)91--91
-
Rust, 2(z)66--66, 2(z)125--125, 3(z)147--147, 4(z)34--34, 4(z)41--41,
4(z)136--136, 5(z)92--92, 5(z)103--103, 5(z)121--121, 5(z)145--145,
6(z)60--60, 6(z)116--116, 7(z)85--85, 7(z)94--94, 7(z)164--164,
7(z)169--169, 7(z)245--245, 7(z)265--265, 8(z)14--14, 8(z)100--100
-
Rust., 4(z)136--136
-
RustBelt, 2(z)66--66, 4(z)34--34
-
RVPredict, 2(z)146--146
-
Ryan, Gabriel, 8(z)123--123
-
Ryan:2024:ADR, 8(z)123--123
-
Ryjikov, Ben, 8(z)116--116
-
Ryjikov, Ben, see Nelson, Tim
-
Ry\=u, 3(z)169--169
-
Ry{\=u}, 3(z)169--169
-
Ryu, Sukyoung, 3(z)11--11, 7(z)126--126
-
Ryu, Sukyoung, see Park, Gyunghee,
see Park, Jihyeok
-
Ryzhyk, Leonid, 2(z)118--118
-
Ryzhyk, Leonid, see Alpernas, Kalev