Index file section L for pacmpl.bib
Last update: Fri May 17 02:03:14 MDT 2024
Return to index directory
L
-
L, 5(z)118--118, 7(z)90--90
-
L'Ecuyer, 5(z)148--148
-
Lång, Magnus, 3(z)150--150, see Abdulla, Parosh Aziz
-
label, 2(z)115--115, 4(z)48--48, 5(z)10--10, 5(z)22--22, 5(z)35--35,
5(z)108--108
-
Label-dependent, 4(z)67--67
-
labeled, 7(z)37--37, 7(z)59--59, 7(z)94--94
-
labeled, edge-, 6(z)180--180
-
labeling, 3(z)160--160
-
Labich, Nicholas, 1(z)12--12
-
Labich, Nicholas, see Darais, David
-
labor, 4(z)171--171, 7(z)200--200
-
labor-intensive, 3(z)136--136
-
laboratories-on-a-chip, 2(z)128--128
-
Laboratory, 4(z)81--81
-
Labrada, 4(z)46--46
-
Labrada, Elizabeth, 3(z)17--17, 6(z)70--70
-
Labrada, Elizabeth, see Toro, Matías
-
Labrada:2022:PSG, 6(z)70--70
-
Labs, 4(z)84--84
-
LabVIEW, 4(z)78--78
-
LabVIEWTM, 4(z)78--78
-
lack, 3(z)87--87, 3(z)108--108, 3(z)189--189, 4(z)113--113, 5(z)60--60,
6(z)142--142, 7(z)94--94, 7(z)248--248, 7(z)274--274
-
Lad, Yash, 8(z)32--32
-
Lad, Yash, see Briggs, Ian
-
Laddad, Shadaj, 6(z)173--173
-
Laddad:2022:KSC, 6(z)173--173
-
Lafont, Ambroise, 4(z)31--31, 7(z)47--47
-
Lafont, Ambroise, see Ahrens, Benedikt,
see Chen, Zilin
-
Lago, 6(z)119--119
-
Lago, Ugo, Dal, 1(z)43--43, 3(z)7--7, 5(z)32--32, 5(z)51--51,
5(z)87--87, 6(z)19--19, 6(z)31--31, 6(z)119--119, 6(z)120--120,
8(z)87--87
-
Lagouvardos, Sifis, 4(z)190--190, 5(z)163--163, 6(z)77--77
-
Lagouvardos, Sifis, see Grech, Neville,
see Smaragdakis, Yannis
-
Lagouvardos:2020:PSM, 4(z)190--190
-
Lahav, Ori, 2(z)17--17, 4(z)151--151, 5(z)4--4, 5(z)47--47, 5(z)98--98,
7(z)19--19, 7(z)53--53, 7(z)183--183
-
Lahav, Ori, see Khyzha, Artem,
see Kokologiannakis, Michalis,
see Lee, Sung-Hwan, \see{Margalit, Roy,
see Raad, Azalea, \see{Singh, Abhishek Kr
-
Lahav:2021:MWM, 5(z)98--98
-
Lahiri, Shuvendu K., 2(z)56--56, 2(z)165--165, 6(z)4--4, 7(z)282--282
-
Lahiri, Shuvendu K., see Shadab, Narges,
see Sousa, Marcelo, \see{Tan, Bryan,
see Wang, Yuepeng
-
Lahiri, Sumit, 6(z)181--181
-
Lahiri, Sumit, see Susag, Zachary
-
Lal, Akash, 4(z)230--230, 5(z)132--132, 7(z)282--282
-
Lal, Akash, see Biswas, Ranadeep,
see Mukherjee, Suvam, \see{Shadab, Narges
-
Lal, Aniket, 8(z)42--42
-
Lal, Aniket, see Krishna, Shankaranarayanan
-
Lam, Chun Kit, 7(z)232--232
-
Lam, Chun Kit, see Conrado, Giovanna Kobus
-
Lam, Wing, 4(z)202--202
-
Lam:2020:LSL, 4(z)202--202
-
Lamas, Alejandro, Flores-, 6(z)45--45
-
Lamba, Ada, 8(z)100--100
-
Lamba:2024:CSI, 8(z)100--100
-
lambda, 1(z)85--85, 3(z)80--80, 3(z)83--83, 3(z)116--116, 4(z)31--31,
4(z)50--50, 4(z)90--90, 4(z)111--111, 5(z)21--21, 5(z)108--108,
6(z)94--94, 6(z)118--118, 7(z)51--51, 7(z)84--84, 7(z)85--85,
7(z)146--146, 7(z)197--197, 7(z)267--267, 8(z)23--23, 8(z)52--52
-
\lambda, 4(z)119--119, 5(z)27--27, 5(z)32--32
-
lambda-calculus, 4(z)63--63, 4(z)64--64, 6(z)116--116, 6(z)121--121,
7(z)25--25, 8(z)24--24
-
Lammich, Peter, 7(z)110--110
-
Lammich, Peter, see Watt, Conrad
-
Lamport, 4(z)45--45, 8(z)113--113
-
Lampropoulos, Leonidas, 2(z)45--45, 2(z)102--102, 3(z)181--181,
6(z)122--122, 7(z)178--178, 7(z)218--218, 8(z)77--77
-
Lampropoulos, Leonidas, see Foner, Kenneth,
see Frank, Justin, \see{Hoang, Tram,
see Prinz, Jacob, \see{Shi, Jessica
-
Lampropoulos:2018:GGG, 2(z)45--45
-
Lampropoulos:2019:CGP, 3(z)181--181
-
landscape, 7(z)10--10, 8(z)46--46
-
Lange, Julien, 4(z)149--149
-
Lange, Julien, see Griesemer, Robert
-
Language, Context-Free-, 4(z)178--178
-
language, Multi-, 7(z)27--27
-
language, multi-, 4(z)23--23, 7(z)27--27
-
Language-Agnostic, 7(z)77--77, 7(z)97--97
-
language-agnostic, 6(z)167--167, 7(z)77--77
-
language-based, 3(z)184--184, 6(z)7--7
-
language-independent, 4(z)72--72
-
Language-integrated, 3(z)167--167
-
language-parametric, 2(z)122--122, 6(z)85--85
-
language., 3(z)99--99
-
languages-and, 4(z)55--55
-
languages-can, 5(z)106--106
-
languages., 4(z)72--72
-
Lanvin, Victor, 1(z)41--41, 3(z)16--16
-
Lanvin, Victor, see Castagna, Giuseppe
-
Lanzinger, Florian, 5(z)143--143
-
Lanzinger:2021:SPC, 5(z)143--143
-
Lao, Xun, 1(z)97--97
-
Lao, Xun, see Zhai, Ennan
-
Laporte, Vincent, 4(z)7--7
-
Laporte, Vincent, see Barthe, Gilles
-
large, 2(z)97--97, 2(z)113--113, 2(z)121--121, 2(z)144--144,
3(z)125--125, 3(z)142--142, 3(z)148--148, 3(z)167--167,
3(z)177--177, 3(z)180--180, 3(z)189--189, 4(z)41--41, 4(z)60--60,
4(z)74--74, 4(z)136--136, 4(z)180--180, 4(z)188--188, 4(z)210--210,
5(z)67--67, 5(z)77--77, 5(z)83--83, 5(z)140--140, 5(z)147--147,
6(z)12--12, 6(z)81--81, 6(z)88--88, 6(z)91--91, 6(z)113--113,
6(z)116--116, 6(z)123--123, 6(z)142--142, 6(z)178--178, 7(z)38--38,
7(z)45--45, 7(z)52--52, 7(z)74--74, 7(z)95--95, 7(z)119--119,
7(z)186--186, 8(z)84--84, 8(z)111--111, 8(z)114--114, 8(z)119--119,
8(z)123--123
-
large-scale, 2(z)70--70, 3(z)149--149, 3(z)163--163, 4(z)87--87,
4(z)174--174, 4(z)202--202, 5(z)83--83, 5(z)97--97, 5(z)125--125,
5(z)132--132, 6(z)42--42, 6(z)69--69, 7(z)120--120, 7(z)129--129,
8(z)101--101
-
largely, 2(z)82--82, 3(z)188--188, 4(z)74--74, 5(z)155--155, 6(z)37--37,
8(z)21--21, 8(z)101--101
-
larger, 2(z)151--151, 3(z)125--125, 4(z)72--72, 4(z)91--91, 6(z)57--57,
6(z)133--133
-
largest, 4(z)27--27
-
Larose, Octave, 7(z)233--233
-
Larose:2023:AVB, 7(z)233--233
-
Larsen, Jens Kanstrup, 7(z)290--290
-
Larsen:2023:PTV, 7(z)290--290
-
Larus, James R., 1(z)67--67, 2(z)153--153
-
Larus, James R., see Cohen, Nachshon
-
Lascu, Andrei, 1(z)93--93
-
Lascu, Andrei, see Donaldson, Alastair F.
-
last, 3(z)85--85, 3(z)120--120, 3(z)125--125, 5(z)14--14, 5(z)38--38,
5(z)70--70, 5(z)157--157, 7(z)130--130
-
late, 3(z)24--24, 4(z)73--73, 4(z)81--81, 4(z)82--82, 5(z)23--23,
6(z)190--190
-
latency, 5(z)107--107, 7(z)121--121
-
later, 3(z)2--2, 3(z)24--24, 4(z)45--45, 6(z)100--100, 6(z)148--148
-
latest, 6(z)15--15
-
Latif, Sufian, 4(z)203--203
-
Latif, Sufian, see Zhang, Hailong
-
latter, 3(z)120--120
-
lattice, 3(z)26--26, 5(z)137--137, 7(z)68--68
-
lattice-based, 2(z)139--139
-
lattice-theoretic, 3(z)26--26
-
Lattuada, Andrea, 6(z)69--69, 7(z)85--85
-
Lattuada, Andrea, see Li, Jialin
-
Lattuada:2023:VVR, 7(z)85--85
-
Launchbury, 3(z)114--114, 6(z)82--82
-
Laurel, Jacob, 6(z)56--56, 6(z)161--161, 7(z)291--291
-
Laurel:2022:DNA, 6(z)56--56
-
Laurel:2022:GCA, 6(z)161--161
-
Laurel:2023:SPS, 7(z)291--291
-
Laurent, Mickaël, 6(z)13--13, 8(z)40--40,
see Castagna, Giuseppe
-
Lavaud, Antoine, Delignat-, 1(z)17--17
-
Laversa, Laetitia, 7(z)55--55
-
Laversa, Laetitia, see Di Giusto, Cinzia
-
law, 2(z)80--80, 3(z)125--125, 3(z)166--166, 5(z)77--77
-
Lawvere-style, 5(z)57--57
-
layer, 6(z)42--42, 8(z)101--101
-
layered, 4(z)123--123, 6(z)42--42, 6(z)99--99
-
layering, 2(z)88--88
-
layout, 2(z)108--108, 2(z)120--120, 2(z)123--123, 2(z)156--156,
3(z)151--151, 3(z)177--177, 4(z)170--170, 6(z)20--20, 7(z)47--47,
7(z)132--132
-
Layout-Sensitive, 7(z)262--262
-
Layout-sensitive, 7(z)262--262
-
Lazarek, Lukas, 2(z)117--117, 4(z)65--65, 5(z)68--68, 7(z)194--194
-
Lazarek, Lukas, see Wong, Chu-Pan
-
Lazarek:2020:DBS, 4(z)65--65
-
Lazarek:2021:HEB, 5(z)68--68
-
Lazarek:2023:HEB, 7(z)194--194
-
laziness, 2(z)102--102, 3(z)114--114, 3(z)153--153, 4(z)108--108,
7(z)211--211
-
lazy, 2(z)88--88, 3(z)114--114, 3(z)153--153, 3(z)166--166, 5(z)80--80,
5(z)112--112, 7(z)46--46, 7(z)145--145
-
LCF, 4(z)86--86
-
LCG, 5(z)148--148
-
ldc, 4(z)73--73
-
Le Glaunec, Alexis, 7(z)92--92
-
Le, Quang Loc, 6(z)81--81
-
Le, Ton Chanh, 2(z)9--9, 3(z)178--178, 4(z)189--189, 7(z)20--20
-
Le, Ton Chanh, see Antonopoulos, Timos,
see Ta, Quang-Trung
-
Le, Vu, 3(z)143--143, 4(z)212--212, 5(z)100--100, 5(z)158--158,
6(z)164--164, 7(z)33--33, 8(z)133--133
-
Le, Vu, see Bavishi, Rohan,
see Cambronero, José,
see Gulwani, Sumit, \see{Miltner, Anders,
see Rahmani, Kia, \see{Verbruggen, Gust,
see Zhang, Jialu
-
Le, Xuan-Bach, 6(z)36--36
-
Le:2020:DDT, 4(z)189--189
-
Le:2022:FRB, 6(z)81--81
-
Le:2022:QIS, 6(z)36--36
-
Lea, 5(z)148--148
-
lead, 2(z)116--116, 2(z)139--139, 2(z)162--162, 3(z)124--124,
3(z)133--133, 4(z)60--60, 4(z)168--168, 4(z)204--204, 5(z)43--43,
5(z)146--146, 6(z)4--4, 6(z)68--68, 8(z)136--136, 8(z)140--140
-
leader, 5(z)157--157
-
leading, 3(z)102--102, 3(z)169--169, 4(z)42--42, 4(z)169--169,
4(z)203--203, 6(z)148--148
-
leading-edge, 3(z)6--6
-
Leaf, 7(z)223--223
-
leak, 3(z)109--109, 4(z)50--50, 4(z)147--147, 4(z)176--176, 5(z)49--49,
5(z)141--141, 7(z)36--36, 7(z)89--89, 7(z)167--167, 7(z)282--282,
8(z)47--47
-
leakage, 4(z)7--7, 5(z)35--35, 7(z)167--167, 7(z)274--274
-
leaking, 6(z)51--51
-
leaky, 6(z)54--54
-
learn, 2(z)131--131, 3(z)96--96, 3(z)175--175, 4(z)231--231,
5(z)100--100, 5(z)104--104, 5(z)129--129, 7(z)215--215, 8(z)18--18
-
learned, 4(z)215--215, 4(z)227--227
-
learned, machine-, 4(z)185--185
-
learning, 1(z)60--60, 1(z)64--64, 1(z)101--101, 1(z)106--106, 2(z)70--70,
2(z)93--93, 2(z)131--131, 2(z)147--147, 2(z)150--150, 3(z)96--96,
3(z)118--118, 3(z)141--141, 3(z)159--159, 3(z)160--160,
3(z)162--162, 3(z)168--168, 3(z)175--175, 3(z)186--186, 4(z)16--16,
4(z)38--38, 4(z)72--72, 4(z)79--79, 4(z)137--137, 4(z)179--179,
4(z)182--182, 4(z)219--219, 4(z)227--227, 5(z)3--3, 5(z)15--15,
5(z)20--20, 5(z)25--25, 5(z)58--58, 6(z)10--10, 6(z)73--73,
6(z)75--75, 6(z)139--139, 6(z)166--166, 6(z)185--185, 7(z)4--4,
7(z)14--14, 7(z)41--41, 7(z)80--80, 7(z)84--84, 7(z)90--90,
7(z)160--160, 7(z)166--166, 7(z)188--188, 7(z)193--193,
7(z)231--231, 7(z)249--249, 7(z)265--265, 8(z)18--18, 8(z)34--34,
8(z)95--95, 8(z)108--108, 8(z)112--112, 8(z)123--123, 8(z)124--124,
8(z)128--128, 8(z)133--133
-
learning, ICE-, 2(z)131--131
-
learning, machine-, 5(z)148--148
-
Learning-Based, 8(z)97--97, 8(z)114--114
-
learning-based, 3(z)160--160, 3(z)162--162, 4(z)230--230, 8(z)128--128
-
least, 3(z)78--78, 3(z)158--158, 4(z)14--14, 4(z)33--33, 4(z)98--98,
6(z)191--191, 8(z)30--30
-
leave, 5(z)77--77, 5(z)129--129
-
leaving, 4(z)32--32, 5(z)73--73, 8(z)68--68
-
Lecoeur, Bastien, 7(z)180--180
-
Lecoeur:2023:PRA, 7(z)180--180
-
led, 4(z)74--74, 4(z)82--82, 4(z)83--83, 4(z)189--189, 8(z)99--99,
8(z)104--104
-
Lee, Daniel, 5(z)64--64
-
Lee, Daniel, see Eisenberg, Richard A.
-
Lee, Dongjae, 7(z)39--39, 7(z)139--139, 7(z)281--281
-
Lee, Dongjae, see Cho, Minki,
see Song, Youngju
-
Lee, Edward, 6(z)76--76, 7(z)252--252, 8(z)115--115
-
Lee, Edward, see Brachthäuser, Jonathan Immanuel
-
Lee, I-Ting Angelina, 7(z)135--135
-
Lee, I-Ting Angelina, see Muller, Stefan K.
-
Lee, Janggun, 7(z)251--251
-
Lee, Janggun, see Jung, Jaehwang
-
Lee, Juneyoung, 2(z)125--125, 7(z)114--114
-
Lee, Juneyoung, see Park, Sunjae
-
Lee, Junho, 2(z)158--158
-
Lee, Kanguk, 7(z)126--126
-
Lee, Kanguk, see Park, Jihyeok
-
Lee, Myungho, 3(z)188--188, 4(z)179--179
-
Lee, Myungho, see Jeon, Minseok,
see Song, Dowon
-
Lee, Sung-Hwan, 7(z)183--183
-
Lee, Wonyeol, 2(z)47--47, 4(z)16--16, 7(z)12--12
-
Lee, Woosuk, 5(z)54--54, 7(z)70--70, 7(z)174--174
-
Lee, Woosuk, see Yoon, Yongho
-
Lee:2018:ADC, 2(z)158--158
-
Lee:2018:APC, 2(z)47--47
-
Lee:2018:RHL, 2(z)125--125
-
Lee:2020:TVS, 4(z)16--16
-
Lee:2021:CTP, 5(z)54--54
-
Lee:2023:FOS, 7(z)139--139
-
Lee:2023:ISS, 7(z)70--70
-
Lee:2023:PWM, 7(z)183--183
-
Lee:2023:SAP, 7(z)12--12
-
Lee:2023:SRI, 7(z)252--252
-
Lee:2024:QSF, 8(z)115--115
-
Lefaucheux, Engel, 6(z)65--65
-
Lefaucheux, Engel, see Karimov, Toghrul
-
left, 2(z)101--101, 6(z)106--106
-
legal, 2(z)125--125, 3(z)118--118, 7(z)216--216
-
legible, 4(z)74--74
-
LeGlaunec:2023:REM, 7(z)92--92
-
Legoupil, Maxime, 7(z)151--151
-
Legoupil, Maxime, see Rao, Xiaojia
-
Legunsen, Owolabi, 3(z)187--187
-
Legunsen, Owolabi, see Shi, August
-
Lehmann, Nico, 7(z)169--169
-
Lehmann:2023:FLT, 7(z)169--169
-
Lei, Yan, 7(z)239--239
-
Lei, Yan, see Wang, Shangwen
-
Lei, Yuxiang, 6(z)180--180, 7(z)119--119, 8(z)145--145
-
Lei, Yuxiang, see Xu, Pei
-
Lei:2022:TTR, 6(z)180--180
-
Lei:2023:RSM, 7(z)119--119
-
Leija, Omar S. Navarro, 1(z)73--73
-
Leija, Omar S. Navarro, see Scott, Ryan G.
-
Leijen, Daan, 4(z)99--99, 5(z)71--71, 6(z)103--103, 6(z)126--126,
7(z)40--40, 7(z)198--198, 7(z)238--238
-
Leijen, Daan, see Lorenzen, Anton,
see Phipps-Costin, Luna,
see Xie, Ningning
-
Leijen:2023:TRM, 7(z)40--40
-
Leißa, Roland, 2(z)119--119
-
Leissa:2018:APE, 2(z)119--119
-
LeMay, Michael, 6(z)27--27
-
LeMay, Michael, see Kolosick, Matthew
-
Lemerre, Matthieu, 7(z)65--65
-
Lemerre:2023:STA, 7(z)65--65
-
Lemieux, Caroline, 3(z)168--168, 3(z)174--174, 5(z)134--134
-
Lemieux, Caroline, see Bavishi, Rohan,
see Padhye, Rohan
-
lemma, 2(z)9--9, 2(z)78--78, 2(z)84--84, 6(z)132--132, 6(z)143--143,
6(z)191--191, 7(z)253--253
-
lend, 3(z)20--20
-
Lenfers, Johannes, 4(z)92--92
-
Lenfers, Johannes, see Hagedorn, Bastian
-
Lengál, Ond{\v{r}}ej, 4(z)218--218, 7(z)156--156, 7(z)296--296,
see Chen, Yu-Fang,
see Turo{\v{n}}ov{\'a}, Lenka
-
Lengrand, Stéphane, Graham-, 2(z)94--94
-
length, 2(z)160--160, 4(z)5--5, 6(z)116--116, 7(z)296--296, 8(z)92--92
-
lenient, 2(z)40--40
-
Lennon-Bertrand, Meven, 6(z)124--124
-
Lennon-Bertrand, Meven, see Maillard, Kenji
-
lens, 2(z)1--1, 2(z)74--74, 2(z)80--80, 2(z)84--84, 3(z)95--95,
4(z)95--95
-
Leobas, Guilherme Vieira, 4(z)131--131
-
Leobas:2020:SOD, 4(z)131--131
-
Leon, 7(z)259--259
-
León, Hernán Ponce de, 6(z)129--129, 7(z)279--279,
see Haas, Thomas
-
Lepigre, Rodolphe, 4(z)45--45, 6(z)20--20, 6(z)182--182
-
Lepigre, Rodolphe, see Jung, Ralf,
see Zhu, Fengmin
-
Lepigre:2022:VVR, 6(z)20--20
-
LER-notation, 1(z)74--74
-
Lerner, Sorin, 5(z)153--153, 6(z)143--143
-
Lerner, Sorin, see Ferdowsifard, Kasra,
see Sivaraman, Aishwarya
-
Leroy, Xavier, 5(z)40--40
-
Leroy, Xavier, see Courant, Nathanaël
-
Lesani, Mohsen, 2(z)128--128, 4(z)123--123, 5(z)83--83, 6(z)80--80
-
Lesani, Mohsen, see Griffin, Jeremiah,
see Houshmand, Farzin, \see{Ott, Jason
-
Lesani:2022:CVT, 6(z)80--80
-
less, 2(z)101--101, 2(z)109--109, 3(z)30--30, 4(z)40--40, 4(z)73--73,
4(z)214--214, 7(z)44--44, 7(z)201--201, 8(z)119--119
-
lesser, 2(z)109--109
-
lesser-known, 7(z)68--68
-
let, 5(z)45--45, 7(z)85--85
-
let-polymorphism, 3(z)18--18
-
Leto, 2(z)163--163
-
letting, 2(z)76--76, 3(z)3--3, 4(z)74--74
-
Leung, Alan, 3(z)143--143, 4(z)219--219
-
Leung, Alan, see Gao, Xiang,
see Miltner, Anders
-
level, 2(z)75--75, 2(z)108--108, 2(z)110--110, 3(z)109--109,
3(z)119--119, 3(z)140--140, 3(z)147--147, 4(z)4--4, 4(z)47--47,
4(z)87--87, 4(z)188--188, 5(z)2--2, 5(z)132--132, 5(z)142--142,
6(z)24--24, 6(z)92--92, 7(z)129--129, 8(z)44--44
-
level, algorithmic-, 8(z)29--29
-
level, application-, 3(z)186--186
-
Level, High-, 7(z)25--25
-
level, High-, 2(z)164--164, 5(z)117--117, 6(z)183--183
-
level, high-, 1(z)24--24, 2(z)66--66, 2(z)116--116,
2(z)125--125, 3(z)86--86, 3(z)98--98, 3(z)125--125, 3(z)136--136,
4(z)3--3, 4(z)32--32, 4(z)63--63, 4(z)120--120, 4(z)183--183,
5(z)40--40, 5(z)41--41, 5(z)88--88, 5(z)109--109, 5(z)117--117,
5(z)136--136, 5(z)150--150, 6(z)55--55, 6(z)80--80, 7(z)158--158,
7(z)255--255, 8(z)32--32
-
level, IR-, 2(z)125--125
-
Level, Low-, 6(z)116--116
-
level, Low-, 6(z)182--182
-
level, low-, 1(z)17--17, 2(z)66--66, 2(z)125--125, 3(z)125--125,
3(z)133--133, 4(z)32--32, 4(z)73--73, 4(z)98--98, 4(z)130--130,
4(z)214--214, 5(z)37--37, 5(z)88--88, 6(z)20--20, 6(z)77--77,
6(z)116--116, 7(z)39--39, 7(z)85--85, 7(z)94--94, 7(z)202--202,
7(z)238--238, 8(z)32--32, 8(z)73--73
-
level, object-, 4(z)88--88
-
level, source-, 2(z)126--126
-
level, system-, 2(z)159--159
-
level, systems-, 5(z)121--121
-
level, three-, 3(z)93--93
-
level, top-, 5(z)139--139
-
level, two-, 6(z)110--110
-
level, Type-, 6(z)37--37
-
level, type-, 3(z)102--102, 3(z)131--131, 5(z)69--69,
5(z)78--78, 6(z)37--37
-
leverage, 2(z)109--109, 2(z)120--120, 3(z)29--29, 3(z)147--147,
3(z)153--153, 4(z)60--60, 4(z)62--62, 4(z)71--71, 5(z)101--101,
5(z)116--116, 6(z)52--52, 6(z)56--56, 6(z)83--83, 6(z)116--116,
6(z)159--159, 7(z)274--274
-
leveraging, 1(z)55--55, 3(z)147--147, 4(z)220--220, 7(z)94--94,
7(z)117--117, 7(z)164--164
-
Levi, Gabriel, 1(z)48--48
-
Levi, Gabriel, see Chaudhuri, Avik
-
LeVine, Sidney, 8(z)116--116
-
LeVine, Sidney, see Nelson, Tim
-
Levinson, Alex, 7(z)179--179
-
Levinson, Alex, see Bertram, Noah
-
Levy, Amit, 5(z)103--103
-
Levy, Amit, see Popescu, Natalie
-
Lew, Alexander K., 4(z)19--19, 7(z)5--5, 7(z)176--176
-
Lew:2020:TTD, 4(z)19--19
-
Lew:2023:ASA, 7(z)5--5
-
Lew:2023:PPS, 7(z)176--176
-
Lewchenko, Nicholas V., 3(z)106--106
-
Lewchenko:2019:SPR, 3(z)106--106
-
Lexers, 7(z)155--155
-
lexical, 4(z)74--74, 5(z)139--139, 7(z)255--255
-
lexically, 4(z)48--48
-
Lexicographic, 2(z)34--34
-
Lexing, 7(z)155--155
-
Lezama, Armando, Solar-, 1(z)65--65, 2(z)76--76, 2(z)122--122,
3(z)118--118, 3(z)132--132, 4(z)105--105, 4(z)170--170, 6(z)91--91,
6(z)117--117, 7(z)41--41, 7(z)56--56, 7(z)254--254
-
LfD, 8(z)18--18
-
Lhoták, Ondrej, 1(z)46--46, 1(z)86--86, 3(z)145--145, 4(z)9--9,
4(z)125--125, 4(z)175--175, 4(z)208--208, 7(z)252--252,
see Hu, Jason Z. S., \see{Kabir, Ifaz,
see Lee, Edward, \see{Liu, Fengyun,
see Madsen, Magnus,
see Rapoport, Marianna
-
Lhoták, Ond{\v{r}}ej, 7(z)268--268, 7(z)277--277, 8(z)115--115,
see D'Souza, Matt, \see{Lee, Edward,
see Liu, Fengyun
-
Li, Guoqiang, 6(z)132--132
-
Li, Guoqiang, see Liu, Hongming
-
Li, Gushu, 4(z)150--150
-
Li, Haonan, 8(z)111--111
-
Li, Jialin, 6(z)69--69
-
Li, Jianlin, 7(z)50--50
-
Li, Jiaying, 8(z)75--75
-
Li, Jiaying, see Ma, Zhongkui
-
Li, John M., 5(z)74--74, 5(z)86--86, 7(z)112--112
-
Li, John M., see Paraskevopoulou, Zoe
-
Li, Liyi, 6(z)146--146, 7(z)32--32
-
Li, Liyi, see Voichick, Finn
-
Li, Peixuan, 2(z)115--115, 7(z)89--89
-
Li, Peixuan, see Menz, Jan
-
Li, Peng, 4(z)147--147
-
Li, Peng, see Guo, Shengjian
-
Li, Shanshan, 7(z)243--243
-
Li, Shanshan, see Zhou, Chijin
-
Li, Shaohua, 7(z)75--75
-
Li, Tzu-Mao, 5(z)109--109, 8(z)126--126
-
Li, Tzu-Mao, see Anderson, Luke,
see Michel, Jesse
-
Li, Wei, 7(z)256--256
-
Li, Wei, see He, Dongjie
-
Li, Xia, 1(z)92--92
-
Li, Xiang, 8(z)52--52
-
Li, Xuandong, 8(z)143--143
-
Li, Xuandong, see Lu, Yifei
-
Li, Yangjia, 2(z)35--35
-
Li, Yao, 2(z)89--89, 5(z)80--80, 6(z)101--101
-
Li, Yao, see Breitner, Joachim
-
Li, Yi, 3(z)162--162, 8(z)97--97
-
Li, Yi, see Yadavally, Aashish
-
Li, Yongjian, 8(z)141--141
-
Li, Yuanbo, 5(z)59--59, 6(z)62--62, 7(z)35--35
-
Li, Yue, 2(z)141--141, 5(z)147--147, 7(z)128--128, 7(z)230--230
-
Li, Yue, see Chen, Qinlin, \see{Ma, Wenjie,
see Tan, Tian
-
Li, Yufeng, 4(z)208--208
-
Li, Yufeng, see Kabir, Ifaz
-
Li, Zikun, 8(z)114--114
-
Li, Zixuan, 7(z)4--4
-
Li, Zixuan, see Wang, Yanjun
-
Li, Ziyang, 7(z)166--166
-
Li:2017:TPT, 1(z)92--92
-
Li:2018:AAT, 2(z)35--35
-
Li:2018:DFD, 2(z)115--115
-
Li:2018:PGC, 2(z)141--141
-
Li:2019:IBD, 3(z)162--162
-
Li:2020:PBR, 4(z)150--150
-
Li:2021:CBI, 5(z)59--59
-
Li:2021:DEP, 5(z)74--74
-
Li:2021:RAG, 5(z)80--80
-
Li:2022:EAD, 6(z)62--62
-
Li:2022:LTL, 6(z)69--69
-
Li:2022:PAT, 6(z)101--101
-
Li:2022:VCQ, 6(z)146--146
-
Li:2023:AFT, 7(z)75--75
-
Li:2023:LMS, 7(z)112--112
-
Li:2023:SLN, 7(z)166--166
-
Li:2023:SSS, 7(z)35--35
-
Li:2023:TPD, 7(z)50--50
-
Li:2024:EBS, 8(z)52--52
-
Li:2024:ESA, 8(z)111--111
-
Li:2024:MCA, 8(z)141--141
-
Li:2024:QLB, 8(z)114--114
-
Liang, Guangtai, 3(z)170--170
-
Liang, Guangtai, see Shen, Bo
-
Liang, Hongjin, 2(z)20--20
-
Liang:2018:PCO, 2(z)20--20
-
Liao, Bin, 4(z)174--174
-
Liao, Bin, see Wu, Zhefeng
-
Liao, Kevin, 4(z)55--55
-
Liao, Kevin, see Barthe, Gilles
-
Liao, Qing, 7(z)243--243
-
Liao, Qing, see Zhou, Chijin
-
LIB, SMT-, 5(z)152--152
-
Liberate, 8(z)48--48
-
Liberti, Ivan, Di, 5(z)57--57
-
LIBM, CR-, 6(z)3--3
-
libraries., 4(z)7--7
-
library, 1(z)25--25, 2(z)47--47, 2(z)66--66, 2(z)83--83, 2(z)85--85,
2(z)89--89, 2(z)97--97, 2(z)119--119, 2(z)134--134, 2(z)154--154,
3(z)82--82, 3(z)99--99, 3(z)132--132, 3(z)134--134, 3(z)160--160,
4(z)11--11, 4(z)34--34, 4(z)41--41, 4(z)49--49, 4(z)60--60,
4(z)71--71, 4(z)72--72, 4(z)76--76, 4(z)81--81, 4(z)136--136,
4(z)187--187, 5(z)17--17, 5(z)29--29, 5(z)81--81, 5(z)116--116,
5(z)161--161, 6(z)3--3, 6(z)27--27, 6(z)98--98, 6(z)142--142,
6(z)147--147, 7(z)14--14, 7(z)16--16, 7(z)41--41, 7(z)53--53,
7(z)107--107, 7(z)122--122, 7(z)130--130, 7(z)189--189,
7(z)200--200, 7(z)217--217, 7(z)263--263, 8(z)32--32, 8(z)92--92
-
Licata, Daniel R., 3(z)15--15, 4(z)15--15, 4(z)97--97, 7(z)284--284
-
Licata, Daniel R., see Cutler, Joseph W.,
see Kavvos, G. A., \see{New, Max S.
-
Licker, Nandor, 4(z)98--98
-
Licker:2020:DFO, 4(z)98--98
-
lie, 1(z)68--68, 3(z)189--189, 6(z)172--172, 8(z)77--77
-
Lieberman, Henry, 4(z)79--79
-
Lieberman, Henry, see Solomon, Cynthia
-
Liepelt, Vilem-Benjamin, 3(z)110--110
-
Liepelt, Vilem-Benjamin, see Orchard, Dominic
-
Liétar, Paul, 7(z)276--276, see Cheeseman, Luke
-
life, 2(z)128--128, 4(z)68--68, 4(z)184--184, 6(z)73--73
-
lifetime, 6(z)116--116, 7(z)94--94, 7(z)245--245
-
lifting, 4(z)157--157, 6(z)173--173, 7(z)11--11
-
Lifty, 4(z)105--105
-
light, 3(z)142--142, 5(z)154--154
-
light-weight, 4(z)186--186
-
Lighthouse, 4(z)152--152
-
lightweight, 2(z)108--108, 2(z)132--132, 2(z)134--134, 3(z)29--29,
4(z)23--23, 4(z)126--126, 5(z)19--19, 6(z)27--27, 6(z)55--55,
6(z)116--116, 6(z)150--150, 6(z)183--183, 7(z)60--60, 8(z)27--27,
8(z)115--115
-
like, 2(z)96--96, 2(z)99--99, 2(z)106--106, 2(z)129--129, 2(z)146--146,
2(z)148--148, 3(z)17--17, 3(z)91--91, 3(z)94--94, 3(z)125--125,
3(z)148--148, 3(z)170--170, 3(z)186--186, 4(z)10--10, 4(z)39--39,
4(z)44--44, 4(z)53--53, 4(z)74--74, 4(z)92--92, 4(z)103--103,
4(z)114--114, 4(z)152--152, 4(z)204--204, 4(z)209--209, 5(z)13--13,
5(z)41--41, 5(z)76--76, 5(z)94--94, 5(z)148--148, 6(z)4--4,
6(z)38--38, 6(z)40--40, 6(z)57--57, 6(z)66--66, 6(z)141--141,
7(z)15--15, 7(z)19--19, 7(z)78--78, 7(z)95--95, 7(z)121--121,
7(z)125--125, 7(z)165--165, 7(z)183--183, 7(z)191--191,
7(z)192--192, 7(z)252--252, 7(z)293--293, 8(z)21--21, 8(z)32--32,
8(z)60--60, 8(z)106--106, 8(z)137--137
-
like, C-, 3(z)125--125
-
like, C-, 1(z)101--101
-
like, grammar-, 4(z)120--120
-
like, ML-, 3(z)131--131
-
like, monad-, 3(z)104--104
-
like, PCF-, 4(z)100--100
-
like, reflection-, 6(z)16--16
-
like, regex-, 2(z)150--150
-
like, unimodular-, 6(z)170--170
-
likely, 4(z)211--211
-
Lilac, 7(z)112--112
-
Lim, Jay P., 5(z)29--29, 6(z)3--3
-
Lim, Yongwhan, 8(z)123--123
-
Lim, Yongwhan, see Ryan, Gabriel
-
Lim:2021:AGC, 5(z)29--29
-
Lim:2022:OPA, 6(z)3--3
-
limit, 2(z)116--116, 3(z)160--160, 6(z)14--14, 6(z)160--160, 7(z)94--94,
7(z)97--97, 8(z)94--94
-
limitation, 4(z)136--136, 7(z)94--94
-
limited, 2(z)112--112, 2(z)140--140, 3(z)28--28, 5(z)96--96,
5(z)148--148, 5(z)167--167, 6(z)103--103, 7(z)94--94, 8(z)96--96
-
limiting, 4(z)40--40, 6(z)59--59
-
Lin, Anthony W., 2(z)3--3, 2(z)4--4, 6(z)45--45, 8(z)1--1, 8(z)22--22,
8(z)65--65
-
Lin, Anthony W., see Bergsträßer, Pascal,
see Chen, Taolue, \see{Hague, Matthew,
see Holk, Luká{\v{s}},
see Hong, Chih-Duo
-
Lin, Bo, 7(z)239--239
-
Lin, Bo, see Wang, Shangwen
-
Lin, Fangzhen, 7(z)76--76
-
Lin, Fangzhen, see Wang, Chenglin
-
Lin, Jyun-Ao, 7(z)156--156
-
Lin, Jyun-Ao, see Chen, Yu-Fang
-
Lin, Shang-Wei, 6(z)36--36
-
Lin, Shang-Wei, see Le, Xuan-Bach
-
Lin, Sina, 8(z)114--114
-
Lin, Sina, see Li, Zikun
-
Lin, Tzu-Chi, 6(z)98--98
-
Lin, Tzu-Chi, see Ko, Hsiang-Shang
-
Lin, Zhengyao, 6(z)185--185, 7(z)77--77
-
Lin, Zhengyao, see Krogmeier, Paul
-
Lin, Zhiqiang, 8(z)100--100
-
Lin, Zhiqiang, see Lamba, Ada
-
Lin:2023:GPC, 7(z)77--77
-
Lindenhovius, Bert, 3(z)111--111, 6(z)26--26
-
Lindenhovius, Bert, see Jia, Xiaodong
-
Lindenhovius:2019:MLN, 3(z)111--111
-
Lindley, Sam, 1(z)13--13, 3(z)28--28, 4(z)100--100, 6(z)111--111,
6(z)183--183, 7(z)238--238, 7(z)260--260, 8(z)54--54
-
Lindley, Sam, see Emrich, Frank,
see Forster, Yannick, \see{Fowler, Simon,
see Ghica, Dan,
see Hillerström, Daniel,
see Phipps-Costin, Luna,
see Tang, Wenhao
-
line, 3(z)166--166, 4(z)18--18, 4(z)157--157, 7(z)3--3
-
Lineage-Based, 7(z)109--109
-
linear, 2(z)5--5, 2(z)61--61, 3(z)19--19, 3(z)24--24, 3(z)25--25,
3(z)84--84, 3(z)110--110, 3(z)111--111, 3(z)133--133, 3(z)172--172,
4(z)18--18, 4(z)54--54, 4(z)57--57, 4(z)61--61, 4(z)64--64,
4(z)73--73, 4(z)195--195, 4(z)201--201, 4(z)203--203, 4(z)222--222,
5(z)1--1, 5(z)9--9, 5(z)48--48, 5(z)62--62, 5(z)79--79, 5(z)148--148,
6(z)3--3, 6(z)8--8, 6(z)48--48, 6(z)65--65, 6(z)69--69, 6(z)95--95,
6(z)132--132, 6(z)150--150, 6(z)155--155, 7(z)35--35, 7(z)69--69,
7(z)76--76, 7(z)85--85, 7(z)177--177, 7(z)184--184, 7(z)212--212,
7(z)235--235, 7(z)253--253, 8(z)1--1, 8(z)47--47, 8(z)54--54,
8(z)76--76, 8(z)138--138
-
linear, F2-, 5(z)148--148
-
linear, linear/non-, 3(z)111--111
-
linear, Non-, 2(z)54--54
-
linear, non-, 3(z)111--111, 7(z)44--44
-
linear, super-, 8(z)92--92
-
LinearActris, 8(z)47--47
-
linearity, 2(z)5--5, 2(z)39--39, 7(z)85--85, 7(z)235--235, 8(z)47--47,
8(z)54--54
-
linearity, non-, 8(z)75--75
-
linearizability, 2(z)25--25, 2(z)164--164, 6(z)33--33, 7(z)26--26,
7(z)38--38, 7(z)91--91, 7(z)182--182, 8(z)82--82
-
Linearize, 7(z)43--43
-
linearly, 2(z)108--108, 6(z)95--95, 7(z)85--85
-
linear/non-linear, 3(z)111--111
-
linguistic, 8(z)106--106
-
link, 2(z)154--154
-
link, post-, 4(z)98--98
-
link, re-, 4(z)74--74
-
linked, 2(z)154--154, 3(z)157--157, 6(z)7--7, 6(z)191--191, 7(z)85--85
-
linked, doubly-, 4(z)136--136
-
linking, 4(z)23--23, 4(z)145--145, 4(z)152--152, 6(z)7--7
-
LINPACK, 4(z)81--81
-
linters, 6(z)142--142
-
Linux, 8(z)123--123
-
Linvill, Kirby, 7(z)273--273
-
Linvill:2023:VIP, 7(z)273--273
-
Lippautz, Michael, 2(z)151--151
-
Lippautz, Michael, see Degenbaev, Ulan
-
Lipschitz, 4(z)25--25, 6(z)56--56
-
liquid, 2(z)132--132, 4(z)24--24, 4(z)105--105, 4(z)106--106,
4(z)216--216, 7(z)169--169, 7(z)259--259
-
Liquidate, 4(z)24--24
-
Lisp, 4(z)71--71, 4(z)74--74, 4(z)80--80
-
LISP-based, 7(z)197--197
-
list, 2(z)86--86, 2(z)104--104, 2(z)106--106, 4(z)136--136, 4(z)205--205,
5(z)21--21, 6(z)68--68, 6(z)123--123, 7(z)85--85
-
Litak, Tadeusz, 4(z)32--32
-
Litak, Tadeusz, see Sammler, Michael
-
literal, 2(z)106--106
-
literature, 2(z)71--71, 2(z)137--137, 3(z)135--135, 4(z)11--11,
7(z)26--26, 7(z)179--179, 7(z)200--200, 7(z)203--203, 7(z)218--218,
8(z)15--15, 8(z)56--56
-
litmus, 3(z)133--133, 3(z)142--142, 4(z)11--11
-
little, 3(z)82--82, 3(z)112--112, 3(z)153--153, 5(z)143--143,
7(z)202--202
-
Little, Jack, 4(z)81--81
-
Little, Jack, see Moler, Cleve
-
Liu, Amanda, 6(z)55--55
-
Liu, Bozhen, 6(z)88--88
-
Liu, Chang, 4(z)50--50
-
Liu, Chang, see Darais, David
-
Liu, Cong, 7(z)272--272
-
Liu, Cong, see Zhou, Jin
-
Liu, Congyu, 8(z)137--137
-
Liu, Congyu, see Zheng, Mingwei
-
Liu, Fengyun, 2(z)42--42, 4(z)175--175, 6(z)151--151, 7(z)268--268
-
Liu, Fengyun, see Blaudeau, Clément,
see Odersky, Martin
-
Liu, Hongming, 6(z)132--132
-
Liu, Hongyu, 4(z)143--143, 7(z)272--272
-
Liu, Hongyu, see Zhou, Jin
-
Liu, Jiangyi, 7(z)262--262
-
Liu, Jiawei, 6(z)73--73
-
Liu, Jie, 8(z)99--99
-
Liu, Junrui, 7(z)132--132
-
Liu, Junyi, 7(z)29--29
-
Liu, Junyi, see Zhou, Li
-
Liu, Lun, 1(z)49--49
-
Liu, Mengqi, 4(z)20--20, 6(z)127--127
-
Liu, Pengyu, 8(z)81--81
-
Liu, Pengyu, see Peng, Yuxiang
-
Liu, Ruyan, 8(z)112--112
-
Liu, Ruyan, see Chen, Qian
-
Liu, Si, 6(z)136--136
-
Liu, Tongping, 4(z)143--143, 7(z)272--272
-
Liu, Tongping, see Liu, Hongyu, \see{Zhou, Jin
-
Liu, Vincent, 7(z)13--13
-
Liu, Vincent, see Kallas, Konstantinos
-
Liu, Xuwei, 8(z)137--137
-
Liu, Xuwei, see Zheng, Mingwei
-
Liu, Yepang, 7(z)239--239
-
Liu, Yepang, see Wang, Shangwen
-
Liu, Yiyun, 4(z)216--216, 7(z)210--210, 8(z)44--44
-
Liu, Yu David, 6(z)157--157
-
Liu, Yu David, see Dexter, Philip
-
Liu, Yuhan, 7(z)231--231
-
Liu, Yuhan, see Wan, Chengcheng
-
Liu, Yunhe, 7(z)269--269
-
Liu, Yunhe, see Mohan, Anshuman
-
Liu, Zhengyang, 2(z)125--125, 4(z)177--177
-
Liu, Zhengyang, see Lee, Juneyoung,
see Mukherjee, Manasij
-
Liu, Zongyuan, 7(z)165--165, 8(z)21--21
-
Liu, Zongyuan, see Hammond, Angus
-
Liu:2017:VDJ, 1(z)49--49
-
Liu:2020:TES, 4(z)175--175
-
Liu:2020:VRD, 4(z)216--216
-
Liu:2020:VTF, 4(z)20--20
-
Liu:2020:WSF, 4(z)143--143
-
Liu:2022:BSG, 6(z)136--136
-
Liu:2022:CGT, 6(z)73--73
-
Liu:2022:CVT, 6(z)127--127
-
Liu:2022:SFI, 6(z)88--88
-
Liu:2022:SLI, 6(z)132--132
-
Liu:2022:VTP, 6(z)55--55
-
Liu:2023:AAD, 7(z)262--262
-
Liu:2023:CDS, 7(z)132--132
-
Liu:2023:DTP, 7(z)210--210
-
Liu:2023:IGO, 7(z)268--268
-
Liu:2023:VSL, 7(z)165--165
-
Liu:2024:IID, 8(z)44--44
-
Liu:2024:UIL, 8(z)99--99
-
live, 3(z)14--14, 4(z)20--20, 4(z)81--81, 4(z)109--109, 5(z)77--77,
7(z)96--96, 8(z)41--41
-
LiveDroid, 4(z)160--160
-
liveness, 2(z)26--26, 4(z)176--176, 5(z)2--2, 5(z)44--44, 5(z)98--98,
8(z)22--22, 8(z)35--35
-
living, 1(z)19--19
-
living, short-, 3(z)177--177
-
Livinskii, Vsevolod, 4(z)196--196, 7(z)181--181
-
Livinskii:2020:RTC, 4(z)196--196
-
Livinskii:2023:FLO, 7(z)181--181
-
Livshits, Benjamin, 6(z)165--165
-
Livshits, Benjamin, see Chaliasos, Stefanos
-
LLBC, 6(z)116--116
-
LLM-Integrated, 8(z)111--111
-
LLMs, 8(z)133--133
-
LLVM, 2(z)125--125, 4(z)73--73, 5(z)67--67, 7(z)283--283
-
LNL-FPC, 3(z)111--111
-
load, 2(z)152--152, 5(z)133--133
-
loading, 3(z)184--184, 4(z)74--74
-
loans, 6(z)116--116
-
local, 1(z)26--26, 1(z)78--78, 2(z)91--91, 2(z)109--109, 3(z)19--19,
4(z)33--33, 4(z)59--59, 4(z)72--72, 5(z)6--6, 6(z)36--36, 6(z)56--56,
6(z)109--109, 8(z)52--52, 8(z)104--104, 8(z)146--146
-
local, task-, 8(z)11--11
-
locality, 6(z)170--170
-
localization, 1(z)92--92, 3(z)171--171, 8(z)68--68
-
localized, 7(z)100--100
-
localizing, 1(z)60--60, 7(z)298--298
-
locally, 3(z)91--91, 3(z)158--158, 7(z)17--17
-
locate, 4(z)65--65, 4(z)187--187
-
located, 4(z)72--72
-
location, 2(z)156--156, 3(z)142--142, 3(z)143--143, 4(z)136--136,
4(z)187--187, 5(z)34--34, 6(z)163--163
-
LoCI, 7(z)68--68
-
lock, 2(z)108--108, 2(z)109--109, 3(z)173--173, 5(z)17--17, 7(z)36--36
-
lock-free, 2(z)143--143, 3(z)128--128, 4(z)68--68, 7(z)91--91
-
Lock-step, 1(z)3--3
-
locking, 5(z)148--148
-
locks., 4(z)71--71
-
lockstepwise, 5(z)38--38
-
lock/unlock, 5(z)59--59
-
Löding, Christof, 2(z)10--10, 6(z)191--191,
see Murali, Adithya
-
Loding:2018:FNP, 2(z)10--10
-
Loehr, Devon, 6(z)38--38, 7(z)293--293
-
Loehr, Devon, see Miltner, Anders
-
Loehr:2022:SMP, 6(z)38--38
-
log, 8(z)32--32
-
log-structured, 5(z)113--113
-
Logarithm, 6(z)64--64
-
logging, 1(z)67--67
-
Logic, Separation-, 7(z)1--1
-
logic, separation-, 2(z)77--77
-
logic-verified, separation-, 3(z)84--84
-
logical, 2(z)64--64, 2(z)132--132, 2(z)158--158, 3(z)188--188,
4(z)24--24, 4(z)34--34, 4(z)81--81, 4(z)88--88, 4(z)114--114,
4(z)115--115, 4(z)161--161, 5(z)10--10, 5(z)13--13, 5(z)60--60,
5(z)62--62, 5(z)86--86, 5(z)89--89, 5(z)114--114, 6(z)9--9,
6(z)44--44, 6(z)47--47, 6(z)63--63, 6(z)72--72, 6(z)81--81,
6(z)100--100, 6(z)129--129, 7(z)2--2, 7(z)10--10, 7(z)74--74,
7(z)93--93, 7(z)166--166, 7(z)169--169, 7(z)210--210, 7(z)298--298,
8(z)10--10, 8(z)20--20, 8(z)39--39
-
Logo, 4(z)79--79
-
logs, redo-, 3(z)183--183
-
Löh, Andres, 6(z)61--61, see Xie, Ningning
-
Lomurno, Giuseppe, 8(z)43--43
-
Lomurno, Giuseppe, see Ceragioli, Lorenzo
-
Londoño, Alejandro, Gómez-, 4(z)204--204
-
long, 2(z)68--68, 2(z)82--82, 2(z)116--116, 3(z)78--78, 3(z)169--169,
4(z)66--66, 4(z)199--199, 5(z)7--7, 6(z)116--116, 7(z)252--252,
7(z)268--268, 8(z)35--35, 8(z)136--136
-
Long, Bill, 4(z)72--72
-
Long, Bill, see Reid, John
-
Long, Fan, 6(z)149--149
-
Long, Fan, see Zhao, Zihan
-
long, year-, 8(z)95--95
-
Long-Horizon, 8(z)18--18
-
long-term, 3(z)168--168, 4(z)54--54
-
longer, 3(z)125--125, 7(z)282--282
-
longitudinal, 4(z)202--202
-
Longley, John, 4(z)100--100
-
Longley, John, see Hillerström, Daniel
-
longstanding, 7(z)239--239
-
longwinded, 3(z)102--102
-
look, 4(z)74--74, 4(z)89--89, 7(z)143--143
-
lookahead, 3(z)139--139, 8(z)92--92
-
lookaround, 8(z)92--92
-
lookbehind, 8(z)92--92
-
looking, 4(z)73--73, 4(z)230--230
-
loop, 1(z)74--74, 2(z)116--116, 2(z)126--126, 2(z)152--152, 3(z)157--157,
4(z)37--37, 4(z)158--158, 4(z)159--159, 5(z)40--40, 5(z)48--48,
5(z)162--162, 6(z)65--65, 6(z)87--87, 6(z)170--170, 6(z)178--178,
7(z)76--76, 7(z)106--106, 7(z)123--123, 7(z)181--181, 7(z)228--228,
8(z)30--30
-
loops., 5(z)148--148
-
Loopy, 8(z)127--127
-
loosened, 2(z)80--80
-
Lopes, Cristina V., 1(z)84--84
-
Lopes, Nuno P., 2(z)125--125
-
Lopes, Nuno P., see Lee, Juneyoung
-
Lopes:2017:DMC, 1(z)84--84
-
Loregian, Fosco, 5(z)57--57
-
Loregian, Fosco, see Di Liberti, Ivan
-
Lorenzen, Anton, 6(z)103--103, 7(z)40--40, 7(z)198--198
-
Lorenzen, Anton, see Leijen, Daan
-
Lorenzen:2022:RCF, 6(z)103--103
-
Lorenzen:2023:FFP, 7(z)198--198
-
Losa, Giuliano, 1(z)108--108, 2(z)26--26
-
Losa, Giuliano, see Padon, Oded
-
lose, 2(z)153--153
-
loss, 3(z)189--189, 4(z)20--20, 5(z)146--146
-
lot, 3(z)185--185, 7(z)84--84, 7(z)255--255
-
Love, 4(z)82--82
-
Loveless, Tyson, 2(z)128--128
-
Loveless, Tyson, see Ott, Jason
-
loving, 5(z)96--96
-
low, 2(z)75--75, 4(z)37--37, 4(z)225--225, 5(z)107--107, 6(z)24--24
-
low-code, 6(z)164--164
-
Low-Level, 6(z)116--116
-
low-level, 1(z)17--17, 2(z)66--66, 2(z)125--125, 3(z)125--125,
3(z)133--133, 4(z)32--32, 4(z)73--73, 4(z)98--98, 4(z)130--130,
4(z)214--214, 5(z)37--37, 5(z)88--88, 6(z)20--20, 6(z)77--77,
6(z)116--116, 6(z)182--182, 7(z)39--39, 7(z)85--85, 7(z)94--94,
7(z)202--202, 7(z)238--238, 8(z)32--32, 8(z)73--73
-
low-overhead, 8(z)21--21
-
lower, 4(z)37--37, 4(z)107--107, 4(z)188--188, 6(z)4--4, 6(z)148--148,
6(z)160--160, 7(z)99--99
-
Lozes, Etienne, 7(z)55--55
-
Lozes, Etienne, see Di Giusto, Cinzia
-
LR, 3(z)134--134
-
LSM, 5(z)113--113
-
LTL, 4(z)201--201
-
Lu, Jingbo, 3(z)148--148
-
Lu, Kuang-Chen, 7(z)215--215, 8(z)106--106
-
Lu, Shan, 7(z)231--231
-
Lu, Shan, see Wan, Chengcheng
-
Lu, Shihua, 7(z)167--167
-
Lu, Shihua, see Saha, Seemanta
-
Lu, Sirui, 7(z)16--16
-
Lu, Yifei, 8(z)143--143
-
Lu:2019:PPY, 3(z)148--148
-
Lu:2023:GSC, 7(z)16--16
-
Lu:2023:WHW, 7(z)215--215
-
Lu:2024:ICP, 8(z)106--106
-
Lu:2024:UFJ, 8(z)143--143
-
Luan, Sifei, 3(z)152--152
-
Luan:2019:ACR, 3(z)152--152
-
Lubin, Justin, 4(z)109--109, 5(z)155--155
-
Lubin:2020:PSL, 4(z)109--109
-
Lubin:2021:HST, 5(z)155--155
-
Lucia, Brandon, 1(z)96--96, 3(z)183--183, 4(z)163--163, 7(z)136--136
-
Lucia, Brandon, see Maeng, Kiwan,
see Surbatovich, Milijana
-
Lucid, 4(z)74--74
-
Lugato, David, 1(z)77--77
-
Lugato, David, see Kjolstad, Fredrik
-
Lukyanov, Georgy, 3(z)90--90, 6(z)97--97
-
Lukyanov, Georgy, see Keuchel, Steven,
see Mokhov, Andrey
-
Lundberg, Didrik, 8(z)102--102
-
Lundberg, Didrik, see Alshnakat, Anoud
-
Luo, Jeff Y., 4(z)142--142
-
Luo, Jeff Y., see Xiang, Tongtong
-
LURK, 7(z)197--197
-
Lurk, 7(z)197--197
-
Lutze, Matthew, 6(z)13--13, 7(z)204--204
-
Lutze, Matthew, see Castagna, Giuseppe
-
Lutze:2023:YPE, 7(z)204--204
-
LXM, 5(z)148--148
-
Lyubomirsky, Steven, 1(z)25--25
-
Lyubomirsky, Steven, see Weitz, Konstantin