Index file section D for pacmpl.bib
Last update: Sat May 11 02:08:55 MDT 2024
Return to index directory
D
-
D, 4(z)73--73, 5(z)59--59
-
d, 3(z)158--158
-
D'Antoni, Loris, 1(z)80--80, 3(z)139--139, 5(z)30--30, 6(z)171--171,
7(z)23--23, 7(z)285--285
-
D'Antoni, Loris, see Albarghouthi, Aws,
see Kalita, Pankaj Kumar,
see Kim, Jinwoo, \see{Pan, Rong,
see Park, Kanghee
-
D'Osualdo, Emanuele, 6(z)135--135, 6(z)155--155, 7(z)26--26, 7(z)27--27
-
D'Osualdo, Emanuele, see Frumin, Dan,
see Sammler, Michael
-
D'Souza, Deepak, 2(z)131--131
-
D'Souza, Deepak, see Ezudheen, P.
-
D'Souza, Matt, 7(z)277--277
-
daemon, 2(z)103--103
-
Dagnino, Francesco, 1(z)81--81, 6(z)156--156, 7(z)267--267
-
Dagnino, Francesco, see Ancona, Davide,
see Bianchini, Riccardo
-
Dahlqvist, Fredrik, 4(z)57--57
-
Dahlqvist:2020:SHO, 4(z)57--57
-
Dai, Frank, 7(z)146--146
-
Dai, Frank, see Brandon, William
-
daily, 5(z)77--77, 6(z)73--73
-
Dal, 6(z)119--119
-
Dal Lago, Ugo, 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
-
Dal Lago, Ugo, see Accattoli, Beniamino,
see Avanzini, Martin, \see{Barthe, Gilles
-
Dalla Preda, Mila, 6(z)59--59, 8(z)55--55
-
Dalla Preda, Mila, see Campion, Marco
-
DalLago:2019:ITR, 3(z)7--7
-
DalLago:2021:ITP, 5(z)32--32
-
DalLago:2022:EPD, 6(z)19--19
-
DalLago:2022:RTE, 6(z)31--31
-
DalLago:2024:MCH, 8(z)87--87
-
Daloze, Benoit, 2(z)108--108
-
Daloze:2018:PDL, 2(z)108--108
-
Dalvandi, Sadegh, 6(z)189--189
-
Dalvandi:2022:IVR, 6(z)189--189
-
Dam, Mads, 8(z)102--102
-
Dam, Mads, see Alshnakat, Anoud
-
Damani, Sana, 7(z)111--111
-
Damani, Sana, see Tarek Ibn Ziad, Mohamed
-
Dana, 7(z)68--68
-
Dang, Hoang-Hai, 4(z)34--34, 4(z)41--41, 5(z)92--92, 6(z)28--28
-
Dang, Hoang-Hai, see Gäher, Lennard,
see Jung, Ralf, \see{Yanovski, Joshua
-
Dang:2020:RMR, 4(z)34--34
-
dangerous, 4(z)43--43, 6(z)78--78
-
dangling, 3(z)147--147
-
Danielsson, Nils Anders, 2(z)43--43, 7(z)220--220
-
Danielsson, Nils Anders, see Abel, Andreas
-
Danielsson:2018:TUS, 2(z)43--43
-
Danish, Matthew, 1(z)75--75
-
Danish, Matthew, see Orchard, Dominic
-
Danner, Norman, 4(z)15--15, 4(z)97--97
-
Danner, Norman, see Cutler, Joseph W.,
see Kavvos, G. A.
-
Darais, David, 1(z)12--12, 3(z)172--172, 4(z)50--50, 6(z)150--150
-
Darais, David, see Abuah, Chiké,
see Near, Joseph P.
-
Darais:2017:ADI, 1(z)12--12
-
Darais:2020:LPO, 4(z)50--50
-
Dardha, Ornela, 7(z)260--260
-
Dardha, Ornela, see Tang, Wenhao
-
Dardinier, Thibault, 6(z)163--163, 7(z)102--102, 7(z)175--175
-
Dardinier, Thibault, see Eilers, Marco
-
Dardinier:2022:FRU, 6(z)163--163
-
Dardinier:2023:VPI, 7(z)102--102
-
dark, 3(z)158--158
-
Darragh, Pierce, 4(z)108--108
-
Darragh:2020:PZF, 4(z)108--108
-
Darulova, Eva, 4(z)201--201
-
Darulova, Eva, see Gavran, Ivan
-
Das, Ankush, 2(z)91--91, 7(z)66--66, 8(z)90--90
-
Das, Ankush, see DeYoung, Henry
-
Das, Ria, 7(z)56--56
-
Das:2018:PCA, 2(z)91--91
-
Das:2023:CFA, 7(z)56--56
-
Das:2023:PRA, 7(z)66--66
-
dash, 4(z)43--43
-
Dash, Swaraj, 7(z)46--46
-
Dash:2023:AML, 7(z)46--46
-
data, big-, 4(z)125--125
-
Data, Single-Program-Multiple-, 4(z)72--72
-
data-analysis, 3(z)94--94
-
Data-Centric, 7(z)226--226
-
data-centric, 2(z)31--31, 4(z)105--105
-
data-dependence, 2(z)30--30
-
data-driven, 1(z)60--60, 1(z)100--100, 2(z)140--140, 3(z)153--153,
4(z)153--153, 5(z)116--116, 6(z)143--143
-
data-flow, 2(z)162--162, 7(z)292--292
-
data-intensive, 7(z)229--229
-
Data-Parallel, 7(z)181--181
-
data-parallel, 2(z)97--97
-
data-race, 7(z)164--164
-
data-race-free, 3(z)133--133
-
data-structure, 1(z)65--65
-
data-types, 5(z)21--21
-
database, 2(z)74--74, 2(z)86--86, 2(z)157--157, 3(z)117--117,
3(z)165--165, 4(z)71--71, 4(z)170--170, 4(z)211--211, 5(z)42--42,
5(z)136--136, 6(z)35--35, 7(z)95--95, 7(z)129--129, 8(z)134--134
-
database-driven, 2(z)56--56
-
dataflow, 1(z)99--99, 2(z)96--96, 4(z)44--44, 5(z)49--49, 5(z)65--65,
6(z)176--176, 8(z)42--42
-
Dataflow-based, 4(z)177--177
-
Datalog, 2(z)139--139, 4(z)22--22, 4(z)62--62, 4(z)125--125,
4(z)141--141, 7(z)7--7, 7(z)125--125, 7(z)248--248, 7(z)264--264,
8(z)86--86, 8(z)98--98
-
dataset, 2(z)150--150, 3(z)93--93, 3(z)125--125, 4(z)49--49
-
datatype, 4(z)53--53, 5(z)55--55, 6(z)105--105
-
datatype-generic, 6(z)98--98, 6(z)113--113
-
datatypes, 2(z)104--104, 4(z)40--40, 4(z)53--53, 5(z)3--3, 5(z)91--91,
5(z)126--126, 6(z)113--113
-
date, 4(z)11--11, 4(z)73--73, 6(z)114--114, 7(z)293--293
-
daunting, 6(z)53--53, 7(z)133--133, 7(z)288--288
-
David, 5(z)148--148
-
David, Cristina, 5(z)105--105
-
David, Cristina, see Yamaguchi, Masaomi
-
David, Yaniv, 4(z)225--225
-
David:2020:NRE, 4(z)225--225
-
Davidmann, Simon, 4(z)87--87
-
Davidmann, Simon, see Flake, Peter
-
Davis, Milo, 1(z)23--23
-
Davis:2017:NBC, 1(z)23--23
-
day, 2(z)151--151, 4(z)48--48, 6(z)141--141
-
Day, Joel D., 7(z)10--10
-
day, ten-, 4(z)77--77
-
Day:2023:EPS, 7(z)10--10
-
DBLP:conf/popl/Launchbury93, 3(z)114--114
-
DBMSs, 4(z)211--211
-
DCS, 7(z)226--226
-
de Amorim, Arthur, Azevedo, 8(z)17--17
-
De Grandmaison, Arnaud, 5(z)142--142
-
De Grandmaison, Arnaud, see Vu, Son Tuan
-
De Meuter, Wolfgang, 7(z)227--227
-
De Meuter, Wolfgang, see Renaux, Thierry
-
De Porre, Kevin, 5(z)107--107
-
de-facto, 8(z)49--49
-
Dea, Irene, 5(z)130--130
-
Dea, Irene, see Shen, Xipeng
-
Deacon, Will, 2(z)19--19
-
Deacon, Will, see Pulte, Christopher
-
dead, 1(z)54--54
-
deadlock, 1(z)103--103, 2(z)146--146, 4(z)214--214, 6(z)1--1, 6(z)46--46,
6(z)107--107, 7(z)36--36, 7(z)177--177, 8(z)47--47, 8(z)73--73
-
Deadlock-Free, 8(z)47--47
-
deal, 3(z)137--137, 4(z)173--173, 6(z)31--31, 6(z)116--116, 7(z)104--104
-
dealing, 3(z)157--157, 4(z)190--190, 6(z)124--124, 7(z)34--34,
8(z)112--112
-
DeAllocations, 8(z)146--146
-
debate, 3(z)79--79, 5(z)77--77
-
Debits, 8(z)50--50
-
debloat, 7(z)256--256
-
DebloaterX, 7(z)256--256
-
Debloating, 7(z)256--256
-
debug, 3(z)117--117, 3(z)146--146, 4(z)225--225
-
debuggers, 3(z)146--146
-
debugging, 1(z)2--2, 2(z)162--162, 4(z)60--60, 4(z)150--150,
5(z)149--149, 6(z)190--190, 7(z)97--97, 7(z)111--111, 7(z)121--121,
7(z)248--248, 8(z)97--97, 8(z)110--110
-
decade, 3(z)17--17, 3(z)96--96, 3(z)98--98, 3(z)120--120, 3(z)125--125,
3(z)157--157, 3(z)172--172, 4(z)45--45, 4(z)69--69, 5(z)14--14,
5(z)18--18, 5(z)38--38, 5(z)70--70, 5(z)157--157, 6(z)73--73,
6(z)100--100, 7(z)128--128, 7(z)205--205, 7(z)257--257
-
decalf, 8(z)10--10
-
decentralized, 3(z)144--144, 6(z)149--149, 7(z)27--27
-
decidability, 2(z)23--23, 3(z)29--29, 4(z)35--35, 5(z)143--143,
6(z)12--12
-
decidable, 1(z)22--22, 1(z)108--108, 2(z)3--3, 2(z)132--132, 3(z)3--3,
4(z)9--9, 4(z)29--29, 4(z)35--35, 4(z)66--66, 5(z)44--44, 5(z)56--56,
6(z)59--59, 6(z)65--65, 7(z)69--69, 7(z)80--80
-
decide, 3(z)3--3, 7(z)4--4
-
Decides, 8(z)51--51
-
deciding, 4(z)35--35, 5(z)8--8, 5(z)48--48, 5(z)56--56, 7(z)72--72,
8(z)2--2
-
decimal, 3(z)169--169
-
decision, 3(z)118--118, 3(z)142--142, 3(z)158--158, 4(z)35--35,
4(z)71--71, 4(z)84--84, 4(z)185--185, 5(z)83--83, 5(z)144--144,
8(z)32--32, 8(z)64--64
-
decision-tree, 2(z)131--131
-
Decker, James, 2(z)105--105, 3(z)96--96
-
Decker, James, see Wang, Fei,
see Wei, Guannan
-
declaration, 2(z)113--113, 3(z)11--11, 4(z)53--53, 4(z)73--73,
5(z)145--145, 6(z)142--142, 7(z)226--226
-
declarative, 2(z)116--116, 4(z)11--11, 4(z)105--105, 4(z)125--125,
4(z)180--180, 4(z)217--217, 5(z)83--83, 6(z)186--186, 7(z)225--225,
8(z)98--98
-
declaratively, 4(z)11--11, 7(z)211--211
-
declared, 4(z)72--72, 4(z)136--136
-
declares, 4(z)41--41
-
declaring, 6(z)95--95
-
Declassification, 7(z)89--89
-
decoder, 3(z)82--82
-
decompilation, 2(z)116--116, 6(z)77--77, 7(z)123--123
-
decompiler, 2(z)116--116, 6(z)77--77, 8(z)143--143
-
decompiling, 2(z)99--99
-
decompose, 8(z)96--96
-
decomposing, 2(z)55--55, 4(z)94--94
-
decomposition, 4(z)30--30, 6(z)133--133
-
Deconstructing, 7(z)64--64
-
decoupled, 3(z)29--29
-
decoupling, 2(z)109--109, 5(z)24--24
-
Decova, Sára, 3(z)28--28, see Fowler, Simon
-
decryption, 7(z)114--114
-
dedicated, 6(z)158--158, 8(z)79--79
-
deduction, 4(z)18--18, 6(z)106--106
-
deductive, 4(z)2--2, 4(z)170--170, 5(z)84--84, 5(z)143--143,
5(z)145--145, 5(z)157--157, 6(z)185--185, 7(z)77--77, 7(z)294--294,
8(z)33--33
-
deductive-analytic, 7(z)264--264
-
deemed, 2(z)66--66
-
deep, 2(z)70--70, 3(z)96--96, 3(z)162--162, 3(z)186--186, 4(z)16--16,
4(z)72--72, 5(z)3--3, 5(z)96--96, 5(z)140--140, 5(z)163--163,
6(z)73--73, 6(z)166--166, 7(z)90--90, 7(z)113--113, 7(z)124--124,
7(z)157--157, 7(z)166--166, 7(z)185--185, 8(z)112--112
-
Deep, Shaleen, 7(z)59--59
-
Deep, Shaleen, see Koutris, Paraschos
-
DeepBugs, 2(z)147--147
-
deeper, 2(z)125--125
-
deeply, 2(z)162--162, 7(z)29--29
-
DeepSEA, 3(z)136--136
-
DeepSpec, 4(z)152--152
-
default, 2(z)162--162, 4(z)101--101, 4(z)208--208
-
default, volatile-by-, 1(z)49--49
-
defeating, 4(z)138--138
-
defects, 1(z)104--104, 7(z)75--75
-
defied, 6(z)16--16
-
definable, 8(z)13--13
-
define, 2(z)106--106, 3(z)16--16, 3(z)99--99, 3(z)104--104, 3(z)150--150,
3(z)164--164, 4(z)38--38, 4(z)41--41, 4(z)43--43, 4(z)48--48,
4(z)88--88, 4(z)99--99, 4(z)112--112, 4(z)158--158, 5(z)15--15,
5(z)87--87, 6(z)113--113, 8(z)68--68
-
defined, 2(z)100--100, 4(z)22--22, 4(z)107--107, 4(z)149--149,
5(z)30--30, 5(z)56--56, 5(z)57--57, 5(z)78--78, 6(z)191--191,
7(z)68--68, 7(z)155--155, 8(z)90--90
-
Defined, Software-, 7(z)290--290
-
defined, software-, 7(z)269--269
-
defined, User-, 5(z)33--33
-
defined, user-, 1(z)13--13, 5(z)102--102, 5(z)112--112
-
defined, well-, 2(z)107--107, 3(z)158--158, 7(z)47--47
-
definedness, 7(z)68--68
-
defining, 2(z)165--165, 3(z)1--1, 3(z)86--86, 3(z)176--176, 4(z)4--4,
4(z)90--90, 5(z)14--14, 6(z)99--99, 6(z)131--131, 6(z)192--192,
7(z)58--58, 7(z)68--68, 7(z)213--213, 8(z)31--31
-
DefinitelyTyped, 6(z)142--142
-
definition, 2(z)24--24, 2(z)113--113, 2(z)114--114, 3(z)29--29,
3(z)133--133, 3(z)134--134, 4(z)8--8, 4(z)72--72, 4(z)73--73,
4(z)88--88, 4(z)207--207, 5(z)45--45, 5(z)55--55, 5(z)57--57,
7(z)68--68, 7(z)74--74, 7(z)89--89, 7(z)155--155, 7(z)163--163
-
definitional, 1(z)12--12, 2(z)16--16, 2(z)105--105, 3(z)3--3,
6(z)192--192
-
definitionally, 6(z)32--32
-
defunctionalization, 7(z)127--127, 7(z)146--146
-
Degenbaev, Ulan, 2(z)151--151
-
Degenbaev:2018:CCG, 2(z)151--151
-
degradation, 2(z)98--98
-
degree, 4(z)66--66, 6(z)8--8, 7(z)96--96, 7(z)232--232
-
Degrees, 8(z)136--136
-
degski, 5(z)148--148
-
Dehnavi, Maryam Mehri, 7(z)188--188
-
Dehnavi, Maryam Mehri, see Wilkinson, Lucas
-
DéjàVu, 1(z)84--84
-
Dekoninck, Jasper, 8(z)96--96
-
Dekoninck, Jasper, see Paradis, Anouk
-
Del Vecchio, Thomas, 8(z)116--116
-
Del Vecchio, Thomas, see Nelson, Tim
-
Delaware, Benjamin, 3(z)82--82, 3(z)117--117, 5(z)116--116, 6(z)51--51,
7(z)3--3, 7(z)147--147, 7(z)157--157, 8(z)144--144
-
Delaware, Benjamin, see Abreu, Pedro,
see Rahmani, Kia, \see{Ye, Qianchuan,
see Zhou, Zhe
-
Delaware:2019:NCC, 3(z)82--82
-
delayed, 3(z)153--153, 5(z)74--74, 5(z)115--115
-
Delbianco, Germán Andrés, 3(z)161--161, 5(z)5--5,
see Farka, Franti{\v{s}}ek,
see Nanevski, Aleksandar
-
delegate, 4(z)209--209
-
delete, 6(z)130--130
-
delicate, 3(z)140--140
-
Deligiannis, Pantazis, 1(z)95--95, 4(z)230--230
-
Deligiannis, Pantazis, see Mukherjee, Suvam,
see Parkinson, Matthew
-
Delignat-Lavaud, Antoine, 1(z)17--17
-
Delignat-Lavaud, Antoine, see Protzenko, Jonathan
-
delimited, 1(z)13--13, 2(z)69--69, 2(z)76--76, 4(z)100--100, 5(z)33--33,
5(z)71--71, 7(z)71--71
-
delimited, well-, 4(z)8--8
-
delimiting, 6(z)118--118
-
deliver, 2(z)126--126, 4(z)47--47
-
delivering, 2(z)109--109
-
Delivery, 7(z)191--191
-
Della Rocca, Simona Ronchi, 5(z)32--32
-
Della Rocca, Simona Ronchi, see Dal Lago, Ugo
-
demand, 2(z)99--99, 5(z)25--25, 7(z)130--130, 8(z)135--135
-
Demand, On-, 7(z)292--292
-
demand, on-, 4(z)33--33, 5(z)80--80
-
demand-driven, 3(z)140--140, 4(z)102--102
-
Demiralp, Ça{\u{g}}atay, 7(z)287--287,
see Chen, Qiaochu
-
democratization, 3(z)125--125
-
demonstrate, 2(z)47--47, 2(z)93--93, 3(z)125--125, 3(z)147--147,
3(z)160--160, 3(z)166--166, 4(z)11--11, 6(z)134--134, 7(z)85--85
-
demonstrated, 4(z)152--152, 7(z)97--97, 7(z)186--186
-
demonstrating, 3(z)86--86
-
Demonstration, 8(z)18--18
-
Demonstration, Programming-by-, 8(z)18--18
-
demonstration/examples, 3(z)143--143
-
Demsky, Brian, 2(z)136--136, 4(z)146--146
-
Demsky, Brian, see Gorjiara, Hamed,
see Ou, Peizhao
-
Demystifying, 3(z)96--96
-
den Broeck, Guy, Van, 4(z)140--140
-
den Vonder, Sam, Van, 7(z)227--227
-
Deng, Haowei, 8(z)59--59
-
Deng, Yinlin, 6(z)73--73
-
Deng, Yinlin, see Liu, Jiawei
-
Deng, Yuxin, 4(z)25--25
-
Deng, Yuxin, see Wang, Peixin
-
Deng:2024:CSR, 8(z)59--59
-
Denlinger, Aidan, 7(z)15--15
-
Denlinger, Aidan, see Michael, Alexandra E.
-
denotation, 4(z)119--119
-
denotational, 2(z)60--60, 2(z)68--68, 4(z)19--19, 4(z)38--38, 4(z)57--57,
4(z)97--97, 4(z)119--119, 6(z)6--6, 7(z)2--2, 8(z)12--12
-
denote, 3(z)82--82, 3(z)99--99, 5(z)1--1
-
dense, 5(z)91--91, 5(z)128--128, 8(z)103--103
-
Density, 7(z)131--131
-
deoptimization, 2(z)49--49, 5(z)46--46
-
department, 2(z)82--82
-
depend, 2(z)109--109, 2(z)115--115, 2(z)121--121, 3(z)121--121,
3(z)145--145, 5(z)131--131, 8(z)34--34, 8(z)72--72, 8(z)94--94
-
dependence, 3(z)137--137, 6(z)57--57
-
dependence, data-, 2(z)30--30
-
Dependence-Aware, 7(z)50--50
-
Dependence-aware, 3(z)179--179
-
dependency, 3(z)89--89, 4(z)169--169, 4(z)192--192, 6(z)7--7, 6(z)46--46,
6(z)54--54, 6(z)172--172, 7(z)236--236, 8(z)17--17, 8(z)21--21,
8(z)44--44
-
dependent, 1(z)31--31, 1(z)32--32, 1(z)33--33, 1(z)46--46, 2(z)69--69,
2(z)75--75, 2(z)104--104, 2(z)115--115, 3(z)86--86, 3(z)87--87,
3(z)88--88, 3(z)101--101, 3(z)107--107, 3(z)145--145, 3(z)166--166,
3(z)183--183, 4(z)3--3, 4(z)4--4, 4(z)9--9, 4(z)58--58, 4(z)66--66,
4(z)114--114, 4(z)122--122, 4(z)208--208, 5(z)20--20, 5(z)50--50,
5(z)69--69, 5(z)108--108, 6(z)32--32, 6(z)96--96, 7(z)57--57,
7(z)71--71, 7(z)74--74, 7(z)127--127, 7(z)214--214, 7(z)217--217,
7(z)220--220, 8(z)8--8, 8(z)44--44, 8(z)47--47, 8(z)76--76
-
dependent, context-, 6(z)31--31
-
dependent, inter-, 7(z)248--248
-
dependent, Label-, 4(z)67--67
-
dependent, path-, 3(z)145--145
-
dependent, Regex-, 6(z)45--45
-
dependent, secret-, 4(z)7--7, 5(z)129--129, 7(z)274--274
-
dependent, variable-, 4(z)25--25
-
dependently, 2(z)69--69, 2(z)75--75, 2(z)104--104, 3(z)87--87,
3(z)100--100, 4(z)3--3, 4(z)91--91, 4(z)101--101, 4(z)121--121,
5(z)22--22, 5(z)60--60, 5(z)85--85, 6(z)96--96, 6(z)98--98
-
Dependently-Typed, 7(z)210--210, 8(z)129--129
-
dependently-typed, 3(z)86--86, 3(z)88--88, 5(z)82--82, 5(z)108--108,
6(z)40--40, 7(z)210--210
-
depending, 6(z)67--67
-
depict, 5(z)137--137
-
deploy, 6(z)148--148
-
deployable, 4(z)89--89
-
deployed, 2(z)148--148, 4(z)43--43, 4(z)153--153, 4(z)200--200,
6(z)73--73, 6(z)77--77, 6(z)157--157, 7(z)253--253
-
deployed, as-, 4(z)190--190
-
deploying, 4(z)43--43
-
DePorre:2021:PEB, 5(z)107--107
-
depth, 5(z)72--72
-
depth-the, 2(z)160--160
-
Derici, Caner, 3(z)78--78
-
Derici, Caner, see Flatt, Matthew
-
derivation, 2(z)115--115, 3(z)82--82, 4(z)95--95, 5(z)19--19, 6(z)24--24
-
derivative, 3(z)127--127, 4(z)38--38, 4(z)108--108, 7(z)148--148
-
derivative-based, 5(z)151--151
-
derive, 3(z)86--86, 6(z)140--140, 6(z)178--178
-
derived, 4(z)180--180, 6(z)94--94
-
deriving, 2(z)85--85, 2(z)105--105, 3(z)13--13, 4(z)110--110,
4(z)127--127, 5(z)74--74, 6(z)117--117, 6(z)180--180, 8(z)129--129
-
Desai, Ankush, 2(z)159--159, 7(z)133--133, 7(z)300--300
-
Desai, Ankush, see Mora, Federico,
see Pick, Lauren
-
Desai:2018:CPT, 2(z)159--159
-
descendant, 4(z)71--71, 4(z)87--87
-
descent, 8(z)46--46
-
descent, gradient-, 3(z)96--96
-
describe, 2(z)123--123, 2(z)131--131, 2(z)137--137, 2(z)150--150,
2(z)154--154, 3(z)100--100, 3(z)109--109, 3(z)111--111,
3(z)116--116, 3(z)133--133, 3(z)135--135, 3(z)161--161,
3(z)189--189, 4(z)11--11, 4(z)30--30, 4(z)75--75, 4(z)76--76,
4(z)85--85, 4(z)87--87, 4(z)122--122, 4(z)131--131, 4(z)149--149,
4(z)156--156, 4(z)169--169, 4(z)201--201, 5(z)17--17, 5(z)52--52,
5(z)94--94, 6(z)39--39, 6(z)84--84, 6(z)122--122, 7(z)60--60,
7(z)68--68, 7(z)154--154, 7(z)203--203, 7(z)285--285, 8(z)88--88,
8(z)129--129, 8(z)138--138
-
described, 3(z)127--127, 5(z)148--148, 7(z)68--68
-
describing, 3(z)90--90, 3(z)99--99, 4(z)55--55, 4(z)92--92, 4(z)223--223,
5(z)78--78
-
description, 4(z)63--63, 4(z)84--84, 4(z)87--87, 4(z)201--201, 6(z)5--5,
7(z)230--230, 7(z)239--239
-
description., 4(z)84--84
-
descriptive, 4(z)81--81
-
deserialization, 8(z)134--134
-
deserves, 2(z)143--143
-
design, 2(z)67--67, 2(z)83--83, 2(z)85--85, 2(z)93--93, 2(z)96--96,
2(z)99--99, 2(z)108--108, 2(z)109--109, 2(z)113--113, 2(z)120--120,
2(z)131--131, 2(z)138--138, 2(z)156--156, 3(z)17--17, 3(z)99--99,
3(z)118--118, 3(z)142--142, 3(z)151--151, 3(z)153--153,
3(z)166--166, 3(z)177--177, 3(z)182--182, 3(z)186--186, 4(z)3--3,
4(z)30--30, 4(z)43--43, 4(z)44--44, 4(z)69--69, 4(z)71--71,
4(z)73--73, 4(z)77--77, 4(z)79--79, 4(z)84--84, 4(z)87--87,
4(z)89--89, 4(z)120--120, 4(z)136--136, 4(z)139--139, 4(z)149--149,
4(z)174--174, 4(z)181--181, 4(z)210--210, 5(z)41--41, 5(z)88--88,
5(z)117--117, 5(z)141--141, 5(z)155--155, 5(z)162--162, 6(z)36--36,
6(z)106--106, 6(z)116--116, 6(z)148--148, 7(z)4--4, 7(z)109--109,
7(z)120--120, 7(z)176--176, 7(z)209--209, 7(z)230--230,
7(z)245--245, 7(z)262--262, 8(z)7--7, 8(z)21--21, 8(z)89--89,
8(z)116--116, 8(z)117--117
-
design, co-, 1(z)72--72
-
designed, 2(z)85--85, 2(z)148--148, 2(z)163--163, 3(z)7--7, 3(z)15--15,
3(z)120--120, 3(z)186--186, 4(z)71--71, 4(z)73--73, 4(z)79--79,
4(z)83--83, 4(z)84--84, 4(z)94--94, 4(z)132--132, 4(z)174--174,
4(z)181--181, 5(z)26--26, 5(z)35--35, 5(z)107--107, 5(z)121--121,
5(z)122--122, 6(z)26--26, 6(z)148--148, 6(z)188--188, 7(z)32--32,
7(z)83--83, 7(z)168--168, 8(z)47--47, 8(z)118--118, 8(z)131--131
-
designed, custom-, 6(z)148--148
-
designers, 3(z)123--123, 3(z)158--158, 4(z)136--136, 5(z)35--35
-
designing, 4(z)73--73, 4(z)179--179, 4(z)181--181, 5(z)2--2, 5(z)61--61,
6(z)43--43, 6(z)92--92, 6(z)173--173, 7(z)251--251, 8(z)105--105
-
desirable, 3(z)101--101, 3(z)133--133, 4(z)221--221, 5(z)18--18,
5(z)22--22, 8(z)115--115
-
desired, 2(z)74--74, 2(z)78--78, 2(z)159--159, 4(z)54--54, 6(z)143--143,
7(z)185--185, 8(z)32--32
-
desktop, 4(z)81--81, 7(z)153--153
-
Desktop-manufacturing, 2(z)99--99
-
despite, 3(z)85--85, 3(z)107--107, 3(z)155--155, 3(z)157--157,
3(z)189--189, 4(z)41--41, 4(z)73--73, 4(z)76--76, 4(z)83--83,
4(z)223--223, 5(z)64--64, 5(z)72--72, 5(z)97--97, 5(z)123--123,
5(z)154--154, 5(z)167--167, 6(z)25--25, 6(z)41--41, 6(z)53--53,
6(z)142--142, 6(z)162--162, 7(z)1--1, 7(z)249--249
-
dessert, 4(z)204--204
-
destroyed, 4(z)160--160
-
destructed, 4(z)30--30
-
desugarings, 5(z)122--122
-
detail, 2(z)80--80, 2(z)120--120, 3(z)98--98, 3(z)102--102, 3(z)164--164,
4(z)77--77, 5(z)94--94, 5(z)135--135, 7(z)237--237
-
detailed, 7(z)200--200
-
detect, 2(z)116--116, 2(z)139--139, 2(z)145--145, 3(z)160--160,
3(z)179--179, 4(z)60--60, 4(z)132--132, 4(z)230--230, 5(z)31--31,
5(z)36--36, 5(z)138--138, 6(z)46--46, 6(z)70--70, 7(z)102--102,
7(z)143--143, 8(z)17--17, 8(z)32--32, 8(z)136--136
-
detectable, 5(z)148--148, 7(z)118--118
-
detected, 3(z)189--189
-
detecting, 1(z)104--104, 2(z)144--144, 3(z)162--162, 3(z)170--170,
3(z)188--188, 3(z)189--189, 4(z)60--60, 4(z)144--144, 4(z)187--187,
5(z)123--123, 5(z)129--129, 5(z)156--156, 5(z)166--166,
6(z)190--190, 7(z)45--45, 7(z)177--177
-
detection, 1(z)66--66, 1(z)69--69, 2(z)48--48, 2(z)144--144,
2(z)145--145, 2(z)147--147, 2(z)163--163, 3(z)162--162,
3(z)179--179, 3(z)188--188, 4(z)138--138, 5(z)140--140,
5(z)165--165, 6(z)115--115, 7(z)45--45, 7(z)168--168, 7(z)262--262,
8(z)73--73, 8(z)97--97, 8(z)111--111
-
detectors, 5(z)129--129, 5(z)165--165
-
determine, 3(z)137--137, 4(z)42--42, 7(z)185--185
-
determined, 4(z)30--30, 7(z)68--68
-
determining, 2(z)145--145, 5(z)89--89, 7(z)289--289
-
determinism, non-, 3(z)103--103, 5(z)164--164
-
deterministic, 1(z)73--73, 4(z)14--14, 4(z)218--218, 7(z)155--155,
7(z)203--203
-
deterministic, Non-, 8(z)43--43
-
deterministic, non-, 2(z)12--12, 4(z)172--172, 6(z)87--87,
8(z)136--136
-
deterministically, non-, 4(z)202--202
-
Deuterium, 4(z)217--217
-
Devecsery, David, 4(z)176--176
-
Devecsery, David, see Banerjee, Subarno
-
develop, 2(z)81--81, 2(z)96--96, 2(z)123--123, 3(z)8--8, 3(z)18--18,
3(z)29--29, 3(z)80--80, 3(z)118--118, 3(z)131--131, 3(z)171--171,
4(z)11--11, 4(z)15--15, 4(z)61--61, 4(z)78--78, 4(z)174--174,
5(z)30--30, 5(z)50--50, 5(z)68--68, 5(z)79--79, 6(z)18--18,
6(z)34--34, 6(z)86--86, 6(z)117--117, 6(z)177--177, 7(z)67--67,
7(z)148--148, 7(z)214--214, 7(z)278--278, 8(z)24--24, 8(z)135--135
-
developed, 2(z)77--77, 2(z)125--125, 2(z)129--129, 3(z)24--24,
3(z)99--99, 3(z)182--182, 4(z)73--73, 4(z)86--86, 4(z)163--163,
5(z)23--23, 5(z)61--61, 5(z)82--82, 6(z)64--64, 6(z)89--89,
6(z)93--93, 6(z)121--121
-
developed, well-, 6(z)18--18
-
developer, 2(z)79--79, 2(z)125--125, 2(z)162--162, 2(z)166--166,
3(z)154--154, 3(z)158--158, 3(z)160--160, 3(z)162--162,
3(z)168--168, 3(z)170--170, 4(z)19--19, 4(z)41--41, 4(z)70--70,
4(z)136--136, 4(z)168--168, 4(z)202--202, 4(z)219--219,
4(z)226--226, 4(z)228--228, 5(z)115--115, 5(z)155--155,
5(z)165--165, 5(z)166--166, 6(z)4--4, 6(z)30--30, 6(z)75--75,
6(z)145--145, 6(z)149--149, 7(z)53--53, 7(z)159--159, 7(z)231--231,
7(z)239--239, 8(z)32--32, 8(z)41--41
-
developing, 2(z)72--72, 2(z)79--79, 2(z)103--103, 3(z)160--160,
4(z)232--232, 5(z)8--8, 5(z)85--85, 5(z)119--119, 5(z)122--122,
6(z)72--72, 7(z)2--2, 7(z)85--85, 7(z)183--183, 7(z)247--247,
7(z)280--280
-
development, 2(z)103--103, 2(z)109--109, 2(z)129--129, 2(z)140--140,
3(z)113--113, 3(z)162--162, 3(z)170--170, 4(z)43--43, 4(z)44--44,
4(z)45--45, 4(z)71--71, 4(z)72--72, 4(z)73--73, 4(z)74--74,
4(z)81--81, 4(z)87--87, 4(z)118--118, 4(z)124--124, 4(z)142--142,
4(z)185--185, 4(z)214--214, 5(z)107--107, 5(z)133--133,
5(z)142--142, 5(z)153--153, 6(z)139--139, 6(z)165--165, 7(z)16--16,
7(z)53--53, 7(z)189--189, 7(z)193--193, 8(z)32--32, 8(z)43--43
-
deviate, 7(z)101--101
-
device, 1(z)50--50, 3(z)120--120, 3(z)144--144, 3(z)151--151,
3(z)183--183, 4(z)43--43, 4(z)72--72, 4(z)133--133, 4(z)163--163,
4(z)182--182, 5(z)62--62, 5(z)120--120, 6(z)116--116, 7(z)136--136,
7(z)278--278, 7(z)290--290, 8(z)137--137
-
Devietti, Joseph, 1(z)73--73
-
Devietti, Joseph, see Scott, Ryan G.
-
deVilhena:2020:SGV, 4(z)33--33
-
deVilhena:2021:SLE, 5(z)33--33
-
devise, 6(z)15--15
-
Devore-McDonald, Breanna, 4(z)138--138
-
Devore-McDonald:2020:MDS, 4(z)138--138
-
devoted, 4(z)121--121
-
Devriese, Dominique, 1(z)32--32, 2(z)38--38, 3(z)19--19, 3(z)84--84,
5(z)6--6, 5(z)7--7, 5(z)21--21, 6(z)70--70, 6(z)82--82, 6(z)97--97,
8(z)8--8
-
Devriese, Dominique, see Georges, Aïna Linn,
see Jacobs, Koen, \see{Keuchel, Steven,
see Labrada, Elizabeth,
see Nuyts, Andreas,
see Patrignani, Marco,
see Skorstengaard, Lau,
see Van Muylder, Antoine,
see Van Strydonck, Thomas
-
Devriese:2018:PVU, 2(z)38--38
-
Dewey, Kyle, 5(z)121--121, 7(z)94--94
-
Dewey, Kyle, see Emre, Mehmet
-
Dexter, Philip, 6(z)157--157
-
Dexter:2022:EOD, 6(z)157--157
-
DeYoung, Henry, 8(z)90--90
-
DeYoung:2024:PSS, 8(z)90--90
-
DFKI, 4(z)83--83
-
Dhandhania, Utkarsh, 6(z)131--131
-
Dhandhania, Utkarsh, see Sun, Yaozhu
-
Dhiman, Atul, 4(z)113--113
-
Dhiman, Atul, see Sivaramakrishnan, KC
-
Dhodapkar, Rahul, 1(z)64--64
-
Dhodapkar, Rahul, see Santolucito, Mark
-
Di Cosmo, Roberto, 1(z)4--4
-
Di Cosmo, Roberto, see Canou, Benjamin
-
Di Florio, Cecilia, 7(z)63--63
-
Di Florio, Cecilia, see Gavazzo, Francesco
-
Di Giorgio, Alessandro, 7(z)64--64
-
Di Giorgio, Alessandro, see Bonchi, Filippo
-
Di Giusto, Cinzia, 7(z)55--55
-
Di Liberti, Ivan, 5(z)57--57
-
Diagnosing, 4(z)143--143
-
diagnosis, 1(z)60--60, 2(z)158--158, 4(z)143--143
-
diagnostic, 4(z)43--43
-
diagram, 4(z)44--44, 5(z)114--114, 7(z)64--64, 8(z)113--113
-
diagrammatic, 3(z)25--25
-
dialect, 4(z)71--71, 4(z)74--74
-
Diamonds, 5(z)2--2
-
Diatchki, Iavor S., 3(z)100--100
-
Diatchki, Iavor S., see Christiansen, David Thrane
-
Dickerson, Robert, 5(z)116--116
-
Dickerson, Robert, see Zhou, Zhe
-
dictate, 5(z)140--140
-
dictionary, 6(z)89--89
-
dictionary-passing, 6(z)168--168
-
did, 1(z)105--105, 2(z)162--162, 4(z)78--78
-
Diehl, Larry, 2(z)104--104
-
Diehl:2018:GZC, 2(z)104--104
-
Dietl, Werner, 4(z)142--142, 5(z)143--143
-
Dietl, Werner, see Lanzinger, Florian,
see Xiang, Tongtong
-
Dietz, Will, 2(z)154--154, 4(z)145--145
-
Dietz, Will, see Bartell, Sean
-
Dietz:2018:SMS, 2(z)154--154
-
diff, 3(z)113--113
-
difference, 2(z)101--101, 2(z)113--113, 3(z)78--78, 3(z)92--92,
3(z)113--113, 4(z)50--50, 4(z)214--214, 7(z)31--31
-
difference., 3(z)133--133
-
different, 2(z)67--67, 2(z)71--71, 2(z)121--121, 2(z)129--129,
2(z)165--165, 3(z)29--29, 3(z)130--130, 3(z)141--141, 3(z)154--154,
3(z)156--156, 3(z)160--160, 3(z)165--165, 3(z)170--170, 4(z)48--48,
4(z)67--67, 4(z)199--199, 4(z)212--212, 5(z)38--38, 5(z)63--63,
5(z)73--73, 5(z)86--86, 5(z)127--127, 5(z)158--158, 6(z)3--3,
6(z)43--43, 6(z)108--108, 6(z)136--136, 7(z)51--51, 7(z)68--68,
7(z)93--93, 7(z)158--158, 7(z)204--204, 8(z)125--125
-
differentiable, 3(z)96--96, 3(z)97--97, 4(z)38--38, 5(z)3--3,
5(z)130--130, 6(z)56--56, 7(z)12--12
-
differential, 1(z)10--10, 2(z)58--58, 3(z)93--93, 3(z)172--172, 4(z)1--1,
4(z)81--81, 4(z)153--153, 4(z)165--165, 4(z)203--203, 5(z)8--8,
6(z)150--150, 7(z)180--180, 7(z)246--246, 7(z)274--274, 8(z)29--29,
8(z)137--137
-
differentially, 3(z)93--93, 3(z)94--94
-
Differentially-private, 4(z)203--203
-
Differentiating, 8(z)126--126
-
differentiation, 2(z)70--70, 3(z)97--97, 4(z)38--38, 4(z)64--64,
5(z)28--28, 5(z)78--78, 5(z)130--130, 6(z)48--48, 6(z)161--161,
7(z)5--5, 7(z)43--43, 7(z)54--54, 7(z)291--291, 8(z)36--36,
8(z)126--126
-
differently, 4(z)94--94, 4(z)204--204
-
differs, 2(z)113--113
-
difficult, 2(z)108--108, 2(z)125--125, 3(z)117--117, 3(z)121--121,
3(z)125--125, 3(z)147--147, 3(z)176--176, 4(z)46--46, 4(z)60--60,
4(z)74--74, 4(z)84--84, 4(z)107--107, 4(z)124--124, 4(z)132--132,
4(z)133--133, 4(z)136--136, 4(z)187--187, 4(z)210--210,
4(z)226--226, 4(z)228--228, 5(z)40--40, 5(z)82--82, 5(z)86--86,
5(z)106--106, 5(z)119--119, 5(z)141--141, 6(z)61--61, 6(z)159--159,
6(z)169--169, 7(z)116--116, 7(z)237--237, 8(z)32--32, 8(z)59--59
-
difficult., 4(z)72--72
-
difficulty, 3(z)157--157, 4(z)139--139, 5(z)135--135, 6(z)102--102,
6(z)116--116
-
diffing, 3(z)113--113
-
DiffStream, 4(z)153--153
-
Dig, Danny, 1(z)85--85
-
Dig, Danny, see Mazinanian, Davood
-
Digging, 4(z)205--205
-
digit, 3(z)169--169
-
digital, 4(z)87--87, 5(z)146--146, 6(z)92--92, 7(z)165--165,
7(z)219--219
-
DiGiusto:2023:POV, 7(z)55--55
-
Dijkstra, 3(z)104--104, 5(z)26--26, 7(z)67--67
-
dilemma, 7(z)198--198
-
DiLiberti:2021:FSP, 5(z)57--57
-
Dillig, Isil, 1(z)62--62, 1(z)63--63, 2(z)56--56, 2(z)63--63,
2(z)155--155, 2(z)165--165, 3(z)141--141, 4(z)49--49, 4(z)135--135,
5(z)17--17, 5(z)112--112, 6(z)4--4, 6(z)21--21, 6(z)67--67,
6(z)71--71
-
Dillig, Isil, see Chen, Jia,
see Ferles, Kostas,
see Mariano, Benjamin,
see Miltner, Anders,
see Pailoor, Shankara,
see Sousa, Marcelo, \see{Tan, Bryan,
see Wang, Chenglong, \see{Wang, Xinyu,
see Wang, Yuepeng,
see Yaghmazadeh, Navid,
see Zhang, Guoqiang
-
Dillig, I{\c{s}}il, 6(z)144--144, 6(z)145--145,
see Chen, Qiaochu, \see{Chen, Yanju
-
Dillig, I{\c{s}}{\i}l, 7(z)95--95, 7(z)134--134, 7(z)168--168,
7(z)254--254, 7(z)287--287, 8(z)18--18, 8(z)28--28,
see Barnaby, Celeste, \see{Chen, Qiaochu,
see Feser, Jack, \see{Pailoor, Shankara,
see Patton, Noah, \see{Zhang, Guoqiang
-
Dillig, Thomas, 1(z)63--63
-
Dillig, Thomas, see Yaghmazadeh, Navid
-
dimension, 4(z)164--164
-
dimensional, 3(z)8--8
-
dimensional, higher-, 3(z)1--1
-
dimensional, infinite-, 7(z)46--46
-
Dimino, Jeremie, 3(z)90--90
-
Dimino, Jeremie, see Mokhov, Andrey
-
Dimitrova, Rayna, 8(z)57--57
-
Dimitrova, Rayna, see Heim, Philippe
-
Dimoulas, Christos, 1(z)36--36, 3(z)122--122, 4(z)65--65, 5(z)68--68,
7(z)194--194, 7(z)241--241, 8(z)88--88, 8(z)125--125
-
Dimoulas, Christos, see Gierczak, Olek,
see Greenman, Ben, \see{Lazarek, Lukas,
see Moy, Cameron, \see{Waye, Lucas
-
DimSum, 7(z)27--27
-
Ding, Shuo, 6(z)180--180, 7(z)34--34
-
Ding, Shuo, see Lei, Yuxiang
-
Ding, Yangruibo, 8(z)108--108
-
Ding, Yi, 7(z)280--280
-
Ding, Yi, see Renda, Alex
-
Ding, Yuantian, 8(z)71--71
-
Ding, Yufei, 1(z)74--74, 4(z)150--150
-
Ding, Yufei, see Li, Gushu
-
Ding, Zijian, 8(z)99--99
-
Ding, Zijian, see Liu, Jie
-
Ding:2017:GGL, 1(z)74--74
-
Ding:2023:WUP, 7(z)34--34
-
Ding:2024:CLS, 8(z)108--108
-
Ding:2024:EET, 8(z)71--71
-
Dinkins, Ahmad, 5(z)104--104
-
Dinkins, Ahmad, see Astorga, Angello
-
Dinsdale-Young, Thomas, 5(z)81--81
-
Dinsdale-Young, Thomas, see Birkedal, Lars
-
direct, 2(z)127--127, 2(z)153--153, 4(z)50--50, 4(z)71--71, 6(z)131--131,
6(z)154--154, 7(z)83--83, 7(z)104--104, 7(z)253--253, 8(z)24--24,
8(z)41--41, 8(z)72--72
-
directed, 2(z)81--81, 3(z)117--117, 3(z)171--171, 6(z)74--74, 6(z)90--90,
7(z)37--37, 7(z)59--59, 8(z)10--10
-
directed, goal-, 4(z)102--102
-
Directed, Property-, 7(z)190--190
-
directed, Property-, 6(z)15--15
-
directed, property-, 7(z)190--190
-
directed, syntax-, 8(z)21--21
-
directed, Type-, 6(z)144--144
-
directed, type-, 2(z)81--81, 4(z)12--12, 8(z)32--32
-
direction, 2(z)108--108, 3(z)95--95
-
directives, 4(z)72--72
-
directly, 2(z)116--116, 3(z)133--133, 4(z)71--71, 4(z)88--88, 5(z)82--82,
5(z)109--109, 6(z)51--51, 6(z)79--79, 6(z)93--93, 6(z)148--148,
8(z)41--41
-
disadvantages, 3(z)79--79
-
Disambiguation, 7(z)283--283
-
disastrous, 5(z)18--18
-
discarded, 7(z)235--235
-
discipline, 3(z)30--30, 4(z)41--41, 4(z)67--67, 4(z)134--134,
4(z)136--136, 4(z)148--148, 4(z)156--156, 4(z)209--209, 5(z)81--81,
5(z)124--124, 5(z)150--150, 6(z)116--116
-
disclosed, 3(z)189--189
-
disclosed, recently-, 3(z)189--189
-
discontinuity, 8(z)126--126
-
discontinuous, 8(z)126--126
-
discover, 4(z)65--65, 7(z)56--56, 7(z)94--94
-
discovered, 6(z)138--138, 7(z)69--69
-
discovering, 3(z)189--189, 5(z)165--165, 7(z)12--12, 7(z)75--75
-
discovery, 4(z)205--205
-
discrepancy, 3(z)122--122, 4(z)38--38
-
discrete, 4(z)36--36, 4(z)140--140, 7(z)106--106, 7(z)113--113,
7(z)294--294
-
discrete-time, 6(z)65--65
-
discriminate, 3(z)118--118
-
discuss, 2(z)151--151
-
discussion, 2(z)113--113, 3(z)142--142
-
disentanglement, 4(z)47--47, 8(z)11--11, 8(z)53--53
-
disguised, 4(z)74--74
-
disjoint, 2(z)95--95, 4(z)198--198
-
disjoint-forest, 3(z)171--171
-
disk, 2(z)137--137, 3(z)135--135, 4(z)11--11
-
DisLog, 8(z)11--11
-
dispatch, 2(z)113--113, 2(z)120--120, 3(z)11--11, 4(z)167--167,
4(z)207--207, 4(z)220--220
-
dispatch, multiple-, 4(z)74--74
-
disperse, 2(z)152--152
-
Disproving, 7(z)144--144
-
disruptive, 4(z)207--207, 5(z)100--100
-
Disselkoen, Craig, 5(z)49--49, 7(z)15--15, 8(z)118--118
-
Disselkoen, Craig, see Cutler, Joseph W.,
see Michael, Alexandra E.,
see Vassena, Marco
-
distance, 3(z)99--99, 5(z)52--52
-
distancing, 6(z)19--19
-
distinct, 3(z)189--189, 5(z)149--149, 7(z)43--43, 7(z)196--196
-
distinction, 6(z)102--102
-
distinctive, 3(z)163--163, 4(z)22--22, 4(z)60--60, 6(z)159--159
-
distinctness, 6(z)134--134
-
distinguish, 6(z)163--163, 7(z)85--85
-
distinguished, 5(z)5--5
-
distribute, 3(z)167--167, 7(z)64--64
-
distributed, 1(z)108--108, 1(z)109--109, 1(z)110--110, 2(z)28--28,
2(z)116--116, 2(z)129--129, 2(z)159--159, 2(z)160--160, 3(z)28--28,
3(z)29--29, 3(z)123--123, 3(z)144--144, 3(z)154--154, 3(z)156--156,
3(z)167--167, 3(z)180--180, 3(z)185--185, 4(z)13--13, 4(z)42--42,
4(z)123--123, 4(z)125--125, 4(z)137--137, 4(z)148--148,
4(z)152--152, 4(z)153--153, 4(z)155--155, 4(z)188--188,
4(z)198--198, 4(z)210--210, 4(z)213--213, 4(z)232--232,
4(z)233--233, 5(z)42--42, 5(z)62--62, 5(z)97--97, 5(z)124--124,
5(z)148--148, 5(z)157--157, 6(z)130--130, 6(z)136--136,
6(z)173--173, 6(z)188--188, 7(z)37--37, 7(z)79--79, 7(z)81--81,
7(z)95--95, 7(z)121--121, 7(z)133--133, 7(z)207--207, 7(z)217--217,
7(z)288--288, 7(z)297--297, 7(z)300--300, 8(z)9--9, 8(z)35--35,
8(z)66--66, 8(z)109--109
-
distributed, geo-, 5(z)107--107
-
Distributing, 5(z)89--89
-
distribution, 3(z)78--78, 4(z)36--36, 5(z)58--58, 6(z)120--120,
6(z)184--184, 7(z)98--98, 8(z)63--63, 8(z)84--84, 8(z)126--126,
8(z)127--127
-
distribution, Geo-, 1(z)107--107
-
diverge, 3(z)7--7, 6(z)83--83
-
divergence, 5(z)31--31
-
divergent, 1(z)81--81, 7(z)99--99
-
diverging, 5(z)21--21
-
diverse, 4(z)71--71, 4(z)225--225
-
diversity, 4(z)30--30
-
divide, 7(z)179--179
-
Divide-and-Conquer, 7(z)3--3
-
divide-and-conquer, 7(z)3--3
-
divided, 6(z)106--106
-
DiVincenzo, Jenna, 8(z)85--85
-
DiVincenzo, Jenna, see Zimmerman, Conrad
-
division, 7(z)179--179
-
DL, 6(z)73--73
-
DNN, 7(z)185--185
-
DNNs, 7(z)124--124, 7(z)185--185
-
do, 3(z)1--1, 3(z)122--122, 3(z)132--132, 3(z)155--155, 3(z)186--186,
4(z)41--41, 4(z)60--60, 4(z)65--65, 4(z)107--107, 4(z)222--222,
5(z)70--70, 5(z)89--89, 5(z)135--135, 6(z)28--28, 6(z)151--151,
7(z)175--175, 7(z)253--253
-
Dockins, Robert, 3(z)100--100, 7(z)199--199
-
Dockins, Robert, see Christiansen, David Thrane,
see Scott, Ryan G.
-
document, 3(z)143--143, 4(z)74--74, 7(z)132--132, 8(z)23--23, 8(z)95--95
-
document., 4(z)81--81
-
documentation, 3(z)142--142
-
Dodds, Mike, 7(z)199--199
-
Dodds, Mike, see Scott, Ryan G.
-
Doenges, Ryan, 5(z)41--41
-
Doenges:2021:PFF, 5(z)41--41
-
doing, 4(z)41--41, 6(z)49--49, 6(z)116--116, 7(z)114--114
-
Dolan, Stephen, 4(z)113--113, 8(z)51--51
-
Dolan, Stephen, see Chataing, Nicolas,
see Sivaramakrishnan, KC
-
Dolev--Yao, 8(z)64--64
-
dollars, 3(z)189--189
-
domain, 2(z)55--55, 2(z)67--67, 2(z)95--95, 2(z)96--96, 2(z)148--148,
3(z)98--98, 3(z)186--186, 4(z)21--21, 4(z)30--30, 4(z)84--84,
4(z)146--146, 4(z)161--161, 4(z)173--173, 4(z)181--181,
4(z)224--224, 5(z)29--29, 5(z)93--93, 5(z)100--100, 5(z)118--118,
5(z)134--134, 6(z)12--12, 6(z)14--14, 6(z)56--56, 6(z)73--73,
6(z)91--91, 7(z)68--68, 7(z)84--84, 7(z)158--158, 7(z)204--204,
7(z)229--229, 7(z)275--275, 7(z)293--293, 8(z)3--3, 8(z)71--71
-
domain-specific, 2(z)116--116, 2(z)128--128, 3(z)125--125, 3(z)174--174,
4(z)84--84, 4(z)105--105, 4(z)141--141, 4(z)166--166, 4(z)229--229,
5(z)41--41, 6(z)79--79, 6(z)84--84, 6(z)131--131, 6(z)164--164,
7(z)168--168, 8(z)32--32
-
dominant, 4(z)76--76, 4(z)222--222
-
dominate, 4(z)75--75, 4(z)77--77
-
dominated, 4(z)81--81
-
don't, 1(z)68--68, 7(z)143--143, 8(z)67--67
-
Donaldson, Alastair F., 1(z)93--93, 3(z)155--155, 5(z)120--120,
5(z)131--131, 7(z)60--60, 7(z)180--180
-
Donaldson, Alastair F., see Iorga, Dan,
see Klimis, Vasileios,
see Lecoeur, Bastien,
see Marcozzi, Michaël,
see Sorensen, Tyler
-
Donaldson:2017:ATG, 1(z)93--93
-
Donat-Bouillud, Pierre, 5(z)125--125
-
Donat-Bouillud, Pierre, see Goel, Aviral
-
donated, 4(z)73--73
-
done, 5(z)22--22, 8(z)32--32
-
Dong, James, 6(z)145--145
-
Dong, James, see Chen, Yanju
-
Dong, Rui, 8(z)52--52
-
Dong, Rui, see Li, Xiang
-
Dongol, Brijesh, 2(z)18--18, 6(z)189--189
-
Dongol, Brijesh, see Dalvandi, Sadegh
-
Dongol:2018:TRM, 2(z)18--18
-
door, 3(z)125--125
-
DoS, 7(z)253--253
-
Doshi, Shivani, 4(z)205--205
-
Doshi, Shivani, see James, Michael B.
-
DOsualdo:2022:PHC, 6(z)135--135
-
DOsualdo:2023:PDL, 7(z)26--26
-
DOT, 3(z)145--145, 4(z)9--9, 4(z)114--114, 4(z)208--208, 5(z)69--69,
6(z)179--179
-
dot, 3(z)169--169
-
double, 6(z)3--3, 6(z)159--159, 7(z)86--86
-
doubly, 7(z)85--85
-
doubly-linked, 4(z)136--136
-
Doubly-Unbounded, 7(z)81--81
-
Doug, 5(z)148--148
-
down, 4(z)42--42, 4(z)65--65, 5(z)58--58, 5(z)122--122
-
Down, Top-, 7(z)41--41
-
down, top-, 5(z)54--54, 6(z)21--21, 7(z)41--41
-
Downen, Paul, 4(z)104--104, 6(z)106--106
-
Downen, Paul, see Ostermann, Klaus
-
Downen:2020:KCC, 4(z)104--104
-
downside, 3(z)170--170
-
dozen, 4(z)81--81
-
DPOR, 6(z)49--49
-
DProf, 3(z)156--156
-
Drab, Tomasz, 6(z)94--94
-
Drab, Tomasz, see Biernacka, Ma{\l}gorzata
-
Drachsler-Cohen, Dana, 7(z)90--90, 7(z)187--187
-
Drachsler-Cohen, Dana, see Shapira, Yuval,
see Yuviler, Tom
-
Dragoi, Cezara, 4(z)210--210, 4(z)213--213
-
Dragoi:2020:PES, 4(z)213--213
-
Dragoi:2020:TCI, 4(z)210--210
-
DRAM, 3(z)128--128, 7(z)118--118
-
dramatic, 4(z)53--53
-
draw, 3(z)157--157, 6(z)181--181
-
drawbacks, 3(z)108--108
-
drawn, 3(z)81--81
-
Drechsler, Joscha, 2(z)107--107, 3(z)144--144
-
Drechsler, Joscha, see Mogk, Ragnar
-
Drechsler:2018:TSR, 2(z)107--107
-
Drews, Samuel, 1(z)80--80
-
Drews, Samuel, see Albarghouthi, Aws
-
Dreyer, Derek, 1(z)89--89, 2(z)66--66, 2(z)77--77, 2(z)78--78,
4(z)32--32, 4(z)34--34, 4(z)41--41, 4(z)45--45, 5(z)13--13,
5(z)92--92, 6(z)20--20, 6(z)28--28, 6(z)34--34, 6(z)81--81,
6(z)100--100, 6(z)135--135, 6(z)182--182, 7(z)27--27, 7(z)39--39,
7(z)93--93, 7(z)247--247, 7(z)281--281
-
Dreyer, Derek, see Cho, Minki,
see D'Osualdo, Emanuele,
see Dang, Hoang-Hai,
see Guéneau, Armaël,
see Gäher, Lennard, \see{Jung, Ralf,
see Kaiser, Jan-Oliver,
see Krebbers, Robbert, \see{Le, Quang Loc,
see Lepigre, Rodolphe, \see{Raad, Azalea,
see Sammler, Michael, \see{Song, Youngju,
see Spies, Simon, \see{Swasey, David,
see Yanovski, Joshua, \see{Zhu, Fengmin,
see Zilberstein, Noam
-
DRF, 3(z)142--142
-
DRF, SC-, 3(z)133--133
-
Driscoll, Benjamin, 7(z)146--146
-
Driscoll, Benjamin, see Brandon, William
-
drive, 5(z)162--162
-
Driven, 7(z)288--288
-
driven, API-, 8(z)62--62
-
Driven, API-, 8(z)62--62
-
Driven, Conflict-, 7(z)132--132
-
driven, Data-, 1(z)100--100, 5(z)116--116, 6(z)143--143
-
driven, data-, 1(z)60--60, 2(z)140--140, 3(z)153--153,
4(z)153--153
-
driven, database-, 2(z)56--56
-
driven, demand-, 3(z)140--140, 4(z)102--102
-
driven, Effect-, 1(z)15--15
-
driven, event-, 2(z)162--162, 4(z)139--139, 4(z)209--209,
5(z)124--124, 5(z)156--156, 6(z)149--149, 7(z)289--289
-
driven, Feedback-, 4(z)219--219
-
driving, 6(z)73--73
-
drop-in, 3(z)125--125
-
dropped, 3(z)125--125
-
dropping, 7(z)31--31
-
Drosos, Georgios-Petros, 5(z)123--123
-
Drosos, Georgios-Petros, see Chaliasos, Stefanos
-
Drossopoulou, Sophia, 1(z)72--72, 6(z)154--154, 7(z)270--270,
7(z)276--276
-
Drossopoulou, Sophia, see Arvidsson, Ellen,
see Cheeseman, Luke, \see{Clebsch, Sylvan,
see Mackay, Julian
-
DrRacket, 3(z)78--78
-
DSL, 2(z)121--121, 2(z)128--128, 7(z)105--105, 7(z)109--109,
7(z)246--246, 7(z)275--275, 7(z)293--293
-
DSLs, 4(z)229--229, 6(z)131--131, 7(z)105--105, 7(z)168--168
-
DSouza:2023:TJT, 7(z)277--277
-
Du, Ke, 8(z)6--6
-
Du, Ke, see Mansky, William
-
Du, Kuntai, 7(z)231--231
-
Du, Kuntai, see Wan, Chengcheng
-
dual, 2(z)84--84, 2(z)155--155, 4(z)165--165, 5(z)62--62, 6(z)2--2,
6(z)50--50, 6(z)56--56, 7(z)93--93, 8(z)27--27
-
dual, bugs-, 6(z)81--81
-
Dual, Primal-, 7(z)72--72
-
dual, primal-, 6(z)50--50
-
dual-existential, 5(z)64--64
-
Dual-Numbers, 7(z)54--54
-
dual-numbers, 7(z)54--54
-
duality, 5(z)89--89, 6(z)50--50
-
dub, 4(z)136--136
-
dubbed, 6(z)19--19
-
Duboc, Guillaume, 5(z)64--64
-
Duboc, Guillaume, see Eisenberg, Richard A.
-
Dudenhefner, Andrej, 3(z)8--8
-
Dudenhefner:2019:PAU, 3(z)8--8
-
due, 2(z)113--113, 3(z)148--148, 3(z)168--168, 3(z)189--189, 4(z)17--17,
4(z)50--50, 4(z)107--107, 4(z)147--147, 4(z)167--167, 4(z)202--202,
4(z)208--208, 5(z)38--38, 5(z)46--46, 5(z)55--55, 5(z)63--63,
5(z)164--164, 6(z)3--3, 6(z)159--159, 7(z)45--45, 7(z)84--84,
7(z)107--107, 7(z)231--231, 7(z)274--274, 7(z)300--300, 8(z)59--59,
8(z)86--86, 8(z)105--105, 8(z)114--114, 8(z)126--126
-
Duet, 3(z)172--172
-
Dukkipati, Anand, 8(z)68--68
-
Dukkipati, Anand, see Zhao, Eric
-
Dunfield, Joshua, 3(z)9--9
-
Dunfield:2019:SCB, 3(z)9--9
-
duplicates, 1(z)84--84
-
Duplo, 4(z)98--98
-
Dura, Alexandru, 5(z)165--165
-
Dura:2021:PJA, 5(z)165--165
-
durability, 2(z)137--137, 3(z)135--135, 4(z)11--11, 7(z)118--118
-
durable, 2(z)153--153, 3(z)128--128, 5(z)133--133, 7(z)26--26,
7(z)244--244
-
during, 3(z)133--133, 3(z)172--172, 4(z)73--73, 4(z)75--75, 4(z)175--175,
4(z)184--184, 5(z)60--60, 5(z)70--70, 6(z)190--190, 8(z)139--139
-
Durrett, Greg, 6(z)71--71, 6(z)144--144, 7(z)287--287
-
Durrett, Greg, see Chen, Qiaochu,
see Mariano, Benjamin
-
Duvenaud, David, 5(z)88--88
-
Duvenaud, David, see Paszke, Adam
-
DWARF, 3(z)146--146
-
DWARF-based, 3(z)146--146
-
Dybvig, R. Kent, 3(z)78--78
-
Dybvig, R. Kent, see Flatt, Matthew
-
Dyck, 2(z)30--30, 5(z)59--59, 6(z)12--12, 7(z)35--35, 8(z)42--42
-
Dyck, interleaved-, 7(z)35--35
-
Dyck, Interleaved-, 7(z)35--35
-
Dyck-CFL, 6(z)176--176
-
Dyck-reachability, 5(z)59--59, 6(z)62--62
-
Dyer, Tristan, 6(z)79--79, 8(z)116--116
-
Dyer, Tristan, see Nelson, Tim
-
Dyer:2022:ACP, 6(z)79--79
-
dynamic, 1(z)69--69, 2(z)31--31, 2(z)49--49, 2(z)73--73, 2(z)98--98,
2(z)108--108, 2(z)109--109, 2(z)116--116, 2(z)117--117,
2(z)118--118, 2(z)120--120, 2(z)124--124, 2(z)133--133,
2(z)134--134, 2(z)145--145, 2(z)159--159, 2(z)161--161,
2(z)162--162, 3(z)14--14, 3(z)18--18, 3(z)84--84, 3(z)124--124,
3(z)140--140, 3(z)157--157, 3(z)158--158, 3(z)184--184,
3(z)186--186, 3(z)187--187, 4(z)17--17, 4(z)60--60, 4(z)74--74,
4(z)131--131, 4(z)134--134, 4(z)145--145, 4(z)167--167,
4(z)176--176, 4(z)189--189, 4(z)191--191, 4(z)207--207,
4(z)220--220, 4(z)224--224, 4(z)228--228, 5(z)46--46, 5(z)70--70,
5(z)106--106, 5(z)125--125, 5(z)138--138, 5(z)144--144,
5(z)149--149, 6(z)7--7, 6(z)11--11, 6(z)49--49, 6(z)52--52,
6(z)62--62, 6(z)159--159, 6(z)175--175, 7(z)11--11, 7(z)45--45,
7(z)67--67, 7(z)96--96, 7(z)129--129, 7(z)152--152, 7(z)177--177,
7(z)228--228, 7(z)266--266, 7(z)297--297, 8(z)40--40, 8(z)42--42,
8(z)85--85, 8(z)110--110, 8(z)125--125, 8(z)146--146
-
dynamic-priority, 6(z)127--127
-
dynamical, 6(z)65--65
-
dynamically, 2(z)71--71, 2(z)73--73, 2(z)154--154, 3(z)15--15,
3(z)29--29, 3(z)133--133, 4(z)103--103, 4(z)174--174, 5(z)111--111,
5(z)138--138, 6(z)8--8, 7(z)249--249
-
dynamically-instantiated, 3(z)29--29
-
Dynamically-typed, 5(z)126--126
-
dynamism, 2(z)109--109, 2(z)120--120
-
DynamiTe, 4(z)189--189