Index file section G for pacmpl.bib

Last update: Sun Sep 1 02:29:01 MDT 2024

Return to index directory

G

\%g, 3(z)169--169
Gabay, Roi, 4(z)159--159
Gabay, Roi, see Peleg, Hila
Gaboardi, Marco, 1(z)21--21, 2(z)36--36, 3(z)92--92, 5(z)27--27, 5(z)93--93, 6(z)29--29, 6(z)57--57
Gaboardi, Marco, see Aguirre, Alejandro, see Bao, Jialu, \see{Qu, Weihao, see Radi{\v{c}}ek, Ivan, see Rajani, Vineet, \see{Zhang, Cheng
Gabrielle, Stephen De, 7(z)242--242
Gabrielle, Stephen De, see Flatt, Matthew
Gabrielyan, Arshavir, Ter-, 3(z)121--121
Gaddamadugu, Pranav, 3(z)172--172
Gaddamadugu, Pranav, see Near, Joseph P.
Gadducci, Fabio, 8(z)43--43
Gadducci, Fabio, see Ceragioli, Lorenzo
gadget, 5(z)154--154
GADT-style, 6(z)179--179
GADTs, 8(z)24--24
Gafter, Neal, 5(z)130--130
Gafter, Neal, see Shen, Xipeng
Gäher, Lennard, 6(z)28--28, 6(z)100--100, 7(z)281--281, see Cho, Minki, \see{Spies, Simon
Gaher:2022:SSL, 6(z)28--28
gain, 3(z)186--186, 6(z)4--4, 6(z)116--116, 7(z)168--168
gained, 3(z)162--162, 3(z)174--174, 4(z)126--126, 6(z)64--64, 7(z)84--84, 7(z)255--255, 8(z)86--86
gaining, 2(z)158--158, 4(z)49--49, 5(z)108--108, 5(z)117--117, 8(z)5--5
Gallus, Adrian, 6(z)66--66
Gallus, Adrian, see Batz, Kevin
Galois, 6(z)7--7
galvanized, 7(z)81--81
game, 2(z)61--61, 2(z)82--82, 3(z)23--23, 3(z)26--26, 3(z)27--27, 4(z)33--33, 4(z)73--73, 6(z)42--42, 8(z)57--57
gameplay, 3(z)96--96
Ganardi, Moses, 7(z)73--73, 8(z)1--1
Ganardi, Moses, see Baumann, Pascal, see Bergsträßer, Pascal
Gancher, Joshua, 7(z)30--30
Gancher:2023:CCE, 7(z)30--30
Ganesh, Vijay, 7(z)10--10
Ganesh, Vijay, see Day, Joel D.
Gao, Fengjuan, 4(z)137--137, 7(z)113--113
Gao, Fengjuan, see Wang, Yu
Gao, Pengfei, 7(z)286--286
Gao, Xiang, 4(z)219--219, 5(z)161--161
Gao:2020:FDS, 4(z)219--219
Gao:2021:PAO, 5(z)161--161
Gao:2023:CVE, 7(z)286--286
Gao:2023:DAA, 7(z)113--113
Gaonkar, Akash, 3(z)106--106
Gaonkar, Akash, see Lewchenko, Nicholas V.
gap, 2(z)105--105, 4(z)11--11, 4(z)180--180, 6(z)136--136, 7(z)1--1
garbage, 1(z)53--53, 2(z)151--151, 4(z)176--176, 4(z)204--204, 6(z)11--11, 6(z)103--103, 6(z)160--160, 7(z)25--25, 7(z)85--85, 7(z)115--115, 7(z)130--130, 7(z)265--265, 8(z)131--131
Garbage-collected, 6(z)160--160
Garbage-Collection, 7(z)115--115
Garcia, 3(z)18--18
Garcia, Ronald, 3(z)88--88, 5(z)61--61, 6(z)96--96, 6(z)133--133
Garcia, Ronald, see Eremondi, Joseph, see Ritschel, Nico, see Schwerter, Felipe Bañados
Garcia-Contreras, Isabel, 4(z)28--28
Garcia-Contreras, Isabel, see Bruni, Roberto
garden, 5(z)80--80
Gardner, Philippa, 2(z)50--50, 7(z)151--151
Gardner, Philippa, see Rao, Xiaojia, see Santos, José Fragoso
Garg, Deepak, 1(z)21--21, 1(z)89--89, 2(z)36--36, 3(z)92--92, 4(z)32--32, 5(z)27--27, 5(z)93--93, 6(z)23--23, 6(z)27--27, 6(z)182--182, 7(z)27--27, 7(z)89--89
Garg, Deepak, see Aguirre, Alejandro, see Hirsch, Andrew K., see Kolosick, Matthew, \see{Menz, Jan, see Qu, Weihao, \see{Radi{\v{c}}ek, Ivan, see Rajani, Vineet, \see{Sammler, Michael, see Swasey, David, \see{Zhu, Fengmin
Garg, Pranav, 2(z)131--131, 6(z)187--187
Garg, Pranav, see Ezudheen, P.
Garg:2022:SCQ, 6(z)187--187
Garillot, François, 7(z)197--197, see Amin, Nada
gas, 2(z)116--116, 6(z)145--145, 7(z)253--253
gas, Out-of-, 7(z)253--253
gas, out-of-, 2(z)116--116
gas-focused, 2(z)116--116
GASTAP, 7(z)253--253
gate, 4(z)130--130, 8(z)96--96
gathering, 4(z)203--203, 5(z)144--144, 8(z)95--95
Gaussian, 8(z)63--63
Gautam, Tushar, 5(z)164--164
Gautam, Tushar, see Bui, Truc Lam
Gavazzo, Francesco, 6(z)19--19, 6(z)31--31, 6(z)120--120, 7(z)63--63
Gavazzo, Francesco, see Barthe, Gilles, see Dal Lago, Ugo
Gavazzo:2023:EQR, 7(z)63--63
gave, 8(z)13--13
Gavran, Ivan, 4(z)201--201
Gavran:2020:IST, 4(z)201--201
Gavrilovska, Ada, 7(z)228--228
Gavrilovska, Ada, see Mururu, Girish
Gay, Simon J., 7(z)191--191
Gay, Simon J., see Fowler, Simon
Gayot, Arsène, Pérard-, 2(z)119--119
GC, 1(z)72--72, 4(z)176--176
GCC, 7(z)283--283
gdc, 4(z)73--73
gearboxes, 4(z)73--73
Geffen, Jacob, Van, 7(z)168--168
Geisler, Dietrich, 4(z)173--173
Geisler:2020:GTG, 4(z)173--173
Gelinas, Jack, 4(z)207--207
Gelinas, Jack, see Belyakova, Julia
Gélineau, Samuel, 6(z)39--39, see Jang, Junyoung
Geller, Adam T., 7(z)169--169, 8(z)80--80
Geller, Adam T., see Lehmann, Nico
Geller:2024:ITS, 8(z)80--80
Genç, Kaan, 3(z)179--179
Genc:2019:DAU, 3(z)179--179
Genco, Francesco A., 4(z)18--18
Genco, Francesco A., see Aschieri, Federico
general, 1(z)76--76, 2(z)77--77, 2(z)108--108, 3(z)22--22, 3(z)90--90, 3(z)103--103, 3(z)104--104, 3(z)120--120, 3(z)142--142, 3(z)160--160, 3(z)171--171, 4(z)13--13, 4(z)14--14, 4(z)60--60, 4(z)88--88, 4(z)99--99, 4(z)219--219, 5(z)90--90, 5(z)106--106, 6(z)43--43, 6(z)161--161, 7(z)22--22, 7(z)28--28, 7(z)63--63, 7(z)68--68, 7(z)206--206, 7(z)210--210, 7(z)213--213, 8(z)99--99, 8(z)141--141
general, more-, 3(z)147--147
general-purpose, 2(z)106--106, 4(z)51--51, 4(z)71--71, 4(z)229--229, 5(z)25--25, 5(z)54--54, 5(z)165--165, 6(z)101--101, 7(z)111--111, 7(z)254--254
generalisation, 2(z)74--74, 8(z)34--34
generalise, 3(z)2--2, 4(z)28--28
generalised, 3(z)30--30
generality, 4(z)7--7, 5(z)90--90
generalizability, 5(z)167--167
Generalizable, 5(z)167--167
generalization, 7(z)32--32, 7(z)141--141
generalize, 3(z)169--169, 7(z)52--52, 7(z)200--200
generalized, 1(z)74--74, 4(z)74--74, 4(z)178--178, 5(z)71--71, 7(z)31--31, 7(z)117--117, 8(z)24--24
generalizing, 3(z)12--12, 7(z)200--200, 8(z)120--120
generally, 3(z)91--91, 6(z)135--135, 7(z)12--12
generate, 3(z)29--29, 3(z)134--134, 3(z)160--160, 3(z)169--169, 3(z)175--175, 3(z)177--177, 4(z)11--11, 4(z)41--41, 4(z)56--56, 4(z)193--193, 4(z)220--220, 5(z)29--29, 5(z)46--46, 5(z)84--84, 5(z)109--109, 5(z)148--148, 6(z)3--3, 6(z)52--52, 6(z)132--132, 8(z)25--25
generated, 2(z)125--125, 3(z)29--29, 3(z)134--134, 3(z)160--160, 3(z)177--177, 3(z)181--181, 4(z)7--7, 4(z)204--204, 5(z)148--148, 5(z)151--151, 7(z)187--187, 8(z)146--146
generated, compiler-, 4(z)204--204
generated, inductively-, 3(z)1--1
generating, 1(z)101--101, 2(z)45--45, 2(z)158--158, 3(z)127--127, 3(z)134--134, 3(z)160--160, 4(z)49--49, 4(z)107--107, 5(z)14--14, 6(z)92--92, 6(z)122--122, 6(z)144--144, 7(z)77--77, 7(z)98--98, 7(z)254--254, 8(z)77--77, 8(z)127--127
Generating, Code-, 7(z)78--78
generating, code-, 7(z)78--78
generation, 1(z)91--91, 1(z)94--94, 2(z)157--157, 2(z)161--161, 3(z)13--13, 3(z)117--117, 3(z)127--127, 3(z)153--153, 3(z)177--177, 4(z)36--36, 4(z)85--85, 5(z)11--11, 5(z)40--40, 5(z)152--152, 5(z)166--166, 6(z)3--3, 6(z)39--39, 6(z)132--132, 7(z)9--9, 7(z)50--50, 7(z)180--180, 7(z)186--186, 7(z)200--200, 7(z)209--209, 7(z)239--239, 8(z)77--77, 8(z)108--108
generation, next-, 3(z)125--125
Generative, 5(z)152--152, 7(z)239--239
generativity, 3(z)10--10
generator, 2(z)45--45, 3(z)134--134, 3(z)166--166, 3(z)168--168, 4(z)73--73, 4(z)120--120, 4(z)196--196, 4(z)217--217, 5(z)104--104, 5(z)148--148, 5(z)151--151, 6(z)61--61, 6(z)92--92, 6(z)117--117, 6(z)128--128, 7(z)157--157, 7(z)200--200
generic, 1(z)7--7, 1(z)29--29, 2(z)85--85, 2(z)104--104, 2(z)114--114, 3(z)166--166, 4(z)13--13, 4(z)16--16, 4(z)33--33, 4(z)90--90, 4(z)100--100, 4(z)149--149, 6(z)1--1, 6(z)95--95, 6(z)105--105, 6(z)113--113, 6(z)129--129, 6(z)168--168, 7(z)201--201, 8(z)6--6, 8(z)14--14, 8(z)21--21, 8(z)86--86
generic, Datatype-, 6(z)98--98, 6(z)113--113
generic, datatype-, 6(z)98--98
generically, 4(z)115--115
genesis, 4(z)73--73, 4(z)75--75
Genet, Thomas, 4(z)112--112
Genet, Thomas, see Haudebourg, Timothée
Genkin, Daniel, 7(z)158--158
Genkin, Daniel, see Kuepper, Joel
Gennaro, Rosario, 7(z)197--197
Gennaro, Rosario, see Amin, Nada
genome, 3(z)125--125
genomic, 3(z)125--125, 4(z)71--71
genomics-oriented, 3(z)125--125
geo-distributed, 5(z)107--107
Geo-distribution, 1(z)107--107
geo-replicated, 3(z)154--154
geometric, Algebro-, 7(z)100--100
geometrical, 4(z)222--222
geometry, 4(z)173--173, 5(z)15--15, 5(z)51--51, 7(z)24--24, 7(z)253--253
George, Johann, 5(z)130--130
George, Johann, see Shen, Xipeng
Georges, Aïna Linn, 5(z)6--6, 6(z)74--74, 7(z)151--151, see Rao, Xiaojia
Georges:2021:EPL, 5(z)6--6
Georges:2022:TCE, 6(z)74--74
Germane, Kimball, 5(z)96--96
Germane:2021:NSL, 5(z)96--96
Germany, 4(z)83--83
Gervais, Arthur, 6(z)165--165
Gervais, Arthur, see Chaliasos, Stefanos
get, 2(z)133--133, 3(z)180--180, 4(z)169--169, 5(z)82--82, 6(z)57--57
Getafix, 3(z)159--159
getting, 2(z)95--95, 5(z)88--88, 7(z)237--237
Ghaffari, Mohsen, 7(z)193--193
Ghaffari, Mohsen, see Varshosaz, Mahsa
Ghahramani, Zoubin, 2(z)60--60, 2(z)83--83
Ghahramani, Zoubin, see {\'S}cibior, Adam
Ghalayini, Jad Elkhaleq, 7(z)195--195
Ghalayini:2023:ERT, 7(z)195--195
Gharat, Pritam, 7(z)282--282
Gharat, Pritam, see Shadab, Narges
Ghavamizadeh, Matin, 7(z)176--176
Ghavamizadeh, Matin, see Lew, Alexander K.
GHC, 3(z)100--100, 3(z)102--102, 7(z)96--96
Ghelli, Giorgio, 8(z)49--49
Ghelli, Giorgio, see Attouche, Lyes
Ghentiyala, Surendra, 7(z)167--167
Ghentiyala, Surendra, see Saha, Seemanta
Gheri, Lorenzo, 3(z)22--22, 7(z)79--79
Gheri, Lorenzo, see Blanchette, Jasmin Christian
Gheri:2023:HMS, 7(z)79--79
Ghica, Dan, 6(z)183--183
Ghica:2022:HLE, 6(z)183--183
Ghilezan, Silvia, 5(z)16--16
Ghilezan:2021:PSA, 5(z)16--16
Ghorbani, Mahdi, 7(z)229--229
Ghorbani:2023:CST, 7(z)229--229
Ghosh, Ritwika, 4(z)232--232
Ghosh:2020:KLP, 4(z)232--232
ghost, 4(z)2--2, 4(z)34--34, 7(z)85--85
Ghyselen, Alexis, 8(z)87--87
Ghyselen, Alexis, see Dal Lago, Ugo
Giacobazzi, Roberto, 4(z)28--28, 6(z)59--59, 8(z)55--55
Giacobazzi, Roberto, see Bruni, Roberto, see Campion, Marco
Gianas, Yann, Régis-, 2(z)78--78
Giannakopoulos, Theophilos, 2(z)87--87
Giannakopoulos, Theophilos, see Wand, Mitchell
Giannarakis, Nick, 5(z)90--90
Giannarakis:2021:PPP, 5(z)90--90
Giannini, Paola, 6(z)156--156, 7(z)267--267
Giannini, Paola, see Bianchini, Riccardo
Giarrusso, Paolo G., 4(z)114--114, 4(z)175--175, 5(z)69--69
Giarrusso, Paolo G., see Liu, Fengyun, see Stucki, Sandro
Giarrusso:2020:SSS, 4(z)114--114
Gibbons, Jeremy, 2(z)84--84, 2(z)86--86
Gibbons, Jeremy, see Boisseau, Guillaume
Gibbons:2018:RAW, 2(z)86--86
Gibson, Sydney, 5(z)85--85
Gibson, Sydney, see Fromherz, Aymeric
Gierczak, Olek, 8(z)125--125
Gierczak:2024:GTL, 8(z)125--125
Giesl, Jürgen, 4(z)37--37, see Hark, Marcel
gigantic, 7(z)174--174
Gil, Yossi, 7(z)105--105
Gil, Yossi, see Roth, Ori
Gilbert, Gaëtan, 3(z)3--3
Gilbert:2019:DPI, 3(z)3--3
Gillum, Chris, 5(z)133--133
Gillum, Chris, see Burckhardt, Sebastian
Gilray, Thomas, 2(z)51--51
Gilray, Thomas, see Nguy{\~{\^e}}n, Ph{\'u}c C.
Giorgio, Alessandro, Di, 7(z)64--64
Giovannini, Eric, 7(z)284--284
Giovannini, Eric, see New, Max S.
Girard, 6(z)8--8
Girol, 8(z)91--91
Girol, Guillaume, 8(z)91--91
Girol, Guillaume, see Sellami, Yanis
Git, 3(z)170--170
GitHub, 1(z)84--84, 4(z)60--60, 6(z)108--108
Github, 7(z)78--78
GitMerge, 3(z)170--170
Giuffrida, Cristiano, 7(z)143--143
Giuffrida, Cristiano, see Isemann, Raphael
Giunti, Marco, 7(z)226--226
Giunti, Marco, see Paulino, Hervé
Giusto, Cinzia, Di, 7(z)55--55
give, 2(z)66--66, 2(z)109--109, 2(z)139--139, 3(z)10--10, 3(z)133--133, 3(z)142--142, 3(z)158--158, 4(z)38--38, 4(z)41--41, 4(z)109--109, 4(z)171--171, 4(z)172--172, 5(z)10--10, 5(z)78--78, 6(z)6--6, 6(z)48--48, 7(z)68--68, 7(z)203--203, 8(z)92--92, 8(z)119--119
given, 2(z)88--88, 2(z)156--156, 3(z)11--11, 3(z)91--91, 3(z)126--126, 3(z)127--127, 3(z)129--129, 3(z)139--139, 3(z)154--154, 4(z)5--5, 4(z)12--12, 4(z)36--36, 4(z)135--135, 4(z)205--205, 4(z)211--211, 4(z)215--215, 5(z)22--22, 5(z)29--29, 5(z)34--34, 5(z)39--39, 5(z)48--48, 5(z)55--55, 5(z)105--105, 5(z)118--118, 5(z)158--158, 6(z)142--142, 6(z)180--180, 7(z)7--7, 7(z)8--8, 7(z)12--12, 7(z)14--14, 7(z)23--23, 7(z)50--50, 7(z)87--87, 7(z)156--156, 7(z)225--225, 7(z)232--232, 7(z)280--280, 8(z)119--119
giving, 4(z)63--63, 4(z)171--171, 5(z)35--35, 5(z)127--127, 7(z)68--68
GKAT, 4(z)61--61
Glabbeek, Rob van, 8(z)3--3
Glabbeek, Rob van, see Qin, Xueying
Gladstein, Vladimir, 6(z)49--49
Gladstein, Vladimir, see Kokologiannakis, Michalis
Glaunec, Alexis, Le, 7(z)92--92
Glehn, Tamara von, 2(z)100--100
Glehn, Tamara von, see Yallop, Jeremy
Gleissenthall, Klaus v., 1(z)110--110
Gleissenthall, Klaus v., see Bakst, Alexander
Gleissenthall, Klaus von, 5(z)49--49, 7(z)101--101, 7(z)143--143
Gleissenthall, Klaus von, see Isemann, Raphael, see Vassena, Marco, \see{Winter, Levin N.
Gligoric, Milos, 1(z)94--94, 3(z)177--177, 4(z)217--217, 5(z)166--166
Gligoric, Milos, see Al Awar, Nader, see Celik, Ahmet, \see{Nie, Pengyu
global, 2(z)109--109, 2(z)132--132, 3(z)91--91, 3(z)97--97, 3(z)189--189, 4(z)209--209, 5(z)107--107, 7(z)65--65, 7(z)134--134, 7(z)268--268, 8(z)130--130
globally, 2(z)110--110
GLORE, 1(z)74--74
glossy, 2(z)82--82
glove, 7(z)169--169
GNN-based, 6(z)162--162
GNNs, 6(z)162--162
GNU, 4(z)73--73
go, no-, 4(z)58--58
go-to, 7(z)45--45
goal, 2(z)78--78, 2(z)128--128, 3(z)158--158, 4(z)12--12, 4(z)41--41, 4(z)194--194, 4(z)215--215, 4(z)231--231, 6(z)34--34, 7(z)38--38, 7(z)239--239, 7(z)279--279, 8(z)18--18
goal-directed, 4(z)102--102
Goel, Aviral, 2(z)49--49, 3(z)153--153, 4(z)181--181, 5(z)101--101, 5(z)125--125
Goel, Aviral, see Flückiger, Olivier, see Turcotte, Alexi
Goel:2019:DIU, 3(z)153--153
Goel:2021:PMB, 5(z)101--101
Goel:2021:WWE, 5(z)125--125
Goens, Andrés, 7(z)153--153, 8(z)58--58, see K{\oe}hler, Thomas
Goens:2023:CMM, 7(z)153--153
goes, 2(z)76--76, 4(z)175--175, 6(z)116--116
Goharshady, Amir Kafshdar, 3(z)129--129, 7(z)100--100, 7(z)232--232, 7(z)253--253, 7(z)292--292, 8(z)107--107
Goharshady, Amir Kafshdar, see Cai, Zhuo, see Chatterjee, Krishnendu, see Conrado, Giovanna Kobus, see Huang, Mingzhang
Goharshady:2023:AGA, 7(z)100--100
going, 5(z)71--71
Gokhale, Satyajit, 5(z)160--160
Gokhale:2021:AMS, 5(z)160--160
Golan-Gueta, Guy, 2(z)48--48
Golan-Gueta, Guy, see Grossman, Shelly
gold, 3(z)172--172
Goldman, Sam, 1(z)48--48
Goldman, Sam, see Chaudhuri, Avik
Goldstein, Harrison, 6(z)128--128, 7(z)200--200, 7(z)218--218
Goldstein, Harrison, see Shi, Jessica
Goldstein:2022:PR, 6(z)128--128
Goldstein:2023:RRG, 7(z)200--200
Gollamudi, Anitha, 7(z)15--15
Gollamudi, Anitha, see Michael, Alexandra E.
Golson, Steve, 4(z)87--87
Golson, Steve, see Flake, Peter
Gomes, Victor B. F., 1(z)109--109
Gomes:2017:VSE, 1(z)109--109
Gómez-Londoño, Alejandro, 4(z)204--204
Gomez-Londono:2020:DYS, 4(z)204--204
Goncharov, Sergey, 7(z)22--22
Goncharov:2023:THO, 7(z)22--22
Gondelman, Léon, 5(z)42--42, 6(z)188--188, 7(z)217--217, 8(z)9--9, see Nieto, Abel, \see{Timany, Amin
Gondelman:2021:DCM, 5(z)42--42
Gondelman:2023:VRN, 7(z)217--217
Gong, Kai, 4(z)174--174
Gong, Kai, see Wu, Zhefeng
Gong, Zhangxiaowen, 2(z)126--126
Gong, Zoe, 2(z)163--163
Gong, Zoe, see Boston, Brett
Gong:2018:ESE, 2(z)126--126
Gonnord, Laure, 7(z)216--216
Gonnord, Laure, see Baudon, Thaïs
Gonzalez Boix, Elisa, 5(z)107--107
Gonzalez Boix, Elisa, see De Porre, Kevin
good, 2(z)45--45, 2(z)66--66, 2(z)89--89, 3(z)78--78, 3(z)79--79, 4(z)179--179, 4(z)228--228, 5(z)7--7, 6(z)28--28, 6(z)32--32, 6(z)140--140, 7(z)139--139, 7(z)237--237, 7(z)285--285
Goodloe, Alwyn E., 7(z)199--199
Goodloe, Alwyn E., see Scott, Ryan G.
Gopinathan, Kiran, 5(z)84--84, 7(z)107--107, 7(z)242--242, 7(z)245--245
Gopinathan, Kiran, see Flatt, Matthew, see Thy, Sewen, \see{Watanabe, Yasunari
Gopinathan:2023:MAP, 7(z)107--107
Gori, Roberta, 4(z)28--28
Gori, Roberta, see Bruni, Roberto
Gorjiara, Hamed, 4(z)146--146
Gorjiara:2020:SSE, 4(z)146--146
Gorlatch, Sergei, 4(z)92--92
Gorlatch, Sergei, see Hagedorn, Bastian
Gorogiannis, Nikos, 2(z)144--144
Gorogiannis, Nikos, see Blackshear, Sam
goSLP, 2(z)110--110
goto, 5(z)1--1
Gourdin, Léo, 7(z)224--224
Gourdin:2023:FVO, 7(z)224--224
governing, 5(z)77--77
Goyal, Maruth, 6(z)145--145
Goyal, Maruth, see Chen, Yanju
GPGPU, 5(z)25--25
GPU, 2(z)97--97, 5(z)109--109, 5(z)131--131, 7(z)60--60, 7(z)160--160
GPU-based, 3(z)177--177
GPUs, 1(z)94--94, 3(z)177--177, 4(z)81--81, 5(z)25--25, 7(z)111--111, 7(z)153--153
Graaf, Daan de, 7(z)101--101
Graaf, Daan de, see Winter, Levin N.
GraD, 5(z)50--50
graded, 3(z)110--110, 5(z)50--50, 6(z)31--31, 6(z)123--123, 7(z)220--220
grades, 7(z)220--220
gradient, 4(z)64--64
gradient-descent, 3(z)96--96
Gradients, 7(z)43--43
grading, 3(z)115--115, 4(z)171--171
gradual, 1(z)38--38, 1(z)40--40, 1(z)41--41, 1(z)54--54, 1(z)55--55, 1(z)56--56, 2(z)15--15, 2(z)71--71, 2(z)73--73, 2(z)98--98, 2(z)132--132, 2(z)133--133, 2(z)134--134, 3(z)15--15, 3(z)16--16, 3(z)17--17, 3(z)18--18, 3(z)88--88, 3(z)122--122, 4(z)29--29, 4(z)46--46, 4(z)191--191, 4(z)228--228, 5(z)7--7, 5(z)53--53, 5(z)61--61, 5(z)68--68, 5(z)108--108, 5(z)111--111, 5(z)127--127, 6(z)70--70, 6(z)96--96, 6(z)124--124, 7(z)84--84, 7(z)194--194, 7(z)284--284, 8(z)85--85, 8(z)89--89, 8(z)125--125
graduality, 2(z)73--73, 4(z)46--46, 6(z)70--70, 6(z)124--124
gradualize, 3(z)16--16
Gradualizing, 6(z)124--124
gradually, 2(z)73--73, 2(z)108--108, 3(z)15--15, 3(z)18--18, 5(z)53--53, 5(z)68--68, 5(z)111--111, 5(z)126--126, 5(z)127--127, 6(z)70--70, 7(z)284--284, 8(z)116--116, 8(z)125--125
gradually-typed, 5(z)61--61
Graf, Sebastian, 4(z)107--107
Graf:2020:LYG, 4(z)107--107
Graham-Lengrand, Stéphane, 2(z)94--94, see Accattoli, Beniamino
Grained, Fine-, 7(z)59--59, 7(z)161--161, 7(z)206--206
grained, fine-, 2(z)103--103, 2(z)110--110, 5(z)6--6, 5(z)34--34, 5(z)131--131, 6(z)7--7, 6(z)8--8, 6(z)20--20, 6(z)67--67, 6(z)74--74, 6(z)174--174, 7(z)47--47, 7(z)91--91, 7(z)161--161, 8(z)21--21
grammar, 1(z)82--82, 3(z)127--127, 3(z)134--134, 4(z)108--108, 5(z)151--151, 7(z)58--58, 7(z)150--150, 7(z)262--262
grammar-like, 4(z)120--120
grammar-restricted, 6(z)10--10
Grammatical, 7(z)293--293
Grand, Gabriel, 7(z)41--41
Grand, Gabriel, see Bowers, Matthew
Grandmaison, Arnaud, De, 5(z)142--142
granular, byte-, 5(z)63--63
granularity, 5(z)130--130, 6(z)8--8
graph, 1(z)78--78, 2(z)114--114, 2(z)121--121, 2(z)162--162, 3(z)25--25, 3(z)120--120, 3(z)166--166, 3(z)171--171, 4(z)64--64, 4(z)137--137, 4(z)178--178, 4(z)222--222, 4(z)225--225, 5(z)31--31, 5(z)65--65, 5(z)83--83, 5(z)134--134, 6(z)1--1, 6(z)41--41, 6(z)46--46, 6(z)90--90, 6(z)116--116, 6(z)117--117, 6(z)140--140, 6(z)162--162, 6(z)175--175, 6(z)180--180, 7(z)37--37, 7(z)59--59, 7(z)119--119, 7(z)232--232, 7(z)236--236, 7(z)257--257, 7(z)292--292, 8(z)17--17, 8(z)42--42, 8(z)57--57, 8(z)61--61, 8(z)134--134
graph, e-, 5(z)23--23
graph-based, 3(z)170--170, 4(z)179--179, 7(z)236--236, 8(z)42--42
graph-manipulating, 3(z)171--171
graphical, 2(z)162--162, 8(z)84--84
Graphick, 4(z)179--179
graphics, 1(z)93--93, 3(z)99--99, 4(z)81--81, 4(z)173--173, 8(z)126--126
GraphIt, 2(z)121--121
graphons, 8(z)61--61
graphs, e-, 5(z)23--23
Graphs, E-, 7(z)14--14
Gratzer, Daniel, 3(z)107--107
Gratzer:2019:IMD, 3(z)107--107
Graulund, Christian Uldal, 3(z)109--109, 5(z)2--2
Graulund, Christian Uldal, see Bahr, Patrick
Gray, Gavin, 7(z)265--265
Gray, Gavin, see Crichton, Will
great, 2(z)109--109, 3(z)157--157, 4(z)167--167, 5(z)40--40, 5(z)64--64, 6(z)116--116
greatest, 4(z)74--74
greatly, 3(z)147--147, 4(z)84--84, 6(z)77--77
Grech, Neville, 1(z)68--68, 1(z)102--102, 2(z)116--116, 4(z)190--190, 5(z)163--163, 6(z)77--77
Grech, Neville, see Lagouvardos, Sifis, see Smaragdakis, Yannis
Grech:2017:HDL, 1(z)68--68
Grech:2017:PTU, 1(z)102--102
Grech:2018:MSG, 2(z)116--116
Grech:2022:EAD, 6(z)77--77
greedy, 1(z)6--6, 7(z)295--295
greedy/lazy, 6(z)45--45
Greenberg, Michael, 4(z)43--43, 4(z)141--141, 5(z)111--111, 5(z)126--126, 7(z)7--7
Greenberg, Michael, see Bembenek, Aaron, see Malewski, Stefan, see Phipps-Costin, Luna
Greenberg:2020:EFS, 4(z)43--43
Greenman, Ben, 2(z)71--71, 2(z)133--133, 3(z)122--122, 5(z)68--68, 7(z)194--194, 7(z)241--241, 7(z)242--242, 8(z)116--116
Greenman, Ben, see Feltey, Daniel, see Flatt, Matthew, \see{Lazarek, Lukas, see Nelson, Tim
Greenman:2018:STS, 2(z)71--71
Greenman:2019:CMG, 3(z)122--122
Greenman:2023:HPC, 7(z)241--241
GrEff, 7(z)284--284
Gregersen, Simon Oddershede, 5(z)10--10, 5(z)42--42, 8(z)9--9, 8(z)26--26
Gregersen, Simon Oddershede, see Gondelman, Léon, see Timany, Amin
Gregersen:2021:MLR, 5(z)10--10
Gregersen:2024:APC, 8(z)26--26
Grégoire, Benjamin, 2(z)57--57, 4(z)7--7, 8(z)122--122, see Avanzini, Martin, \see{Barthe, Gilles
Grellois, Charles, 2(z)39--39
Grellois, Charles, see Clairambault, Pierre
grew, 4(z)75--75
Grewal, Nathan, 7(z)10--10
Grewal, Nathan, see Day, Joel D.
Grid, 7(z)246--246
Gries, 4(z)45--45, 4(z)151--151
Griesemer, Robert, 4(z)149--149
Griesemer:2020:FG, 4(z)149--149
Griffin, Jeremiah, 4(z)123--123
Griffin:2020:TTL, 4(z)123--123
Griffis, Eric, 7(z)96--96
Griffis, Eric, see Yuan, Yongwei
Grigore, Radu, 1(z)57--57
Grigore, Radu, see Zhang, Xin
Grodin, Harrison, 6(z)9--9, 8(z)10--10
Grodin, Harrison, see Niu, Yue
Grodin:2024:DDE, 8(z)10--10
Groovy, 4(z)76--76
Gross, Jason, 7(z)158--158
Gross, Jason, see Kuepper, Joel
Gross, Thomas R., 2(z)109--109, 2(z)130--130
Gross, Thomas R., see Faes, Michael, see Meier, Remigius
Grosser, Tobias, 4(z)195--195, 5(z)162--162, 8(z)58--58
Grosser, Tobias, see K{\oe}hler, Thomas, see Pitchanathan, Arjun
Grosser:2020:FLP, 4(z)195--195
Grossman, Dan, 1(z)69--69, 1(z)91--91, 2(z)99--99, 5(z)119--119
Grossman, Dan, see Nandi, Chandrakana, see Ringer, Talia, \see{Wood, Benjamin P.
Grossman, Max, 1(z)103--103
Grossman, Max, see Cogumbreiro, Tiago
Grossman, Shelly, 2(z)48--48, 4(z)209--209
Grossman, Shelly, see Albert, Elvira
Grossman:2018:ODE, 2(z)48--48
ground, 3(z)135--135, 4(z)120--120
Grounded, 7(z)78--78, 7(z)265--265
group, 4(z)54--54, 4(z)55--55, 4(z)82--82, 4(z)86--86, 4(z)117--117
groupoids, 6(z)6--6, 8(z)19--19
Grove, David, 7(z)159--159
Grove, David, see Tardieu, Olivier
Grover, Anvay, 5(z)114--114
Grover, Anvay, see Paraskevopoulou, Zoe
Groves, Lindsay, 4(z)66--66
Groves, Lindsay, see Mackay, Julian
growing, 3(z)81--81, 3(z)168--168, 4(z)185--185, 4(z)189--189, 5(z)102--102, 5(z)123--123, 6(z)40--40, 6(z)86--86, 7(z)130--130, 7(z)172--172, 8(z)99--99
grown, 3(z)133--133, 3(z)163--163, 3(z)182--182, 4(z)138--138
growth, 3(z)189--189, 4(z)167--167
growth., 3(z)133--133
Grueter, Melissa, 5(z)130--130
Grueter, Melissa, see Shen, Xipeng
Gruetter, Samuel, 7(z)192--192
Gruetter, Samuel, see Bourgeat, Thomas
Gruszecki, Aleksander, Boruch-, 6(z)76--76, 6(z)179--179, 8(z)48--48, 8(z)136--136
Gu, Bin, 7(z)243--243
Gu, Bin, see Zhou, Chijin
Gu, Brian, 7(z)168--168
Gu, Brian, see Pailoor, Shankara
Gu, Ronghui, 1(z)97--97, 4(z)20--20, 8(z)35--35
Gu, Ronghui, see Liu, Mengqi, \see{Yao, Jianan, see Zhai, Ennan
Gu, Tiancheng, 7(z)154--154
Gu, Tiancheng, see Kovach, Scott
Gu, Yu, 7(z)21--21, 7(z)72--72
Gu, Yu, see Unno, Hiroshi
Gu, Yuchen, 6(z)159--159
Gu, Yuchen, see Zou, Daming
Gu:2023:OCS, 7(z)21--21
Gualandi, Hugo Musso, 7(z)263--263
Gualandi, Hugo Musso, see Mehta, Meetesh Kalpesh
Guanciale, Roberto, 7(z)290--290, 8(z)102--102
Guanciale, Roberto, see Alshnakat, Anoud, see Larsen, Jens Kanstrup
guarantee, 2(z)66--66, 2(z)73--73, 2(z)75--75, 2(z)109--109, 2(z)125--125, 2(z)126--126, 2(z)133--133, 2(z)137--137, 2(z)160--160, 2(z)164--164, 3(z)7--7, 3(z)28--28, 3(z)122--122, 3(z)135--135, 3(z)142--142, 3(z)156--156, 4(z)11--11, 4(z)32--32, 4(z)41--41, 4(z)130--130, 4(z)132--132, 4(z)142--142, 4(z)188--188, 5(z)7--7, 5(z)8--8, 5(z)12--12, 5(z)104--104, 5(z)108--108, 5(z)133--133, 5(z)143--143, 5(z)145--145, 5(z)154--154, 5(z)167--167, 6(z)35--35, 6(z)61--61, 6(z)110--110, 6(z)154--154, 7(z)66--66, 7(z)89--89, 7(z)94--94, 7(z)164--164, 7(z)253--253, 8(z)47--47
guaranteed, 3(z)147--147
guaranteeing, 4(z)148--148, 5(z)97--97, 7(z)22--22, 7(z)162--162
guard, 1(z)88--88, 4(z)107--107, 6(z)4--4
guarded, 3(z)4--4, 3(z)158--158, 4(z)61--61, 5(z)2--2, 8(z)12--12, 8(z)92--92
guarded, predicate-, 4(z)61--61
Guéneau, Armaël, 5(z)6--6, 5(z)81--81, 7(z)247--247, 8(z)20--20, 8(z)50--50, see Birkedal, Lars, see Georges, Aïna Linn, see Pottier, François, see Timany, Amin
Gueneau:2023:MPL, 7(z)247--247
Guerrieri, Giulio, 6(z)121--121, 7(z)51--51
Guerrieri, Giulio, see Accattoli, Beniamino, see Arrial, Victor
Guest, Scott, 7(z)96--96
Guest, Scott, see Yuan, Yongwei
Gueta, Guy, 7(z)288--288
Gueta, Guy, see Tamir, Orr
Gueta, Guy, Golan-, 2(z)48--48
Guha, Arjun, 3(z)149--149, 4(z)231--231, 5(z)111--111, 7(z)238--238
Guha, Arjun, see First, Emily, see Jangda, Abhinav, see Phipps-Costin, Luna
GUI, 5(z)17--17
Gui, Yujiang, 7(z)256--256
Gui, Yujiang, see He, Dongjie
GUI-based, 5(z)156--156
guidance, 4(z)60--60, 8(z)32--32
guide, 3(z)158--158, 4(z)60--60, 4(z)109--109, 4(z)127--127, 4(z)227--227, 6(z)159--159, 7(z)50--50, 7(z)82--82
guided, 3(z)181--181, 4(z)145--145, 5(z)140--140, 6(z)133--133, 6(z)166--166, 7(z)119--119, 7(z)254--254, 8(z)58--58, 8(z)71--71
Guided, Complexity-, 7(z)280--280
guided, Complexity-, 6(z)68--68
guided, corpus-, 7(z)41--41
guided, Counterexample-, 4(z)221--221
guided, counterexample-, 4(z)62--62
guided, Coverage-, 3(z)174--174, 6(z)73--73, 7(z)75--75
Guided, Interpretation-, 7(z)171--171
guided, Model-, 6(z)191--191
guided, neural-, 6(z)71--71
Guided, Oracle-, 7(z)103--103
guided, Oracle-, 7(z)103--103
guided, Precision-, 2(z)141--141
Guided, Prefix-, 7(z)75--75
guided, Profile-, 6(z)52--52
guided, Provenance-, 4(z)62--62
guided, Semantics-, 5(z)30--30
guided, semantics-, 5(z)30--30
guided, Specification-, 6(z)147--147
Guided, Syntax-, 8(z)71--71
Guided, Trace-, 7(z)141--141
guided, trace-, 7(z)141--141
guided, Type-, 3(z)13--13
guided, type-, 3(z)13--13, 4(z)12--12
guiding, 4(z)224--224, 5(z)94--94
Guillon, Christophe, 5(z)142--142
Guillon, Christophe, see Vu, Son Tuan
Guilloud, Simon, 8(z)39--39
Guilloud:2024:OA, 8(z)39--39
Guimarães, Breno, 1(z)50--50, see Poesia, Gabriel
guise, 5(z)96--96
Gulwani, Sumit, 2(z)150--150, 3(z)143--143, 4(z)212--212, 4(z)219--219, 5(z)100--100, 5(z)158--158, 5(z)161--161, 6(z)139--139, 6(z)164--164, 7(z)33--33, 8(z)133--133
Gulwani, Sumit, see Bavishi, Rohan, see Cambronero, José, \see{Gao, Xiang, see Miltner, Anders, \see{Padhi, Saswat, see Rahmani, Kia, \see{Verbruggen, Gust, see Zhang, Jialu, \see{Zhang, Yuhao
Gulwani:2020:SIT, 4(z)212--212
Guo, Guanchen, 7(z)83--83, 8(z)41--41
Guo, Guanchen, see Zhang, Xing
Guo, Lihua, 7(z)243--243
Guo, Lihua, see Zhou, Chijin
Guo, Philip J., 6(z)167--167
Guo, Philip J., see Sakkas, Georgios
Guo, Shengjian, 4(z)147--147
Guo, Zheng, 4(z)12--12, 4(z)205--205, 6(z)91--91
Guo, Zheng, see James, Michael B., see Koppel, James
Guo:2020:ECT, 4(z)147--147
Guo:2020:PST, 4(z)12--12
Gupta, Aarti, 4(z)42--42, 7(z)108--108, 7(z)133--133, 7(z)184--184
Gupta, Aarti, see Beckett, Ryan, see Pick, Lauren, see Thijm, Timothy Alberdingk, see Wang, Jingbo
Gupta, Priyanshu, 6(z)139--139
Gupta, Priyanshu, see Zhang, Yuhao
Gupta, Rajiv, 3(z)156--156
Gupta, Rajiv, see Benavides, Zachary
Gupta, Shubhani, 4(z)221--221
Gupta:2020:CGC, 4(z)221--221
Gurfinkel, Arie, 6(z)60--60
Gurfinkel, Arie, see K., Hari Govind V.
Guria, Sankha Narayan, 7(z)171--171
Guria:2023:AAI, 7(z)171--171
Gustafson, John, 5(z)29--29
Gustafson, John, see Lim, Jay P.
Gutsfeld, Jens Oliver, 5(z)38--38, 8(z)2--2
Gutsfeld:2021:AFA, 5(z)38--38
Gutsfeld:2024:DAH, 8(z)2--2
Guyer, Samuel Z., 5(z)149--149
Guyer, Samuel Z., see Cronburg, Karl
GV, 6(z)107--107
GVM, 3(z)177--177