Index file section H for pacmpl.bib
Last update: Sat May 11 02:08:55 MDT 2024
Return to index directory
H
-
Haas, Thomas, 6(z)129--129, 7(z)279--279
-
Haas:2022:CCT, 6(z)129--129
-
Haas:2023:SAM, 7(z)279--279
-
Haase, Darion, 8(z)127--127
-
Haase, Darion, see Klinkenberg, Lutz
-
Hachmaoui, Mohammed Houssem, 6(z)83--83
-
Hachmaoui, Mohammed Houssem, see Benzaken, Véronique
-
hack, 4(z)77--77
-
Hack, Sebastian, 2(z)119--119, 5(z)31--31, 6(z)125--125
-
Hack, Sebastian, see Leißa, Roland,
see Ritter, Fabian, \see{Rosemann, Julian
-
Hackett, Jennifer, 2(z)68--68, 3(z)114--114
-
Hackett:2018:PPO, 2(z)68--68
-
Hackett:2019:CNC, 3(z)114--114
-
had, 3(z)94--94, 4(z)70--70, 4(z)73--73, 7(z)253--253
-
Hadzi-Tanovic, Milica, 3(z)187--187
-
Hadzi-Tanovic, Milica, see Shi, August
-
Haeberlen, Andreas, 1(z)10--10, 3(z)93--93, 4(z)165--165
-
Haeberlen, Andreas, see Winograd-Cort, Daniel,
see Zhang, Hengchu
-
Hage, Jurriaan, 4(z)89--89
-
Hage, Jurriaan, see Serrano, Alejandro
-
Hagedorn, Bastian, 4(z)92--92
-
Hagedorn:2020:AHP, 4(z)92--92
-
Hague, Matthew, 2(z)3--3, 6(z)45--45, 8(z)65--65
-
Hague, Matthew, see Chen, Taolue
-
Hague:2024:PTM, 8(z)65--65
-
Hain, Jakob, 4(z)220--220
-
Hain, Jakob, see Flückiger, Olivier
-
Hainry, Emmanuel, 7(z)28--28
-
Hainry:2023:GNP, 7(z)28--28
-
Hajj, Izzat, El, 1(z)45--45
-
half-century, 3(z)85--85
-
Halide, 4(z)166--166, 5(z)109--109, 6(z)84--84
-
Hallahan, William T., 6(z)177--177
-
Hallahan, William T., see Kolesar, John C.
-
Haller, Philipp, 3(z)167--167, 7(z)58--58, 7(z)290--290
-
Haller, Philipp, see Larsen, Jens Kanstrup,
see Palmkvist, Viktor,
see Salvaneschi, Guido
-
HALO, 5(z)144--144
-
Halting, 8(z)51--51
-
Hamana, Makoto, 1(z)22--22
-
Hamana:2017:HPY, 1(z)22--22
-
Hameer, Aliya, 3(z)115--115
-
Hameer:2019:TAF, 3(z)115--115
-
Hamiltonian, 8(z)81--81
-
Hammer, Matthew A., 3(z)14--14
-
Hammer, Matthew A., see Omar, Cyrus
-
Hammond, Angus, 8(z)21--21
-
Hammond:2024:ABC, 8(z)21--21
-
hampered, 5(z)108--108
-
hampering, 4(z)73--73
-
Hamza, Jad, 3(z)166--166
-
Hamza:2019:SFF, 3(z)166--166
-
Han, Jitao, 4(z)199--199
-
Han, Jitao, see He, Fei
-
Han, Zhilei, 6(z)45--45
-
Han, Zhilei, see Chen, Taolue
-
Hance, Travis, 4(z)105--105, 7(z)85--85, 7(z)223--223
-
Hance, Travis, see Lattuada, Andrea,
see Polikarpova, Nadia
-
Hance:2023:LMT, 7(z)223--223
-
hand, 4(z)1--1, 4(z)31--31, 4(z)65--65, 6(z)120--120, 7(z)30--30,
7(z)169--169, 8(z)8--8
-
hand-crafted, 6(z)162--162
-
hand-made, 3(z)188--188
-
hand-optimized, 5(z)109--109
-
hand-rolled, 4(z)120--120
-
Handa, Shivam, 5(z)65--65
-
Handa:2021:OAD, 5(z)65--65
-
handcrafting, 4(z)179--179
-
Handelman, 7(z)253--253
-
handful, 2(z)125--125
-
handle, 2(z)8--8, 3(z)110--110, 4(z)55--55, 4(z)84--84, 4(z)103--103,
5(z)26--26, 6(z)3--3, 6(z)43--43, 6(z)95--95, 7(z)253--253, 8(z)7--7
-
handled, 3(z)189--189, 7(z)89--89
-
handler-based, 5(z)102--102
-
handlers, 1(z)13--13, 2(z)8--8, 2(z)111--111, 3(z)5--5, 3(z)6--6,
4(z)48--48, 4(z)93--93, 4(z)99--99, 4(z)100--100, 4(z)126--126,
4(z)139--139, 5(z)33--33, 5(z)71--71, 5(z)73--73, 5(z)75--75,
5(z)102--102, 6(z)126--126, 6(z)183--183, 7(z)62--62, 7(z)206--206,
7(z)238--238, 7(z)255--255, 7(z)284--284, 8(z)5--5, 8(z)54--54
-
Handley, Martin A. T., 4(z)24--24
-
Handley:2020:LYA, 4(z)24--24
-
handling, 2(z)7--7, 2(z)69--69, 3(z)160--160, 3(z)168--168, 3(z)173--173,
4(z)139--139, 5(z)73--73, 6(z)99--99, 6(z)183--183, 7(z)223--223,
8(z)54--54
-
handwritten, 4(z)23--23
-
Häner, Thomas, 4(z)130--130, 4(z)133--133,
see Meuli, Giulia
-
Haner:2020:ABO, 4(z)133--133
-
Hanrahan, Pat, 1(z)78--78
-
Hanrahan, Pat, see Papadakis, Manolis
-
Hao, Ken Chan Guan, 3(z)185--185
-
Hao, Ken Chan Guan, see Sergey, Ilya
-
Hao, Yu, 4(z)203--203, 8(z)111--111
-
Hao, Yu, see Li, Haonan, \see{Zhang, Hailong
-
happen, 2(z)145--145, 4(z)175--175, 4(z)182--182, 7(z)45--45,
7(z)139--139, 7(z)215--215
-
happening, 3(z)158--158
-
happens-before, 2(z)145--145, 6(z)158--158, 8(z)113--113
-
Hara, Kentaro, 2(z)151--151
-
Hara, Kentaro, see Degenbaev, Ulan
-
hard, 2(z)75--75, 3(z)84--84, 3(z)179--179, 4(z)92--92, 4(z)114--114,
4(z)127--127, 4(z)230--230, 5(z)36--36, 5(z)135--135, 5(z)147--147,
6(z)69--69, 7(z)22--22, 7(z)121--121, 8(z)30--30, 8(z)63--63,
8(z)66--66, 8(z)136--136
-
hard-coded, 7(z)253--253
-
Hardekopf, Ben, 5(z)121--121, 7(z)94--94, 7(z)123--123
-
Hardekopf, Ben, see Emre, Mehmet,
see Sisco, Zachary D.
-
harden, 6(z)27--27
-
hardening, 3(z)138--138
-
harder, 3(z)103--103, 4(z)37--37, 4(z)151--151, 5(z)64--64, 8(z)109--109
-
hardest, 2(z)116--116
-
hardly, 5(z)43--43
-
Hardness, 8(z)30--30
-
hardware, 1(z)24--24, 2(z)109--109, 2(z)115--115, 2(z)121--121,
2(z)163--163, 3(z)119--119, 3(z)125--125, 3(z)133--133,
3(z)186--186, 4(z)63--63, 4(z)72--72, 4(z)87--87, 4(z)92--92,
4(z)232--232, 5(z)63--63, 5(z)117--117, 5(z)162--162, 6(z)38--38,
6(z)92--92, 6(z)186--186, 6(z)189--189, 7(z)120--120, 7(z)123--123,
7(z)230--230, 8(z)21--21, 8(z)66--66, 8(z)79--79, 8(z)99--99
-
hardware-agnostic, 3(z)186--186
-
Hardware-Aware, 7(z)222--222
-
hardware-specific, 3(z)186--186
-
hardware., 2(z)109--109
-
Haridi, Seif, 4(z)83--83
-
Haridi, Seif, see Van Roy, Peter
-
Hark, Marcel, 4(z)37--37
-
Hark:2020:ALH, 4(z)37--37
-
harmonizing, 2(z)98--98, 4(z)191--191
-
Harper, 4(z)122--122
-
Harper, Robert, 2(z)95--95, 3(z)1--1, 4(z)86--86, 6(z)9--9, 8(z)10--10
-
Harper, Robert, see Cavallo, Evan,
see Grodin, Harrison,
see MacQueen, David,
see Muller, Stefan K., \see{Niu, Yue
-
harsh, 4(z)163--163
-
harvesting, energy-, 3(z)183--183, 7(z)136--136
-
Harvey, Brian, 4(z)79--79
-
Harvey, Brian, see Solomon, Cynthia
-
HasChor, 7(z)207--207
-
Haselwarter, Philipp G., 8(z)26--26
-
Haselwarter, Philipp G., see Gregersen, Simon Oddershede
-
hash, 2(z)108--108, 6(z)116--116
-
hashed, 6(z)57--57
-
Hashemian, Shideh, 7(z)229--229
-
Hashemian, Shideh, see Ghorbani, Mahdi
-
hashing-based, 6(z)57--57
-
Haskell, 1(z)31--31, 2(z)5--5, 2(z)82--82, 2(z)89--89, 2(z)102--102,
2(z)122--122, 3(z)91--91, 3(z)100--100, 3(z)101--101, 3(z)102--102,
3(z)112--112, 3(z)134--134, 3(z)181--181, 4(z)24--24, 4(z)53--53,
4(z)101--101, 4(z)205--205, 4(z)216--216, 5(z)63--63, 6(z)61--61,
6(z)82--82, 7(z)96--96, 7(z)211--211, 7(z)216--216, 7(z)259--259,
8(z)27--27
-
hat, 4(z)136--136
-
Haudebourg, Timothée, 4(z)112--112
-
Haudebourg:2020:RLT, 4(z)112--112
-
Hausdorff, 3(z)99--99
-
Hauswirth, Matthias, 3(z)158--158
-
Hauswirth, Matthias, see Mastrangelo, Luis
-
have, types-, 2(z)94--94
-
having, 2(z)104--104, 2(z)164--164, 3(z)125--125, 4(z)73--73, 4(z)74--74,
4(z)128--128, 6(z)159--159, 8(z)78--78
-
Havlena, Vojt{\v{e}}ch, 7(z)296--296, see Chen, Yu-Fang
-
Hawblitzel, Chris, 6(z)69--69, 7(z)85--85
-
Hawblitzel, Chris, see Lattuada, Andrea,
see Li, Jialin
-
Haystack, 8(z)33--33
-
hazards, 3(z)189--189
-
Hazel, 7(z)96--96
-
HCP, 3(z)24--24
-
HDC, 7(z)222--222
-
HDL, 4(z)87--87, 7(z)230--230
-
he'd, 4(z)73--73
-
He, Dongjie, 7(z)256--256
-
He, Fei, 2(z)166--166, 4(z)184--184, 4(z)199--199, 6(z)158--158,
7(z)262--262
-
He, Fei, see Liu, Jiangyi, \see{Sun, Zhihang,
see Yu, Qianshan, \see{Zhu, Fengmin
-
He, Horace, 4(z)173--173
-
He, Horace, see Geisler, Dietrich
-
He, Paul, 1(z)46--46, 4(z)51--51, 5(z)135--135, 7(z)61--61
-
He, Paul, see Chappe, Nicolas,
see Rapoport, Marianna, \see{Xia, Li-yao
-
He, Qiyang, 5(z)139--139
-
He, Qiyang, see Bao, Yuyan
-
He, Shaobo, 8(z)118--118
-
He, Shaobo, see Cutler, Joseph W.
-
He, Wenlei, 6(z)52--52
-
He, Xiao, 7(z)83--83, 8(z)41--41
-
He, Xiao, see Zhang, Xing
-
He, Yang, 8(z)132--132
-
He, Yi, 3(z)160--160
-
He, Yi, see Wu, Baijun
-
He:2020:TAE, 4(z)199--199
-
He:2021:TSE, 5(z)135--135
-
He:2022:PIR, 6(z)52--52
-
He:2023:CUP, 7(z)256--256
-
He:2024:VBE, 8(z)132--132
-
HEaaN.MLIR, 7(z)114--114
-
headers, 6(z)182--182
-
Headley, Kyle, 6(z)78--78, 8(z)118--118
-
Headley, Kyle, see Cutler, Joseph W.,
see Machiry, Aravind
-
healthcare, 4(z)71--71, 6(z)73--73
-
heap, 1(z)68--68, 2(z)153--153, 3(z)114--114, 3(z)121--121, 3(z)157--157,
4(z)35--35, 4(z)161--161, 4(z)178--178, 4(z)228--228, 5(z)96--96,
6(z)11--11, 6(z)160--160, 6(z)163--163, 6(z)191--191, 7(z)25--25
-
heap, symbolic-, 2(z)9--9
-
heap-manipulating, 4(z)35--35, 5(z)84--84
-
heap-represented, 3(z)171--171
-
heart, 4(z)195--195
-
heated, 4(z)72--72
-
heavily-used, 7(z)293--293
-
Hefty, 7(z)62--62
-
height, 8(z)45--45
-
Heim, Philippe, 8(z)57--57
-
Heim:2024:SIS, 8(z)57--57
-
hell, 2(z)162--162
-
Hellerstein, Joseph M., 6(z)173--173
-
Hellerstein, Joseph M., see Laddad, Shadaj
-
help, 2(z)85--85, 2(z)109--109, 3(z)88--88, 3(z)142--142, 3(z)152--152,
3(z)158--158, 3(z)159--159, 3(z)162--162, 4(z)68--68, 6(z)96--96,
6(z)133--133, 7(z)49--49, 7(z)65--65, 7(z)241--241, 8(z)32--32
-
helper, 6(z)143--143
-
helping, 4(z)41--41, 7(z)170--170
-
hence, 3(z)137--137, 6(z)40--40, 8(z)13--13
-
Hendrix, Joe, 3(z)100--100
-
Hendrix, Joe, see Christiansen, David Thrane
-
Henglein, Fritz, 2(z)86--86
-
Henglein, Fritz, see Gibbons, Jeremy
-
Henriksen, Ian, 3(z)127--127
-
Henriksen, Troels, 2(z)97--97, 7(z)142--142, 7(z)240--240
-
Henriksen, Troels, see Elsman, Martin,
see Madsen, Magnus
-
Henriksen:2019:DGS, 3(z)127--127
-
Henrio, Ludovic, 7(z)61--61
-
Henrio, Ludovic, see Chappe, Nicolas
-
Henry, Grégoire, 1(z)4--4, see Canou, Benjamin
-
Henry, Rawn, 5(z)128--128
-
Henry:2021:CSA, 5(z)128--128
-
Henzinger, 6(z)33--33
-
Heo, Kihong, 1(z)101--101
-
Heo, Kihong, see Chae, Kwonsoo
-
Herbarium, 1(z)1--1
-
Herd, 3(z)142--142
-
here, 2(z)130--130, 3(z)125--125, 4(z)165--165, 5(z)48--48, 5(z)148--148,
6(z)34--34
-
Herklotz, Yann, 5(z)117--117
-
Herklotz:2021:FVH, 5(z)117--117
-
Hernandez, Lizzie, 8(z)82--82
-
Hernandez, Lizzie, see Jayanti, Prasad
-
heterogeneous, 1(z)50--50, 1(z)71--71, 3(z)186--186, 5(z)120--120,
7(z)108--108, 7(z)153--153
-
Heule, Stefan, 1(z)25--25
-
Heule, Stefan, see Weitz, Konstantin
-
Heunen, Chris, 2(z)60--60, 6(z)2--2, 8(z)19--19
-
Heunen, Chris, see Carette, Jacques,
see {\'S}cibior, Adam
-
Heunen:2022:QIE, 6(z)2--2
-
heuristic, 1(z)101--101, 4(z)179--179, 6(z)162--162, 7(z)259--259
-
Heuvel, Bas van den, 6(z)155--155
-
Heuvel, Bas van den, see Frumin, Dan
-
Hewer, Brandon, 8(z)27--27
-
Hewer:2024:QHL, 8(z)27--27
-
Heydemann, Karine, 5(z)142--142
-
Heydemann, Karine, see Vu, Son Tuan
-
HFLZ, 7(z)6--6
-
Hickey, Rich, 4(z)71--71
-
Hickey:2020:HC, 4(z)71--71
-
Hicks, Michael, 3(z)181--181, 4(z)50--50, 4(z)216--216, 5(z)37--37,
6(z)78--78, 6(z)146--146, 7(z)32--32, 7(z)86--86, 8(z)118--118
-
Hicks, Michael, see Cutler, Joseph W.,
see Darais, David, \see{Hietala, Kesha,
see Lampropoulos, Leonidas, \see{Li, Liyi,
see Liu, Yiyun, \see{Machiry, Aravind,
see Voichick, Finn, \see{Zhou, Jie
-
hidden, 3(z)146--146, 4(z)174--174
-
hide, 4(z)136--136
-
hiding, 6(z)2--2
-
hierarchical, 4(z)222--222
-
hierarchies, 4(z)174--174
-
Hietala, Kesha, 5(z)37--37, 6(z)146--146, 8(z)118--118
-
Hietala, Kesha, see Cutler, Joseph W.,
see Li, Liyi
-
Hietala:2021:VOQ, 5(z)37--37
-
high, 2(z)72--72, 2(z)116--116, 2(z)141--141, 3(z)109--109, 3(z)140--140,
3(z)184--184, 3(z)186--186, 3(z)189--189, 4(z)47--47, 4(z)153--153,
5(z)2--2, 5(z)25--25, 5(z)107--107, 5(z)113--113, 5(z)163--163,
6(z)75--75, 7(z)107--107, 7(z)246--246
-
high-assurance, 7(z)85--85
-
high-fidelity, 5(z)141--141
-
High-Level, 7(z)25--25
-
high-level, 1(z)24--24, 2(z)66--66, 2(z)116--116, 2(z)125--125,
2(z)164--164, 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, 6(z)183--183,
7(z)158--158, 7(z)255--255, 8(z)32--32
-
high-performance, 2(z)119--119, 2(z)121--121, 3(z)81--81, 3(z)125--125,
4(z)92--92, 4(z)166--166, 5(z)109--109, 7(z)228--228, 8(z)21--21
-
high-precision, 4(z)60--60, 4(z)190--190, 6(z)159--159
-
high-profile, 5(z)129--129
-
high-quality, 4(z)84--84
-
high-secrecy, 8(z)100--100
-
higher, 2(z)44--44, 3(z)1--1, 3(z)87--87, 3(z)160--160, 4(z)188--188,
6(z)150--150, 6(z)178--178, 8(z)84--84
-
higher-, 5(z)13--13
-
higher-dimensional, 3(z)1--1
-
higher-kinded, 2(z)84--84
-
Higher-Order, 7(z)22--22, 7(z)36--36, 7(z)42--42, 7(z)62--62, 7(z)69--69,
7(z)89--89, 7(z)190--190, 7(z)236--236, 8(z)9--9, 8(z)14--14,
8(z)26--26, 8(z)47--47, 8(z)87--87
-
higher-order, 1(z)21--21, 1(z)35--35, 1(z)36--36, 2(z)5--5, 2(z)11--11,
2(z)12--12, 2(z)39--39, 2(z)51--51, 2(z)59--59, 2(z)60--60,
2(z)84--84, 2(z)93--93, 2(z)94--94, 2(z)97--97, 2(z)105--105,
2(z)161--161, 3(z)10--10, 3(z)97--97, 3(z)102--102, 3(z)105--105,
3(z)166--166, 3(z)172--172, 4(z)6--6, 4(z)22--22, 4(z)57--57,
4(z)59--59, 4(z)63--63, 4(z)65--65, 4(z)102--102, 4(z)110--110,
4(z)112--112, 4(z)115--115, 4(z)119--119, 5(z)3--3, 5(z)9--9,
5(z)10--10, 5(z)27--27, 5(z)28--28, 5(z)32--32, 5(z)42--42,
5(z)51--51, 5(z)69--69, 5(z)93--93, 5(z)96--96, 5(z)139--139,
5(z)145--145, 6(z)23--23, 6(z)48--48, 6(z)82--82, 6(z)94--94,
6(z)102--102, 6(z)114--114, 6(z)122--122, 6(z)161--161, 7(z)2--2,
7(z)6--6, 7(z)22--22, 7(z)24--24, 7(z)127--127, 7(z)146--146,
8(z)12--12, 8(z)106--106, 8(z)135--135
-
higher-rank, 3(z)9--9
-
higher-ranked, 3(z)112--112
-
highly, 2(z)96--96, 2(z)116--116, 2(z)117--117, 3(z)88--88, 3(z)174--174,
4(z)4--4, 4(z)17--17, 4(z)60--60, 4(z)174--174, 4(z)231--231,
6(z)142--142, 6(z)159--159, 7(z)222--222, 8(z)22--22
-
highly-concurrent, 4(z)128--128
-
highly-optimized, 3(z)125--125
-
Hillerström, Daniel, 4(z)99--99, 4(z)100--100, 7(z)238--238,
7(z)260--260, 8(z)54--54, see Phipps-Costin, Luna,
see Tang, Wenhao, \see{Xie, Ningning
-
Hillerstrom:2020:EEA, 4(z)100--100
-
hinder, 2(z)109--109, 2(z)162--162, 4(z)126--126
-
hindering, 2(z)70--70
-
Hindley--Milner, 3(z)18--18
-
Hindley--Milner-Style, 7(z)240--240
-
Hindley-Milner, 4(z)124--124, 4(z)154--154
-
Hindsight, 7(z)182--182
-
Hinrichsen, Jonas Kastberg, 4(z)6--6, 7(z)214--214, 7(z)217--217,
8(z)9--9, 8(z)47--47
-
Hinrichsen, Jonas Kastberg, see Gondelman, Léon,
see Jacobs, Jules, \see{Timany, Amin
-
Hinrichsen:2020:AST, 4(z)6--6
-
hints, 3(z)166--166
-
Hinze, Ralf, 2(z)86--86
-
Hinze, Ralf, see Gibbons, Jeremy
-
Hirsch, Andrew K., 2(z)88--88, 5(z)35--35, 6(z)23--23, 7(z)89--89
-
Hirsch, Andrew K., see Menz, Jan
-
Hirsch:2018:SLS, 2(z)88--88
-
Hirsch:2021:GSP, 5(z)35--35
-
Hirsch:2022:PHO, 6(z)23--23
-
Hirschowitz, André, 4(z)31--31, see Ahrens, Benedikt
-
Hirschowitz, Tom, 3(z)21--21
-
Hirschowitz:2019:FMS, 3(z)21--21
-
Hirzel, Martin, 1(z)9--9
-
Hirzel, Martin, see Auerbach, Joshua S.
-
Historia, 7(z)289--289
-
Historical, 6(z)179--179
-
historically, 3(z)81--81, 4(z)84--84, 6(z)185--185
-
history, 1(z)51--51, 2(z)146--146, 4(z)45--45, 4(z)71--71, 4(z)72--72,
4(z)74--74, 4(z)75--75, 4(z)76--76, 4(z)79--79, 4(z)81--81,
4(z)83--83, 4(z)84--84, 4(z)86--86, 4(z)87--87, 6(z)174--174
-
History, Message-, 7(z)289--289
-
Hitarth, S., 7(z)100--100, 7(z)253--253
-
Hitarth, S., see Cai, Zhuo,
see Goharshady, Amir Kafshdar
-
HITs, 3(z)1--1
-
Hlopko, Marcel, 2(z)151--151
-
Hlopko, Marcel, see Degenbaev, Ulan
-
HLS, 5(z)117--117
-
Ho, Son, 6(z)116--116, 7(z)202--202
-
Ho:2022:ARV, 6(z)116--116
-
Ho:2023:MCS, 7(z)202--202
-
Hoang, Tram, 6(z)122--122
-
Hoang:2022:RTH, 6(z)122--122
-
Hoare, 4(z)45--45, 6(z)81--81, 8(z)21--21, 8(z)56--56
-
Hoare-style, 6(z)130--130
-
Hobor, Aquinas, 3(z)171--171
-
Hobor, Aquinas, see Wang, Shengyi
-
hoc, 4(z)40--40, 5(z)126--126, 7(z)201--201
-
hoc, ad-, 2(z)100--100, 4(z)212--212
-
Hochstadt, Sam, Tobin-, 1(z)54--54, 2(z)51--51, 3(z)78--78,
3(z)98--98, 4(z)169--169, 5(z)53--53, 7(z)242--242
-
Hoefler, Torsten, 4(z)133--133, 4(z)195--195, 5(z)162--162
-
Hoefler, Torsten, see Grosser, Tobias,
see Häner, Thomas,
see Pitchanathan, Arjun
-
Hoeflich, Joshua, 6(z)142--142
-
Hoeflich:2022:HIK, 6(z)142--142
-
Hoenicke, Jochen, 2(z)26--26
-
Hoenicke, Jochen, see Padon, Oded
-
Hofer, Peter, 3(z)184--184
-
Hofer, Peter, see Wimmer, Christian
-
Hoffmann, Henry, 7(z)231--231
-
Hoffmann, Henry, see Wan, Chengcheng
-
Hoffmann, Jan, 2(z)91--91, 3(z)13--13, 4(z)106--106, 4(z)110--110,
5(z)25--25, 5(z)27--27, 5(z)76--76, 7(z)66--66
-
Hoffmann, Jan, see Das, Ankush,
see Kahn, David M., \see{Knoth, Tristan,
see Muller, Stefan K.,
see Rajani, Vineet, \see{Wang, Di
-
Höfner, Peter, 8(z)3--3, see Qin, Xueying
-
HOL, 2(z)24--24, 7(z)42--42
-
HOL-based, 7(z)42--42
-
HOL4P4, 8(z)102--102
-
hold, 2(z)66--66, 2(z)140--140, 3(z)147--147, 4(z)136--136
-
hole, 3(z)14--14, 4(z)109--109, 6(z)148--148, 7(z)96--96, 8(z)68--68
-
Holík, Luká{\v{s}}, 7(z)296--296,
see Chen, Yu-Fang
-
Hol{\'{\i}}k, Luk{\'a}{\v{s}}, 4(z)218--218,
see Turo{\v{n}}ov{\'a}, Lenka
-
Holk, Luká{\v{s}}, 2(z)4--4
-
Holk:2018:SCC, 2(z)4--4
-
Holland, Joshua, 3(z)25--25
-
Holland, Joshua, see Bonchi, Filippo
-
Holmes, Reid, 6(z)133--133
-
Holmes, Reid, see Ritschel, Nico
-
Holtzen, Steven, 4(z)140--140, 7(z)112--112
-
Holtzen, Steven, see Li, John M.
-
Holtzen:2020:SEI, 4(z)140--140
-
Hombücher, Tobias, 7(z)221--221, see Keidel, Sven
-
Homomorphic, 7(z)114--114, 8(z)36--36
-
homotopy, 2(z)92--92, 3(z)1--1
-
Hong, Changwan, 4(z)158--158
-
Hong, Changwan, see Senanayake, Ryan
-
Hong, Chih-Duo, 8(z)22--22
-
Hong, Jaemin, 3(z)11--11
-
Hong, Jaemin, see Park, Gyunghee
-
Hong:2024:RAA, 8(z)22--22
-
Honoré, Wolf, 5(z)97--97, 8(z)109--109
-
Honore:2021:MAA, 5(z)97--97
-
Honore:2024:ABB, 8(z)109--109
-
hood, 1(z)4--4
-
Hoogle+, 4(z)205--205
-
hope, 5(z)94--94
-
HOPL, 4(z)69--69
-
hopping, 8(z)122--122
-
Horizon, Long-, 8(z)18--18
-
Horn, 2(z)11--11, 2(z)131--131, 5(z)19--19, 6(z)60--60, 7(z)69--69
-
Horn, David, Van, 1(z)12--12, 2(z)51--51, 2(z)132--132, 5(z)53--53,
7(z)171--171
-
Horn, Rudi, 2(z)74--74
-
Horn-ICE, 2(z)131--131
-
Horn:2018:IRL, 2(z)74--74
-
host, 2(z)85--85, 3(z)134--134, 4(z)71--71, 4(z)198--198, 4(z)229--229,
6(z)108--108, 6(z)131--131, 6(z)142--142, 7(z)189--189
-
hosted, 3(z)133--133, 4(z)71--71
-
Hostert, Johannes, 7(z)247--247
-
Hostert, Johannes, see Guéneau, Armaël
-
hosting, 6(z)108--108
-
hot, 1(z)52--52, 2(z)124--124
-
Hou, Weidong, 8(z)143--143
-
Hou, Weidong, see Lu, Yifei
-
Hou:2022:LPT, 6(z)64--64
-
Hou:2023:OTA, 7(z)57--57
-
hours, 2(z)116--116
-
Houshmand, Farzin, 5(z)83--83
-
Houshmand:2021:PGD, 5(z)83--83
-
how, 1(z)22--22, 1(z)105--105, 2(z)82--82, 2(z)93--93, 2(z)123--123,
3(z)78--78, 3(z)117--117, 3(z)120--120, 3(z)133--133, 3(z)153--153,
3(z)155--155, 3(z)158--158, 3(z)189--189, 4(z)24--24, 4(z)34--34,
4(z)42--42, 4(z)58--58, 4(z)77--77, 4(z)111--111, 4(z)117--117,
4(z)136--136, 4(z)146--146, 4(z)151--151, 4(z)158--158,
4(z)187--187, 4(z)207--207, 5(z)24--24, 5(z)52--52, 5(z)58--58,
5(z)68--68, 5(z)81--81, 5(z)97--97, 5(z)116--116, 5(z)128--128,
5(z)134--134, 5(z)154--154, 5(z)155--155, 6(z)7--7, 6(z)18--18,
6(z)105--105, 6(z)111--111, 6(z)129--129, 6(z)156--156, 7(z)4--4,
7(z)12--12, 7(z)68--68, 7(z)78--78, 7(z)85--85, 7(z)150--150,
7(z)169--169, 7(z)179--179, 7(z)194--194, 7(z)241--241,
7(z)275--275, 8(z)36--36, 8(z)51--51, 8(z)55--55, 8(z)66--66,
8(z)93--93, 8(z)129--129
-
Howard, Curry-, 4(z)95--95, 6(z)155--155
-
Howell, Jon, 6(z)69--69, 7(z)85--85, 7(z)223--223, 7(z)288--288
-
Howell, Jon, see Hance, Travis,
see Lattuada, Andrea, \see{Li, Jialin,
see Tamir, Orr
-
however, 2(z)68--68, 2(z)70--70, 2(z)74--74, 2(z)75--75, 2(z)92--92,
2(z)98--98, 2(z)100--100, 2(z)109--109, 2(z)114--114, 2(z)124--124,
2(z)137--137, 2(z)143--143, 2(z)147--147, 2(z)152--152,
2(z)162--162, 3(z)1--1, 3(z)28--28, 3(z)80--80, 3(z)84--84,
3(z)87--87, 3(z)88--88, 3(z)94--94, 3(z)98--98, 3(z)107--107,
3(z)120--120, 3(z)133--133, 3(z)135--135, 3(z)151--151,
3(z)172--172, 3(z)179--179, 3(z)188--188, 3(z)189--189, 4(z)6--6,
4(z)11--11, 4(z)32--32, 4(z)34--34, 4(z)104--104, 4(z)123--123,
4(z)124--124, 4(z)127--127, 4(z)128--128, 4(z)136--136,
4(z)145--145, 4(z)147--147, 4(z)167--167, 4(z)182--182,
4(z)188--188, 4(z)190--190, 4(z)195--195, 4(z)199--199,
4(z)208--208, 4(z)227--227, 4(z)231--231, 5(z)63--63, 5(z)73--73,
5(z)80--80, 5(z)83--83, 5(z)84--84, 5(z)92--92, 5(z)103--103,
5(z)106--106, 5(z)107--107, 5(z)111--111, 5(z)129--129,
5(z)133--133, 5(z)139--139, 5(z)140--140, 5(z)143--143,
5(z)146--146, 5(z)156--156, 6(z)16--16, 6(z)34--34, 6(z)37--37,
6(z)40--40, 6(z)43--43, 6(z)54--54, 6(z)68--68, 6(z)80--80,
6(z)93--93, 6(z)98--98, 6(z)137--137, 6(z)140--140, 6(z)153--153,
6(z)160--160, 6(z)173--173, 7(z)58--58, 7(z)120--120, 7(z)127--127,
7(z)132--132, 7(z)164--164, 7(z)171--171, 7(z)241--241,
7(z)243--243, 7(z)246--246, 8(z)27--27, 8(z)71--71, 8(z)113--113
-
HPC, 5(z)162--162, 7(z)228--228
-
Hritcu, Catalin, 1(z)17--17, 4(z)4--4
-
Hritcu, Catalin, see Maillard, Kenji,
see Protzenko, Jonathan
-
Hri{\c{t}}cu, C{\u{a}}t{\u{a}}lin, 2(z)65--65, 3(z)104--104,
8(z)74--74, see Ahman, Danel,
see Andrici, Cezar-Constantin,
see Maillard, Kenji
-
hs-to-coq, 2(z)89--89
-
Hsieh, Chiao, 4(z)232--232, 7(z)299--299
-
Hsieh, Chiao, see Astorga, Angello,
see Ghosh, Ritwika
-
Hsu, Hansen, 4(z)82--82
-
Hsu, Hansen, see Cox, Brad J.
-
Hsu, Justin, 2(z)57--57, 2(z)58--58, 4(z)21--21, 4(z)55--55, 4(z)61--61,
5(z)52--52, 6(z)57--57, 6(z)181--181, 7(z)179--179
-
Hsu, Justin, see Aguirre, Alejandro,
see Albarghouthi, Aws, \see{Bao, Jialu,
see Barthe, Gilles, \see{Bertram, Noah,
see Smolka, Steffen, \see{Susag, Zachary
-
Hsu, Olivia, 5(z)128--128, 7(z)122--122
-
Hsu, Olivia, see Bansal, Manya,
see Henry, Rawn
-
HTML, 7(z)132--132
-
Hu, Denghang, 6(z)45--45
-
Hu, Denghang, see Chen, Taolue
-
Hu, Jason Z. S., 4(z)9--9
-
Hu, Qinheping, 3(z)139--139, 5(z)30--30
-
Hu, Qinheping, see Kim, Jinwoo, \see{Pan, Rong
-
Hu, Raymond, 3(z)29--29, 4(z)148--148, 4(z)149--149, 5(z)124--124,
7(z)278--278
-
Hu, Raymond, see Castro, David,
see Griesemer, Robert, \see{Iraci, Grant,
see Viering, Malte, \see{Zhou, Fangyi
-
Hu, Xu-Qiang, 3(z)130--130
-
Hu, Xu-Qiang, see Wang, Yu-Ping
-
Hu, Zhenjiang, 2(z)41--41, 4(z)224--224, 5(z)167--167, 7(z)83--83,
7(z)103--103, 8(z)41--41
-
Hu, Zhenjiang, see Ji, Ruyi,
see Ko, Hsiang-Shang, \see{Zhang, Xing
-
Hu:2020:UDF, 4(z)9--9
-
Hua, David, 7(z)268--268
-
Hua, David, see Liu, Fengyun
-
Huang, Heqing, 5(z)118--118
-
Huang, Heqing, see Yao, Peisen
-
Huang, Jeff, 6(z)88--88
-
Huang, Jeff, see Liu, Bozhen
-
Huang, Jian, 4(z)143--143
-
Huang, Jian, see Liu, Hongyu
-
Huang, Jiani, 7(z)166--166
-
Huang, Jiani, see Li, Ziyang
-
Huang, Mingzhang, 3(z)129--129
-
Huang, Xuejing, 5(z)89--89, 7(z)18--18, 7(z)31--31
-
Huang, Xuejing, see Rioux, Nick, \see{Xu, Han
-
Huang, Yifei, 7(z)298--298
-
Huang, Yifei, see Nazari, Amirmohammad
-
Huang, Yulong, 7(z)127--127
-
Huang:2019:MVA, 3(z)129--129
-
Huang:2021:DIU, 5(z)89--89
-
Huang:2023:DDT, 7(z)127--127
-
Hubers, Alex, 7(z)3--3, 7(z)201--201
-
Hubers, Alex, see Abreu, Pedro
-
Hubers:2023:GPE, 7(z)201--201
-
Hudon, Simon, 4(z)115--115
-
Hudon, Simon, see Selsam, Daniel
-
Hui, Roger K. W., 4(z)69--69
-
Hui:2020:AS, 4(z)69--69
-
hull, 6(z)43--43, 8(z)75--75
-
Human, 4(z)171--171
-
hundreds, 3(z)168--168, 5(z)165--165, 6(z)108--108
-
Hung, Shih-Han, 5(z)37--37
-
Hung, Shih-Han, see Hietala, Kesha
-
Hunt, Sebastian, 7(z)68--68
-
Hunt:2023:RSS, 7(z)68--68
-
Hunting, 7(z)156--156
-
Huot, Mathieu, 6(z)89--89, 7(z)5--5, 7(z)229--229
-
Huot, Mathieu, see Ghorbani, Mahdi,
see Lew, Alexander K.,
see Shaikhha, Amir
-
Hur, Chung-Kil, 2(z)125--125, 4(z)23--23, 4(z)51--51, 7(z)39--39,
7(z)139--139, 7(z)183--183
-
Hur, Chung-Kil, see Lee, Dongjae,
see Lee, Juneyoung, \see{Lee, Sung-Hwan,
see Song, Youngju, \see{Xia, Li-yao
-
Hutin, Rémi, 4(z)7--7, see Barthe, Gilles
-
Hutton, 5(z)82--82, 6(z)93--93
-
Hutton, Graham, 2(z)68--68, 3(z)114--114, 4(z)24--24, 5(z)82--82,
6(z)93--93, 7(z)213--213, 8(z)27--27
-
Hutton, Graham, see Bahr, Patrick,
see Hackett, Jennifer,
see Handley, Martin A. T.,
see Hewer, Brandon,
see Pickard, Mitchell
-
Huyghebaert, Sander, 5(z)6--6, 6(z)97--97
-
Huyghebaert, Sander, see Georges, Aïna Linn,
see Keuchel, Steven
-
Huzaifa, Muhammad, 3(z)186--186
-
Huzaifa, Muhammad, see Sharif, Hashim
-
Hwu, Wen-mei, 1(z)45--45
-
Hwu, Wen-mei, see El Hajj, Izzat
-
hybrid, 6(z)26--26, 6(z)168--168, 7(z)79--79
-
Hydra, 8(z)120--120
-
Hygienic, 4(z)80--80
-
hyperdimensional, 7(z)222--222
-
hyperproperties, 5(z)38--38, 8(z)2--2, 8(z)64--64
-
hypersafety, 6(z)135--135
-
hyperscale, 7(z)108--108
-
Hypersequent, 3(z)24--24
-
hypervisors, 7(z)1--1, 7(z)165--165
-
hypotheses, 3(z)21--21, 5(z)28--28
-
hypothesis, 4(z)136--136
-
hypothesize, 4(z)189--189
-
hypothetical, 8(z)67--67