Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
B
-
b, 46(8)113--122, 46(8)201--212, 46(11)33--42, 47(3)13--22, 47(4)319--332
-
B-tool, 46(8)135--146
-
B-trees, 47(1)123--136
-
B.A, 45(6)98--98
-
Ba, Yanmeng, 45(4)133--142
-
Ba, Yanmeng, see Fischmeister, Sebastian
-
Babau, Jean-Philippe, 46(2)73--82
-
Babau, Jean-Philippe, see Navas, Juan F.
-
Babel, 45(10)947--957
-
back, 45(2)15--24, 45(3)143--154, 45(3)219--230, 45(6)483--496,
45(10)583--597, 46(3)319--332, 46(12)13--22, 47(1)557--570,
47(2)13--24, 47(4)91--104, 47(4)319--332, 47(5)149--152
-
back, fall-, 45(5)67--78
-
Back, Godmar, 46(7)15--26
-
Back, Godmar, see Nikolaev, Ruslan
-
back, write-, 46(8)179--188
-
back-end, 45(6)98--98, 46(12)59--70
-
back-propagated, 47(3)13--22
-
backbone, 47(1)215--216
-
backed, 45(6)412--423
-
backend, 45(7)39--50, 45(11)109--120
-
background, 46(2)1--2, 47(1)137--150, 47(3)147--156
-
Backstage, 46(10)939--958
-
backtracking, 45(12)73--80, 46(6)425--436
-
backward, 45(5)67--78, 47(1)245--258, 47(4)251--264
-
backward-compatibility, 47(1)481--494
-
Bacon, David F., 45(10)89--108, 46(7)1--2, 47(6)23--34
-
Bacon, David F., see Auerbach, Joshua
-
Bacon:2011:VAH, 46(7)1--2
-
Bacon:2012:TTW, 47(6)23--34
-
bad, 47(4)133--144, 47(6)55--66
-
Bae, Chang, 46(7)169--180
-
Bae, Chang, see Lange, John R.
-
Baek, Woongki, 45(6)198--209
-
Baek:2010:GFS, 45(6)198--209
-
Bagchi, Saurabh, 46(5)91--100
-
Bagchi, Saurabh, see Wang, Man
-
Bagge, Anya Helene, 45(2)15--24
-
Bagge:2010:ASB, 45(2)15--24
-
Baghsorkhi, Sara S., 45(5)105--114, 46(8)257--266
-
Baghsorkhi, Sara S., see Dotsenko, Yuri
-
Baghsorkhi:2010:APM, 45(5)105--114
-
Bai, Tongxin, 45(5)335--336, 46(8)91--102, 46(10)243--258, 46(11)65--76
-
Bai, Tongxin, see Hertz, Matthew,
see Ke, Chuanle, \see{Xiang, Xiaoya,
see Zhang, Chao
-
Baker, Graham Z., 45(6)13--24
-
Baker, Graham Z., see Bond, Michael D.
-
Bakst, Alexander, 47(6)45--54
-
Bakst, Alexander, see Kawaguchi, Ming
-
Bala, Vasanth, 46(4)41--52
-
Bala:2011:DTD, 46(4)41--52
-
Balabonski, Thibaut, 47(1)469--480
-
Balabonski:2012:UAF, 47(1)469--480
-
balance, 45(3)231--242, 45(3)311--322, 45(5)147--158, 45(5)257--268,
45(6)341--350, 45(6)436--447, 45(7)25--36, 46(5)31--40,
46(8)201--212, 46(11)65--76, 47(5)79--88
-
balance, load-, 45(7)97--108, 47(5)79--88
-
balanced, 45(5)355--356, 46(9)117--128, 47(5)31--40
-
balancer, 45(7)97--108, 47(1)215--216
-
balancing, 45(5)147--158, 45(5)179--190, 45(5)315--324, 46(8)201--212,
47(1)215--216
-
Balasubramonian, Rajeev, 45(3)219--230
-
Balasubramonian, Rajeev, see Sudan, Kshitij
-
Baldassin, Alexandro, 45(10)691--707
-
Baldassin, Alexandro, see Burckhardt, Sebastian
-
Ball, Thomas, 46(10)427--444
-
Ball, Thomas, see Burckhardt, Sebastian
-
Bamboo, 45(6)388--399
-
bandwidth, 45(3)371--384, 45(5)169--178, 45(5)213--222, 45(5)355--356,
45(6)86--97, 46(8)267--276, 46(8)295--296, 46(8)297--298,
46(11)77--78, 47(4)225--238
-
Banerjee, Prithviraj, 46(1)623--636
-
Banerjee, Prithviraj, see Joisha, Pramod G.
-
Banerjia, Sanjeev, 46(4)41--52
-
Banerjia, Sanjeev, see Bala, Vasanth
-
bank, 45(4)1--8, 45(4)17--26, 45(5)105--114, 45(5)127--136,
45(6)388--399, 45(7)157--166
-
bank, Multi-, 45(4)1--8
-
bank, multi-, 45(4)17--26
-
Bao, Bin, 46(8)91--102
-
Bao, Bin, see Xiang, Xiaoya
-
bapa, 45(6)316--329
-
Barabash, Katherine, 45(8)1--10
-
Barabash:2010:TGC, 45(8)1--10
-
Barbosa, Davi M. J., 45(9)193--204
-
Barbosa:2010:MLA, 45(9)193--204
-
Bard, Jonathan E., 46(11)65--76
-
Bard, Jonathan E., see Hertz, Matthew
-
Barker, Sean, 46(3)185--198, 47(4)185--198
-
Barker, Sean, see Sharma, Navin
-
Barman, Shaon, 45(1)339--352
-
Barman, Shaon, see Bodik, Rastislav
-
baroque, 45(5)47--56
-
Barr, Kenneth C., 46(7)87--98
-
Barr, Kenneth C., see Zhang, Irene
-
Barrelfish, 47(4)119--132
-
Barreto, João, 45(5)91--100
-
Barreto:2010:LPN, 45(5)91--100
-
barriers, read-, 45(3)39--52, 45(8)73--82
-
barriers, write-, 45(3)39--52
-
Barthe, Gilles, 47(1)97--110
-
Barthe:2012:PRR, 47(1)97--110
-
Bartok, 45(3)39--52, 45(6)424--435
-
Barua, Rajeev, 45(5)179--190
-
Barua, Rajeev, see Tzannes, Alexandros
-
base, 45(3)29--38, 45(6)111--121, 45(6)160--173, 45(6)412--423,
45(12)15--26, 45(12)59--72, 46(2)113--122, 46(8)235--246,
47(1)137--150, 47(3)63--72
-
base-class, 45(6)292--304
-
based', `state-, 47(1)495--508
-
based, Algorithm-, 46(8)303--304
-
based, allocation-site-, 45(7)109--120
-
based, aspect-, 45(2)85--94
-
based, automaton-, 47(6)55--66
-
based, axiom-, 45(2)15--24
-
based, blocking-, 45(3)117--128
-
based, C-, 47(4)119--132
-
based, case-, 45(2)15--24
-
based, Cell-, 45(5)293--304
-
based, checksum-, 46(8)303--304
-
based, class-, 45(12)97--112
-
based, compiler-, 45(6)74--85, 45(7)121--132
-
based, component-, 46(2)73--82, 47(3)53--62
-
based, constraint-, 46(2)43--52
-
based, CP-, 47(1)387--400
-
based, CPP-, 46(2)33--42
-
based, cyclic-path-, 47(4)405--418
-
based, data-race-free-, 47(4)67--78
-
based, DBI-, 45(6)25--35
-
based, DBT-, 45(7)145--156
-
based, Dependence-, 46(5)91--100
-
based, disk-, 47(4)91--104
-
based, DSL-, 46(8)35--46, 47(3)157--166
-
based, DSL-, 47(3)157--166
-
based, Eclipse-, 47(3)167--176
-
based, effect-, 46(9)445--456
-
based, event-, 47(3)53--62
-
based, evidence-, 45(6)412--423
-
based, feature-, 47(3)3--12
-
based, framework-, 46(10)1053--1068
-
based, Function-block-, 46(2)23--32
-
based, function-block-, 46(2)23--32
-
based, graph-, 45(10)302--321
-
based, hardware-, 45(3)297--310
-
based, hash-, 45(5)355--356
-
based, heuristics-, 47(4)369--380
-
based, ILP-, 47(5)41--50
-
based, inclusion-, 45(10)428--443
-
based, input-, 45(5)315--324
-
based, interpreter-, 45(7)121--132
-
based, Java-, 46(11)129--138
-
based, language-, 45(3)39--52, 46(12)95--106
-
based, learning-, 47(5)119--128
-
based, library-, 46(2)127--136, 46(10)391--406, 46(12)23--34,
47(3)167--176
-
based, Lifeline-, 46(8)201--212
-
based, lock-, 45(5)325--326, 46(8)179--188
-
based, lock-set-, 45(3)179--192
-
based, lockset-, 47(1)387--400
-
based, longest-path-, 47(5)41--50
-
based, loop-, 45(5)353--354
-
based, media-, 45(7)97--108
-
based, message-, 47(1)191--202
-
based, method-, 47(4)405--418
-
based, microprocessor-, 45(7)1--2
-
based, migration-, 47(5)109--118
-
based, Model-, 46(2)157--166
-
based, model-, 45(2)3--4, 45(4)125--132
-
based, MPI-, 46(8)309--310
-
based, MPI-, 46(8)309--310
-
based, nursery-, 45(8)21--30
-
based, object-, 47(1)111--122
-
based, ownership-, 45(3)53--64
-
based, Path-, 46(6)492--503
-
based, pattern-, 46(1)499--510
-
based, plugin-, 45(6)412--423
-
based, pointer-, 45(5)3--14
-
based, preprocessor-, 46(2)33--42, 47(3)23--32
-
based, priority-, 46(8)223--234
-
based, profile-, 45(3)193--204, 47(4)145--158
-
based, profiling-, 47(5)99--108
-
based, proxy-, 45(12)59--72
-
based, reboot-, 45(7)25--36
-
based, Region-, 47(5)21--30
-
based, region-, 47(5)21--30
-
based, Registration-, 45(10)754--773
-
based, regression-, 45(5)305--314
-
based, Rely-Guarantee-, 47(1)455--468
-
based, rely-guarantee-, 47(1)455--468
-
based, replay-, 45(7)13--24
-
based, replication-, 45(8)73--82
-
based, resource-, 45(3)335--346, 46(11)65--76
-
based, role-, 45(1)431--444
-
based, Sampling-, 45(4)133--142
-
based, sampling-, 45(4)133--142, 45(6)187--197, 45(6)255--268,
46(5)101--110
-
based, scheduling-, 45(5)79--90
-
based, Scheme-, 47(2)1--12
-
based, SMT-, 47(1)231--244
-
based, software-, 46(8)189--200
-
based, source-, 45(3)335--346
-
based, SRAM-, 47(5)109--118
-
based, SSA-, 46(6)98--108
-
based, stack-, 45(12)43--58
-
based, state-, 47(1)495--508
-
based, stream-, 46(5)1--10
-
based, symptom-, 45(3)385--396
-
based, task-, 45(5)337--338
-
based, template-, 47(3)137--146
-
based, text-, 45(2)3--4
-
based, Theorem-, 47(3)185--186
-
based, theorem-, 47(3)185--186
-
based, Trace-, 47(4)405--418
-
based, trace-, 45(10)708--725, 46(3)405--418, 46(8)113--122,
47(1)245--258, 47(4)405--418, 47(5)21--30, 47(6)55--66
-
based, type-, 46(1)575--586
-
based, verification-template-, 45(6)134--145
-
based, Wavelength-, 45(3)15--28
-
based, wavelength-, 45(3)15--28
-
baseline, 45(3)39--52, 45(4)27--36, 47(4)381--392, 47(4)405--418,
47(5)89--98
-
basic, 45(3)53--64, 45(3)397--408, 45(4)163--172, 45(5)127--136,
45(6)233--243, 45(6)376--387, 46(8)235--246, 47(1)217--230,
47(2)1--12, 47(4)369--380
-
basis, 45(4)153--162, 45(5)25--36, 45(5)341--342, 45(6)62--73,
46(2)93--102, 46(11)109--118, 47(1)245--258, 47(3)167--176
-
Baskakov, Yury, 46(7)87--98
-
Baskakov, Yury, see Zhang, Irene
-
Bastoul, Cédric, 46(1)549--562,
see Pouchet, Louis-Noël
-
Basu, Samik, 47(1)191--202
-
Basu:2012:DCR, 47(1)191--202
-
Batory, Don, 45(2)177--186, 46(10)595--608, 47(3)13--22
-
Batory, Don, see Delaware, Benjamin,
see Kuhlemann, Martin
-
Batory:2012:FIP, 47(3)13--22
-
battery, 45(4)115--124, 47(4)171--184, 47(5)1--10
-
battery-powered, 47(4)1--2
-
battlefield, 45(2)65--74
-
Batty, Mark, 46(1)55--66, 47(1)509--520
-
Batty:2011:MCC, 46(1)55--66
-
Batty:2012:CCC, 47(1)509--520
-
Bauer, Michael, 46(8)13--24
-
Bauer:2011:PMH, 46(8)13--24
-
Baumann, Andrew, 46(3)119--132, 47(4)119--132
-
Baumann, Andrew, see Schüpbach, Adrian
-
BCSR, 45(5)115--126
-
BDD, 46(2)33--42
-
beam-formed, 45(5)169--178
-
bear, 47(1)85--96, 47(3)185--186
-
Beard, Stephen R., 46(6)142--151
-
Beard, Stephen R., see Jablin, Thomas B.
-
beauty, 45(7)1--2
-
Bebenita, Michael, 45(10)708--725, 47(2)13--24
-
Bebenita, Michael, see Chang, Mason
-
Bebenita:2010:STB, 45(10)708--725
-
Beckman, Nels E., 46(6)211--221
-
Beckman:2011:PMS, 46(6)211--221
-
becoming, 45(5)57--66, 46(5)31--40, 47(1)85--96, 47(1)191--202,
47(2)25--36, 47(4)1--2, 47(4)119--132, 47(4)239--250, 47(5)61--70,
47(5)99--108, 47(5)109--118
-
Beek, Peter van, 45(8)113--120
-
Beek, Peter van, see Beg, Mirza
-
before, happens-, 45(6)255--268, 47(1)387--400
-
before., 45(5)169--178
-
beforehand, 45(3)29--38
-
Beg, Mirza, 45(8)113--120
-
Beg:2010:GTA, 45(8)113--120
-
began, 45(12)43--58
-
begin, 46(4)84--96, 47(3)185--186
-
beginning, 45(6)269--278, 45(9)229--234, 47(4)405--418, 47(5)89--98
-
beginning, snapshot-at-the-, 45(8)73--82
-
Béguelin, Santiago Zanella, 47(1)97--110,
see Barthe, Gilles
-
behave, 45(5)79--90, 45(5)327--328, 45(6)244--254, 45(6)316--329,
45(6)330--340, 47(1)469--480
-
behaved, well-, 47(1)31--44
-
behavior., 45(6)330--340
-
behavioral, 45(4)9--16, 45(4)57--66, 45(6)279--291, 45(12)97--112,
47(3)97--106
-
behaviour, 45(2)35--44, 45(8)51--52, 47(1)31--44, 47(1)309--322,
47(1)509--520, 47(3)147--156, 47(5)149--152
-
behaviour-preserving, 46(6)447--457
-
behavioural, 47(3)147--156
-
behind, 45(5)57--66, 45(5)91--100, 47(3)1--2, 47(3)185--186
-
believe, 45(5)1--2, 46(6)199--210, 47(1)31--44, 47(5)129--138
-
Bell, 45(5)115--126
-
Bellamy, Rachel, 45(10)848--864
-
Bellamy, Rachel, see Ossher, Harold
-
BELLPACK, 45(5)115--126
-
belong, 45(4)37--46, 45(5)329--330
-
belonging, 47(3)137--146
-
below, 47(4)291--304, 47(4)305--318
-
Beluga, 47(1)273--284
-
bench-marks, 47(5)1--10
-
benchmark, micro-, 45(5)293--304
-
benchmarking, 45(6)448--459
-
benchmarks, micro-, 47(6)23--34
-
Bendersky, Anna, 46(1)475--486
-
Bendersky:2011:SOB, 46(1)475--486
-
beneficial, 45(2)5--14, 45(3)285--296, 45(7)133--144, 46(8)295--296,
47(3)157--166, 47(5)41--50
-
benign, 45(6)244--254, 47(1)179--190
-
Benton, Nick, 46(9)45--57, 47(1)45--58
-
Benton, Nick, see Krishnaswami, Neelakantan R.
-
Benveniste, Albert, 46(5)61--70
-
Benveniste:2011:DRT, 46(5)61--70
-
Berdine, Josh, 45(1)261--274
-
Berdine, Josh, see Nanevski, Aleksandar
-
Berg, Ryan, 46(10)1053--1068
-
Berg, Ryan, see Sridharan, Manu
-
Bergan, Tom, 45(3)53--64, 46(3)67--78, 47(4)67--78
-
Bergan, Tom, see Devietti, Joseph
-
Bergan:2010:CCR, 45(3)53--64
-
Berger, Emery D., 46(10)3--18
-
Berger, Emery D., see Liu, Tongping
-
Berger, Thorsten, 46(10)805--824
-
Berger, Thorsten, see Kästner, Christian
-
Bergstrom, Lars, 45(9)93--104
-
Bergstrom:2010:LTS, 45(9)93--104
-
Berkeley, 45(6)98--98, 47(4)91--104
-
BerkeleyDB, 47(4)105--118
-
Bernardy, Jean-Philippe, 45(9)345--356
-
Bernardy:2010:PDT, 45(9)345--356
-
Berthier, Nicolas, 46(5)81--90
-
Berthier:2011:SPD, 46(5)81--90
-
Bertran, Benjamin, 45(2)137--146
-
Bertran, Benjamin, see Cassou, Damien
-
besides, 45(2)137--146, 45(4)67--76, 45(5)179--190
-
Best, Micah J., 46(6)640--652
-
best-effort, 47(4)39--52
-
best-first, 45(5)15--24
-
Best:2011:SST, 46(6)640--652
-
beta-reductions, 47(1)469--480
-
bewildering, 47(1)215--216
-
beyond, 45(1)431--444, 45(2)75--84, 45(3)3--14, 45(3)29--38,
45(3)243--256, 45(5)169--178, 45(6)292--304, 45(7)37--38,
46(6)425--436, 47(1)231--244, 47(1)309--322, 47(5)71--78
-
Bhagat, Indu, 46(5)161--170
-
Bhagat:2011:GPP, 46(5)161--170
-
Bhargavan, Karthikeyan, 45(1)445--456, 46(9)266--278
-
Bhargavan, Karthikeyan, see Swamy, Nikhil
-
Bhargavan:2010:MVS, 45(1)445--456
-
Bhat, Sooraj, 47(1)545--556
-
Bhat:2012:TTP, 47(1)545--556
-
Bhattacharjee, Abhishek, 45(3)359--370
-
Bhattacharjee:2010:ICC, 45(3)359--370
-
BI, 46(4)84--96
-
bi-directional, 47(1)413--424
-
bi-endianness, 45(7)157--166
-
bi-partite, 45(5)355--356
-
Bianchini, Ricardo, 46(3)225--238, 47(4)225--238
-
Bianchini, Ricardo, see Deng, Qingyuan
-
Bianco, Mauro, 46(8)235--246
-
Bianco, Mauro, see Tanase, Gabriel
-
bias, 45(6)187--197
-
bidirectional, 46(9)392--403, 47(1)495--508
-
bidirectionalization, 45(9)181--192
-
Bidirectionalizing, 45(9)205--216
-
Biehl, Matthias, 45(4)125--132
-
Biehl:2010:ISA, 45(4)125--132
-
Bieniusa, Annette, 47(1)111--122
-
Bieniusa, Annette, see Heidegger, Phillip
-
Bierhoff, Kevin, 47(1)557--570
-
Bierhoff, Kevin, see Naden, Karl
-
Bierman, Gavin M., 45(9)105--116
-
Bierman:2010:SSS, 45(9)105--116
-
Biernacki, Dariusz, 45(11)25--36, 46(9)81--93
-
Biernacki, Dariusz, see Materzok, Marek,
see Pirog, Maciej
-
Biffle, Cliff L., 46(6)355--366
-
Biffle, Cliff L., see Ansel, Jason
-
big, 45(2)3--4, 47(2)85--96, 47(3)117--126, 47(5)109--118
-
big-step, 47(1)413--424, 47(3)117--126
-
big-win, 45(6)174--186
-
bigger, 45(5)1--2
-
biggest, 45(12)1--14
-
bijective, 46(8)25--34
-
binary-splitting, 45(5)179--190
-
binary-to-decimal, 45(6)233--243
-
binary-translation, 45(3)29--38
-
binder, 45(6)400--411, 45(9)217--228, 46(9)333--345, 47(1)413--424
-
Binder, Walter, 45(2)85--94, 45(2)95--98, 46(2)113--122, 46(2)123--126,
46(10)657--676, 46(10)825--844
-
Binder, Walter, see Sewe, Andreas,
see Tanter, Éric,
see Villazón, Alex,
see Würthinger, Thomas
-
binding, 45(5)191--202, 46(2)127--136, 46(9)346--358, 46(12)35--46,
47(1)413--424, 47(3)3--12
-
binomial, 46(8)201--212, 47(1)123--136
-
bioinformatics, 45(5)137--146
-
biological, 45(5)137--146
-
biology, 46(8)305--306
-
Birkedal, Lars, 45(1)185--198, 45(9)143--156, 46(1)119--132,
46(9)445--456
-
Birkedal, Lars, see Dreyer, Derek,
see Thamsborg, Jacob
-
Birkedal:2011:SIK, 46(1)119--132
-
birth, 45(11)49--60
-
bisimulation, 46(1)523--534, 47(1)59--72
-
*bisimulations*, 47(1)59--72
-
bit, 45(3)3--14, 45(3)219--230, 45(6)233--243, 45(9)15--26
-
bit, 16-, 47(5)149--152
-
bit, 32-, 45(8)93--102, 47(5)149--152
-
bit, 53-, 45(6)233--243
-
bit, 64-, 45(6)233--243, 45(8)93--102
-
bit, 8-, 45(4)1--8
-
bit-length, 45(7)109--120
-
Bjorner, Nikolaj, 47(1)137--150
-
Bjorner, Nikolaj, see Veanes, Margus
-
Black, Andrew P., 46(12)118--129, 47(1)1--2
-
Black, Andrew P., see Epstein, Jeff
-
black, red-, 47(1)123--136
-
Black:2012:PSD, 47(1)1--2
-
Blackburn, Stephen M., 45(6)471--482, 46(3)319--332, 46(10)307--324,
46(11)33--42, 47(4)319--332
-
Blackburn, Stephen M., see Esmaeilzadeh, Hadi,
see Garner, Robin J.,
see Sartor, Jennifer B., \see{Yang, Xi
-
Blade, 45(5)293--304
-
Blagodurov, Sergey, 45(3)129--142
-
Blagodurov, Sergey, see Zhuravlev, Sergey
-
Blagojevi{\'c}, Filip, 45(5)147--158, see Hofmeyr, Steven
-
blame, 45(1)365--376, 45(5)269--280, 46(1)201--214, 46(1)215--226
-
Blanton, Ethan, 45(6)146--159
-
Blanton, Ethan, see Pizlo, Filip
-
BLAS, 45(5)223--232
-
BLAST, 45(6)134--145
-
Blelloch, Guy, 45(6)483--496
-
Blelloch, Guy, see Acar, Umut A.
-
Blelloch, Guy E., 45(9)247--248
-
Blelloch:2010:FPA, 45(9)247--248
-
blindness, 45(3)1--2
-
Blink, 46(3)185--198, 47(4)185--198
-
BlinkCache, 47(4)185--198
-
blinking, 47(4)185--198
-
bloat, 45(3)29--38, 45(6)160--173, 45(6)174--186
-
bloat., 45(6)174--186
-
block-based, Function-, 46(2)23--32
-
block-based, function-, 46(2)23--32
-
block-mapping, 46(5)31--40
-
blocked, 45(5)115--126, 45(5)245--256
-
blocking, 45(3)117--128, 45(5)213--222, 45(5)245--256, 45(5)339--340,
45(6)210--220, 46(8)179--188
-
blocking-based, 45(3)117--128
-
Bloom, 47(4)27--38
-
Blue, 45(5)169--178, 46(8)201--212
-
BlueGene/P, 45(5)159--168
-
Bluespec, 45(2)1--2
-
Blume, Matthias, 46(9)431--444
-
Blume, Matthias, see Ahmed, Amal
-
BNF, 46(12)107--117
-
BNFC-meta, 46(12)107--117
-
board, 45(5)137--146, 45(6)269--278
-
Bocchino, Jr., Robert L., 46(1)535--548
-
Bocchino, Robert, 47(1)557--570
-
Bocchino, Robert, see Naden, Karl
-
Bocchino:2011:SND, 46(1)535--548
-
Bodik, Rastislav, 45(1)339--352, 46(10)83--98
-
Bodik, Rastislav, see Pu, Yewen
-
Bodík, Rastislav, 45(9)249--260, see Arnold, Gilad
-
Bodik:2010:PAN, 45(1)339--352
-
body, 45(11)49--60
-
Boehm, 47(1)455--468
-
Boehm, Hans J., 46(1)623--636
-
Boehm, Hans J., see Joisha, Pramod G.
-
Böhm, Igor, 46(6)74--85, 47(5)21--30,
see Kyle, Stephen
-
Bohm:2011:GJT, 46(6)74--85
-
Böhme, Marcel, 45(2)99--108, see Heidenreich, Florian
-
boilerplate, 47(3)53--62
-
Boisvert, Maxime, Chevalier-, 47(2)61--72
-
Bojanczyk, Mikolaj, 47(1)401--412
-
Bojanczyk:2012:TNC, 47(1)401--412
-
Bolingbroke, Maximilian, 45(11)135--146, 46(12)23--34
-
Bolingbroke:2010:SE, 45(11)135--146
-
Bolingbroke:2011:TCF, 46(12)23--34
-
bolt-on, 45(6)376--387
-
Bonakdarpour, Borzoo, 46(5)111--120
-
Bonakdarpour, Borzoo, see Navabpour, Samaneh
-
Bond, Michael D., 45(6)13--24, 45(6)255--268, 46(6)270--282,
46(6)343--354
-
Bond, Michael D., see Srivastava, Varun,
see Xu, Guoqing
-
Bond:2010:BEC, 45(6)13--24
-
Bond:2010:PPD, 45(6)255--268
-
Bondhugula, Uday, 46(1)549--562
-
Bondhugula, Uday, see Pouchet, Louis-Noël
-
boolean, 45(1)157--158, 45(6)292--304, 47(1)297--308, 47(1)337--348,
47(4)145--158
-
boost, 45(3)91--102, 45(7)157--166, 47(4)91--104
-
boosting, 45(3)285--296, 45(5)281--292
-
boot, 45(6)99--110
-
bootstrap, 45(2)75--84, 47(2)61--72
-
bootstrapping, 47(1)571--584, 47(2)61--72
-
BOP, 45(5)335--336
-
Borba, Paulo, 47(3)23--32, 47(3)33--42
-
Borba, Paulo, see Neves, Laís,
see Ribeiro, Márcio
-
Bordignon, Mirko, 46(2)157--166
-
Bordignon:2011:MBK, 46(2)157--166
-
borne, 45(5)349--350
-
borrow, 45(2)1--2, 45(6)388--399
-
borrowed, 47(1)557--570
-
borrowing, 47(1)557--570
-
Botincan, Matko, 46(8)313--314, 47(1)309--322
-
Botincan:2011:ASP, 46(8)313--314
-
Botincan:2012:RSS, 47(1)309--322
-
bottleneck, 45(5)105--114, 45(8)113--120, 46(11)77--78, 47(4)171--184,
47(4)357--368, 47(6)89--98
-
Bouajjani, Ahmed, 45(1)7--18, 46(6)578--589, 47(1)203--214
-
Bouajjani, Ahmed, see Atig, Mohamed Faouzi
-
Bouajjani:2011:IPA, 46(6)578--589
-
Bouajjani:2012:ARP, 47(1)203--214
-
Bouissou, Olivier, 47(5)129--138
-
Bouissou:2012:OSS, 47(5)129--138
-
bound, branch-and-, 45(2)117--126
-
bound, memory-, 45(8)21--30
-
bound, reachability-, 45(6)292--304
-
boundary, 45(2)35--44, 45(6)436--447, 45(7)13--24, 47(1)31--44,
47(4)405--418
-
bounded, 45(5)341--342, 45(6)174--186, 45(6)341--350, 45(8)11--20,
46(8)311--312, 47(1)45--58, 47(1)151--164, 47(1)259--272,
47(1)297--308, 47(4)79--90
-
bounded, Delay-, 46(1)411--422
-
bounded, space-, 47(1)45--58
-
Bounded-latency, 47(2)73--84
-
bounding, 45(5)325--326, 45(6)292--304, 47(6)89--98
-
bounding, preemption-, 45(5)15--24
-
Bourke, Timothy, 46(5)61--70
-
Bourke, Timothy, see Benveniste, Albert
-
box, 45(5)325--326, 45(10)4--21
-
boxing, 47(5)11--20
-
Boyapati, Chandrasekhar, 45(10)4--21
-
Boyapati, Chandrasekhar, see Roberson, Michael
-
Boyd-Wickizer, Silas, 46(3)291--304, 47(4)291--304
-
Boyd-Wickizer, Silas, see Porter, Donald E.
-
Boyer--Moore, 47(1)425--426
-
Brabrand, Claus, 47(3)23--32
-
Brabrand, Claus, see Ribeiro, Márcio
-
Bradshaw, Robert, 45(6)363--375
-
Bradshaw, Robert, see Chambers, Craig
-
Brady, Edwin C., 45(9)297--308
-
Brady:2010:SYI, 45(9)297--308
-
brain, 47(4)145--158
-
Brainy, 46(6)86--97
-
branch, 45(6)279--291, 46(8)307--308, 47(1)151--164
-
branch-and-bound, 45(2)117--126
-
branch-sensitive, 47(6)45--54
-
Brand, M. G. J. van den, 47(3)137--146
-
Brand, M. G. J. van den, see Arnoldus, B. J.
-
Brandner, Florian, 45(10)708--725
-
Brandner, Florian, see Bebenita, Michael
-
Brandt, Jens, 45(4)47--56
-
Brandt:2010:TCA, 45(4)47--56
-
Braud, Laurent, 47(1)401--412
-
Braud, Laurent, see Bojanczyk, Mikolaj
-
Brauner, Paul, 46(12)35--46
-
Brauner, Paul, see Westbrook, Edwin
-
Bravenboer, Martin, 46(1)17--30
-
Bravenboer, Martin, see Smaragdakis, Yannis
-
Breadcrumbs, 45(6)13--24
-
breadth, 45(5)159--168
-
breadth-first, 46(8)3--12
-
break, 45(6)50--61, 46(2)127--136, 46(8)295--296, 47(3)23--32,
47(3)83--92, 47(6)35--44
-
breakable, 46(6)480--491
-
breakdown, 45(3)205--218
-
Brewer, Eric A., 45(3)1--2
-
Brewer:2010:TDR, 45(3)1--2
-
bridge, 45(3)65--76, 45(3)323--334, 47(4)79--90, 47(4)119--132
-
Bridges, Patrick G., 46(7)169--180
-
Bridges, Patrick G., see Lange, John R.
-
bridging, 45(2)1--2, 45(6)111--121
-
brief, 45(2)1--2, 45(7)37--38
-
bright, 46(9)143--155
-
bring, 45(6)292--304, 45(8)11--20, 45(12)81--96, 46(7)181--192,
47(2)85--96, 47(3)33--42, 47(4)1--2
-
bringing, 45(2)3--4, 45(6)111--121, 45(10)774--789, 46(12)13--22
-
broad, 45(2)5--14, 45(3)271--284, 45(3)371--384, 45(5)347--348,
47(1)31--44, 47(1)215--216
-
broadcast, 45(5)293--304
-
broadly, 47(1)571--584
-
Broberg, Niklas, 45(1)431--444
-
Broberg:2010:PRB, 45(1)431--444
-
Broekema, P. Chris, 45(5)169--178
-
Broekema, P. Chris, see Romein, John W.
-
Bronson, Nathan, 46(10)51--64, 46(10)225--242
-
Bronson, Nathan, see Golan-Gueta, Guy,
see Shacham, Ohad
-
Bronson, Nathan G., 45(5)257--268, 46(3)27--38, 47(4)27--38
-
Bronson, Nathan G., see Casper, Jared
-
Bronson:2010:PCB, 45(5)257--268
-
brought, 45(4)143--152, 45(5)327--328
-
Brown, Gavin, 45(8)103--112, 46(11)109--118
-
Brown, Gavin, see Singer, Jeremy
-
Brown, Kevin J., 46(8)35--46
-
Brown, Kevin J., see Chafi, Hassan
-
Brownsword, Andrew, 46(6)640--652
-
Brownsword, Andrew, see Best, Micah J.
-
browser, 45(6)221--232, 46(11)119--128, 47(2)25--36
-
BrowsingBench, 47(5)149--152
-
Bruening, Derek, 45(8)93--102, 46(7)27--38
-
Bruening, Derek, see Zhao, Qin
-
Bruni, Camillo, 45(10)774--789, 46(10)959--972
-
Bruni, Camillo, see Verwaest, Toon
-
Brunthaler, Stefan, 45(12)1--14
-
Brunthaler:2010:EIU, 45(12)1--14
-
Bryksin, Vladyslav, 45(3)205--218
-
Bryksin, Vladyslav, see Venkatesh, Ganesh
-
BSP, 45(5)159--168
-
BSV, 45(2)1--2
-
Btool, 46(8)135--146
-
budget, 45(3)205--218, 45(3)231--242, 45(3)385--396, 45(5)103--104,
47(4)171--184
-
Budi, Aditya, 46(6)447--457
-
Budi:2011:AMA, 46(6)447--457
-
Budimli{\'c}, Zoran, 46(10)885--902,
see Lublinerman, Roberto
-
Budimlíc, Zoran, 47(5)61--70,
see Sbîrlea, Alina
-
Buehrer, Gregory, 45(5)355--356
-
Buehrer:2010:DPS, 45(5)355--356
-
buffer, 45(3)219--230, 45(3)359--370, 45(4)27--36, 46(6)367--377
-
buffer, row-, 45(3)219--230
-
buffer-overflow, 45(3)179--192
-
buffering, 45(3)53--64, 45(8)51--52, 47(4)67--78
-
bug-depths, 45(3)167--178
-
bug-detection, 47(4)251--264
-
bug-hunting, 46(6)283--294
-
bug-triggering, 45(3)179--192
-
bug., 45(5)57--66
-
buggy, 45(3)167--178, 45(3)179--192, 45(10)175--190, 47(1)31--44
-
builder, 46(2)123--126
-
built, 45(3)179--192, 45(5)233--244, 45(6)160--173, 45(6)436--447,
45(7)37--38, 45(7)157--166, 46(8)1--2, 46(8)135--146, 46(8)157--168,
46(12)107--117, 47(1)97--110, 47(1)309--322, 47(1)427--440,
47(3)3--12, 47(4)39--52
-
built-in, 45(2)5--14
-
Buisson, Jérémy, 45(9)27--38
-
Buisson:2010:RES, 45(9)27--38
-
bulk, 45(5)159--168
-
Bultan, Tevfik, 47(1)191--202
-
Bultan, Tevfik, see Basu, Samik
-
bunched, 46(4)84--96, 47(1)45--58
-
bundled, 45(3)297--310, 47(4)291--304
-
Burcea, Mihai, 45(5)325--326
-
Burcea, Mihai, see Lupei, Daniel
-
Burckhardt, Sebastian, 45(1)7--18, 45(3)167--178, 45(5)15--24,
45(6)330--340, 45(10)691--707, 46(10)427--444, 46(12)83--94
-
Burckhardt, Sebastian, see Atig, Mohamed Faouzi,
see Coons, Katherine E.,
see Leijen, Daan
-
Burckhardt:2010:CPR, 45(10)691--707
-
Burckhardt:2010:LCA, 45(6)330--340
-
Burckhardt:2010:RSP, 45(3)167--178
-
Burckhardt:2011:TPO, 46(10)427--444
-
burden, 45(4)105--114, 45(6)36--49, 45(6)412--423, 45(6)424--435,
46(8)147--156, 47(1)85--96, 47(4)119--132, 47(6)1--12
-
burdensome, 47(1)285--296
-
Burg, Brian, 45(6)1--12
-
Burg, Brian, see Richards, Gregor
-
Burger, Doug, 45(3)3--14, 46(3)171--184, 47(4)171--184
-
Burger, Doug, see Ipek, Engin,
see Koukoumidis, Emmanouil
-
Burgstaller, Bernd, 46(3)357--368, 47(4)357--368, 47(5)79--88
-
Burgstaller, Bernd, see Farhad, S. M.,
see Farhad, Sardar M.
-
Burnim, Jacob, 46(3)79--90, 46(6)401--414, 47(4)79--90
-
Burnim:2011:NRC, 46(6)401--414
-
Burnim:2011:SCS, 46(3)79--90
-
Burnim:2012:SCS, 47(4)79--90
-
Burstall, 47(1)245--258
-
burstiness, 45(7)75--84
-
Burtscher, Martin, 45(5)3--14, 46(6)12--25, 46(8)3--12
-
Burtscher, Martin, see Hassaan, Muhammad Amber,
see Méndez-Lojo, Mario,
see Pingali, Keshav
-
bus, 45(3)129--142, 45(4)1--8, 45(4)85--94, 45(5)223--232, 46(5)11--20,
47(4)119--132
-
Buse, Gerrit, 46(8)25--34
-
Buse, Gerrit, see Murarasu, Alin
-
Buse, Raymond P. L., 46(10)643--656
-
Buse:2011:BBU, 46(10)643--656
-
business, 45(5)103--104
-
Buss, Antal, 46(8)235--246
-
Buss, Antal, see Tanase, Gabriel
-
Butnaru, Daniel, 46(8)25--34
-
Butnaru, Daniel, see Murarasu, Alin
-
butterfly, 45(3)257--270
-
by-construction, correctness-, 45(4)57--66
-
by-default, deterministic-, 46(1)535--548
-
by-file, file-, 47(3)167--176
-
by-product, 45(2)147--156
-
by-Push-Value, Call-, 47(1)349--360
-
by-step, step-, 47(3)185--186
-
by-value, pass-, 46(8)81--90
-
bypass, 45(6)279--291
-
byte, 45(6)471--482, 47(1)137--150, 47(5)89--98
-
byte, 4-, 45(7)109--120
-
byte-addressable, 47(4)105--118
-
byte-level, 45(7)63--74
-
bytecode, 45(2)85--94, 45(2)95--98, 45(6)412--423, 45(7)51--62,
45(8)121--130, 46(2)177--186, 47(1)373--386
-
BZR, 45(4)57--66