Index file section R for pacmpl.bib

Last update: Sat May 11 02:08:55 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
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
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
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)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
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
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
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
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
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
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
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