Index file section C for pacmpl.bib
Last update: Sat May 11 02:08:55 MDT 2024
Return to index directory
C
-
C, 1(z)98--98, 2(z)29--29, 2(z)125--125, 2(z)136--136, 3(z)160--160,
3(z)171--171, 4(z)7--7, 4(z)23--23, 4(z)70--70, 4(z)73--73,
4(z)81--81, 4(z)92--92, 4(z)129--129, 4(z)176--176, 4(z)196--196,
4(z)197--197, 4(z)226--226, 5(z)1--1, 5(z)39--39, 5(z)71--71,
5(z)121--121, 6(z)20--20, 6(z)25--25, 6(z)78--78, 7(z)1--1,
7(z)15--15, 7(z)86--86, 7(z)94--94, 7(z)183--183, 7(z)247--247,
8(z)6--6, 8(z)32--32, 8(z)69--69, 8(z)117--117
-
C++, 2(z)120--120, 2(z)125--125, 2(z)136--136, 3(z)125--125,
3(z)134--134, 4(z)70--70, 4(z)73--73, 4(z)196--196, 6(z)78--78,
6(z)183--183, 7(z)15--15, 7(z)181--181, 7(z)183--183
-
C\#, 6(z)71--71, 7(z)48--48, 7(z)295--295
-
c, 3(z)158--158, 3(z)186--186
-
C, Objective-, 4(z)82--82
-
C-assembly, 4(z)23--23
-
C-based, 7(z)257--257
-
C-like, 1(z)101--101, 3(z)125--125
-
C-style, 4(z)136--136
-
C++-to-native, 4(z)73--73
-
C11, 5(z)99--99, 6(z)189--189
-
C11-Style, 7(z)137--137
-
C11-style, 5(z)4--4
-
C4, 6(z)80--80
-
CAAT, 6(z)129--129
-
cache, 2(z)32--32, 2(z)124--124, 4(z)136--136, 4(z)147--147,
5(z)129--129, 5(z)162--162, 7(z)274--274
-
caching, 2(z)124--124, 2(z)152--152, 4(z)174--174
-
CAD, 3(z)99--99, 7(z)109--109
-
Cadar, Cristian, 3(z)155--155
-
Cadar, Cristian, see Marcozzi, Michaël
-
Cai, Yuandao, 7(z)257--257
-
Cai, Yufei, 2(z)60--60
-
Cai, Yufei, see {\'S}cibior, Adam
-
Cai, Yuxi, 6(z)149--149
-
Cai, Yuxi, see Zhao, Zihan
-
Cai, Zhuo, 7(z)253--253
-
Cai:2023:AAS, 7(z)253--253
-
Cai:2023:CAP, 7(z)257--257
-
Caires, 3(z)24--24
-
Caires, Luís, 3(z)131--131, 5(z)79--79,
see Rocha, Pedro
-
Caires:2019:RKT, 3(z)131--131
-
cake, 7(z)130--130, 7(z)152--152, 7(z)179--179
-
CakeML, 1(z)18--18, 4(z)204--204, 7(z)152--152
-
calculate, 6(z)46--46
-
calculating, 5(z)82--82, 6(z)93--93, 7(z)213--213
-
calculation, 5(z)148--148, 6(z)93--93
-
Calculational, 8(z)7--7
-
calculator, 4(z)81--81
-
calculi, 3(z)8--8, 3(z)10--10, 3(z)20--20, 4(z)67--67, 4(z)90--90,
6(z)44--44, 6(z)118--118, 6(z)120--120, 7(z)51--51, 8(z)43--43,
8(z)67--67
-
calculus, 1(z)22--22, 3(z)7--7, 3(z)24--24, 3(z)25--25, 3(z)80--80,
3(z)83--83, 3(z)89--89, 3(z)108--108, 3(z)109--109, 3(z)111--111,
3(z)145--145, 3(z)166--166, 4(z)1--1, 4(z)8--8, 4(z)9--9, 4(z)27--27,
4(z)31--31, 4(z)34--34, 4(z)63--63, 4(z)91--91, 4(z)111--111,
4(z)119--119, 4(z)207--207, 4(z)208--208, 5(z)11--11, 5(z)14--14,
5(z)21--21, 5(z)32--32, 5(z)52--52, 5(z)69--69, 5(z)87--87,
5(z)108--108, 6(z)8--8, 6(z)42--42, 6(z)44--44, 6(z)87--87,
6(z)94--94, 6(z)116--116, 6(z)118--118, 6(z)124--124, 6(z)130--130,
6(z)177--177, 7(z)8--8, 7(z)30--30, 7(z)64--64, 7(z)67--67,
7(z)84--84, 7(z)85--85, 7(z)203--203, 7(z)267--267, 8(z)23--23
-
calculus, lambda-, 4(z)63--63, 4(z)64--64, 6(z)116--116,
6(z)121--121, 7(z)25--25, 8(z)24--24
-
calculus, pi-, 3(z)7--7
-
calculus-is, 4(z)114--114
-
calf, 6(z)9--9
-
call, 1(z)18--18, 1(z)20--20, 2(z)154--154, 3(z)134--134, 3(z)166--166,
4(z)34--34, 4(z)41--41, 4(z)43--43, 4(z)60--60, 4(z)135--135,
4(z)145--145, 4(z)222--222, 5(z)24--24, 5(z)76--76, 5(z)81--81,
5(z)94--94, 5(z)101--101, 5(z)112--112, 6(z)94--94, 6(z)116--116,
6(z)151--151, 6(z)176--176, 7(z)98--98, 7(z)253--253, 7(z)257--257,
7(z)266--266, 7(z)292--292, 8(z)123--123, 8(z)134--134,
8(z)135--135, 8(z)139--139
-
call-by-, 2(z)87--87
-
call-by-name, 6(z)121--121
-
call-by-need, 3(z)114--114, 3(z)153--153, 6(z)94--94
-
call-by-push-value, 4(z)15--15, 7(z)51--51
-
call-by-value, 3(z)114--114, 3(z)166--166, 4(z)27--27, 4(z)59--59,
4(z)119--119, 5(z)45--45, 5(z)95--95, 6(z)121--121, 7(z)25--25
-
call-site, 6(z)58--58
-
callback, 2(z)48--48, 2(z)162--162, 4(z)209--209, 7(z)212--212,
7(z)289--289
-
called, 2(z)122--122, 3(z)111--111, 3(z)120--120, 3(z)127--127,
3(z)142--142, 3(z)149--149, 4(z)2--2, 4(z)64--64, 4(z)84--84,
4(z)109--109, 5(z)15--15, 5(z)30--30, 5(z)37--37, 6(z)4--4, 6(z)5--5,
6(z)8--8, 6(z)116--116, 7(z)51--51, 7(z)250--250, 7(z)253--253,
7(z)254--254, 7(z)289--289, 8(z)20--20, 8(z)47--47, 8(z)53--53
-
called, so-, 2(z)136--136, 5(z)150--150, 6(z)146--146, 8(z)1--1
-
callee, 3(z)189--189, 4(z)209--209, 5(z)101--101
-
caller, 8(z)20--20
-
calling, 3(z)19--19, 4(z)104--104, 6(z)74--74
-
call/return, 5(z)59--59
-
calls/returns, 6(z)62--62
-
Calvo, Enrique, Román-, 7(z)129--129
-
Cambridge, 4(z)80--80
-
Cambronero, José, 6(z)164--164, 7(z)33--33,
see Bavishi, Rohan
-
Cambronero, José P., 3(z)175--175
-
Cambronero, José Pablo, 8(z)133--133,
see Zhang, Jialu
-
Cambronero:2019:AAS, 3(z)175--175
-
Cambronero:2023:FSP, 7(z)33--33
-
Cameron, Jonathan, 6(z)69--69
-
Cameron, Jonathan, see Li, Jialin
-
CAMP, 4(z)155--155
-
Campanoni, Simone, 8(z)110--110
-
Campanoni, Simone, see Xu, Ziyang
-
Campbell, Eric Hayden, 6(z)40--40
-
Campbell, Eric Hayden, see Eichholz, Matthias
-
Campion, Marco, 6(z)59--59, 8(z)55--55
-
Campion:2022:PCA, 6(z)59--59
-
Campion:2024:MPP, 8(z)55--55
-
Campora III, John Peter, 1(z)106--106, 3(z)160--160
-
Campora III, John Peter, see Wu, Baijun
-
Campora, John Peter, 2(z)15--15, 2(z)98--98, 4(z)191--191, 8(z)89--89
-
Campora:2018:CCH, 2(z)98--98
-
Campora:2018:MGT, 2(z)15--15
-
Campora:2020:TTA, 4(z)191--191
-
Campora:2024:TBG, 8(z)89--89
-
can, languages-, 5(z)106--106
-
candidate, 5(z)54--54, 7(z)7--7
-
canned, 4(z)177--177
-
cannot, 2(z)109--109, 3(z)133--133, 4(z)143--143, 4(z)202--202,
7(z)34--34, 7(z)89--89, 7(z)108--108, 7(z)139--139, 7(z)150--150,
7(z)235--235, 8(z)21--21, 8(z)100--100
-
canonical, 1(z)110--110, 3(z)119--119, 6(z)83--83, 7(z)10--10
-
Canou, Benjamin, 1(z)4--4
-
Canou:2017:SFP, 1(z)4--4
-
Cao, David, 7(z)14--14, 7(z)125--125
-
Cao, David, see Zhang, Yihong
-
Cao, Huanqi, 7(z)246--246
-
Cao, Man, 1(z)69--69
-
Cao, Man, see Wood, Benjamin P.
-
Cao, Qinxiang, 3(z)171--171, 8(z)69--69
-
Cao, Qinxiang, see Wang, Shengyi,
see Zhou, Litao
-
Cao:2023:BLB, 7(z)14--14
-
Cao:2023:MMM, 7(z)246--246
-
capability, 1(z)89--89, 2(z)109--109, 2(z)123--123, 3(z)19--19,
3(z)84--84, 3(z)186--186, 4(z)73--73, 4(z)81--81, 4(z)111--111,
4(z)126--126, 4(z)135--135, 4(z)221--221, 5(z)6--6, 6(z)4--4,
6(z)74--74, 6(z)76--76, 6(z)95--95, 7(z)255--255, 7(z)270--270
-
capability-passing, 4(z)93--93
-
capable, 2(z)109--109
-
capitalize, 3(z)120--120, 4(z)137--137
-
Capriotti, Paolo, 2(z)44--44
-
Capriotti:2018:UHC, 2(z)44--44
-
capture, 2(z)90--90, 2(z)116--116, 3(z)189--189, 4(z)7--7, 4(z)66--66,
4(z)119--119, 5(z)65--65, 5(z)110--110, 5(z)116--116, 6(z)8--8,
6(z)46--46, 6(z)62--62, 6(z)116--116, 7(z)28--28, 7(z)41--41,
7(z)68--68, 7(z)112--112, 7(z)137--137, 7(z)201--201, 8(z)21--21,
8(z)22--22, 8(z)76--76, 8(z)102--102, 8(z)110--110
-
captured, 5(z)32--32, 5(z)145--145
-
capturing, 2(z)76--76, 3(z)12--12, 4(z)111--111, 5(z)139--139,
5(z)145--145, 6(z)129--129, 8(z)42--42
-
Carbin, Michael, 2(z)163--163, 3(z)99--99, 4(z)19--19, 4(z)200--200,
5(z)3--3, 5(z)20--20, 5(z)115--115, 6(z)30--30, 6(z)134--134,
6(z)184--184, 7(z)280--280, 8(z)94--94, 8(z)126--126
-
Carbin, Michael, see Atkinson, Eric,
see Boston, Brett, \see{Lew, Alexander K.,
see Michel, Jesse, \see{Renda, Alex,
see Sherman, Benjamin,
see Yang, Cambridge, \see{Yuan, Charles
-
Cardelli, 4(z)223--223
-
care, 2(z)8--8
-
career-altering, 4(z)71--71
-
careful, 5(z)97--97
-
carefully, 3(z)133--133, 6(z)160--160
-
caret, 6(z)85--85
-
Carette, Jacques, 3(z)98--98, 8(z)19--19
-
Carette, Jacques, see Walia, Rajan
-
Carette:2024:FSR, 8(z)19--19
-
Carlson, Travis, 1(z)98--98
-
Carlson, Travis, see Kaminski, Ted
-
Carmer, Brent, 5(z)135--135
-
Carmer, Brent, see He, Paul
-
Carol, 3(z)106--106
-
carried, 2(z)66--66, 4(z)33--33
-
carry, 2(z)126--126, 2(z)133--133, 3(z)158--158, 5(z)142--142,
6(z)164--164
-
carrying, 2(z)77--77
-
carrying, authority-, 5(z)6--6
-
carte, 2(z)79--79, 6(z)192--192, 7(z)258--258
-
Carvalho, 2(z)94--94
-
cascading, 5(z)74--74
-
Cascaval, Dan, 7(z)109--109
-
Cascaval:2023:LBR, 7(z)109--109
-
case, 2(z)108--108, 2(z)109--109, 2(z)116--116, 2(z)125--125,
2(z)146--146, 3(z)92--92, 3(z)125--125, 3(z)153--153, 3(z)158--158,
3(z)177--177, 3(z)181--181, 3(z)188--188, 4(z)28--28, 4(z)73--73,
4(z)185--185, 5(z)46--46, 5(z)57--57, 5(z)96--96, 5(z)101--101,
5(z)140--140, 6(z)116--116, 6(z)179--179, 7(z)76--76, 7(z)253--253,
8(z)20--20, 8(z)59--59, 8(z)141--141
-
case, type-, 6(z)13--13
-
case, worst-, 3(z)13--13, 6(z)35--35
-
cases, type-, 6(z)13--13
-
cast, 2(z)98--98, 3(z)158--158, 6(z)20--20
-
cast-usage, 3(z)158--158
-
Castagna, Giuseppe, 1(z)41--41, 3(z)16--16, 6(z)13--13, 7(z)196--196,
8(z)40--40
-
Castagna:2017:GTU, 1(z)41--41
-
Castagna:2019:GTN, 3(z)16--16
-
Castagna:2022:TCU, 6(z)13--13
-
Castagna:2023:TRM, 7(z)196--196
-
Castagna:2024:PTI, 8(z)40--40
-
Castegren, Elias, 7(z)58--58, 7(z)270--270
-
Castegren, Elias, see Arvidsson, Ellen,
see Palmkvist, Viktor
-
Castellan, Simon, 3(z)27--27, 7(z)24--24
-
Castellan:2019:TSS, 3(z)27--27
-
Castellan:2023:GCM, 7(z)24--24
-
Castello, Jonathan, 8(z)113--113
-
Castello:2024:IDC, 8(z)113--113
-
casting, 3(z)158--158
-
casting., 3(z)158--158
-
Castro, David, 3(z)29--29
-
Castro, Paul, 7(z)159--159
-
Castro, Paul, see Tardieu, Olivier
-
Castro-Perez, David, 4(z)155--155
-
Castro-Perez:2020:CCA, 4(z)155--155
-
Castro:2019:DPU, 3(z)29--29
-
catastrophic, 2(z)148--148
-
catch, 8(z)32--32
-
catchers, 6(z)34--34
-
Catching, 7(z)111--111
-
catching, Bug-, 6(z)72--72
-
catching, bug-, 6(z)72--72
-
categorical, 3(z)21--21, 3(z)23--23, 5(z)93--93, 7(z)208--208
-
categorize, 3(z)158--158
-
category, 1(z)27--27, 2(z)44--44, 3(z)20--20, 3(z)159--159, 5(z)9--9,
6(z)92--92, 7(z)57--57, 7(z)64--64, 8(z)61--61
-
category-theoretic, 6(z)44--44
-
Cauligi, Sunjay, 5(z)49--49
-
Cauligi, Sunjay, see Vassena, Marco
-
causal, 3(z)109--109, 5(z)42--42, 7(z)24--24, 7(z)56--56, 8(z)31--31,
8(z)113--113
-
Causality, 7(z)24--24
-
causally-consistent, 5(z)42--42
-
cause, 2(z)98--98, 2(z)134--134, 3(z)189--189, 4(z)56--56, 4(z)91--91,
4(z)103--103, 4(z)132--132, 4(z)211--211, 4(z)214--214, 6(z)28--28,
7(z)282--282
-
caused, 5(z)123--123, 7(z)272--272
-
causing, 7(z)94--94
-
Cavalcanti, Guilherme, 1(z)59--59
-
Cavalcanti:2017:EIS, 1(z)59--59
-
Cavallo, Evan, 3(z)1--1, 5(z)12--12
-
Cavallo, Evan, see Angiuli, Carlo
-
Cavallo:2019:HIT, 3(z)1--1
-
C/C++, 2(z)17--17, 4(z)73--73, 4(z)176--176, 7(z)137--137, 7(z)151--151
-
C/C++11, 2(z)135--135
-
CCT, 4(z)230--230
-
Cecchetti, Ethan, 5(z)35--35
-
Cecchetti, Ethan, see Hirsch, Andrew K.
-
Cedar, 8(z)118--118
-
Cederquist, Jan, 7(z)226--226
-
Cederquist, Jan, see Paulino, Hervé
-
Cedille, 4(z)122--122
-
CEGIS, 4(z)62--62
-
celebrated, 7(z)68--68
-
Celik, Ahmet, 1(z)94--94, 3(z)177--177
-
Celik:2017:BET, 1(z)94--94
-
Celik:2019:DIA, 3(z)177--177
-
cell, 4(z)81--81
-
Celsius, 6(z)151--151
-
center, 7(z)117--117, 7(z)192--192
-
centered, 5(z)132--132, 7(z)129--129
-
central, 2(z)70--70, 4(z)84--84, 7(z)5--5, 7(z)276--276, 8(z)29--29,
8(z)93--93
-
centralized, 6(z)23--23
-
Centric, Data-, 7(z)226--226
-
centric, Data-, 2(z)31--31
-
centric, data-, 4(z)105--105
-
centric, ownership-, 6(z)116--116
-
centric, Value-, 3(z)124--124
-
century, 7(z)69--69
-
century, half-, 3(z)85--85
-
Ceragioli, Lorenzo, 8(z)43--43
-
Ceragioli:2024:QBB, 8(z)43--43
-
cérises, 6(z)74--74
-
Cerný, Pavol, 3(z)106--106,
see Lewchenko, Nicholas V.
-
certain, 2(z)125--125, 3(z)27--27, 3(z)158--158, 4(z)64--64, 4(z)73--73,
4(z)100--100, 4(z)103--103, 4(z)133--133, 4(z)136--136,
4(z)162--162, 5(z)60--60, 6(z)21--21, 6(z)152--152, 8(z)21--21,
8(z)51--51
-
CertiCoq, 5(z)86--86
-
certifiably, 3(z)136--136
-
certificates, 6(z)41--41, 7(z)77--77
-
certification, 4(z)185--185, 5(z)154--154, 6(z)43--43, 6(z)75--75
-
certified, 3(z)136--136, 4(z)44--44, 4(z)129--129, 4(z)199--199,
6(z)42--42, 6(z)107--107
-
Certifying, 3(z)171--171, 5(z)84--84, 6(z)24--24
-
Cetin, Burcu, 8(z)123--123
-
Cetin, Burcu, see Ryan, Gabriel
-
Ceylon, 6(z)179--179
-
CFA, 6(z)58--58
-
CFGs, 4(z)108--108
-
CFL, 6(z)41--41, 7(z)59--59
-
CFL, Dyck-, 6(z)176--176
-
CFL-, 4(z)178--178
-
CFL-based, 4(z)178--178
-
CFL-reachability, 6(z)180--180, 7(z)119--119, 8(z)145--145
-
Cha, Sungdeok, 1(z)100--100
-
Cha, Sungdeok, see Jeong, Sehun
-
Chabbi, Milind, 3(z)164--164
-
Chabbi, Milind, see Barik, Rajkishore
-
CHAD, 8(z)36--36
-
Chadha, Rohit, 5(z)8--8
-
Chadha, Rohit, see Barthe, Gilles
-
Chae, Kwonsoo, 1(z)101--101
-
Chae:2017:AGF, 1(z)101--101
-
chain, 3(z)121--121, 3(z)134--134, 7(z)300--300
-
Chakraborty, Soham, 7(z)137--137, 7(z)153--153, 8(z)66--66
-
Chakraborty, Soham, see Goens, Andrés,
see Tunç, Hünkar Can
-
Chakraborty:2024:HHW, 8(z)66--66
-
Chaliasos, Stefanos, 4(z)144--144, 5(z)123--123, 6(z)165--165,
8(z)62--62
-
Chaliasos, Stefanos, see Sotiropoulos, Thodoris
-
Chaliasos:2021:WTP, 5(z)123--123
-
Chaliasos:2022:SIA, 6(z)165--165
-
challenge, 2(z)109--109, 2(z)130--130, 2(z)166--166, 3(z)107--107,
3(z)110--110, 3(z)120--120, 3(z)124--124, 3(z)132--132,
3(z)137--137, 3(z)189--189, 4(z)53--53, 4(z)132--132, 4(z)140--140,
4(z)148--148, 4(z)164--164, 4(z)171--171, 4(z)187--187,
4(z)190--190, 4(z)198--198, 4(z)207--207, 4(z)212--212,
4(z)213--213, 4(z)227--227, 5(z)2--2, 5(z)77--77, 5(z)118--118,
5(z)124--124, 5(z)164--164, 6(z)15--15, 6(z)24--24, 6(z)58--58,
6(z)77--77, 6(z)97--97, 6(z)159--159, 7(z)120--120, 7(z)141--141,
7(z)146--146, 7(z)174--174, 7(z)182--182, 7(z)231--231,
7(z)249--249, 7(z)251--251, 8(z)105--105
-
challenged, 2(z)161--161
-
challenging, 2(z)72--72, 3(z)17--17, 3(z)88--88, 3(z)154--154,
4(z)84--84, 4(z)137--137, 4(z)143--143, 4(z)146--146, 4(z)156--156,
4(z)189--189, 4(z)225--225, 5(z)97--97, 6(z)36--36, 6(z)51--51,
6(z)70--70, 6(z)147--147, 7(z)2--2, 7(z)36--36, 7(z)70--70,
7(z)271--271, 7(z)300--300, 8(z)21--21, 8(z)22--22, 8(z)109--109,
8(z)111--111, 8(z)114--114, 8(z)123--123, 8(z)141--141
-
Chalupa, Marek, 2(z)31--31
-
Chalupa:2018:DCD, 2(z)31--31
-
Chambers, John M., 4(z)84--84
-
Chambers:2020:RDS, 4(z)84--84
-
Chamoun, Yorgo, 8(z)78--78
-
Chamoun, Yorgo, see Altenkirch, Thorsten
-
Chan, Jonathan, 8(z)44--44
-
Chan, Jonathan, see Liu, Yiyun
-
chance, 3(z)7--7
-
Chandra, Kartik, 2(z)62--62
-
Chandra, Satish, 3(z)152--152, 3(z)159--159
-
Chandra, Satish, see Bader, Johannes,
see Luan, Sifei
-
Chandra:2018:BSB, 2(z)62--62
-
Chang, Alexander, 5(z)41--41
-
Chang, Alexander, see Doenges, Ryan
-
Chang, Bor-Yuh Evan, 3(z)140--140, 7(z)289--289
-
Chang, Bor-Yuh Evan, see Meier, Shawn,
see Stein, Benno
-
Chang, Stephen, 1(z)30--30, 2(z)40--40, 4(z)3--3
-
Chang, Stephen, see Andersen, Leif
-
Chang:2018:STL, 2(z)40--40
-
Chang:2020:DTS, 4(z)3--3
-
change, 2(z)74--74, 2(z)109--109, 2(z)127--127, 2(z)139--139,
2(z)152--152, 2(z)165--165, 3(z)117--117, 3(z)143--143,
3(z)187--187, 4(z)25--25, 4(z)160--160, 4(z)187--187, 4(z)202--202,
4(z)207--207, 4(z)215--215, 5(z)52--52, 5(z)161--161, 7(z)78--78,
7(z)212--212
-
changing, 2(z)109--109, 4(z)70--70, 4(z)72--72, 4(z)74--74, 4(z)182--182
-
channel, 3(z)29--29, 3(z)110--110, 4(z)186--186, 5(z)129--129, 6(z)5--5,
6(z)107--107, 7(z)68--68, 7(z)212--212, 7(z)235--235, 7(z)274--274
-
Channel, Side-, 7(z)286--286
-
channel, side-, 4(z)147--147, 5(z)129--129, 5(z)142--142,
7(z)274--274, 7(z)286--286
-
channel-based, 4(z)186--186, 6(z)155--155
-
channels, side-, 4(z)7--7
-
Chaperone, 1(z)35--35
-
Chapman, James, 2(z)90--90
-
Chapman, James, see Allais, Guillaume
-
Chappe, Nicolas, 7(z)61--61
-
Chappe:2023:CTR, 7(z)61--61
-
characterisations, 4(z)11--11
-
characteristic, 2(z)120--120, 4(z)74--74, 4(z)84--84, 7(z)228--228
-
Characterization, 8(z)91--91
-
characterize, 5(z)7--7, 5(z)137--137, 6(z)159--159, 7(z)80--80
-
Charatonik, Witold, 6(z)94--94
-
Charatonik, Witold, see Biernacka, Ma{\l}gorzata
-
Charguéraud, Arthur, 2(z)77--77, 4(z)116--116, 7(z)25--25,
see Krebbers, Robbert,
see Moine, Alexandre
-
Chargueraud:2020:SLS, 4(z)116--116
-
Chari, Guido, 4(z)220--220
-
Chari, Guido, see Flückiger, Olivier
-
Chase, 7(z)33--33
-
Chasins, Sarah, 1(z)51--51
-
Chasins, Sarah E., 5(z)155--155, 7(z)275--275
-
Chasins, Sarah E., see Lubin, Justin,
see Rennels, Lisa
-
Chasins:2017:SBR, 1(z)51--51
-
Chataing, Nicolas, 5(z)77--77, 8(z)51--51
-
Chataing, Nicolas, see Merigoux, Denis
-
Chataing:2024:UDC, 8(z)51--51
-
Chatterjee, Bodhisatwa, 7(z)228--228
-
Chatterjee, Bodhisatwa, see Mururu, Girish
-
Chatterjee, Krishnendu, 2(z)30--30, 2(z)31--31, 2(z)34--34,
3(z)124--124, 3(z)129--129, 4(z)25--25, 5(z)164--164, 8(z)107--107
-
Chatterjee, Krishnendu, see Agrawal, Sheshansh,
see Bui, Truc Lam, \see{Chalupa, Marek,
see Huang, Mingzhang, \see{Wang, Peixin
-
Chatterjee:2018:ODR, 2(z)30--30
-
Chatterjee:2019:VCD, 3(z)124--124
-
Chatterjee:2024:QBR, 8(z)107--107
-
Chattopadhyay, Agnishom, 8(z)92--92
-
Chattopadhyay, Agnishom, see Mamouras, Konstantinos
-
Chau, Chun Yin, 6(z)141--141, 8(z)48--48
-
Chau, Chun Yin, see Parreaux, Lionel
-
Chaudhuri, Avik, 1(z)48--48
-
Chaudhuri, Kamalika, 1(z)60--60
-
Chaudhuri, Kamalika, see Seidel, Eric L.
-
Chaudhuri, Swarat, 6(z)21--21
-
Chaudhuri, Swarat, see Miltner, Anders
-
Chaudhuri:2017:FPT, 1(z)48--48
-
CHC, 7(z)21--21
-
cheap, 5(z)6--6
-
cheaper, 3(z)125--125
-
Chechik, Marsha, 4(z)157--157
-
Chechik, Marsha, see Shahin, Ramy
-
check, 2(z)75--75, 2(z)102--102, 3(z)122--122, 3(z)160--160,
3(z)173--173, 4(z)41--41, 4(z)68--68, 4(z)165--165, 5(z)53--53,
6(z)4--4, 6(z)122--122, 6(z)146--146, 7(z)73--73, 7(z)85--85,
7(z)143--143, 8(z)32--32, 8(z)80--80, 8(z)85--85, 8(z)125--125
-
checkable, 7(z)80--80
-
checked, 3(z)9--9, 3(z)147--147, 4(z)91--91, 6(z)78--78, 7(z)85--85,
7(z)224--224, 7(z)284--284
-
checked, bounds-, 3(z)133--133
-
checked, machine-, 2(z)66--66, 4(z)34--34, 4(z)129--129
-
checker, 2(z)114--114, 3(z)180--180, 3(z)189--189, 4(z)107--107,
4(z)127--127, 4(z)180--180, 5(z)143--143, 5(z)165--165, 7(z)94--94,
7(z)279--279, 8(z)70--70
-
checker, type-, 3(z)166--166
-
checkers, type-, 6(z)140--140
-
checkers., 3(z)189--189
-
checking, 1(z)48--48, 1(z)53--53, 2(z)17--17, 2(z)135--135, 2(z)157--157,
3(z)3--3, 3(z)29--29, 3(z)84--84, 3(z)93--93, 3(z)123--123,
3(z)124--124, 3(z)134--134, 3(z)150--150, 3(z)165--165,
3(z)173--173, 3(z)180--180, 4(z)8--8, 4(z)9--9, 4(z)127--127,
4(z)141--141, 4(z)146--146, 5(z)60--60, 5(z)138--138, 6(z)152--152,
6(z)177--177, 7(z)6--6, 7(z)19--19, 7(z)85--85, 7(z)129--129,
7(z)137--137, 8(z)46--46, 8(z)87--87, 8(z)132--132
-
Checking, Model-, 8(z)87--87
-
checking, model-, 3(z)26--26, 6(z)63--63, 6(z)65--65
-
Checking, Type-, 7(z)162--162
-
checking, type-, 6(z)140--140
-
checklist., 3(z)189--189
-
checkpoints, 1(z)96--96, 3(z)183--183
-
Cheeseman, Luke, 7(z)276--276
-
Cheeseman:2023:WCM, 7(z)276--276
-
chemistry, 2(z)128--128
-
Chen, Adam, 6(z)186--186
-
Chen, Bretton, 6(z)143--143
-
Chen, Bretton, see Sivaraman, Aishwarya
-
Chen, Chao, 7(z)228--228
-
Chen, Chao, see Mururu, Girish
-
Chen, Chao-Hong, 5(z)9--9
-
Chen, Hao, 6(z)127--127
-
Chen, Hao, see Liu, Mengqi
-
Chen, Jia, 3(z)141--141
-
Chen, Jiahao, 2(z)120--120
-
Chen, Jiahao, see Bezanson, Jeff
-
Chen, Liang-Ting, 6(z)98--98
-
Chen, Liang-Ting, see Ko, Hsiang-Shang
-
Chen, Lingyun, 4(z)174--174
-
Chen, Lingyun, see Wu, Zhefeng
-
Chen, Mingshuai, 7(z)99--99, 8(z)127--127
-
Chen, Mingshuai, see Feng, Shenghua,
see Klinkenberg, Lutz
-
Chen, Peter M., 4(z)176--176
-
Chen, Peter M., see Banerjee, Subarno
-
Chen, Qian, 8(z)112--112
-
Chen, Qianfan, 8(z)116--116
-
Chen, Qianfan, see Nelson, Tim
-
Chen, Qiaochu, 6(z)144--144, 7(z)134--134, 7(z)287--287
-
Chen, Qiaochu, see Barnaby, Celeste
-
Chen, Qinlin, 7(z)230--230
-
Chen, Sheng, 1(z)105--105, 1(z)106--106, 2(z)15--15, 2(z)98--98,
3(z)160--160, 4(z)191--191, 8(z)89--89
-
Chen, Sheng, see Campora, John Peter,
see Wu, Baijun
-
Chen, Taolue, 2(z)3--3, 6(z)45--45, 7(z)286--286, 8(z)29--29
-
Chen, Taolue, see Gao, Pengfei, \see{Sun, Pu
-
Chen, Wenguang, 7(z)246--246
-
Chen, Wenguang, see Cao, Huanqi
-
Chen, Xiaohong, 4(z)88--88, 4(z)161--161, 7(z)77--77
-
Chen, Xiaohong, see Lin, Zhengyao
-
Chen, Yan, 2(z)3--3
-
Chen, Yan, see Chen, Taolue
-
Chen, Yanju, 6(z)71--71, 6(z)145--145, 7(z)132--132, 7(z)168--168
-
Chen, Yanju, see Liu, Junrui,
see Mariano, Benjamin,
see Pailoor, Shankara
-
Chen, Yixuan, 7(z)38--38
-
Chen, Yixuan, see Vale, Arthur Oliveira
-
Chen, Yu-Fang, 7(z)156--156, 7(z)296--296
-
Chen, Yueqi, 4(z)147--147
-
Chen, Yueqi, see Guo, Shengjian
-
Chen, Yuqi, 8(z)29--29
-
Chen, Yuqi, see Sun, Pu
-
Chen, Yuxuan, 3(z)126--126
-
Chen, Yuxuan, see Wei, Guannan
-
Chen, Zhe, 8(z)117--117
-
Chen, Zhi, 2(z)126--126
-
Chen, Zhi, see Gong, Zhangxiaowen
-
Chen, Zilin, 7(z)47--47
-
Chen:2018:WDA, 2(z)3--3
-
Chen:2019:RVU, 3(z)141--141
-
Chen:2020:GAD, 4(z)88--88
-
Chen:2020:TUP, 4(z)161--161
-
Chen:2021:CIC, 5(z)9--9
-
Chen:2022:SPO, 6(z)145--145
-
Chen:2022:SSC, 6(z)45--45
-
Chen:2022:TDS, 6(z)144--144
-
Chen:2022:VDM, 6(z)186--186
-
Chen:2023:ABF, 7(z)156--156
-
Chen:2023:DES, 7(z)287--287
-
Chen:2023:DSB, 7(z)47--47
-
Chen:2023:EVT, 7(z)230--230
-
Chen:2023:SSC, 7(z)296--296
-
Chen:2024:DIA, 8(z)117--117
-
Chen:2024:EED, 8(z)112--112
-
Cheney, James, 1(z)14--14, 2(z)74--74, 5(z)122--122, 6(z)111--111
-
Cheney, James, see Bartha, Sándor,
see Emrich, Frank, \see{Horn, Rudi,
see Ricciotti, Wilmer
-
Cheng, Xiao, 4(z)233--233
-
Cheng, Xiao, see Sui, Yulei
-
Cheng, Yueqiang, 4(z)147--147
-
Cheng, Yueqiang, see Guo, Shengjian
-
CHERI, 5(z)6--6
-
Cheshmi, Kazem, 7(z)188--188
-
Cheshmi, Kazem, see Wilkinson, Lucas
-
Cheung, Alvin, 2(z)157--157, 4(z)49--49, 6(z)173--173
-
Cheung, Alvin, see Laddad, Shadaj,
see Wang, Chenglong
-
Cheval, Vincent, 8(z)34--34
-
Cheval, Vincent, see Buna-Marginean, Alex
-
Chez, 3(z)78--78
-
Chiang, David, 7(z)98--98
-
Chiang:2023:ERP, 7(z)98--98
-
Chiba, Shigeru, 3(z)134--134, 7(z)130--130
-
Chiba, Shigeru, see Yamazaki, Tetsuro
-
Chida, Nariyoshi, 7(z)173--173
-
Chida:2023:RRE, 7(z)173--173
-
chief, 4(z)74--74, 6(z)116--116
-
child, 1(z)3--3
-
children, 4(z)79--79
-
Chin, Wei-Ngan, 2(z)9--9
-
Chin, Wei-Ngan, see Ta, Quang-Trung
-
chip, laboratories-on-a-, 2(z)128--128
-
chips, 3(z)81--81
-
Chisnall, David, 7(z)276--276
-
Chisnall, David, see Cheeseman, Luke
-
Chistikov, Dmitry, 6(z)41--41
-
Chistikov:2022:SCC, 6(z)41--41
-
Chitre, Khushboo, 6(z)153--153, 7(z)283--283
-
Chitre:2022:RTE, 6(z)153--153
-
Chitre:2023:RRB, 7(z)283--283
-
Chiu, Kenneth, 6(z)157--157
-
Chiu, Kenneth, see Dexter, Philip
-
Chlipala, Adam, 1(z)24--24, 1(z)79--79, 2(z)93--93, 3(z)82--82,
5(z)94--94, 6(z)24--24, 6(z)55--55, 6(z)80--80, 7(z)158--158,
7(z)192--192
-
Chlipala, Adam, see Bourgeat, Thomas,
see Choi, Joonwon,
see Delaware, Benjamin,
see Ikebuchi, Mirai, \see{Kuepper, Joel,
see Lesani, Mohsen, \see{Liu, Amanda,
see Stampoulis, Antonis, \see{Wang, Peng
-
Chlipala:2021:SBB, 5(z)94--94
-
Cho, Chanhee, 7(z)85--85
-
Cho, Chanhee, see Lattuada, Andrea
-
Cho, Hangyeol, 7(z)70--70
-
Cho, Hangyeol, see Lee, Woosuk
-
Cho, Kyeongmin, 7(z)118--118
-
Cho, Minki, 4(z)23--23, 7(z)39--39, 7(z)139--139, 7(z)183--183,
7(z)281--281
-
Cho, Minki, see Lee, Dongjae,
see Lee, Sung-Hwan, \see{Song, Youngju
-
Cho:2023:MFD, 7(z)118--118
-
Cho:2023:SF, 7(z)281--281
-
Chocholatý, David, 7(z)296--296, see Chen, Yu-Fang
-
Choi, Jaemin, 7(z)251--251
-
Choi, Jaemin, see Jung, Jaehwang
-
Choi, Joonwon, 1(z)24--24
-
Choi:2017:KPH, 1(z)24--24
-
choice, 2(z)120--120, 3(z)142--142, 4(z)39--39, 4(z)73--73, 4(z)74--74,
5(z)32--32, 5(z)87--87, 6(z)68--68, 6(z)116--116, 7(z)2--2,
7(z)61--61, 7(z)213--213
-
Chon, Yebin, 8(z)110--110
-
Chon, Yebin, see Xu, Ziyang
-
Chong, Nathan, 7(z)88--88
-
Chong, Nathan, see Fox, Anthony C. J.
-
Chong, Stephen, 1(z)36--36, 4(z)141--141, 7(z)7--7
-
Chong, Stephen, see Bembenek, Aaron,
see Waye, Lucas
-
choose, 2(z)109--109, 3(z)11--11, 7(z)7--7
-
choosing, 5(z)78--78, 7(z)261--261
-
choreographic, 6(z)23--23, 7(z)207--207
-
choreographies, 4(z)134--134, 6(z)23--23
-
Chou, Stephen, 1(z)77--77, 2(z)123--123, 4(z)158--158, 5(z)128--128,
6(z)175--175
-
Chou, Stephen, see Henry, Rawn,
see Kjolstad, Fredrik,
see Senanayake, Ryan
-
Chou:2018:FAS, 2(z)123--123
-
Chou:2022:CDS, 6(z)175--175
-
Choudhary, Bhavya, 2(z)30--30
-
Choudhary, Bhavya, see Chatterjee, Krishnendu
-
Choudhury, Pritam, 3(z)101--101, 5(z)50--50, 6(z)172--172
-
Choudhury, Pritam, see Weirich, Stephanie
-
Choudhury, Vikraman, 2(z)53--53, 4(z)111--111, 6(z)6--6
-
Choudhury, Vikraman, see Vazou, Niki
-
Choudhury:2020:RPC, 4(z)111--111
-
Choudhury:2021:GDT, 5(z)50--50
-
Choudhury:2022:MCA, 6(z)172--172
-
Choudhury:2022:SRP, 6(z)6--6
-
Chowdhary, Sangeeta, 6(z)190--190
-
Chowdhary:2022:FSE, 6(z)190--190
-
Christakis, Maria, 4(z)185--185
-
Christakis, Maria, see Urban, Caterina
-
Christiansen, David Thrane, 3(z)100--100
-
Christiansen:2019:DTH, 3(z)100--100
-
Chu, Duc-Hiep, 4(z)192--192
-
Chu, Duc-Hiep, see Trinh, Minh-Thai
-
Chu, Michael, 7(z)168--168
-
Chu, Michael, see Pailoor, Shankara
-
Chuang, Cheng-En, 7(z)278--278
-
Chuang, Cheng-En, see Iraci, Grant
-
Chuengsatiansup, Chitchanok, 7(z)158--158
-
Chuengsatiansup, Chitchanok, see Kuepper, Joel
-
Chugh, Ravi, 2(z)127--127, 3(z)14--14, 4(z)109--109
-
Chugh, Ravi, see Lubin, Justin,
see Mayer, Mikaël, \see{Omar, Cyrus
-
Chung, Benjamin, 2(z)113--113, 2(z)120--120, 4(z)207--207, 5(z)150--150
-
Chung, Benjamin, see Belyakova, Julia,
see Bezanson, Jeff,
see Nardelli, Francesco Zappa,
see Pelenitsyn, Artem
-
Chung, Kai-Min, 7(z)156--156
-
Chung, Kai-Min, see Chen, Yu-Fang
-
chunks, 3(z)186--186
-
Chuprikov, Pavel, 7(z)117--117
-
Chuprikov, Pavel, see Mangipudi, Shamiek
-
CIC, 4(z)8--8, 6(z)124--124
-
Ciccone, Luca, 6(z)5--5
-
Ciccone:2022:FTB, 6(z)5--5
-
Cimini, 3(z)18--18
-
Cimini-Boyland's, Siek-Vitousek-, 2(z)73--73
-
Ciobâc{\u{a}}, {\v{S}}tefan, 8(z)74--74,
see Andrici, Cezar-Constantin
-
Ciphers, 8(z)29--29
-
circear, 8(z)54--54
-
circle, 5(z)45--45
-
circuit, 3(z)120--120, 4(z)87--87, 5(z)37--37, 6(z)6--6, 6(z)92--92,
7(z)87--87, 7(z)156--156, 7(z)168--168, 7(z)219--219, 8(z)96--96,
8(z)114--114
-
circuit?, 7(z)219--219
-
Circuit, Quantum-, 7(z)140--140
-
circumvent, 3(z)158--158
-
citizens, 5(z)77--77
-
Claessen, Koen, 7(z)203--203
-
Claessen, Koen, see Augustsson, Lennart
-
claim, 2(z)47--47, 2(z)66--66, 4(z)34--34, 6(z)116--116
-
claimed, 3(z)133--133
-
Clairambault, Pierre, 2(z)39--39, 4(z)63--63, 7(z)24--24
-
Clairambault, Pierre, see Castellan, Simon
-
Clairambault:2018:LHO, 2(z)39--39
-
Clairambault:2020:FAQ, 4(z)63--63
-
clairvoyant, 3(z)114--114
-
clarity, 5(z)88--88
-
Clark, Alison M., 5(z)61--61
-
Clark, Alison M., see Schwerter, Felipe Bañados
-
Clark, Jack, 7(z)60--60
-
Clark, Jack, see Klimis, Vasileios
-
Clarke, 6(z)56--56
-
class, 1(z)70--70, 2(z)84--84, 2(z)88--88, 2(z)147--147, 3(z)91--91,
3(z)98--98, 3(z)177--177, 3(z)184--184, 4(z)13--13, 4(z)52--52,
4(z)64--64, 4(z)89--89, 4(z)100--100, 4(z)173--173, 4(z)174--174,
4(z)206--206, 5(z)57--57, 5(z)93--93, 5(z)103--103, 5(z)139--139,
6(z)61--61, 6(z)89--89, 6(z)113--113, 6(z)116--116, 6(z)123--123,
6(z)151--151, 6(z)152--152, 6(z)178--178, 7(z)28--28, 7(z)37--37,
7(z)52--52, 7(z)69--69, 7(z)80--80, 7(z)118--118, 7(z)188--188,
7(z)234--234, 8(z)34--34
-
Class, First-, 7(z)297--297, 8(z)48--48
-
class, First-, 6(z)126--126
-
class, first-, 3(z)10--10, 4(z)100--100, 4(z)101--101,
4(z)125--125, 5(z)64--64, 6(z)111--111, 8(z)48--48
-
classic, 2(z)108--108, 4(z)64--64, 4(z)74--74, 6(z)13--13, 6(z)135--135
-
classical, 2(z)145--145, 3(z)24--24, 4(z)12--12, 4(z)57--57, 4(z)63--63,
4(z)133--133, 5(z)57--57, 5(z)62--62, 6(z)26--26, 6(z)45--45,
6(z)72--72, 6(z)80--80, 6(z)132--132, 6(z)146--146, 7(z)32--32,
7(z)52--52, 7(z)253--253, 8(z)19--19
-
classical-quantum, 6(z)26--26
-
classically, 6(z)30--30
-
classified, 3(z)20--20, 4(z)117--117, 6(z)67--67
-
classifiers, 8(z)130--130
-
classify, 2(z)116--116, 4(z)136--136, 6(z)10--10
-
Claude, 7(z)68--68
-
Claudel, Clément, Pit-, 3(z)82--82
-
clauses, 2(z)11--11, 5(z)19--19, 6(z)60--60, 7(z)69--69
-
clean, 4(z)83--83
-
clean-slate, 2(z)119--119
-
cleaner, 3(z)125--125, 4(z)120--120
-
clear, 2(z)125--125, 4(z)38--38, 4(z)73--73, 4(z)84--84, 5(z)8--8,
8(z)43--43
-
clearly, 4(z)73--73
-
Clebsch, Sylvan, 1(z)72--72, 7(z)270--270, 7(z)276--276
-
Clebsch, Sylvan, see Arvidsson, Ellen,
see Cheeseman, Luke
-
Clebsch:2017:OGT, 1(z)72--72
-
Clément, Basile, 6(z)84--84
-
Clement, Blaudeau, 8(z)101--101
-
Clement:2022:EET, 6(z)84--84
-
Clement:2024:FOM, 8(z)101--101
-
Clester, Ian, 7(z)192--192
-
Clester, Ian, see Bourgeat, Thomas
-
client, 2(z)152--152, 4(z)136--136, 4(z)187--187, 5(z)17--17, 5(z)42--42,
5(z)81--81, 6(z)47--47, 6(z)154--154
-
client-server, 5(z)62--62, 7(z)217--217
-
climate, 4(z)71--71
-
Clinger, William D., 4(z)80--80
-
Clinger:2020:HMT, 4(z)80--80
-
cliques, 8(z)1--1
-
Clochard, Martin, 4(z)2--2, 4(z)152--152
-
Clochard, Martin, see Sprenger, Christoph
-
Clochard:2020:DVG, 4(z)2--2
-
clocks, 3(z)156--156
-
Clojure, 4(z)71--71
-
clones, 4(z)81--81
-
close, 4(z)11--11, 4(z)180--180
-
closed, 4(z)150--150, 5(z)9--9
-
closely, 4(z)74--74, 8(z)55--55
-
closest, 6(z)134--134
-
closure, 3(z)83--83, 4(z)210--210, 5(z)145--145
-
closure-manipulating, 5(z)145--145
-
CLOTHO, 3(z)117--117
-
cloud, 1(z)97--97, 2(z)118--118, 3(z)149--149, 3(z)184--184,
4(z)182--182, 7(z)13--13, 7(z)117--117, 7(z)159--159
-
Clune, Joshua, 4(z)171--171
-
Clune:2020:PEA, 4(z)171--171
-
clustering, 5(z)159--159
-
clusters, 6(z)162--162
-
CMP, 8(z)141--141
-
CN, 7(z)1--1
-
co-design, 1(z)72--72
-
co-exist, 3(z)128--128
-
coalgebraic, 4(z)61--61, 7(z)52--52
-
coarray, 4(z)72--72
-
coarsening, 5(z)130--130
-
Coarser, 8(z)31--31
-
coaxioms, 1(z)81--81
-
Cobb, Andrew, 2(z)87--87
-
Cobb, Andrew, see Wand, Mitchell
-
Coblenz, Michael, 4(z)132--132
-
Coblenz:2020:CAT, 4(z)132--132
-
Cocktail, 7(z)257--257
-
Cockx, Jesper, 2(z)75--75, 3(z)3--3, 5(z)60--60, 6(z)113--113
-
Cockx, Jesper, see Escot, Lucas,
see Gilbert, Gaëtan
-
Cockx:2018:EDC, 2(z)75--75
-
Cockx:2021:TRT, 5(z)60--60
-
Cocoon, 8(z)100--100
-
codata, 4(z)30--30
-
code, low-, 6(z)164--164
-
code, machine-, 1(z)61--61
-
code, pseudo-, 3(z)123--123
-
Code-Generating, 7(z)78--78
-
code-generating, 7(z)78--78
-
code-size, 4(z)167--167
-
code., 6(z)116--116
-
codebase, 3(z)177--177, 8(z)111--111
-
coded, hard-, 7(z)253--253
-
codify, 5(z)62--62
-
codifying, 5(z)77--77
-
codimension, 4(z)72--72
-
Codimensions, 4(z)72--72
-
coding, 5(z)150--150
-
coeffect, type-and-, 6(z)156--156
-
coeffectful, 6(z)31--31
-
coeffects, 6(z)31--31, 6(z)156--156
-
coercions, 3(z)101--101
-
coexponentials, 5(z)62--62
-
cognitive, 6(z)79--79
-
Cogumbreiro, Tiago, 1(z)103--103
-
Cogumbreiro:2017:DAP, 1(z)103--103
-
Cohen, Albert, 5(z)142--142, 6(z)84--84
-
Cohen, Albert, see Clément, Basile,
see Vu, Son Tuan
-
Cohen, Dana Drachsler, 8(z)130--130
-
Cohen, Dana Drachsler, see Kabaha, Anan
-
Cohen, Dana, Drachsler-, 7(z)90--90, 7(z)187--187
-
Cohen, Joshua M., 8(z)60--60
-
Cohen, Liron, 8(z)46--46
-
Cohen, Nachshon, 1(z)67--67, 2(z)143--143, 2(z)153--153, 3(z)128--128
-
Cohen, Nachshon, see Zuriel, Yoav
-
Cohen:2017:ELN, 1(z)67--67
-
Cohen:2018:EDS, 2(z)143--143
-
Cohen:2018:OOR, 2(z)153--153
-
Cohen:2024:CIL, 8(z)46--46
-
Cohen:2024:FCW, 8(z)60--60
-
Coherence, 3(z)91--91
-
coherency, 1(z)67--67
-
cohesion, 3(z)20--20
-
coin, 3(z)27--27, 4(z)10--10
-
coincide, 4(z)38--38
-
coinduction, 6(z)18--18
-
coinductive, 3(z)4--4, 4(z)51--51
-
Colazzo, Dario, 8(z)49--49
-
Colazzo, Dario, see Attouche, Lyes
-
cold, 1(z)52--52
-
Colin, Alexei, 1(z)96--96
-
Colin, Alexei, see Maeng, Kiwan
-
collaborate, 3(z)170--170
-
collaborated, 4(z)77--77
-
collaboration, 3(z)170--170, 4(z)73--73, 4(z)84--84
-
collaborative, 4(z)83--83
-
Collange, Caroline, 3(z)120--120
-
Collange, Caroline, see Siraichi, Marcos Yukio
-
collapse, 4(z)158--158
-
Collapsible, 2(z)133--133
-
Collapsing, 2(z)52--52
-
collected, 3(z)183--183, 3(z)189--189, 4(z)182--182, 4(z)203--203
-
collected, Garbage-, 6(z)160--160
-
collecting, 3(z)156--156, 7(z)130--130
-
collection, 1(z)53--53, 2(z)108--108, 2(z)113--113, 2(z)150--150,
2(z)151--151, 3(z)166--166, 4(z)176--176, 5(z)14--14, 6(z)11--11,
6(z)89--89, 6(z)160--160, 7(z)25--25, 7(z)85--85, 7(z)115--115,
7(z)265--265, 8(z)131--131
-
Collection, Garbage-, 7(z)115--115
-
collections, 2(z)25--25, 2(z)108--108, 4(z)168--168, 5(z)14--14,
5(z)148--148, 6(z)89--89
-
collective, 3(z)157--157
-
collectively, 2(z)155--155, 5(z)113--113
-
collectors, 4(z)204--204
-
Collins, Elias Rojas, 8(z)126--126
-
Collins, Elias Rojas, see Michel, Jesse
-
Collins, Nick, 4(z)109--109
-
Collins, Nick, see Lubin, Justin
-
color, 7(z)132--132
-
combat, 3(z)150--150, 6(z)78--78
-
combating, 5(z)161--161
-
combination, 2(z)109--109, 2(z)121--121, 3(z)120--120, 4(z)16--16,
4(z)46--46, 4(z)60--60, 4(z)71--71, 4(z)117--117, 4(z)217--217,
5(z)158--158, 6(z)13--13, 6(z)37--37, 6(z)65--65, 6(z)169--169,
6(z)189--189, 8(z)21--21, 8(z)70--70, 8(z)85--85, 8(z)120--120,
8(z)138--138
-
combination., 4(z)43--43
-
combinator, 3(z)82--82, 4(z)120--120, 6(z)6--6
-
Combinator-Based, 7(z)221--221
-
combinatorial, 3(z)148--148
-
combinatorics, 3(z)23--23
-
Combinatory, 8(z)36--36
-
combine, 2(z)71--71, 2(z)116--116, 2(z)120--120, 3(z)157--157,
3(z)176--176, 4(z)48--48, 4(z)67--67, 4(z)81--81, 5(z)88--88,
5(z)114--114, 5(z)145--145, 5(z)148--148, 5(z)163--163, 6(z)80--80,
7(z)2--2, 7(z)118--118, 7(z)166--166, 8(z)40--40, 8(z)76--76
-
combined, 2(z)116--116, 4(z)6--6, 4(z)54--54, 6(z)31--31, 7(z)6--6,
7(z)68--68
-
combining, 4(z)71--71, 4(z)114--114, 4(z)194--194, 5(z)54--54,
5(z)143--143, 5(z)145--145, 7(z)56--56, 8(z)54--54
-
come, 2(z)160--160, 3(z)88--88, 3(z)184--184, 4(z)67--67, 4(z)93--93,
4(z)145--145, 4(z)214--214, 5(z)103--103, 6(z)100--100,
6(z)116--116, 7(z)22--22, 7(z)288--288, 8(z)38--38, 8(z)88--88,
8(z)101--101
-
comingle, 8(z)23--23
-
CommCSL, 7(z)175--175
-
commerce, e-, 5(z)132--132, 7(z)129--129
-
commercial, 4(z)81--81
-
commits/patches, 3(z)178--178
-
commodity, 5(z)63--63
-
common, 2(z)106--106, 2(z)162--162, 3(z)189--189, 4(z)32--32, 4(z)74--74,
4(z)145--145, 4(z)186--186, 4(z)206--206, 4(z)219--219, 5(z)20--20,
5(z)34--34, 5(z)36--36, 5(z)46--46, 5(z)89--89, 5(z)90--90,
5(z)145--145, 5(z)161--161, 6(z)17--17, 6(z)76--76, 6(z)131--131,
7(z)14--14, 7(z)31--31, 7(z)41--41, 7(z)267--267, 7(z)281--281,
7(z)293--293, 8(z)137--137, 8(z)138--138
-
commonly, 2(z)70--70, 3(z)164--164, 4(z)132--132, 4(z)206--206,
5(z)35--35, 5(z)160--160, 7(z)68--68, 8(z)75--75
-
commonly-accepted, 6(z)58--58
-
commonly-used, 6(z)159--159
-
communicate, 4(z)232--232
-
communicated, 8(z)137--137
-
communicating, 5(z)16--16, 7(z)165--165
-
communicating, inter-, 2(z)116--116
-
communication, 2(z)151--151, 2(z)162--162, 3(z)28--28, 3(z)29--29,
3(z)130--130, 4(z)17--17, 4(z)67--67, 4(z)148--148, 4(z)210--210,
5(z)16--16, 5(z)164--164, 6(z)5--5, 7(z)55--55, 7(z)66--66,
7(z)68--68, 7(z)79--79, 7(z)191--191, 7(z)212--212, 7(z)217--217,
7(z)235--235
-
communications, 7(z)55--55
-
community, 2(z)99--99, 2(z)111--111, 2(z)120--120, 3(z)147--147,
4(z)73--73, 4(z)213--213, 6(z)166--166, 7(z)168--168, 7(z)218--218,
7(z)253--253
-
commutative, 5(z)5--5, 5(z)20--20
-
commutativity, 6(z)186--186, 7(z)49--49, 7(z)175--175, 8(z)83--83
-
commutativity-based, 8(z)83--83
-
comonad, 2(z)88--88, 4(z)111--111
-
comonadic, 6(z)172--172
-
compact, 3(z)99--99, 4(z)124--124, 5(z)9--9, 6(z)148--148, 7(z)188--188,
8(z)84--84
-
Compacting, 5(z)159--159
-
companies, 6(z)27--27
-
comparable, 2(z)68--68, 5(z)117--117, 8(z)32--32
-
Comparative, 7(z)4--4
-
compare, 2(z)113--113, 3(z)113--113, 6(z)4--4, 7(z)253--253, 8(z)15--15
-
compared, 2(z)109--109, 3(z)120--120, 3(z)125--125, 3(z)188--188,
4(z)43--43, 4(z)60--60, 5(z)38--38, 6(z)35--35, 6(z)159--159
-
comparing, 2(z)79--79, 3(z)170--170, 3(z)177--177, 4(z)132--132
-
comparison, 3(z)156--156, 7(z)253--253
-
compatibility, 4(z)74--74
-
compatible, 4(z)87--87, 4(z)187--187
-
CompCert, 4(z)7--7, 4(z)23--23, 4(z)129--129, 4(z)152--152, 4(z)197--197,
6(z)25--25, 7(z)9--9, 7(z)224--224, 8(z)6--6
-
CompCertELF, 4(z)197--197
-
CompCertM, 4(z)23--23
-
compelling, 6(z)99--99
-
compensate, 3(z)108--108, 3(z)125--125
-
compete, 4(z)221--221
-
competed, 4(z)77--77
-
competing, 6(z)148--148
-
competitive, 2(z)95--95
-
Compilable, 7(z)209--209
-
compilation, 2(z)81--81, 2(z)124--124, 3(z)10--10, 3(z)84--84,
3(z)133--133, 4(z)7--7, 4(z)23--23, 4(z)44--44, 4(z)129--129,
4(z)177--177, 4(z)197--197, 5(z)22--22, 5(z)70--70, 5(z)71--71,
5(z)86--86, 5(z)102--102, 5(z)117--117, 5(z)128--128, 5(z)136--136,
5(z)142--142, 5(z)150--150, 5(z)162--162, 6(z)25--25, 6(z)55--55,
6(z)110--110, 6(z)146--146, 6(z)148--148, 6(z)175--175, 7(z)16--16,
7(z)19--19, 7(z)131--131, 7(z)146--146, 7(z)158--158, 7(z)216--216,
7(z)238--238, 7(z)255--255, 8(z)58--58, 8(z)72--72, 8(z)74--74,
8(z)81--81
-
Compilation, Meta-, 7(z)233--233
-
compilation, module-, 3(z)10--10
-
compile, 2(z)97--97, 3(z)133--133, 4(z)71--71, 4(z)132--132,
5(z)108--108, 5(z)128--128, 6(z)23--23, 6(z)148--148, 7(z)105--105
-
compile, re-, 4(z)74--74
-
compile-time, 1(z)55--55, 7(z)209--209
-
compiled, 5(z)41--41, 7(z)15--15, 7(z)263--263
-
compiler-generated, 4(z)204--204
-
compiler., 6(z)116--116
-
compiling, 1(z)27--27, 2(z)99--99, 3(z)79--79, 4(z)43--43, 4(z)93--93,
4(z)130--130, 4(z)164--164, 5(z)91--91, 5(z)114--114, 6(z)114--114,
6(z)148--148, 7(z)229--229, 8(z)32--32, 8(z)103--103
-
complement, 4(z)71--71, 4(z)73--73, 4(z)136--136, 5(z)24--24
-
complementary, 4(z)7--7
-
complementation, 3(z)125--125
-
complete, 2(z)12--12, 2(z)25--25, 2(z)44--44, 2(z)53--53, 2(z)87--87,
3(z)9--9, 3(z)18--18, 3(z)122--122, 4(z)17--17, 4(z)109--109,
4(z)132--132, 5(z)39--39, 5(z)163--163, 6(z)85--85, 7(z)68--68,
7(z)171--171, 7(z)185--185, 7(z)259--259, 8(z)1--1, 8(z)32--32,
8(z)82--82
-
complete, PSPACE-, 4(z)26--26
-
complete, Turing-, 5(z)28--28, 8(z)23--23
-
completed, 3(z)172--172, 4(z)73--73
-
completely, 2(z)97--97, 3(z)85--85, 4(z)87--87, 4(z)200--200, 5(z)68--68,
6(z)105--105, 8(z)76--76
-
completeness, 3(z)18--18, 7(z)253--253
-
completion, 1(z)62--62, 4(z)215--215, 6(z)17--17, 6(z)85--85
-
complex, 2(z)70--70, 2(z)126--126, 2(z)143--143, 2(z)162--162,
3(z)22--22, 3(z)117--117, 3(z)139--139, 3(z)140--140, 3(z)147--147,
4(z)49--49, 4(z)93--93, 4(z)104--104, 4(z)121--121, 4(z)134--134,
4(z)174--174, 4(z)183--183, 4(z)195--195, 4(z)226--226, 5(z)43--43,
5(z)65--65, 5(z)106--106, 5(z)109--109, 5(z)147--147, 6(z)4--4,
6(z)40--40, 6(z)49--49, 6(z)88--88, 7(z)27--27, 7(z)248--248,
8(z)9--9, 8(z)132--132
-
complexity, 1(z)43--43, 1(z)79--79, 2(z)72--72, 2(z)91--91, 2(z)99--99,
2(z)130--130, 3(z)147--147, 3(z)154--154, 3(z)165--165,
3(z)182--182, 4(z)5--5, 4(z)15--15, 4(z)27--27, 4(z)71--71,
4(z)97--97, 4(z)100--100, 4(z)123--123, 5(z)15--15, 5(z)34--34,
5(z)59--59, 5(z)138--138, 6(z)12--12, 7(z)59--59, 8(z)37--37,
8(z)46--46, 8(z)49--49, 8(z)64--64
-
Complexity-Guided, 7(z)280--280
-
Complexity-guided, 6(z)68--68
-
compliance, 4(z)43--43
-
compliant, 3(z)29--29
-
complicate, 5(z)145--145
-
complicated, 4(z)72--72, 4(z)123--123, 4(z)126--126, 4(z)194--194,
6(z)36--36, 6(z)53--53
-
complicating, 6(z)76--76
-
comply, 3(z)28--28, 7(z)47--47
-
component, 2(z)70--70, 2(z)129--129, 2(z)151--151, 2(z)156--156,
2(z)159--159, 3(z)80--80, 3(z)146--146, 3(z)176--176, 3(z)186--186,
3(z)189--189, 4(z)12--12, 4(z)32--32, 4(z)66--66, 4(z)123--123,
4(z)198--198, 4(z)228--228, 5(z)8--8, 5(z)72--72, 5(z)86--86,
5(z)149--149, 6(z)27--27, 6(z)52--52, 6(z)157--157, 6(z)169--169,
7(z)29--29, 7(z)31--31, 7(z)87--87, 7(z)124--124, 7(z)165--165,
7(z)217--217, 8(z)32--32, 8(z)88--88
-
component, Cross-, 2(z)151--151
-
Component-Based, 7(z)87--87
-
component-based, 4(z)12--12, 5(z)158--158, 6(z)147--147
-
components.We, 4(z)123--123
-
Composability, 7(z)30--30
-
composable, 2(z)84--84, 6(z)109--109, 6(z)126--126, 7(z)209--209,
8(z)32--32, 8(z)72--72
-
compose, 3(z)90--90
-
composed, 2(z)152--152, 2(z)159--159, 4(z)205--205, 5(z)73--73
-
Composing, 4(z)94--94
-
composition, 1(z)73--73, 1(z)98--98, 5(z)5--5, 6(z)54--54, 6(z)102--102,
8(z)101--101
-
compositional, 1(z)89--89, 2(z)27--27, 2(z)37--37, 2(z)72--72,
2(z)91--91, 2(z)144--144, 2(z)159--159, 3(z)114--114, 4(z)23--23,
4(z)107--107, 4(z)110--110, 4(z)120--120, 4(z)152--152, 5(z)67--67,
5(z)86--86, 5(z)97--97, 5(z)112--112, 5(z)122--122, 6(z)34--34,
6(z)42--42, 6(z)54--54, 6(z)89--89, 6(z)127--127, 6(z)131--131,
6(z)174--174, 7(z)18--18, 7(z)27--27, 7(z)38--38, 7(z)89--89,
7(z)178--178, 7(z)286--286, 8(z)21--21, 8(z)105--105
-
compositional, thread-, 4(z)194--194
-
compositionality, 5(z)80--80, 7(z)22--22, 7(z)38--38, 7(z)79--79,
8(z)104--104
-
compositionally, 6(z)81--81, 6(z)135--135, 8(z)126--126
-
compound, 7(z)153--153, 8(z)106--106
-
comprehension, 2(z)86--86, 2(z)162--162, 3(z)131--131
-
comprehensive, 4(z)214--214
-
compresses, 7(z)14--14
-
compressor/decompressor, 4(z)118--118
-
comprising, 3(z)166--166
-
compromise, 4(z)73--73, 4(z)188--188, 7(z)268--268
-
compromised, 4(z)135--135
-
compromising, 5(z)97--97
-
computable, 4(z)40--40, 5(z)1--1, 5(z)3--3, 7(z)28--28, 7(z)68--68
-
computation, 1(z)22--22, 1(z)50--50, 1(z)75--75, 1(z)81--81,
2(z)109--109, 2(z)126--126, 3(z)3--3, 3(z)90--90, 3(z)119--119,
3(z)131--131, 3(z)133--133, 3(z)153--153, 3(z)165--165,
3(z)185--185, 3(z)186--186, 4(z)14--14, 4(z)27--27, 4(z)33--33,
4(z)50--50, 4(z)84--84, 4(z)91--91, 4(z)95--95, 4(z)118--118,
4(z)133--133, 4(z)142--142, 4(z)166--166, 4(z)173--173,
4(z)183--183, 5(z)8--8, 5(z)20--20, 5(z)21--21, 5(z)32--32,
5(z)33--33, 5(z)35--35, 5(z)60--60, 5(z)69--69, 5(z)75--75,
5(z)80--80, 5(z)93--93, 5(z)101--101, 5(z)130--130, 5(z)141--141,
6(z)2--2, 6(z)31--31, 6(z)46--46, 6(z)51--51, 6(z)82--82, 6(z)99--99,
6(z)112--112, 7(z)71--71, 7(z)98--98, 7(z)147--147, 7(z)152--152,
7(z)208--208, 7(z)219--219, 7(z)222--222, 7(z)297--297, 8(z)12--12,
8(z)44--44, 8(z)50--50, 8(z)76--76, 8(z)126--126, 8(z)144--144
-
computational, 3(z)1--1, 3(z)6--6, 3(z)125--125, 4(z)27--27, 4(z)48--48,
4(z)64--64, 4(z)84--84, 4(z)140--140, 4(z)161--161, 5(z)9--9,
5(z)60--60, 5(z)72--72, 5(z)102--102, 6(z)8--8, 6(z)26--26,
6(z)30--30, 6(z)31--31, 6(z)44--44, 6(z)123--123, 6(z)126--126,
6(z)134--134, 6(z)183--183, 7(z)68--68, 7(z)206--206, 7(z)222--222,
7(z)229--229, 8(z)5--5, 8(z)104--104, 8(z)121--121
-
computationally, 4(z)60--60
-
compute, 3(z)99--99, 3(z)186--186, 5(z)106--106, 6(z)51--51,
6(z)175--175, 6(z)180--180, 7(z)21--21, 8(z)144--144
-
compute-intensive, 2(z)95--95, 3(z)81--81
-
compute-storage, 5(z)133--133
-
computed, 4(z)22--22
-
computer, 2(z)47--47, 3(z)96--96, 3(z)99--99, 3(z)123--123, 4(z)42--42,
4(z)43--43, 4(z)47--47, 4(z)79--79, 4(z)118--118, 4(z)133--133,
4(z)138--138, 4(z)150--150, 4(z)157--157, 4(z)200--200, 5(z)18--18,
5(z)20--20, 6(z)30--30, 6(z)38--38, 6(z)133--133, 6(z)172--172,
7(z)5--5, 7(z)68--68, 7(z)140--140, 8(z)21--21, 8(z)38--38,
8(z)65--65, 8(z)96--96, 8(z)126--126
-
Computer-Aided, 3(z)99--99, 7(z)109--109
-
computer-aided, 2(z)99--99, 8(z)71--71
-
computer-assisted, 2(z)157--157
-
computing, 2(z)113--113, 2(z)118--118, 3(z)81--81, 3(z)113--113,
3(z)125--125, 3(z)144--144, 3(z)146--146, 3(z)148--148,
3(z)149--149, 3(z)184--184, 4(z)14--14, 4(z)38--38, 4(z)64--64,
4(z)81--81, 4(z)84--84, 4(z)123--123, 4(z)144--144, 4(z)148--148,
4(z)153--153, 4(z)163--163, 4(z)165--165, 4(z)184--184,
4(z)195--195, 5(z)9--9, 5(z)25--25, 5(z)120--120, 5(z)137--137,
6(z)2--2, 6(z)86--86, 6(z)157--157, 7(z)11--11, 7(z)32--32,
7(z)60--60, 7(z)88--88, 7(z)136--136, 7(z)222--222, 7(z)228--228,
8(z)19--19, 8(z)21--21, 8(z)30--30, 8(z)63--63, 8(z)75--75,
8(z)138--138
-
concatenation, 2(z)4--4
-
conceived, 7(z)44--44
-
concentration, 3(z)118--118
-
concept, 2(z)92--92, 2(z)116--116, 3(z)27--27, 3(z)131--131, 4(z)55--55,
4(z)118--118, 4(z)124--124, 4(z)207--207, 5(z)15--15, 6(z)45--45,
6(z)121--121, 7(z)93--93, 7(z)167--167, 7(z)253--253, 8(z)62--62,
8(z)106--106
-
conceptual, 4(z)181--181, 6(z)151--151, 7(z)265--265
-
concern, 2(z)155--155, 4(z)82--82, 4(z)143--143, 4(z)185--185,
5(z)118--118, 5(z)145--145, 8(z)117--117
-
concerned, 6(z)19--19
-
concerning, 8(z)55--55
-
concise, 4(z)168--168, 5(z)80--80, 5(z)84--84
-
conclusion, multiple-, 4(z)18--18
-
conclusions, 7(z)94--94
-
concrete, 2(z)80--80, 4(z)74--74, 4(z)104--104, 4(z)109--109,
5(z)163--163, 7(z)249--249
-
Concretely, 4(z)7--7
-
concurrency, 2(z)17--17, 2(z)19--19, 2(z)109--109, 2(z)144--144,
2(z)164--164, 3(z)161--161, 4(z)6--6, 4(z)17--17, 4(z)96--96,
4(z)148--148, 4(z)186--186, 4(z)209--209, 4(z)214--214,
4(z)230--230, 5(z)9--9, 5(z)36--36, 5(z)99--99, 6(z)54--54,
6(z)107--107, 6(z)155--155, 6(z)183--183, 7(z)53--53, 7(z)137--137,
7(z)177--177, 7(z)183--183, 7(z)213--213, 7(z)226--226,
7(z)276--276, 8(z)21--21, 8(z)31--31, 8(z)66--66, 8(z)136--136
-
Concurrency-aware, 2(z)130--130
-
concurrency-safe, 4(z)71--71
-
concurrent, highly-, 4(z)128--128
-
concurrently, 4(z)17--17, 6(z)1--1, 6(z)17--17
-
condition, 2(z)66--66, 2(z)116--116, 3(z)133--133, 4(z)60--60,
5(z)15--15, 5(z)18--18, 5(z)58--58, 6(z)60--60, 8(z)68--68,
8(z)115--115
-
condition, \urlhttps://github.com/FP-Analysis/atomic-,
4(z)60--60
-
condition, verification-, 3(z)166--166
-
conditional, 2(z)87--87, 5(z)58--58, 7(z)39--39, 7(z)76--76,
7(z)106--106, 7(z)112--112
-
conditioned, 6(z)184--184
-
conditioning, 1(z)11--11, 4(z)57--57, 7(z)106--106
-
cones, 2(z)59--59
-
conferences, 4(z)73--73
-
confidence, 2(z)116--116, 7(z)102--102
-
confidential, 5(z)129--129, 7(z)88--88, 7(z)274--274
-
confidentiality, 7(z)117--117, 8(z)100--100
-
Confidentiality-Preservation, 7(z)117--117
-
configurable, 2(z)117--117, 3(z)169--169
-
configuration, 1(z)64--64, 2(z)117--117, 4(z)42--42, 5(z)140--140,
6(z)3--3, 6(z)148--148, 7(z)13--13
-
configuring, 4(z)43--43
-
confined, 7(z)99--99
-
confirming, 6(z)177--177
-
confirms, 4(z)122--122
-
Conflict, 2(z)166--166
-
conflict-, 2(z)165--165
-
Conflict-Driven, 7(z)132--132
-
Conflict-Free, 7(z)162--162
-
Conflict-free, 4(z)94--94, 6(z)173--173, 6(z)188--188
-
conflicting, 2(z)145--145, 4(z)191--191, 7(z)4--4
-
conflicting, memory-, 5(z)36--36
-
conflicts, 2(z)166--166, 3(z)170--170, 4(z)94--94
-
conformance, 7(z)126--126
-
conformant, 4(z)43--43
-
conforming, 3(z)164--164, 4(z)193--193
-
conforms, 5(z)17--17
-
confusing, 4(z)173--173
-
Cong, Youyou, 2(z)22--22, 2(z)69--69, 3(z)79--79, 6(z)126--126
-
Cong, Youyou, see Bowman, William J.,
see Xie, Ningning
-
Cong:2018:HDC, 2(z)69--69
-
Cong:2019:CCW, 3(z)79--79
-
congruence, 3(z)21--21, 5(z)23--23
-
congruential, 5(z)148--148
-
conjecture, 4(z)46--46
-
conjunction, 6(z)36--36, 7(z)112--112, 7(z)135--135
-
connected, 7(z)155--155, 8(z)137--137
-
connection, 3(z)89--89, 3(z)126--126, 4(z)84--84, 4(z)103--103,
5(z)15--15, 6(z)142--142, 7(z)161--161, 8(z)61--61
-
connectivity, 3(z)144--144, 6(z)1--1
-
connects, 2(z)103--103, 6(z)5--5
-
Conoly, Owen, 7(z)158--158
-
Conoly, Owen, see Kuepper, Joel
-
Conquer, Divide-and-, 7(z)3--3
-
conquer, divide-and-, 7(z)3--3
-
conquered, 3(z)90--90
-
Conrado, Giovanna Kobus, 7(z)232--232, 7(z)292--292
-
Conrado:2023:BPC, 7(z)232--232
-
Conrado:2023:ESC, 7(z)292--292
-
cons, 7(z)40--40
-
consciously, 4(z)84--84
-
consensus, 3(z)79--79, 3(z)185--185, 4(z)210--210, 5(z)157--157,
7(z)81--81, 7(z)253--253, 8(z)109--109
-
consequence, 2(z)148--148, 4(z)20--20, 7(z)253--253
-
Consequence-Finding, 7(z)44--44
-
consequently, 5(z)75--75
-
conservative, 2(z)91--91
-
conservativity, 2(z)24--24, 6(z)124--124
-
consider, 3(z)11--11, 3(z)78--78, 3(z)129--129, 3(z)133--133,
3(z)139--139, 3(z)154--154, 4(z)5--5, 4(z)12--12, 4(z)26--26,
4(z)41--41, 4(z)68--68, 4(z)100--100, 4(z)201--201, 5(z)5--5,
5(z)48--48, 6(z)10--10, 6(z)26--26, 6(z)34--34, 6(z)65--65,
6(z)84--84, 6(z)132--132, 7(z)10--10, 7(z)23--23, 7(z)68--68,
7(z)179--179, 7(z)240--240, 7(z)289--289, 8(z)16--16, 8(z)24--24,
8(z)45--45, 8(z)93--93
-
considerable, 5(z)146--146, 7(z)253--253
-
considerably, 4(z)73--73
-
consideration, 3(z)106--106, 6(z)148--148
-
considered, 2(z)102--102, 4(z)195--195, 7(z)107--107, 7(z)124--124,
7(z)128--128
-
considering, 3(z)133--133, 6(z)154--154
-
consist, 4(z)26--26, 4(z)212--212, 7(z)35--35, 8(z)4--4
-
consistency, 1(z)109--109, 2(z)109--109, 3(z)133--133, 3(z)150--150,
3(z)165--165, 4(z)188--188, 4(z)226--226, 5(z)98--98, 5(z)164--164,
6(z)22--22, 6(z)129--129, 6(z)152--152, 7(z)19--19, 7(z)137--137
-
Consistency-preserving, 6(z)158--158
-
consistent, 3(z)117--117, 3(z)133--133, 3(z)142--142, 4(z)34--34,
4(z)94--94, 4(z)142--142, 5(z)97--97, 7(z)26--26, 7(z)126--126,
7(z)162--162, 7(z)227--227
-
consistent, causally-, 5(z)42--42
-
consisting, 2(z)156--156, 7(z)153--153, 7(z)248--248
-
constant-factor, 5(z)91--91
-
constant-time, 4(z)7--7
-
constantly, 3(z)189--189, 7(z)107--107
-
constants, 8(z)16--16
-
constitute, 4(z)58--58, 4(z)91--91, 6(z)78--78
-
constrained, 1(z)42--42, 2(z)11--11, 5(z)19--19, 6(z)60--60, 8(z)79--79
-
Constrained, Under-, 7(z)168--168
-
constraining, 8(z)88--88
-
constrains, 5(z)81--81
-
constraint, 2(z)3--3, 2(z)4--4, 3(z)91--91, 3(z)110--110, 3(z)117--117,
3(z)158--158, 4(z)74--74, 4(z)125--125, 4(z)154--154, 4(z)192--192,
4(z)203--203, 5(z)159--159, 6(z)45--45, 6(z)47--47, 7(z)10--10,
7(z)16--16, 7(z)69--69, 7(z)184--184, 7(z)195--195, 7(z)296--296,
8(z)48--48, 8(z)79--79, 8(z)80--80, 8(z)91--91, 8(z)124--124,
8(z)132--132, 8(z)138--138
-
Constraint-Based, 7(z)237--237
-
constraint-based, 6(z)111--111, 7(z)237--237
-
construct, 2(z)69--69, 3(z)22--22, 3(z)100--100, 3(z)125--125,
4(z)19--19, 4(z)38--38, 4(z)48--48, 4(z)71--71, 4(z)74--74,
4(z)121--121, 5(z)9--9, 5(z)30--30, 5(z)32--32, 5(z)115--115,
6(z)104--104, 6(z)106--106, 7(z)142--142, 7(z)267--267, 8(z)92--92,
8(z)119--119
-
constructed, 2(z)162--162, 3(z)142--142, 3(z)147--147, 4(z)30--30,
7(z)37--37
-
constructing, 2(z)105--105, 2(z)162--162, 3(z)2--2, 3(z)128--128,
5(z)105--105, 6(z)173--173, 7(z)50--50, 7(z)257--257
-
construction, 2(z)55--55, 2(z)109--109, 2(z)153--153, 2(z)162--162,
3(z)82--82, 3(z)89--89, 3(z)99--99, 4(z)8--8, 4(z)34--34,
5(z)103--103, 6(z)13--13, 6(z)44--44, 6(z)113--113, 6(z)124--124,
6(z)161--161, 6(z)171--171, 7(z)257--257, 8(z)134--134
-
construction, correct-by-, 3(z)82--82
-
constructor, 2(z)84--84, 3(z)2--2, 3(z)20--20, 4(z)40--40, 8(z)51--51,
8(z)90--90
-
consultancies, 4(z)71--71
-
consume, 2(z)124--124, 5(z)65--65, 8(z)129--129
-
consumed, 5(z)76--76, 6(z)11--11, 6(z)95--95
-
consumer, multiple-, 5(z)66--66
-
consuming, time-, 2(z)129--129, 4(z)171--171
-
consumption, 4(z)1--1, 4(z)106--106, 6(z)11--11, 6(z)48--48, 6(z)75--75,
6(z)148--148
-
contain, 3(z)158--158, 4(z)225--225, 5(z)45--45, 5(z)131--131,
6(z)83--83
-
contained, 4(z)70--70
-
container, 2(z)89--89, 4(z)40--40, 6(z)68--68
-
Container-Usage-Pattern-Based, 7(z)256--256
-
containing, 5(z)151--151
-
Contejean, Évelyne, 6(z)83--83,
see Benzaken, Véronique
-
contend, 3(z)168--168
-
content, 3(z)117--117, 4(z)40--40, 4(z)84--84, 7(z)68--68, 7(z)287--287
-
context, 2(z)90--90, 2(z)140--140, 2(z)141--141, 3(z)21--21, 3(z)79--79,
3(z)122--122, 3(z)131--131, 3(z)143--143, 3(z)148--148,
3(z)189--189, 4(z)38--38, 4(z)84--84, 4(z)229--229, 5(z)16--16,
5(z)28--28, 5(z)35--35, 5(z)75--75, 5(z)124--124, 5(z)147--147,
6(z)4--4, 6(z)118--118, 6(z)156--156, 7(z)40--40, 7(z)58--58,
7(z)68--68, 7(z)128--128, 7(z)142--142, 7(z)252--252, 7(z)256--256,
8(z)43--43, 8(z)145--145
-
context-, 5(z)44--44
-
context-aware, 5(z)103--103
-
context-based, 3(z)162--162
-
Context-Bounded, 7(z)73--73
-
context-bounded, 5(z)44--44, 6(z)17--17
-
context-dependent, 6(z)31--31
-
Context-Free, 7(z)73--73, 7(z)119--119, 8(z)145--145
-
context-free, 3(z)127--127, 4(z)108--108, 5(z)17--17, 6(z)41--41,
6(z)180--180, 7(z)59--59, 7(z)119--119, 7(z)150--150
-
Context-Free-Language, 4(z)178--178
-
context-independent, 7(z)256--256
-
context-sensitive, 2(z)140--140, 2(z)142--142, 4(z)167--167,
5(z)147--147, 6(z)88--88, 6(z)153--153, 6(z)176--176
-
context-sensitively, 3(z)148--148
-
context-sensitivity, 1(z)100--100, 2(z)140--140, 5(z)147--147,
6(z)88--88
-
context-specific, 3(z)143--143
-
contextual, 2(z)64--64, 2(z)87--87, 4(z)59--59, 4(z)206--206,
4(z)215--215, 4(z)220--220, 5(z)75--75, 6(z)16--16, 6(z)39--39,
7(z)39--39
-
contin, 6(z)120--120
-
continuation-based, 4(z)122--122
-
continuation-passing, 5(z)87--87, 5(z)95--95, 7(z)104--104
-
continuation-passing-style, 3(z)79--79
-
continuations, 2(z)69--69, 2(z)76--76, 3(z)79--79, 3(z)105--105,
5(z)95--95, 5(z)114--114, 7(z)71--71
-
continued, 4(z)73--73, 6(z)78--78
-
continues, 3(z)125--125, 4(z)74--74
-
Continuing, 7(z)238--238
-
continuity, 3(z)99--99, 4(z)1--1, 4(z)25--25, 6(z)120--120
-
continuous, 2(z)87--87, 3(z)14--14, 3(z)26--26, 3(z)99--99, 5(z)3--3,
6(z)56--56, 7(z)68--68, 8(z)4--4
-
continuous-time, 4(z)134--134
-
continuously, 6(z)157--157
-
contract, 1(z)35--35, 1(z)36--36, 2(z)48--48, 2(z)51--51, 2(z)116--116,
2(z)131--131, 2(z)133--133, 2(z)134--134, 3(z)84--84, 3(z)185--185,
3(z)189--189, 4(z)65--65, 4(z)132--132, 4(z)190--190, 4(z)209--209,
4(z)217--217, 5(z)53--53, 5(z)104--104, 5(z)146--146, 5(z)163--163,
6(z)4--4, 6(z)77--77, 6(z)142--142, 6(z)145--145, 6(z)149--149,
6(z)165--165, 7(z)253--253, 7(z)299--299, 8(z)88--88
-
contraction, 5(z)1--1, 5(z)62--62, 7(z)154--154
-
contracts., 3(z)189--189
-
contradicting, 7(z)94--94
-
contrast, 3(z)120--120, 3(z)133--133, 3(z)175--175, 4(z)167--167,
5(z)8--8, 5(z)67--67, 5(z)68--68, 6(z)3--3, 6(z)33--33, 6(z)181--181,
7(z)102--102
-
Contrastin, Mistral, 1(z)75--75
-
Contrastin, Mistral, see Orchard, Dominic
-
contravariant, 3(z)166--166
-
Contreras, Isabel, Garcia-, 4(z)28--28
-
contributing, 4(z)73--73
-
contribution, 3(z)30--30, 3(z)89--89, 3(z)170--170, 4(z)68--68,
6(z)116--116, 7(z)279--279
-
control, 1(z)13--13, 2(z)66--66, 2(z)107--107, 2(z)111--111,
2(z)118--118, 2(z)120--120, 2(z)162--162, 3(z)19--19, 3(z)20--20,
3(z)113--113, 3(z)170--170, 4(z)42--42, 4(z)43--43, 4(z)44--44,
4(z)63--63, 4(z)81--81, 4(z)93--93, 4(z)100--100, 4(z)105--105,
4(z)120--120, 4(z)133--133, 4(z)139--139, 4(z)225--225,
4(z)232--232, 5(z)10--10, 5(z)18--18, 5(z)31--31, 5(z)33--33,
5(z)35--35, 5(z)71--71, 5(z)90--90, 5(z)95--95, 5(z)97--97,
5(z)153--153, 5(z)160--160, 6(z)20--20, 6(z)90--90, 6(z)111--111,
6(z)116--116, 6(z)175--175, 7(z)47--47, 7(z)60--60, 7(z)104--104,
7(z)108--108, 7(z)226--226, 7(z)227--227, 7(z)290--290,
7(z)300--300, 8(z)3--3, 8(z)4--4, 8(z)18--18, 8(z)20--20, 8(z)79--79,
8(z)94--94, 8(z)100--100
-
Control-Flow, 7(z)232--232, 7(z)292--292
-
control-flow, 3(z)5--5, 4(z)139--139, 6(z)117--117
-
control-flow-analysis-based, 2(z)116--116
-
controlled, 3(z)158--158, 4(z)230--230, 6(z)116--116, 8(z)40--40
-
controllers, 7(z)299--299
-
controlling, 6(z)11--11, 7(z)269--269
-
convenience, 4(z)73--73, 5(z)112--112
-
convenient, 2(z)132--132, 4(z)165--165
-
convention, 3(z)19--19, 4(z)104--104, 6(z)74--74
-
conventional, 4(z)80--80, 4(z)136--136, 5(z)24--24, 5(z)112--112,
5(z)148--148, 6(z)35--35, 6(z)79--79
-
conventionally, 7(z)43--43
-
convergence, 5(z)107--107, 7(z)162--162
-
conversion, 1(z)23--23, 2(z)23--23, 2(z)125--125, 3(z)3--3, 3(z)83--83,
3(z)101--101, 3(z)163--163, 3(z)169--169
-
conversion-for, 3(z)3--3
-
convert, 3(z)169--169, 7(z)76--76, 7(z)82--82, 7(z)132--132,
8(z)128--128
-
converted, 3(z)101--101
-
convex, 6(z)43--43, 8(z)75--75
-
convey, 2(z)147--147
-
conveyed, 7(z)68--68
-
Cook, William R., 2(z)56--56
-
Cook, William R., see Wang, Yuepeng
-
Cooksey, Simon, 6(z)54--54
-
Cooksey, Simon, see Jeffrey, Alan
-
Cooper, Keith, 2(z)124--124
-
Cooper, Keith, see Xu, Xiaoran
-
cooperation, 4(z)213--213
-
cooperative, 2(z)95--95, 3(z)105--105
-
coordinate, 4(z)54--54, 4(z)173--173
-
coordination, 4(z)54--54, 4(z)134--134, 7(z)276--276
-
coordination-free, 6(z)173--173
-
copattern, 2(z)75--75
-
copied, 4(z)138--138, 7(z)235--235
-
Copilot, 7(z)78--78, 7(z)199--199
-
Coppieters, Tim, 2(z)152--152
-
Coppieters, Tim, see Burckhardt, Sebastian
-
copy, 1(z)53--53
-
copy-and-patch, 5(z)136--136
-
copying, 1(z)53--53
-
Coq, 1(z)9--9, 2(z)77--77, 2(z)78--78, 2(z)89--89, 3(z)4--4, 3(z)86--86,
3(z)142--142, 3(z)166--166, 4(z)8--8, 4(z)41--41, 4(z)51--51,
5(z)37--37, 5(z)60--60, 5(z)67--67, 6(z)55--55, 6(z)83--83, 7(z)3--3,
7(z)29--29, 7(z)61--61, 8(z)60--60
-
{coq, hs}-to-, 2(z)89--89
-
coq, hs-to-, 2(z)89--89
-
Coq-based, 4(z)34--34
-
CoqQ, 7(z)29--29
-
core, 2(z)66--66, 2(z)75--75, 2(z)109--109, 3(z)78--78, 3(z)89--89,
3(z)97--97, 3(z)107--107, 3(z)147--147, 4(z)9--9, 4(z)50--50,
4(z)74--74, 4(z)114--114, 4(z)207--207, 5(z)79--79, 5(z)105--105,
5(z)126--126, 5(z)157--157, 5(z)162--162, 7(z)30--30, 7(z)38--38,
7(z)203--203, 7(z)265--265, 8(z)23--23, 8(z)60--60, 8(z)77--77,
8(z)101--101, 8(z)106--106
-
core, multi-, 4(z)128--128
-
corner, 2(z)125--125
-
cornerstone, 5(z)16--16
-
corollary, 7(z)253--253
-
coroutine, 1(z)5--5, 6(z)24--24
-
corporation, 4(z)73--73
-
Corpse, 5(z)53--53
-
corpus, 3(z)175--175, 4(z)136--136, 7(z)14--14
-
corpus-guided, 7(z)41--41
-
correct, 2(z)164--164, 3(z)83--83, 3(z)133--133, 3(z)136--136, 4(z)8--8,
4(z)71--71, 4(z)128--128, 4(z)142--142, 4(z)151--151, 5(z)17--17,
5(z)22--22, 5(z)104--104, 5(z)131--131, 6(z)3--3, 6(z)48--48,
6(z)93--93, 6(z)137--137, 6(z)173--173, 7(z)13--13, 7(z)101--101,
7(z)110--110, 7(z)116--116, 7(z)126--126, 7(z)181--181,
7(z)225--225, 7(z)251--251
-
correct, provably-, 1(z)65--65
-
correct-by-, 5(z)82--82
-
correct-by-construction, 3(z)82--82
-
Correcting, 8(z)106--106
-
correction, 2(z)158--158, 2(z)163--163, 7(z)140--140
-
correctly, 3(z)170--170, 4(z)103--103, 4(z)164--164, 5(z)29--29,
5(z)36--36, 5(z)114--114, 6(z)3--3, 7(z)13--13, 7(z)89--89,
7(z)199--199, 7(z)231--231
-
correctness, 2(z)47--47, 2(z)49--49, 2(z)68--68, 2(z)75--75, 2(z)80--80,
3(z)29--29, 3(z)85--85, 3(z)110--110, 3(z)121--121, 3(z)147--147,
4(z)7--7, 4(z)8--8, 4(z)10--10, 4(z)13--13, 4(z)24--24, 4(z)33--33,
4(z)45--45, 4(z)129--129, 4(z)156--156, 4(z)163--163, 4(z)210--210,
4(z)231--231, 5(z)28--28, 5(z)42--42, 5(z)43--43, 5(z)82--82,
5(z)84--84, 5(z)86--86, 5(z)97--97, 5(z)104--104, 5(z)114--114,
5(z)132--132, 5(z)143--143, 5(z)146--146, 5(z)154--154,
5(z)156--156, 6(z)80--80, 6(z)84--84, 6(z)86--86, 6(z)93--93,
6(z)116--116, 6(z)165--165, 7(z)19--19, 7(z)36--36, 7(z)85--85,
7(z)93--93, 7(z)102--102, 7(z)129--129, 7(z)144--144, 7(z)224--224,
7(z)247--247, 7(z)298--298, 8(z)7--7, 8(z)104--104
-
correctness, type-, 4(z)91--91
-
correlated, 1(z)97--97, 6(z)83--83
-
correlation, 2(z)67--67, 4(z)221--221, 5(z)148--148
-
correspond, 6(z)59--59, 7(z)120--120
-
correspondence, 3(z)24--24, 4(z)95--95, 5(z)12--12, 6(z)155--155
-
corresponding, 2(z)90--90, 3(z)147--147, 3(z)165--165, 5(z)52--52,
5(z)105--105, 5(z)140--140, 6(z)177--177, 8(z)45--45, 8(z)146--146
-
corruption, 5(z)43--43
-
Cort, Daniel, Winograd-, 1(z)10--10
-
Cortiñas, Carlos Tomé, 6(z)118--118,
see Valliappan, Nachiappan
-
Cosman, Benjamin, 1(z)26--26
-
Cosman:2017:LRT, 1(z)26--26
-
Cosmo, 4(z)96--96, 5(z)66--66
-
Cosmo, Roberto, Di, 1(z)4--4
-
cost, 2(z)36--36, 2(z)98--98, 2(z)99--99, 2(z)136--136, 3(z)88--88,
3(z)92--92, 3(z)125--125, 3(z)184--184, 3(z)189--189, 4(z)110--110,
4(z)145--145, 4(z)172--172, 4(z)204--204, 5(z)25--25, 5(z)27--27,
5(z)87--87, 5(z)103--103, 6(z)46--46, 6(z)76--76, 6(z)115--115,
6(z)145--145, 7(z)107--107, 7(z)136--136, 7(z)160--160,
7(z)241--241, 7(z)253--253, 8(z)17--17, 8(z)38--38, 8(z)107--107
-
cost, near-zero-, 6(z)27--27
-
Cost, Zero-, 7(z)202--202
-
cost, zero-, 2(z)104--104, 3(z)101--101
-
Cost-Aware, 8(z)10--10
-
cost-aware, 4(z)155--155, 6(z)9--9, 8(z)10--10
-
cost., 4(z)73--73
-
Costa, Manuel, 1(z)95--95
-
Costa, Manuel, see Parkinson, Matthew
-
Costanzo, David, 4(z)20--20
-
Costanzo, David, see Liu, Mengqi
-
Costea, Andreea, 7(z)245--245
-
Costea, Andreea, see Thy, Sewen
-
Costin, Luna, Phipps-, 5(z)111--111, 7(z)238--238
-
costly, 3(z)138--138, 4(z)60--60
-
could, 2(z)47--47, 2(z)80--80, 3(z)152--152, 4(z)20--20, 4(z)81--81,
5(z)6--6, 5(z)155--155, 7(z)253--253
-
count, 4(z)100--100, 5(z)74--74, 6(z)103--103
-
Countable, 7(z)2--2
-
counter, 5(z)31--31, 8(z)4--4
-
counter, program-, 5(z)35--35
-
counter-example, 3(z)133--133
-
Counter-Models, 8(z)33--33
-
Counterexample, 7(z)288--288
-
counterexample-guided, 4(z)62--62, 4(z)221--221
-
counterexamples, 2(z)131--131, 4(z)40--40
-
countering, 1(z)68--68
-
counterintuitive, 2(z)162--162
-
countermeasures, 7(z)286--286
-
counterparts, 3(z)103--103
-
counting, 6(z)103--103, 7(z)148--148, 7(z)167--167
-
counting-set, 4(z)218--218
-
Countless, 8(z)137--137
-
coupled, 2(z)124--124, 3(z)173--173, 6(z)76--76, 6(z)112--112
-
coupling, 2(z)58--58, 6(z)112--112, 8(z)26--26
-
Courant, Nathanaël, 5(z)40--40
-
Courant:2021:VCG, 5(z)40--40
-
Couroussé, Damien, 8(z)91--91, see Sellami, Yanis
-
course, 2(z)82--82, 2(z)158--158, 2(z)166--166, 3(z)116--116,
4(z)171--171, 4(z)182--182, 5(z)94--94, 6(z)175--175
-
courts, 5(z)77--77
-
Cousot, Patrick, 8(z)7--7
-
Cousot:2024:CDI, 8(z)7--7
-
cover, 2(z)162--162, 4(z)71--71, 4(z)107--107, 6(z)22--22, 7(z)19--19
-
coverage, 3(z)181--181, 4(z)83--83, 4(z)107--107, 7(z)126--126
-
Coverage-guided, 3(z)174--174, 6(z)73--73, 7(z)75--75
-
Covering, 7(z)157--157
-
Cox, Brad J., 4(z)82--82
-
Cox:2020:OOC, 4(z)82--82
-
cpp, 8(z)51--51
-
CPS, 1(z)23--23, 2(z)22--22, 3(z)79--79, 3(z)83--83, 5(z)87--87,
5(z)95--95
-
CPS-style, 2(z)119--119
-
CPU, 2(z)109--109, 3(z)177--177, 5(z)120--120, 7(z)274--274
-
CPUash, 5(z)120--120
-
CPU/FPGA, 5(z)120--120
-
CPUs, 5(z)6--6, 6(z)74--74, 7(z)153--153
-
CPython, 3(z)125--125
-
CQS, 7(z)116--116
-
CR-LIBM, 6(z)3--3
-
craft, 7(z)200--200
-
crafted, hand-, 6(z)162--162
-
Crary, Karl, 3(z)10--10
-
Crary:2019:FAM, 3(z)10--10
-
crash, 4(z)196--196, 4(z)210--210, 5(z)55--55, 5(z)123--123,
5(z)156--156
-
crashing, non-, 5(z)156--156
-
crates, 3(z)147--147
-
CRDT, 7(z)162--162
-
CRDTs, 4(z)94--94, 6(z)173--173, 6(z)188--188, 7(z)162--162
-
create, 2(z)162--162, 4(z)3--3, 4(z)78--78, 4(z)79--79, 4(z)84--84,
6(z)117--117, 6(z)130--130
-
created, 4(z)73--73, 4(z)77--77, 4(z)120--120, 4(z)175--175,
6(z)187--187, 7(z)94--94
-
creating, 5(z)148--148, 6(z)171--171, 7(z)237--237, 7(z)253--253
-
creation, 3(z)153--153, 4(z)77--77, 4(z)87--87, 8(z)38--38
-
creative, 4(z)84--84
-
creator, 2(z)120--120, 4(z)73--73
-
credits, 6(z)11--11, 6(z)100--100, 7(z)25--25, 8(z)50--50
-
Cres, 6(z)68--68
-
Crichton, Will, 7(z)265--265, 8(z)23--23, 8(z)95--95
-
Crichton:2023:GCM, 7(z)265--265
-
Crichton:2024:CCD, 8(z)23--23
-
Crichton:2024:PPL, 8(z)95--95
-
crisis, 4(z)82--82, 5(z)64--64
-
Criswell, Abby, 6(z)144--144
-
Criswell, Abby, see Chen, Qiaochu
-
Criswell, John, 7(z)86--86
-
Criswell, John, see Zhou, Jie
-
criteria, 5(z)7--7, 5(z)61--61
-
criterion, 6(z)116--116
-
critical, 2(z)96--96, 4(z)42--42, 4(z)43--43, 4(z)48--48, 4(z)58--58,
4(z)123--123, 4(z)141--141, 4(z)211--211, 5(z)83--83, 5(z)156--156,
6(z)43--43, 7(z)50--50, 7(z)121--121, 7(z)228--228, 7(z)258--258
-
critical, safety-, 4(z)20--20, 4(z)44--44, 6(z)127--127,
7(z)199--199
-
critical, security-, 6(z)24--24, 7(z)202--202
-
critically, 6(z)42--42, 6(z)148--148
-
Cronburg, Karl, 5(z)149--149
-
Cronburg:2021:PPT, 5(z)149--149
-
Crooks, Natacha, 1(z)107--107
-
Crooks, Natacha, see Bernstein, Philip A.
-
Cross-component, 2(z)151--151
-
Cross-Rule, 8(z)98--98
-
cross-rule, 8(z)98--98
-
crosscutting, 8(z)117--117
-
crowded, 4(z)70--70
-
Crubillé, Raphaëlle, 6(z)120--120,
see Barthe, Gilles
-
crucial, 3(z)4--4, 4(z)49--49, 4(z)92--92, 4(z)144--144, 5(z)149--149,
6(z)185--185, 7(z)126--126, 7(z)139--139, 8(z)96--96, 8(z)97--97
-
crucially, 3(z)96--96, 3(z)147--147
-
cryptanalysis, 8(z)29--29
-
cryptographic, 4(z)7--7, 5(z)49--49, 5(z)148--148, 6(z)51--51,
7(z)30--30, 7(z)158--158, 7(z)286--286, 8(z)29--29, 8(z)64--64
-
cryptography, 7(z)168--168
-
Cryptography-Specific, 8(z)29--29
-
CryptOpt, 7(z)158--158
-
crystallize, 4(z)58--58
-
CSA, PP-, 8(z)139--139
-
CsAs, 4(z)218--218
-
ctrees, 7(z)61--61
-
cubic, 6(z)41--41
-
cubic, sub-, 6(z)41--41
-
cubical, 3(z)1--1, 3(z)87--87, 8(z)8--8, 8(z)56--56
-
Cubix, 2(z)122--122
-
cuCatch, 7(z)111--111
-
CUDA, 5(z)25--25, 7(z)111--111
-
Cui, Chen, 7(z)295--295
-
Cui:2023:GIB, 7(z)295--295
-
culminated, 6(z)115--115
-
Culpepper, Ryan, 2(z)87--87
-
Culpepper, Ryan, see Wand, Mitchell
-
Cunha, Alcino, 2(z)82--82
-
Cunha, Alcino, see Almeida, José Bacelar
-
curated, 2(z)150--150
-
Curators, 3(z)93--93
-
Curbing, 8(z)43--43
-
current, 2(z)110--110, 2(z)130--130, 2(z)161--161, 3(z)132--132,
3(z)136--136, 3(z)158--158, 3(z)170--170, 4(z)94--94, 4(z)226--226,
4(z)228--228, 4(z)232--232, 6(z)116--116, 8(z)21--21, 8(z)73--73
-
currently, 2(z)88--88, 3(z)4--4, 4(z)185--185, 4(z)187--187,
4(z)190--190, 4(z)232--232, 5(z)35--35, 7(z)253--253
-
Curry--Howard, 4(z)95--95, 6(z)155--155
-
Curtis, Chris, 2(z)128--128
-
Curtis, Chris, see Ott, Jason
-
curve, 3(z)168--168
-
custom, 5(z)165--165, 6(z)183--183, 7(z)216--216, 8(z)99--99
-
custom-designed, 6(z)148--148
-
customary, 6(z)33--33
-
Customizable, User-, 7(z)82--82
-
Customization, 8(z)99--99
-
customize, 6(z)38--38, 7(z)82--82
-
customized, 2(z)99--99, 4(z)74--74
-
Cusumano-Towner, Marco F., 4(z)19--19
-
Cusumano-Towner, Marco F., see Lew, Alexander K.
-
cut, 5(z)49--49
-
Cut--Shortcut, 7(z)128--128
-
Cutler, Joseph W., 4(z)97--97, 8(z)118--118
-
Cutler:2020:DRE, 4(z)97--97
-
Cutler:2024:CNL, 8(z)118--118
-
Cutting, 7(z)33--33, 7(z)179--179
-
Cutting, Charles, 8(z)116--116
-
Cutting, Charles, see Nelson, Tim
-
cutting-edge, 6(z)77--77
-
Cwiklik, Jaroslaw, 7(z)159--159
-
Cwiklik, Jaroslaw, see Tardieu, Olivier
-
CYCLE, 8(z)108--108
-
cycle, 4(z)68--68, 4(z)184--184, 8(z)145--145
-
cycle-free, 6(z)103--103
-
cyclic, 5(z)1--1, 5(z)45--45, 6(z)63--63, 7(z)130--130, 8(z)46--46
-
cyclic-proof, 6(z)63--63
-
Cyphert, John, 2(z)54--54, 8(z)25--25
-
Cyphert, John, see Kincaid, Zachary
-
Cyphert:2024:SPI, 8(z)25--25
-
Czajka, {\L}ukasz, 7(z)161--161, see Mulder, Ike