Index file section B for pacmpl.bib
Last update: Fri May 17 02:03:14 MDT 2024
Return to index directory
B
-
B, 3(z)153--153
-
b, 3(z)158--158, 3(z)186--186
-
Baanen, Tim, 3(z)103--103
-
Baanen, Tim, see Swierstra, Wouter
-
Baazizi, Mohamed-Amine, 8(z)49--49
-
Baazizi, Mohamed-Amine, see Attouche, Lyes
-
Babokin, Dmitry, 4(z)196--196, 7(z)181--181
-
Babokin, Dmitry, see Livinskii, Vsevolod
-
back, 3(z)85--85, 3(z)95--95, 4(z)73--73, 4(z)209--209, 6(z)76--76,
7(z)60--60, 7(z)104--104
-
back-translation, 6(z)82--82
-
backed, 7(z)147--147
-
backed, neural-, 3(z)168--168
-
backend, 3(z)166--166, 7(z)9--9
-
background, 7(z)72--72
-
backpropagation, 2(z)70--70, 4(z)64--64
-
backpropagator, 3(z)96--96
-
backtracking, 6(z)35--35, 7(z)148--148, 7(z)161--161, 8(z)92--92
-
backward, 2(z)78--78, 4(z)102--102, 6(z)116--116
-
Backward, Forward-, 7(z)174--174
-
backwards, non-, 4(z)187--187
-
bad, 4(z)181--181, 7(z)139--139
-
Bader, Johannes, 3(z)159--159, 4(z)228--228
-
Bader, Johannes, see Wise, Jenna
-
Bader:2019:GLF, 3(z)159--159
-
Baghdadi, Riyadh, 2(z)121--121, 3(z)125--125
-
Baghdadi, Riyadh, see Shajii, Ariya,
see Zhang, Yunming
-
Bagherzadeh, Mehdi, 4(z)214--214
-
Bagherzadeh:2020:ACB, 4(z)214--214
-
Bagnall, Alexander, 7(z)106--106
-
Bagnall:2023:FVS, 7(z)106--106
-
bags, 2(z)86--86
-
Bahr, 5(z)82--82, 6(z)93--93
-
Bahr, Patrick, 3(z)109--109, 5(z)2--2, 6(z)93--93, 7(z)205--205,
7(z)213--213
-
Bahr:2019:SRF, 3(z)109--109
-
Bahr:2021:DFL, 5(z)2--2
-
Bahr:2022:MCC, 6(z)93--93
-
Bahr:2023:AMF, 7(z)205--205
-
Bahr:2023:CCC, 7(z)213--213
-
Bai, Guangdong, 8(z)75--75
-
Bai, Guangdong, see Ma, Zhongkui
-
Bajpai, Yasharth, 6(z)139--139
-
Bajpai, Yasharth, see Zhang, Yuhao
-
Bake, 7(z)152--152
-
Baker, Alan, 7(z)60--60
-
Baker, Alan, see Klimis, Vasileios
-
Bakshy, Eytan, 3(z)182--182
-
Bakshy, Eytan, see Tosch, Emma
-
Bakst, Alexander, 1(z)110--110
-
Bakst:2017:VDP, 1(z)110--110
-
Balabonski, Thibaut, 1(z)20--20
-
Balabonski:2017:FSC, 1(z)20--20
-
balance, 2(z)141--141, 3(z)140--140, 4(z)41--41, 4(z)179--179,
5(z)90--90, 6(z)4--4, 7(z)4--4
-
Balasubramanian, A. R., 8(z)4--4
-
Balasubramanian:2024:RCP, 8(z)4--4
-
Baldan, Paolo, 3(z)26--26
-
Baldan:2019:FGC, 3(z)26--26
-
Balkind, Jonathan, 1(z)95--95, 7(z)123--123
-
Balkind, Jonathan, see Parkinson, Matthew,
see Sisco, Zachary D.
-
Ballantyne, Michael, 1(z)8--8, 4(z)3--3, 4(z)222--222, 4(z)229--229
-
Ballantyne, Michael, see Andersen, Leif,
see Byrd, William E., \see{Chang, Stephen
-
Ballantyne:2020:MDS, 4(z)229--229
-
Baluta, Teodora, 7(z)82--82
-
Baluta, Teodora, see Wang, Bo
-
Balzer, Stephanie, 1(z)37--37, 6(z)1--1, 6(z)107--107, 7(z)36--36,
8(z)11--11
-
Balzer, Stephanie, see Jacobs, Jules,
see Moine, Alexandre
-
Balzer:2017:MSS, 1(z)37--37
-
Bambeck, Jacob, 8(z)100--100
-
Bambeck, Jacob, see Lamba, Ada
-
Banach, 4(z)57--57
-
Banerjee, Anindya, 3(z)161--161, 5(z)5--5, 7(z)106--106
-
Banerjee, Anindya, see Bagnall, Alexander,
see Farka, Franti{\v{s}}ek,
see Nanevski, Aleksandar
-
Banerjee, Arko, 7(z)287--287
-
Banerjee, Arko, see Chen, Qiaochu
-
Banerjee, Debangshu, 7(z)185--185
-
Banerjee, Debangshu, see Ugare, Shubham
-
Banerjee, Subarno, 4(z)176--176
-
Banerjee:2020:SGC, 4(z)176--176
-
Bang, Lucas, 7(z)167--167
-
Bang, Lucas, see Saha, Seemanta
-
Bangaru, Sai Praveen, 8(z)126--126
-
Bangaru, Sai Praveen, see Michel, Jesse
-
Bansal, Manya, 7(z)122--122
-
Bansal, Sorav, 4(z)221--221, 8(z)146--146
-
Bansal, Sorav, see Gupta, Shubhani,
see Rose, Abhishek
-
Bansal, Suguman, 4(z)54--54
-
Bansal:2020:SCP, 4(z)54--54
-
Bansal:2023:MIC, 7(z)122--122
-
Bao, Jialu, 6(z)57--57
-
Bao, Wenlei, 2(z)32--32
-
Bao, Yuyan, 5(z)139--139, 7(z)236--236, 8(z)14--14
-
Bao, Yuyan, see Bra{\v{c}}evac, Oliver,
see Wei, Guannan
-
Bao:2018:AMC, 2(z)32--32
-
Bao:2021:RTT, 5(z)139--139
-
Bao:2022:SLN, 6(z)57--57
-
Barbar, Mohamad, 5(z)159--159
-
Barbar:2021:CPS, 5(z)159--159
-
Barbarossa, Davide, 4(z)1--1
-
Barbarossa:2020:TSS, 4(z)1--1
-
Barbs, 8(z)43--43
-
Bardin, Sébastien, 8(z)91--91, see Sellami, Yanis
-
bare, 3(z)133--133
-
barely, 3(z)155--155
-
Barenbaum, Pablo, 1(z)20--20
-
Barenbaum, Pablo, see Balabonski, Thibaut
-
Barik, Rajkishore, 3(z)164--164
-
Barik, Titus, 6(z)139--139
-
Barik, Titus, see Zhang, Yuhao
-
Barik:2019:OSP, 3(z)164--164
-
Barke, Shraddha, 4(z)219--219, 4(z)227--227, 5(z)153--153, 7(z)78--78
-
Barke, Shraddha, see Ferdowsifard, Kasra,
see Gao, Xiang
-
Barke:2020:JTL, 4(z)227--227
-
Barke:2023:GCH, 7(z)78--78
-
Barnaby, Celeste, 3(z)152--152, 6(z)144--144, 7(z)134--134
-
Barnaby, Celeste, see Chen, Qiaochu,
see Luan, Sifei
-
Barnaby:2023:IBI, 7(z)134--134
-
Barowy, Daniel W., 2(z)148--148
-
Barowy:2018:EAF, 2(z)148--148
-
Barrett, Clark, 6(z)162--162
-
Barrett, Clark, see Wu, Haoze
-
Barrett, Edd, 1(z)52--52
-
Barrett, Langston, 7(z)264--264
-
Barrett, Langston, see Sahebolamri, Arash
-
Barrett:2017:VMW, 1(z)52--52
-
barrier, 6(z)150--150, 8(z)21--21
-
Barrière, Aurèle, 5(z)46--46, 7(z)9--9
-
Barriere:2021:FVS, 5(z)46--46
-
Barriere:2023:FVN, 7(z)9--9
-
bars, 4(z)48--48
-
Bartell, Sean, 4(z)145--145
-
Bartell:2020:GLD, 4(z)145--145
-
Bartha, Sándor, 5(z)122--122
-
Bartha:2021:OGS, 5(z)122--122
-
Barthe, Gilles, 1(z)21--21, 2(z)36--36, 2(z)57--57, 4(z)7--7, 4(z)21--21,
4(z)55--55, 5(z)8--8, 5(z)52--52, 5(z)87--87, 5(z)93--93,
6(z)112--112, 6(z)120--120, 7(z)29--29, 8(z)64--64, 8(z)122--122
-
Barthe, Gilles, see Aguirre, Alejandro,
see Avanzini, Martin,
see Radi{\v{c}}ek, Ivan,
see Rakotonirina, Itsaka,
see Vasilenko, Elizaveta, \see{Zhou, Li
-
Barthe:2018:PES, 2(z)57--57
-
Barthe:2020:FVC, 4(z)7--7
-
Barthe:2020:PSL, 4(z)55--55
-
Barthe:2020:RPQ, 4(z)21--21
-
Barthe:2021:DAD, 5(z)8--8
-
Barthe:2022:FCF, 6(z)120--120
-
Bartocci, Ezio, 6(z)178--178
-
Bartocci, Ezio, see Moosbrugger, Marcel
-
base, 3(z)169--169, 5(z)26--26, 7(z)157--157, 7(z)241--241
-
base-10, 3(z)169--169
-
base-2, 3(z)169--169
-
based, 2(z)86--86, 2(z)91--91, 2(z)92--92, 2(z)122--122, 2(z)127--127,
2(z)135--135, 2(z)142--142, 2(z)145--145, 3(z)4--4, 3(z)19--19,
3(z)87--87, 3(z)116--116, 3(z)127--127, 3(z)133--133, 3(z)160--160,
3(z)169--169, 3(z)170--170, 3(z)181--181, 3(z)185--185, 4(z)1--1,
4(z)2--2, 4(z)6--6, 4(z)12--12, 4(z)13--13, 4(z)21--21, 4(z)41--41,
4(z)44--44, 4(z)60--60, 4(z)73--73, 4(z)84--84, 4(z)154--154,
4(z)155--155, 4(z)156--156, 4(z)186--186, 4(z)201--201,
4(z)215--215, 5(z)41--41, 5(z)67--67, 5(z)92--92, 5(z)104--104,
5(z)110--110, 5(z)133--133, 5(z)139--139, 6(z)1--1, 6(z)32--32,
6(z)33--33, 6(z)35--35, 6(z)36--36, 6(z)46--46, 6(z)116--116,
6(z)144--144, 6(z)153--153, 6(z)167--167, 6(z)177--177, 7(z)39--39,
7(z)94--94, 7(z)148--148, 7(z)173--173, 7(z)176--176, 7(z)218--218,
7(z)221--221, 7(z)252--252, 7(z)259--259, 7(z)278--278, 8(z)8--8,
8(z)31--31, 8(z)39--39, 8(z)62--62, 8(z)70--70, 8(z)92--92,
8(z)116--116
-
based, actor-, 1(z)107--107
-
Based, Agreement-, 7(z)81--81
-
based, agreement-, 5(z)157--157
-
based, annotation-, 2(z)119--119, 8(z)69--69
-
based, Assertion-, 4(z)133--133
-
based, attention-, 3(z)162--162
-
Based, Automata-, 7(z)156--156
-
based, before-, 7(z)45--45
-
based, Block-, 6(z)133--133
-
based, block-, 6(z)25--25, 6(z)133--133
-
based, branch-, 3(z)170--170
-
based, BSC-, 7(z)222--222
-
based, C-, 7(z)257--257
-
based, CFL-, 4(z)178--178
-
based, channel-, 4(z)186--186, 6(z)155--155
-
Based, Combinator-, 7(z)221--221
-
based, commutativity-, 8(z)83--83
-
Based, Component-, 7(z)87--87
-
based, Component-, 6(z)147--147
-
based, component-, 4(z)12--12, 5(z)158--158, 6(z)147--147
-
Based, Constraint-, 7(z)237--237
-
based, Constraint-, 6(z)111--111
-
based, constraint-, 7(z)237--237
-
Based, Container-Usage-Pattern-, 7(z)256--256
-
based, context-, 3(z)162--162
-
based, continuation-, 4(z)122--122
-
based, control-flow-analysis-, 2(z)116--116
-
based, Coq-, 4(z)34--34
-
based, Dataflow-, 4(z)177--177
-
based, derivative-, 5(z)151--151
-
based, DWARF-, 3(z)146--146
-
based, Elaboration-, 3(z)91--91
-
based, Example-, 4(z)56--56
-
based, example-, 4(z)56--56, 7(z)174--174, 7(z)200--200
-
based, execution-, 6(z)97--97
-
Based, Expectation-, 8(z)122--122
-
based, expectation-, 5(z)39--39, 8(z)122--122
-
based, GNN-, 6(z)162--162
-
based, GPU-, 3(z)177--177
-
based, Graph-, 7(z)236--236
-
based, graph-, 3(z)170--170, 4(z)179--179, 8(z)42--42
-
based, GUI-, 5(z)156--156
-
based, handler-, 5(z)102--102
-
based, hashing-, 6(z)57--57
-
based, HOL-, 7(z)42--42
-
based, Inclusion-, 5(z)159--159
-
based, language-, 3(z)184--184, 6(z)7--7
-
based, lattice-, 2(z)139--139
-
Based, Learning-, 8(z)97--97, 8(z)114--114
-
based, Learning-, 4(z)230--230
-
based, learning-, 3(z)160--160, 3(z)162--162, 8(z)128--128
-
Based, Lineage-, 7(z)109--109
-
based, LISP-, 7(z)197--197
-
based, macros-, 4(z)3--3
-
Based, Matrix-, 7(z)246--246
-
based, memory-, 6(z)116--116
-
based, MPST-, 3(z)29--29
-
based, name-, 2(z)147--147
-
based, object-, 6(z)42--42
-
based, Op-, 4(z)94--94
-
based, op-, 4(z)94--94, 6(z)188--188
-
based, Operation-, 4(z)94--94, 6(z)188--188
-
based, operational-semantics-, 5(z)13--13
-
based, optimization-, 7(z)50--50
-
based, ownership-, 2(z)66--66
-
based, pointer-, 4(z)115--115, 5(z)92--92, 6(z)191--191
-
Based, Policy-, 7(z)117--117
-
based, Projection-, 4(z)150--150
-
based, promise-, 2(z)162--162
-
Based, Property-, 7(z)218--218
-
based, Property-, 3(z)181--181
-
based, property-, 2(z)102--102, 5(z)166--166, 6(z)64--64,
6(z)122--122, 7(z)157--157, 7(z)200--200
-
Based, Rate-, 7(z)278--278
-
based, rate-, 7(z)278--278
-
Based, Region-, 7(z)115--115, 7(z)283--283
-
based, region-, 6(z)116--116, 7(z)204--204
-
based, rewrite-, 6(z)91--91
-
Based, Ring-, 7(z)114--114
-
based, Sampling-, 6(z)52--52
-
based, SAT-, 4(z)5--5
-
Based, Scenario-, 8(z)140--140
-
based, schematic-, 4(z)87--87
-
based, scope-, 6(z)76--76
-
Based, Search-, 7(z)160--160
-
based, sequence-, 3(z)177--177
-
based, session-, 5(z)79--79
-
based, SMT-, 3(z)133--133, 3(z)166--166, 4(z)141--141,
6(z)69--69, 7(z)85--85
-
based, software-, 6(z)27--27
-
Based, Solver-, 7(z)7--7
-
based, Solver-, 5(z)111--111
-
based, state-, 3(z)161--161
-
based, synthesis-, 2(z)62--62, 7(z)134--134
-
Based, Taint-, 8(z)134--134
-
Based, Template-, 7(z)100--100
-
based, Template-, 7(z)100--100
-
Based, Type-, 7(z)3--3, 7(z)157--157, 8(z)89--89
-
based, type-, 3(z)13--13, 3(z)15--15, 4(z)110--110,
4(z)178--178, 6(z)76--76, 6(z)116--116, 7(z)142--142, 7(z)169--169
-
based, usage-, 1(z)83--83
-
based, value-, 6(z)116--116
-
based, value-flow-, 4(z)233--233
-
based, version-, 3(z)178--178
-
based, web-, 4(z)205--205, 7(z)243--243
-
based, xor-, 5(z)148--148, 7(z)85--85
-
baseline, 2(z)109--109, 6(z)148--148, 7(z)94--94
-
bash, 4(z)43--43
-
basic, 2(z)144--144, 3(z)166--166, 4(z)55--55, 4(z)72--72, 6(z)20--20,
6(z)125--125, 7(z)269--269, 8(z)36--36
-
Basin, David, 4(z)152--152, 6(z)136--136
-
Basin, David, see Liu, Si,
see Sprenger, Christoph
-
basis, 2(z)41--41, 2(z)86--86, 8(z)21--21
-
Bassily, Raef, 4(z)203--203
-
Bassily, Raef, see Zhang, Hailong
-
Bastani, Osbert, 3(z)118--118, 3(z)141--141, 8(z)16--16
-
Bastani, Osbert, see Chen, Jia,
see Mell, Stephen
-
Bastani:2019:PVF, 3(z)118--118
-
Bastian, Théophile, 3(z)146--146
-
Bastian:2019:RFD, 3(z)146--146
-
batch, 1(z)73--73, 7(z)134--134
-
battery, 4(z)160--160
-
Batteryless, 7(z)136--136
-
battles, 3(z)124--124
-
Batty, Mark, 6(z)54--54
-
Batty, Mark, see Jeffrey, Alan
-
Batz, Kevin, 5(z)39--39, 6(z)66--66, 7(z)67--67, 7(z)294--294,
8(z)93--93
-
Batz, Kevin, see Schröer, Philipp
-
Batz:2021:RCV, 5(z)39--39
-
Batz:2022:WPP, 6(z)66--66
-
Batz:2023:CAE, 7(z)67--67
-
Batz:2024:PSS, 8(z)93--93
-
Baudart, Guillaume, 5(z)115--115, 6(z)184--184
-
Baudart, Guillaume, see Atkinson, Eric
-
Baudon, Thaïs, 7(z)216--216
-
Baudon:2023:BSM, 7(z)216--216
-
Bauman, Spenser, 1(z)54--54
-
Bauman:2017:SGT, 1(z)54--54
-
Baumann, Pascal, 5(z)44--44, 6(z)17--17, 7(z)73--73
-
Baumann:2021:CBV, 5(z)44--44
-
Baumann:2022:CBV, 6(z)17--17
-
Baumann:2023:CBV, 7(z)73--73
-
Bautista, Santiago, 5(z)41--41
-
Bautista, Santiago, see Doenges, Ryan
-
Bavishi, Rohan, 3(z)168--168, 5(z)134--134, 6(z)164--164
-
Bavishi:2019:ANB, 3(z)168--168
-
Bavishi:2021:PGP, 5(z)134--134
-
Bavishi:2022:NRL, 6(z)164--164
-
Bay, Johan, 5(z)10--10
-
Bay, Johan, see Gregersen, Simon Oddershede
-
Bayesian, 2(z)60--60, 2(z)83--83, 5(z)115--115, 7(z)46--46, 8(z)84--84,
8(z)127--127, 8(z)128--128
-
bcooperation, 4(z)198--198
-
BDA, 3(z)137--137
-
Beacons, 7(z)228--228
-
Beardsley, Vincent, 8(z)100--100
-
Beardsley, Vincent, see Lamba, Ada
-
bears, 4(z)57--57
-
Beast, 7(z)18--18
-
became, 4(z)73--73, 4(z)81--81, 7(z)233--233
-
because, 2(z)72--72, 2(z)99--99, 2(z)106--106, 3(z)84--84, 3(z)98--98,
3(z)133--133, 3(z)170--170, 3(z)176--176, 3(z)189--189, 4(z)20--20,
4(z)151--151, 4(z)179--179, 4(z)202--202, 4(z)225--225,
4(z)231--231, 5(z)18--18, 5(z)108--108, 5(z)148--148, 6(z)36--36,
7(z)70--70, 7(z)126--126, 7(z)133--133, 7(z)157--157, 8(z)32--32,
8(z)123--123
-
Beck, Calvin, 5(z)67--67
-
Beck, Calvin, see Zakowski, Yannick
-
Becker, Hanno, 7(z)88--88
-
Becker, Hanno, see Fox, Anthony C. J.
-
Beckett, Ryan, 4(z)42--42, 7(z)108--108
-
Beckett, Ryan, see Thijm, Timothy Alberdingk
-
Beckett:2020:AID, 4(z)42--42
-
become, 3(z)9--9, 3(z)78--78, 3(z)113--113, 3(z)163--163, 3(z)170--170,
3(z)172--172, 3(z)182--182, 3(z)189--189, 4(z)77--77, 4(z)91--91,
4(z)133--133, 4(z)141--141, 4(z)194--194, 5(z)156--156, 6(z)4--4,
6(z)101--101, 6(z)166--166, 7(z)38--38, 7(z)172--172, 7(z)216--216,
7(z)240--240, 7(z)264--264
-
becoming, 3(z)125--125, 4(z)148--148, 4(z)214--214, 5(z)25--25,
5(z)120--120, 6(z)31--31, 6(z)37--37, 6(z)141--141, 7(z)124--124
-
before'', ``happens-, 8(z)113--113
-
before, happens-, 2(z)145--145, 6(z)158--158
-
before-based, 7(z)45--45
-
Befrouei, Mitra Tabaei, 2(z)160--160
-
Befrouei, Mitra Tabaei, see Ozkan, Burcu Kulahcioglu
-
began, 4(z)34--34, 4(z)73--73, 4(z)82--82
-
begetting, 3(z)178--178
-
begs, 4(z)96--96
-
Béguelin, Santiago, Zanella-, 1(z)17--17
-
begun, 4(z)73--73
-
behave, 4(z)204--204, 7(z)199--199
-
behaved, well-, 3(z)7--7
-
behavior, 2(z)32--32, 2(z)116--116, 2(z)136--136, 3(z)14--14, 3(z)23--23,
3(z)142--142, 3(z)189--189, 4(z)41--41, 4(z)43--43, 4(z)51--51,
4(z)54--54, 4(z)56--56, 4(z)88--88, 4(z)129--129, 4(z)174--174,
4(z)226--226, 5(z)140--140, 5(z)163--163, 6(z)40--40, 6(z)52--52,
6(z)70--70, 6(z)158--158, 6(z)177--177, 7(z)9--9, 7(z)71--71,
7(z)73--73, 7(z)143--143, 7(z)280--280, 7(z)285--285, 8(z)18--18,
8(z)106--106, 8(z)110--110, 8(z)124--124
-
behavioral, 5(z)96--96, 7(z)281--281
-
behaviour, 2(z)138--138, 3(z)133--133, 4(z)39--39, 5(z)43--43,
6(z)18--18, 7(z)180--180, 8(z)136--136
-
Behaviour-Oriented, 7(z)276--276
-
behavioural, 6(z)18--18
-
behind, 4(z)60--60, 4(z)71--71, 4(z)108--108, 4(z)115--115, 4(z)136--136,
5(z)137--137
-
Beillahi, Sidi Mohamed, 6(z)149--149
-
Beillahi, Sidi Mohamed, see Zhao, Zihan
-
being, 3(z)14--14, 3(z)171--171, 4(z)171--171, 4(z)200--200, 5(z)32--32,
5(z)51--51, 5(z)131--131, 5(z)138--138, 6(z)3--3, 6(z)4--4,
6(z)67--67, 6(z)148--148, 7(z)8--8, 7(z)51--51
-
beliefs, 1(z)83--83
-
believe, 5(z)148--148
-
Bell, 4(z)84--84
-
Bell, Christian J., 6(z)80--80
-
Bell, Christian J., see Lesani, Mohsen
-
Bell, Jonathan, 4(z)202--202
-
Bell, Jonathan, see Lam, Wing
-
Belle, Vaishak, 5(z)122--122
-
Belle, Vaishak, see Bartha, Sándor
-
Bellin, 3(z)24--24
-
belongs, 4(z)173--173
-
belt, 6(z)125--125
-
Belyakova, Julia, 2(z)113--113, 4(z)207--207, 5(z)150--150
-
Belyakova, Julia, see Nardelli, Francesco Zappa,
see Pelenitsyn, Artem
-
Belyakova:2020:WAJ, 4(z)207--207
-
Bembenek, Aaron, 4(z)141--141, 7(z)7--7
-
Bembenek:2020:FDS, 4(z)141--141
-
Bembenek:2023:SAS, 7(z)7--7
-
Benavides, Zachary, 3(z)156--156
-
Benavides:2019:DDP, 3(z)156--156
-
benchmarks, 2(z)108--108, 3(z)186--186, 7(z)253--253
-
Bender, John, 3(z)142--142
-
Bender:2019:FJC, 3(z)142--142
-
Benedikt, Michael, 5(z)14--14
-
Benedikt:2021:GCT, 5(z)14--14
-
beneficial, 2(z)82--82
-
benefit, 2(z)73--73, 2(z)109--109, 2(z)133--133, 2(z)154--154,
3(z)15--15, 3(z)17--17, 3(z)114--114, 3(z)147--147, 4(z)29--29,
4(z)32--32, 4(z)60--60, 5(z)111--111, 6(z)77--77, 6(z)159--159,
7(z)166--166
-
Bengtson, Jesper, 4(z)6--6
-
Bengtson, Jesper, see Hinrichsen, Jonas Kastberg
-
Benign, 8(z)109--109
-
bent, 4(z)103--103
-
Benzaken, Véronique, 6(z)83--83
-
Benzaken:2022:TCS, 6(z)83--83
-
Bérard, Alexandre, 7(z)224--224, see Gourdin, Léo
-
Bercea, Gheorghe-Teodor, 7(z)159--159
-
Bercea, Gheorghe-Teodor, see Tardieu, Olivier
-
Berdine, Josh, 6(z)34--34, 6(z)81--81
-
Berdine, Josh, see Le, Quang Loc,
see Raad, Azalea
-
Beresford, Alastair R., 1(z)109--109
-
Beresford, Alastair R., see Gomes, Victor B. F.
-
Berger, Bonnie, 3(z)125--125
-
Berger, Bonnie, see Shajii, Ariya
-
Berger, Emery D., 2(z)148--148, 3(z)182--182, 4(z)138--138
-
Berger, Emery D., see Barowy, Daniel W.,
see Devore-McDonald, Breanna,
see Tosch, Emma
-
Berger, Martin, 7(z)160--160
-
Berger, Martin, see Valizadeh, Mojtaba
-
Bergmann, Gábor, 2(z)139--139,
see Szabó, Tamás
-
Bergsträßer, Pascal, 8(z)1--1
-
Bergstrasser:2024:RQL, 8(z)1--1
-
Berkow, Wilson, 7(z)146--146
-
Berkow, Wilson, see Brandon, William
-
Bernardy, 6(z)64--64
-
Bernardy, Jean-Philippe, 1(z)6--6, 2(z)5--5, 3(z)89--89, 4(z)90--90,
6(z)95--95
-
Bernardy, Jean-Philippe, see Abel, Andreas,
see Algehed, Maximilian,
see Spiwack, Arnaud
-
Bernardy:2017:PGP, 1(z)6--6
-
Bernardy:2018:LHP, 2(z)5--5
-
Bernstein, Gilbert, 8(z)126--126
-
Bernstein, Gilbert, see Michel, Jesse
-
Bernstein, Gilbert Louis, 1(z)78--78, 6(z)55--55
-
Bernstein, Gilbert Louis, see Liu, Amanda,
see Papadakis, Manolis
-
Bernstein, Philip A., 1(z)107--107
-
Bernstein:2017:GDA, 1(z)107--107
-
Berry, 4(z)1--1
-
Bertram, Noah, 7(z)179--179
-
Bertram:2023:CCL, 7(z)179--179
-
Bertrand, Meven, Lennon-, 6(z)124--124
-
besides, 3(z)170--170, 4(z)49--49
-
best, 2(z)133--133, 3(z)136--136, 4(z)72--72, 4(z)73--73, 4(z)195--195
-
best., 4(z)74--74
-
BET, 5(z)166--166
-
beta-reduction, 4(z)27--27
-
better, 1(z)19--19, 2(z)108--108, 2(z)162--162, 3(z)24--24, 3(z)158--158,
4(z)40--40, 4(z)73--73, 5(z)148--148, 5(z)155--155, 6(z)21--21,
6(z)162--162, 7(z)14--14, 7(z)125--125, 7(z)146--146, 7(z)237--237,
7(z)243--243
-
Beurer-Kellner, Luca, 7(z)186--186
-
Beurer-Kellner:2023:PPQ, 7(z)186--186
-
beyond, 3(z)85--85, 3(z)147--147, 4(z)43--43, 5(z)157--157, 6(z)20--20,
6(z)90--90, 7(z)85--85, 7(z)94--94, 7(z)161--161, 7(z)200--200,
8(z)17--17
-
Bezanson, Jeff, 2(z)113--113, 2(z)120--120
-
Bezanson, Jeff, see Nardelli, Francesco Zappa
-
Bezanson:2018:JDP, 2(z)120--120
-
BFF, 6(z)182--182
-
Bfloat16, 5(z)29--29
-
BFT-SMR, 3(z)138--138
-
Bhanuka, Ishan, 7(z)237--237
-
Bhanuka:2023:GFT, 7(z)237--237
-
Bhargavan, Karthikeyan, 1(z)17--17
-
Bhargavan, Karthikeyan, see Protzenko, Jonathan
-
Bhat, Siddharth, 8(z)58--58
-
Bhat, Siddharth, see K{\oe}hler, Thomas
-
Bianchini, Riccardo, 6(z)156--156, 7(z)267--267
-
Bianchini:2022:CSM, 6(z)156--156
-
Bianchini:2023:RAS, 7(z)267--267
-
bias, 1(z)69--69, 4(z)185--185
-
Biboudis, Aggelos, 2(z)42--42, 4(z)175--175
-
Biboudis, Aggelos, see Liu, Fengyun,
see Odersky, Martin
-
Bichsel, Benjamin, 8(z)96--96
-
Bichsel, Benjamin, see Paradis, Anouk
-
bidirected, 5(z)59--59, 6(z)12--12, 6(z)62--62, 8(z)42--42
-
bidirectional, 2(z)41--41, 2(z)74--74, 2(z)80--80, 2(z)84--84,
2(z)127--127, 3(z)9--9, 4(z)109--109, 4(z)139--139, 5(z)105--105,
7(z)83--83, 7(z)200--200, 8(z)41--41
-
Bielik, Pavol, 2(z)156--156
-
Bielik:2018:RRL, 2(z)156--156
-
Bierhoff, Kevin, 6(z)138--138
-
Bierhoff:2022:WNW, 6(z)138--138
-
Biernacka, Ma{\l}gorzata, 6(z)94--94
-
Biernacka:2022:SEI, 6(z)94--94
-
Biernacki, Dariusz, 2(z)8--8, 3(z)6--6, 4(z)48--48, 7(z)206--206
-
Biernacki, Dariusz, see Sieczkowski, Filip
-
Biernacki:2018:HCR, 2(z)8--8
-
Biernacki:2019:AAE, 3(z)6--6
-
Biernacki:2020:BDL, 4(z)48--48
-
big, 3(z)78--78, 4(z)84--84, 5(z)94--94, 6(z)81--81, 7(z)95--95,
7(z)221--221
-
big-, 5(z)114--114
-
big-data, 4(z)125--125
-
big-O, 4(z)97--97
-
Big-Step, 7(z)221--221, 7(z)267--267
-
big-step, 5(z)30--30, 7(z)221--221
-
Bigelow, Robert, 5(z)154--154
-
Bigelow, Robert, see Brown, Michael D.
-
biggest, 6(z)24--24
-
bijection, 2(z)101--101
-
bijective, 2(z)1--1
-
bijectivity, 4(z)118--118
-
Bilardi, Gianfranco, 3(z)127--127
-
Bilardi, Gianfranco, see Henriksen, Ian
-
billing, 5(z)133--133
-
Bílý, Aurel, 5(z)145--145, see Wolff, Fabian
-
binary, 2(z)91--91, 3(z)82--82, 3(z)137--137, 3(z)169--169, 3(z)174--174,
4(z)119--119, 4(z)197--197, 4(z)225--225, 5(z)32--32, 5(z)144--144,
6(z)5--5, 6(z)52--52, 7(z)222--222, 8(z)142--142
-
bind, 7(z)122--122
-
binder, 2(z)90--90, 3(z)22--22, 4(z)48--48, 4(z)88--88, 5(z)94--94,
7(z)17--17
-
Binder, David, 4(z)30--30, 6(z)106--106, 7(z)237--237, 8(z)129--129
-
Binder, David, see Bhanuka, Ishan,
see Ostermann, Klaus
-
Binder:2020:DDS, 4(z)30--30
-
Binder:2024:DDT, 8(z)129--129
-
binding, 2(z)90--90, 2(z)100--100, 2(z)114--114, 3(z)22--22, 4(z)88--88,
5(z)74--74, 5(z)94--94, 6(z)53--53, 6(z)114--114, 8(z)15--15
-
binding-time, 6(z)172--172
-
biochemistry, 2(z)128--128
-
bioinformatics, 3(z)125--125
-
biological, 3(z)125--125
-
biologists, 3(z)125--125
-
BioScript, 2(z)128--128
-
biproduct, 7(z)64--64
-
Birds, 7(z)239--239
-
Birkedal, Lars, 2(z)64--64, 3(z)19--19, 3(z)105--105, 3(z)107--107,
4(z)114--114, 5(z)6--6, 5(z)10--10, 5(z)42--42, 5(z)62--62,
5(z)81--81, 6(z)74--74, 6(z)100--100, 6(z)188--188, 7(z)2--2,
7(z)151--151, 7(z)165--165, 7(z)217--217, 7(z)244--244,
7(z)247--247, 8(z)9--9, 8(z)12--12, 8(z)20--20, 8(z)21--21,
8(z)24--24, 8(z)26--26
-
Birkedal, Lars, see Aguirre, Alejandro,
see Frumin, Dan,
see Georges, Aïna Linn,
see Giarrusso, Paolo G.,
see Gondelman, Léon,
see Gratzer, Daniel,
see Gregersen, Simon Oddershede,
see Guéneau, Armaël,
see Hammond, Angus, \see{Liu, Zongyuan,
see Nieto, Abel, \see{Qian, Zesen,
see Rao, Xiaojia, \see{Sieczkowski, Filip,
see Skorstengaard, Lau, \see{Spies, Simon,
see Timany, Amin,
see Vindum, Simon Friis
-
Birkedal:2021:TFS, 5(z)81--81
-
Birkhoff-, 4(z)150--150
-
bisimilarity, 3(z)21--21, 6(z)18--18, 6(z)120--120, 7(z)52--52,
8(z)43--43
-
bisimulation, 3(z)4--4, 3(z)21--21, 7(z)199--199
-
Biskup, Tom Jannik, 8(z)93--93
-
Biskup, Tom Jannik, see Batz, Kevin
-
Biswas, Arpita, 4(z)230--230
-
Biswas, Arpita, see Mukherjee, Suvam
-
Biswas, Joydeep, 8(z)18--18
-
Biswas, Joydeep, see Patton, Noah
-
Biswas, Ranadeep, 3(z)165--165, 5(z)132--132
-
Biswas:2019:CCT, 3(z)165--165
-
Biswas:2021:PME, 5(z)132--132
-
Bit, 7(z)92--92
-
bit, 32-, 6(z)3--3
-
bit, 64-, 5(z)148--148
-
Bit-Stealing, 7(z)216--216
-
Bit-Vector, 8(z)71--71
-
bit-vector, 8(z)71--71
-
bitfield-manipulating, 6(z)182--182
-
bits, 4(z)36--36, 5(z)148--148, 6(z)3--3
-
bits, 10-, 6(z)3--3
-
bits, 32-, 6(z)3--3
-
bits, k-, 6(z)3--3
-
bits, n-, 6(z)3--3
-
bits, n+2-, 6(z)3--3
-
bitwise, 6(z)20--20
-
biunification, 4(z)124--124
-
Blackman, 5(z)148--148
-
Blackshear, Sam, 2(z)144--144
-
Blackshear:2018:RCS, 2(z)144--144
-
Blade, 5(z)49--49
-
blame, 1(z)60--60, 2(z)134--134, 4(z)65--65, 5(z)68--68, 7(z)194--194
-
Blanchard, Eion, 6(z)191--191
-
Blanchard, Eion, see Murali, Adithya
-
Blanchette, Jasmin Christian, 3(z)22--22
-
Blanchette:2019:BBN, 3(z)22--22
-
Blankstein, Aaron, 1(z)95--95
-
Blankstein, Aaron, see Parkinson, Matthew
-
Blanvillain, Olivier, 2(z)42--42, 6(z)37--37
-
Blanvillain, Olivier, see Odersky, Martin
-
Blanvillain:2022:TLP, 6(z)37--37
-
Blatt, Austin J., 4(z)43--43
-
Blatt, Austin J., see Greenberg, Michael
-
Blau, Taylor, 2(z)99--99
-
Blau, Taylor, see Nandi, Chandrakana
-
Blaudeau, Clément, 6(z)151--151
-
Blaudeau:2022:CFS, 6(z)151--151
-
Blazy, Sandrine, 4(z)7--7, 5(z)46--46, 7(z)9--9
-
Blazy, Sandrine, see Barrière, Aurèle,
see Barthe, Gilles
-
blend, 2(z)134--134
-
Blinn, Andrew, 8(z)68--68
-
Blinn, Andrew, see Zhao, Eric
-
block, 1(z)51--51, 3(z)128--128, 4(z)44--44, 4(z)136--136, 5(z)145--145,
6(z)47--47, 6(z)125--125, 7(z)224--224, 8(z)29--29
-
block-based, 6(z)25--25, 6(z)133--133
-
blockchain, 2(z)116--116, 3(z)185--185, 3(z)189--189, 4(z)132--132,
4(z)190--190, 5(z)146--146, 6(z)77--77, 6(z)122--122, 6(z)145--145,
6(z)149--149, 7(z)253--253
-
blockchain., 7(z)253--253
-
blocking, 2(z)116--116, 4(z)156--156
-
blocking, non-, 1(z)95--95, 2(z)162--162, 4(z)156--156
-
blows, 1(z)52--52
-
BLP, 8(z)41--41
-
Blumenthal, Christian, 8(z)127--127
-
Blumenthal, Christian, see Klinkenberg, Lutz
-
boasting, 7(z)218--218
-
Bodden, Eric, 1(z)99--99
-
Bodden, Eric, see Späth, Johannes
-
Bodik, Rastislav, 1(z)51--51, 2(z)62--62, 2(z)157--157, 4(z)49--49,
4(z)166--166, 7(z)109--109, 7(z)132--132
-
Bodik, Rastislav, see Cascaval, Dan,
see Chandra, Kartik, \see{Chasins, Sarah,
see Liu, Junrui, \see{Newcomb, Julie L.,
see Wang, Chenglong
-
Bodík, Rastislav, 7(z)16--16, see Lu, Sirui
-
body, 4(z)37--37, 5(z)123--123, 6(z)95--95, 7(z)26--26
-
body, in-, 4(z)163--163
-
Boeing, 4(z)73--73
-
Boesche, Klaas, 2(z)119--119
-
Boesche, Klaas, see Leißa, Roland
-
Boespflug, Mathieu, 2(z)5--5
-
Boespflug, Mathieu, see Bernardy, Jean-Philippe
-
boilerplate, 6(z)53--53
-
Boisseau, Guillaume, 2(z)84--84
-
Boisseau:2018:WYN, 2(z)84--84
-
Boix, Elisa, Gonzalez, 5(z)107--107
-
Boja{\'n}czyk, Miko{\l}aj, 8(z)45--45
-
Bojanczyk:2024:PFU, 8(z)45--45
-
BOLT, 5(z)144--144
-
Bolz-Tereick, Carl Friedrich, 1(z)52--52, 1(z)54--54
-
Bolz-Tereick, Carl Friedrich, see Barrett, Edd,
see Bauman, Spenser
-
Bonchi, Filippo, 3(z)25--25, 7(z)64--64
-
Bonchi:2019:DAL, 3(z)25--25
-
Bonchi:2023:DCR, 7(z)64--64
-
Bond, Michael D., 1(z)69--69, 3(z)179--179, 8(z)100--100
-
Bond, Michael D., see Genç, Kaan,
see Lamba, Ada, \see{Wood, Benjamin P.
-
Bonelli, Eduardo, 1(z)20--20
-
Bonelli, Eduardo, see Balabonski, Thibaut
-
Bonneau, Benjamin, 7(z)224--224
-
Bonneau, Benjamin, see Gourdin, Léo
-
Bonsai, 2(z)62--62
-
Boogie, 8(z)60--60
-
boolean, 4(z)146--146, 4(z)154--154, 5(z)110--110, 6(z)6--6, 6(z)65--65,
6(z)141--141, 7(z)240--240
-
boon, 4(z)104--104
-
Boosting, 7(z)239--239
-
boosts, 4(z)147--147
-
Borba, Paulo, 1(z)59--59
-
Borba, Paulo, see Cavalcanti, Guilherme
-
Borel, quasi-, 5(z)11--11
-
boring, 4(z)171--171
-
Borkowski, Michael H., 8(z)70--70
-
Borkowski:2024:MRT, 8(z)70--70
-
born, 8(z)38--38
-
Bornholt, James, 2(z)149--149, 6(z)67--67
-
Bornholt, James, see Ferles, Kostas
-
Bornholt:2018:FCE, 2(z)149--149
-
borrow, 4(z)41--41, 6(z)116--116, 7(z)85--85
-
borrowing, 7(z)85--85, 8(z)131--131
-
Bortolussi, Luca, 8(z)63--63
-
Bortolussi, Luca, see Randone, Francesca
-
Boruch-Gruszecki, Aleksander, 6(z)76--76, 6(z)179--179, 8(z)48--48,
8(z)136--136
-
Boruch-Gruszecki, Aleksander,
see Brachthäuser, Jonathan Immanuel,
see Parreaux, Lionel, \see{Xu, Yichen
-
Boruch-Gruszecki:2022:CDT, 6(z)179--179
-
Bos, Herbert, 7(z)143--143
-
Bos, Herbert, see Isemann, Raphael
-
Bosamiya, Jay, 7(z)15--15
-
Bosamiya, Jay, see Michael, Alexandra E.
-
Boston, Brett, 2(z)163--163
-
Boston:2018:LVA, 2(z)163--163
-
both, 2(z)68--68, 2(z)73--73, 2(z)88--88, 2(z)98--98, 2(z)104--104,
2(z)112--112, 2(z)133--133, 2(z)136--136, 2(z)154--154, 3(z)15--15,
3(z)82--82, 3(z)87--87, 3(z)95--95, 3(z)97--97, 3(z)102--102,
3(z)108--108, 3(z)169--169, 3(z)177--177, 4(z)11--11, 4(z)27--27,
4(z)66--66, 4(z)72--72, 4(z)73--73, 4(z)81--81, 4(z)134--134,
4(z)156--156, 4(z)169--169, 4(z)170--170, 4(z)205--205,
4(z)229--229, 5(z)28--28, 5(z)30--30, 5(z)36--36, 5(z)92--92,
5(z)148--148, 6(z)8--8, 6(z)26--26, 6(z)48--48, 6(z)53--53,
6(z)79--79, 6(z)100--100, 6(z)136--136, 6(z)159--159, 7(z)47--47,
7(z)58--58, 7(z)68--68, 7(z)83--83, 7(z)94--94, 7(z)116--116,
7(z)146--146, 7(z)223--223, 7(z)253--253, 7(z)260--260,
7(z)276--276, 8(z)7--7, 8(z)21--21, 8(z)27--27, 8(z)89--89,
8(z)93--93
-
bothered, 7(z)268--268
-
bottlenecks, 2(z)121--121
-
Bottom-Up, 8(z)52--52
-
bottom-up, 4(z)22--22, 4(z)227--227, 5(z)54--54, 6(z)21--21, 8(z)52--52,
8(z)92--92
-
Bottu, Gert-Jan, 3(z)91--91
-
Bottu:2019:CTC, 3(z)91--91
-
Bouajjani, Ahmed, 5(z)56--56, 7(z)129--129
-
Bouajjani, Ahmed, see Abdulla, Parosh Aziz
-
Bouajjani:2023:DPO, 7(z)129--129
-
Bouillud, Pierre, Donat-, 5(z)125--125
-
Boulier, Simon, 4(z)8--8
-
Boulier, Simon, see Sozeau, Matthieu
-
Boulmé, Sylvain, 4(z)129--129, 7(z)224--224,
see Gourdin, Léo, \see{Six, Cyril
-
bound, 2(z)47--47, 2(z)90--90, 2(z)94--94, 2(z)108--108, 2(z)142--142,
3(z)8--8, 3(z)13--13, 3(z)92--92, 4(z)37--37, 4(z)97--97,
4(z)110--110, 5(z)166--166, 7(z)99--99, 7(z)167--167, 7(z)253--253,
8(z)107--107
-
boundary, 3(z)84--84, 5(z)15--15, 5(z)53--53
-
bounded, 1(z)94--94, 2(z)164--164, 3(z)22--22, 4(z)66--66, 4(z)218--218,
5(z)66--66, 5(z)166--166, 7(z)48--48, 7(z)81--81, 7(z)102--102,
7(z)232--232, 7(z)279--279, 7(z)295--295, 8(z)45--45, 8(z)132--132
-
Bounded, Context-, 7(z)73--73
-
bounded, Context-, 5(z)44--44, 6(z)17--17
-
bounded, context-, 5(z)44--44
-
bounded, resource-, 5(z)93--93
-
Bounded-exhaustive, 5(z)166--166
-
bounded-memory, 5(z)115--115
-
bounding, 5(z)52--52, 6(z)56--56
-
Bounds, Upper-, 7(z)253--253
-
bounds, upper-, 7(z)253--253
-
bounds-checked, 3(z)133--133
-
bounds-enforced, 6(z)78--78
-
Bour, Frédéric, 2(z)103--103
-
Bour:2018:MLS, 2(z)103--103
-
Bourgeat, Thomas, 7(z)192--192
-
Bourgeat:2023:FIS, 7(z)192--192
-
Bourke, Timothy, 4(z)44--44
-
Bourke:2020:MSV, 4(z)44--44
-
Bove, Ethan, 8(z)116--116
-
Bove, Ethan, see Nelson, Tim
-
Bowers, Matthew, 7(z)41--41
-
Bowers:2023:TSL, 7(z)41--41
-
Bowman, William J., 2(z)22--22, 4(z)3--3, 8(z)80--80
-
Bowman, William J., see Chang, Stephen,
see Geller, Adam T.
-
Bowman:2018:TPC, 2(z)22--22
-
Bowtie, 7(z)18--18
-
box, 6(z)76--76
-
Boyland's, Siek-Vitousek-Cimini-, 2(z)73--73
-
Boyland, Peter, 7(z)94--94
-
Boyland, Peter, see Emre, Mehmet
-
Bozga, Marius, 6(z)130--130
-
Bozga, Marius, see Ahrens, Emma
-
Braam, Peter, 5(z)63--63
-
Braam, Peter, see Krauter, Nicolas
-
Bracevac, Oliver, 2(z)67--67, 4(z)164--164, 5(z)139--139
-
Bracevac, Oliver, see Bao, Yuyan,
see Wei, Guannan
-
Bra{\v{c}}evac, Oliver, 7(z)236--236, 8(z)14--14,
see Wei, Guannan
-
Bracevac:2018:VEC, 2(z)67--67
-
Bracevac:2023:GII, 7(z)236--236
-
Brachthäuser, Jonathan Immanuel, 2(z)111--111, 4(z)93--93,
4(z)99--99, 4(z)126--126, 6(z)37--37, 6(z)76--76, 7(z)104--104,
7(z)204--204, 7(z)237--237, 7(z)255--255, 8(z)115--115,
see Bhanuka, Ishan,
see Blanvillain, Olivier,
see Lee, Edward, \see{Lutze, Matthew,
see Müller, Marius,
see Schuster, Philipp, \see{Xie, Ningning
-
Brachthauser:2018:EHM, 2(z)111--111
-
Brachthauser:2020:ECE, 4(z)126--126
-
Brachthauser:2022:ECB, 6(z)76--76
-
Bracketed, Well-, 8(z)20--20
-
bracketed, well-, 3(z)19--19, 8(z)20--20
-
brainer, No-, 1(z)23--23
-
Bräm, Christian, 5(z)146--146
-
Bram:2021:RSE, 5(z)146--146
-
branch, 2(z)165--165, 4(z)7--7, 5(z)31--31, 5(z)148--148
-
branch-based, 3(z)170--170
-
branching, 5(z)31--31, 6(z)66--66, 8(z)94--94
-
Brandon, William, 7(z)146--146
-
Brandon:2023:BDT, 7(z)146--146
-
Bravo, Marcos Maroñas, 6(z)183--183, see Ghica, Dan
-
breadth-first, 5(z)72--72
-
break, 2(z)136--136, 4(z)117--117, 8(z)21--21
-
breaking, 4(z)187--187, 5(z)161--161
-
breakthrough, 6(z)15--15, 6(z)30--30
-
Breck, Jason, 2(z)54--54
-
Breck, Jason, see Kincaid, Zachary
-
breed, 4(z)33--33
-
Breitner, Joachim, 1(z)3--3, 2(z)89--89, 7(z)203--203, 7(z)211--211
-
Breitner, Joachim, see Augustsson, Lennart
-
Breitner:2017:LSS, 1(z)3--3
-
Breitner:2018:RSV, 2(z)89--89
-
Breitner:2023:MFF, 7(z)211--211
-
Brendel, Ana, 6(z)21--21
-
Brendel, Ana, see Miltner, Anders
-
Brent, Lexi, 2(z)116--116
-
Brent, Lexi, see Grech, Neville
-
Breslin, Alaia, Solko-, 5(z)41--41
-
bridging, 2(z)105--105, 2(z)114--114, 6(z)136--136, 8(z)109--109
-
briefly, 4(z)223--223
-
Briggs, Ian, 8(z)32--32
-
Briggs:2024:ISM, 8(z)32--32
-
Bright, 4(z)73--73
-
Bright, Walter, 4(z)73--73
-
Bright:2020:ODP, 4(z)73--73
-
bring, 2(z)89--89, 2(z)163--163, 4(z)102--102, 6(z)70--70, 7(z)264--264
-
bringing, 3(z)17--17, 6(z)107--107, 7(z)130--130
-
Brinkmann, André, 5(z)63--63, see Krauter, Nicolas
-
Brisk, Philip, 2(z)128--128
-
Brisk, Philip, see Ott, Jason
-
brittleness, 7(z)113--113
-
broad, 4(z)83--83, 4(z)90--90, 4(z)132--132
-
broadcasting, 5(z)128--128
-
broader, 4(z)84--84
-
Brock, Allen, Wirfs-, 4(z)77--77
-
Brock, Benjamin, 8(z)99--99
-
Brock, Benjamin, see Liu, Jie
-
Brock, Jacob, 2(z)124--124
-
Brock, Jacob, see Xu, Xiaoran
-
Brody, Shaked, 4(z)215--215
-
Brody:2020:SMC, 4(z)215--215
-
Broeck, Guy, Van den, 4(z)140--140
-
broken, 2(z)162--162, 5(z)101--101, 6(z)142--142
-
Broman, David, 7(z)58--58
-
Broman, David, see Palmkvist, Viktor
-
Brotzman, Robert, 5(z)129--129
-
Brotzman:2021:PSD, 5(z)129--129
-
brought, 3(z)120--120, 4(z)85--85
-
Brown, Matt, 2(z)14--14
-
Brown, Michael D., 5(z)154--154
-
Brown:2018:JOP, 2(z)14--14
-
Brown:2021:FUM, 5(z)154--154
-
browser, 3(z)133--133, 5(z)136--136, 6(z)27--27, 6(z)160--160,
7(z)132--132, 7(z)243--243
-
Brun, Lélio, 4(z)44--44, see Bourke, Timothy
-
Brun, Matthias, 7(z)85--85
-
Brun, Matthias, see Lattuada, Andrea
-
Brun, Yuriy, 3(z)149--149, 4(z)231--231
-
Brun, Yuriy, see First, Emily,
see Jangda, Abhinav
-
Brunel, Aloïs, 4(z)64--64
-
Brunel:2020:BST, 4(z)64--64
-
Bruni, Roberto, 4(z)28--28
-
Bruni:2020:AEP, 4(z)28--28
-
Brzozowski, 4(z)108--108
-
BSC-based, 7(z)222--222
-
bubbling, 5(z)71--71
-
bucket, 6(z)57--57
-
buffer, 3(z)174--174, 5(z)103--103, 6(z)78--78
-
bug, 2(z)46--46, 2(z)113--113, 2(z)146--146, 2(z)147--147, 2(z)160--160,
2(z)162--162, 2(z)165--165, 3(z)155--155, 3(z)159--159,
3(z)160--160, 3(z)162--162, 3(z)170--170, 3(z)180--180,
3(z)183--183, 3(z)189--189, 4(z)43--43, 4(z)65--65, 4(z)123--123,
4(z)132--132, 4(z)143--143, 4(z)162--162, 4(z)173--173,
4(z)196--196, 4(z)211--211, 4(z)214--214, 4(z)230--230, 5(z)43--43,
5(z)123--123, 5(z)146--146, 5(z)156--156, 5(z)165--165,
5(z)166--166, 6(z)4--4, 6(z)24--24, 6(z)34--34, 6(z)81--81,
6(z)83--83, 6(z)86--86, 7(z)86--86, 7(z)102--102, 7(z)156--156,
7(z)177--177, 7(z)180--180, 8(z)17--17, 8(z)73--73, 8(z)91--91,
8(z)97--97, 8(z)98--98, 8(z)111--111, 8(z)133--133, 8(z)143--143
-
bug-catching, 6(z)72--72
-
bug-finding, 7(z)93--93
-
bug-triggering, 7(z)97--97
-
bugs-dual, 6(z)81--81
-
Bui, Truc Lam, 5(z)164--164
-
Bui:2021:RET, 5(z)164--164
-
build, 2(z)79--79, 2(z)109--109, 2(z)123--123, 3(z)13--13, 3(z)78--78,
3(z)85--85, 3(z)184--184, 4(z)34--34, 4(z)121--121, 4(z)144--144,
4(z)169--169, 5(z)45--45, 6(z)129--129, 6(z)147--147, 6(z)149--149,
7(z)159--159, 7(z)221--221, 7(z)233--233, 7(z)296--296, 8(z)25--25,
8(z)32--32, 8(z)60--60
-
builders, 3(z)158--158
-
building, 1(z)25--25, 2(z)122--122, 3(z)128--128, 3(z)176--176, 4(z)3--3,
4(z)115--115, 4(z)121--121, 4(z)139--139, 4(z)164--164, 5(z)13--13,
5(z)64--64, 5(z)107--107, 6(z)27--27, 6(z)32--32, 6(z)47--47,
7(z)266--266, 8(z)79--79
-
built, 2(z)76--76, 2(z)113--113, 4(z)8--8, 4(z)51--51, 4(z)81--81,
4(z)123--123, 5(z)14--14, 5(z)49--49, 6(z)56--56, 6(z)99--99,
6(z)121--121, 7(z)81--81, 7(z)181--181, 7(z)242--242
-
built-in, 2(z)78--78, 2(z)108--108, 4(z)81--81, 4(z)88--88, 7(z)253--253,
8(z)119--119
-
Bulk, 2(z)86--86
-
Bullet, 7(z)47--47
-
Bultan, Tevfik, 7(z)167--167
-
Bultan, Tevfik, see Saha, Seemanta
-
Buna-Marginean, Alex, 8(z)34--34
-
Buna-Marginean:2024:LPR, 8(z)34--34
-
bunch, 6(z)155--155
-
bunched, 6(z)155--155
-
Burchell, Humphrey, 7(z)233--233
-
Burchell, Humphrey, see Larose, Octave
-
Burckhardt, Sebastian, 1(z)107--107, 2(z)152--152, 5(z)133--133
-
Burckhardt, Sebastian, see Bernstein, Philip A.
-
Burckhardt:2018:RCC, 2(z)152--152
-
Burckhardt:2021:DFS, 5(z)133--133
-
burden, 3(z)154--154, 4(z)176--176, 6(z)116--116, 6(z)186--186,
7(z)16--16, 8(z)119--119
-
bureaucracy, 5(z)94--94
-
Burn, Toby Cathcart, 2(z)11--11
-
Burn:2018:HOC, 2(z)11--11
-
Burnham, John, 7(z)197--197
-
Burnham, John, see Amin, Nada
-
Buse, Florena, 7(z)101--101
-
Buse, Florena, see Winter, Levin N.
-
business, 5(z)83--83
-
buy, 3(z)125--125
-
by, correct-, 5(z)82--82
-
by, overflows-, 5(z)103--103
-
by-construction, correct-, 3(z)82--82
-
by-default, volatile-, 1(z)49--49
-
by-Demonstration, Programming-, 8(z)18--18
-
by-Examples, Programming-, 7(z)33--33, 7(z)173--173
-
by-\ldots, call-, 2(z)87--87
-
by-name, call-, 6(z)121--121
-
by-need, Call-, 3(z)114--114
-
by-need, call-, 3(z)153--153, 6(z)94--94
-
by-push-value, call-, 4(z)15--15, 7(z)51--51
-
by-step, step-, 4(z)114--114
-
by-value, call-, 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
-
Bykov, Sergey, 1(z)107--107
-
Bykov, Sergey, see Bernstein, Philip A.
-
bypass, 4(z)41--41, 4(z)207--207
-
Byrd, William E., 1(z)8--8
-
Byrd:2017:UAS, 1(z)8--8
-
byte-addressable, 7(z)244--244
-
byte-granular, 5(z)63--63
-
bytecode, 2(z)117--117, 3(z)177--177, 5(z)136--136, 6(z)148--148,
7(z)233--233, 8(z)143--143
-
Byzantine, 3(z)138--138, 7(z)101--101, 8(z)109--109