Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
F
-
F*, 47(1)571--584
-
F\#, 45(10)3--3
-
F-eta, 47(1)361--372
-
F-sub, 47(1)361--372
-
F4F, 46(10)1053--1068
-
F7, 47(1)571--584
-
fabric, 45(4)85--94
-
fabrication, 45(4)143--152
-
face, 45(4)67--76, 45(5)213--222, 45(6)146--159, 45(7)63--74,
46(8)103--112, 47(3)23--32, 47(4)199--212
-
face, inter-, 45(5)351--352
-
Facebook, 47(1)217--230
-
facet, 47(1)165--178
-
faceted, 47(1)165--178
-
facilitate, 45(3)155--166, 45(5)103--104, 45(5)191--202, 45(5)281--292,
45(6)122--133, 45(6)279--291, 46(2)13--22, 46(2)103--112,
46(8)81--90, 46(8)235--246, 46(12)13--22, 47(1)123--136,
47(1)427--440, 47(3)147--156, 47(5)79--88
-
facilitated, 47(3)147--156
-
facilitating, 45(6)160--173, 45(11)49--60
-
facility, 45(3)231--242, 45(6)122--133, 45(6)210--220, 46(8)103--112,
47(3)185--186, 47(4)1--2, 47(4)39--52
-
facing, 45(3)3--14
-
fact, 45(3)29--38, 45(3)39--52, 45(6)99--110, 45(7)85--96, 46(2)113--122,
47(1)165--178, 47(1)441--454, 47(3)33--42, 47(3)63--72, 47(5)21--30
-
facto, de-, 46(2)33--42
-
factorization, 45(5)223--232, 45(5)345--346
-
Faculty, 45(6)98--98
-
Fahndrich, Manuel, 45(10)708--725, 46(12)83--94
-
Fahndrich, Manuel, see Bebenita, Michael,
see Leijen, Daan
-
fail, 45(3)143--154, 45(5)79--90, 45(5)269--280, 45(6)13--24,
45(6)210--220, 45(6)292--304, 45(7)133--144, 45(10)947--957,
46(6)425--436, 46(8)303--304, 47(1)387--400, 47(3)137--146,
47(6)89--98
-
failed, 45(3)143--154, 46(8)201--212, 47(5)139--148
-
failing, 45(2)147--156, 45(3)155--166, 47(1)495--508
-
fails., 45(3)3--14
-
failure, multiple-, 46(10)171--188
-
failure, post-, 47(4)3--14
-
fair, 45(5)147--158, 45(7)85--96, 47(1)151--164
-
fairer, 45(7)85--96, 47(4)185--198
-
fairness, 45(3)335--346
-
fairness-performance, 45(3)335--346
-
Faith, 45(10)933--946
-
fall, 47(6)13--22
-
fall-back, 45(5)67--78
-
Falsafi, Babak, 45(3)271--284
-
Falsafi, Babak, see Vlachos, Evangelos
-
false-positive, 47(4)251--264
-
falsely, 47(1)387--400
-
familiar, 46(8)47--56, 47(4)105--118
-
family, 45(2)65--74, 45(3)311--322, 45(8)51--52, 45(8)53--62,
45(10)520--538, 47(1)337--348, 47(3)117--126, 47(4)39--52,
47(4)159--170, 47(4)265--278
-
fancy, 45(6)122--133
-
Fang, Zhenman, 47(5)89--98
-
Fang:2012:IDP, 47(5)89--98
-
far, 45(4)85--94, 45(5)137--146, 45(7)37--38, 46(2)43--52, 46(8)25--34,
47(1)245--258
-
Farhad, S. M., 47(5)79--88
-
Farhad, Sardar M., 46(3)357--368, 47(4)357--368
-
Farhad:2011:OAM, 46(3)357--368
-
Farhad:2012:OAM, 47(4)357--368
-
Farhad:2012:PGD, 47(5)79--88
-
farm, 46(6)74--85
-
Farmer, Andrew, 46(9)209--220
-
Farmer, Andrew, see Gill, Andy
-
Farzan, Azadeh, 47(1)297--308
-
Farzan:2012:VPC, 47(1)297--308
-
fashion, 45(2)5--14, 45(2)25--34, 45(7)85--96, 45(8)21--30,
47(4)369--380
-
fast,-, 45(6)448--459
-
fast-path, 45(5)67--78
-
fast-paths, 45(3)39--52
-
fast., 45(5)15--24
-
fastest, 45(8)93--102, 46(8)297--298, 47(2)1--12, 47(5)21--30
-
FastTrack, 45(6)255--268
-
fault-free, 47(6)55--66
-
faulty, 47(1)285--296, 47(4)133--144
-
favor, 47(4)67--78
-
favored, 46(8)267--276
-
FBCS, 47(1)1--2
-
fear, 45(10)2--2
-
feasibility, 45(2)157--166, 45(4)1--8, 45(6)400--411, 45(7)133--144,
45(8)121--130, 46(5)31--40, 47(4)27--38
-
feasible, 45(7)133--144, 47(4)251--264
-
featherweight, 45(5)25--36
-
feature-based, 47(3)3--12
-
feature-dependent, 46(2)13--22
-
feature-oriented, 45(2)45--54, 45(2)177--186, 46(2)103--112
-
feature-rich, 46(2)93--102, 47(5)1--10
-
featured, 45(7)51--62
-
FeatureHouse, 45(2)157--166
-
features., 45(5)67--78
-
featuring, 45(12)43--58, 47(1)521--532
-
federation, 46(4)65--83
-
Fedorova, Alexandra, 45(3)129--142, 45(5)79--90, 45(7)85--96,
46(6)640--652
-
Fedorova, Alexandra, see Best, Micah J.,
see Kazempour, Vahid,
see Maldonado, Walther,
see Zhuravlev, Sergey
-
feed, 45(3)231--242
-
feedback, 46(8)289--290, 47(1)297--308
-
feedback-directed, 45(7)133--144, 46(4)65--83, 46(8)213--222
-
Feeley, Marc, 47(2)61--72
-
Feeley, Marc, see Chevalier-Boisvert, Maxime
-
Felber, Pascal, 45(5)79--90
-
Felber, Pascal, see Maldonado, Walther
-
Feldthaus, Asger, 46(10)119--138
-
Feldthaus:2011:TSR, 46(10)119--138
-
Felleisen, Matthias, 45(9)117--128, 45(9)129--130, 45(9)235--246,
45(12)97--112, 46(1)215--226, 46(6)132--141, 47(1)285--296
-
Felleisen, Matthias, see Culpepper, Ryan,
see Dimoulas, Christos, \see{Klein, Casey,
see Strickland, T. Stephen,
see Tobin-Hochstadt, Sam
-
Felleisen:2010:TC, 45(9)129--130
-
Fellow, 45(6)98--98
-
fence, 45(6)351--362
-
Feng, Min, 45(6)62--73, 45(8)63--72, 46(8)69--80, 46(8)189--200
-
Feng, Min, see Tian, Chen
-
Feng, Shuguang, 45(3)385--396
-
Feng, Xiaobing, 45(5)335--336, 46(5)91--100
-
Feng, Xiaobing, see Wang, Man,
see Zhang, Chao
-
Feng, Xinyu, 47(1)455--468
-
Feng, Xinyu, see Liang, Hongjin
-
Feng, Yuan, 46(1)523--534
-
Feng:2010:SPS, 45(3)385--396
-
Feng:2011:BQP, 46(1)523--534
-
Feng:2011:SSP, 46(8)69--80
-
Fernandes, Sérgio Miguel, 46(8)179--188
-
Fernandes:2011:LFS, 46(8)179--188
-
Ferreira, Paulo, 45(5)91--100
-
Ferreira, Paulo, see Barreto, João
-
fewer, 45(3)1--2, 45(3)243--256, 45(5)127--136, 45(8)83--92,
46(6)458--469, 46(8)47--56, 46(8)293--294, 46(8)297--298,
47(1)481--494, 47(4)345--356, 47(5)1--10
-
FFI, 45(6)36--49
-
ffi, 45(6)36--49
-
FFT, 46(8)257--266
-
FFTs, 46(8)257--266
-
Fiasco, 45(7)3--12
-
Fidel, Adam, 46(8)235--246
-
Fidel, Adam, see Tanase, Gabriel
-
field, 45(2)75--84, 45(2)167--176, 45(3)179--192, 45(5)233--244,
45(5)331--332, 45(6)221--232, 45(7)109--120, 45(8)73--82,
46(2)177--186, 46(11)33--42, 47(1)441--454, 47(1)557--570,
47(4)3--14
-
field, constant-class-, 45(7)109--120
-
field, in-, 45(5)233--244
-
Field, John, 46(10)207--224
-
Field, John, see Tripp, Omer
-
fiendishly, 47(6)45--54
-
FIFO, 47(5)79--88
-
Fiji, 45(6)146--159
-
file, 45(3)143--154, 45(5)355--356, 45(7)1--2, 47(1)19--30,
47(3)167--176, 47(4)91--104, 47(4)239--250, 47(4)305--318
-
file, file-by-, 47(3)167--176
-
file-by-file, 47(3)167--176
-
files, 45(6)424--435, 45(7)63--74, 47(3)167--176
-
filestores, 46(9)292--306
-
Filinski, Andrzej, 45(1)483--494, 46(9)1--1
-
Filinski:2010:MA, 45(1)483--494
-
Filinski:2011:TCT, 46(9)1--1
-
filling, 46(2)3--12
-
filter, 45(3)39--52, 45(6)279--291, 45(6)388--399, 45(7)25--36,
46(12)13--22, 47(3)63--72, 47(4)27--38
-
FilterBank, 45(6)388--399
-
filtered, 45(5)169--178
-
filtering, 45(3)39--52, 46(3)405--418, 47(1)19--30, 47(4)405--418
-
final, 45(3)77--90, 45(6)174--186, 45(6)363--375, 47(4)213--224
-
finance, 45(6)198--209
-
financial, 47(4)185--198
-
find, hard-to-, 47(4)105--118
-
finder, 47(1)85--96
-
Finder, G-, 45(10)62--73
-
Findler, Robby Bruce, 46(3)345--356, 47(4)345--356
-
Findler, Robby Bruce, see Hoang, Giang
-
Findler, Robert Bruce, 45(10)555--566, 45(10)583--597, 46(1)201--214,
46(1)215--226, 47(1)285--296, 47(2)85--96
-
Findler, Robert Bruce, see Ahmed, Amal,
see Dimoulas, Christos, \see{Klein, Casey,
see Swaine, James, \see{Tew, Kevin
-
FINE, 45(6)412--423
-
fine, 45(3)243--256, 45(5)333--334, 46(4)53--64, 47(1)571--584,
47(5)61--70
-
fine-grain, 45(3)243--256, 45(3)311--322, 45(4)27--36, 45(5)47--56,
45(5)179--190, 46(10)225--242
-
fine-tuned, 45(5)343--344, 45(6)86--97
-
fine-tuning, 46(8)179--188, 46(8)267--276
-
finer, 45(4)95--104
-
finish, 45(5)25--36, 46(5)21--30, 46(8)201--212
-
finish, async-, 45(5)25--36
-
finite, 45(4)37--46, 45(6)134--145, 45(8)113--120, 46(11)99--108,
47(1)137--150, 47(1)231--244, 47(1)401--412
-
finite-data, 47(1)203--214
-
finiteness, 47(1)401--412
-
Fink, Stephen, 45(10)739--753, 46(4)65--83
-
Fink, Stephen, see Altman, Erik,
see Arnold, Matthew
-
Finocchi, Irene, 46(6)516--527, 46(10)407--426, 47(6)89--98
-
Finocchi, Irene, see Coppa, Emilio,
see D'Elia, Daniele Cono,
see Demetrescu, Camil
-
Firefox, 47(1)165--178
-
Firepile, 47(3)107--116
-
firewalls, 47(1)215--216
-
firm, 45(2)25--34
-
first, best-, 45(5)15--24
-
first, breadth-, 46(8)3--12
-
first, garbage-, 47(2)73--84
-
first, help-, 45(5)341--342
-
first, work-, 45(5)341--342, 46(8)201--212
-
first-class, 45(6)122--133, 45(7)97--108, 45(10)774--789, 45(12)97--112,
46(9)69--80, 46(10)713--732, 47(1)151--164, 47(2)51--60,
47(4)213--224
-
first-order, 45(5)103--104, 46(10)83--98, 47(1)123--136, 47(1)259--272,
47(1)425--426, 47(1)469--480, 47(6)45--54
-
Fischer, Bernd, 46(2)177--186, 47(3)117--126
-
Fischer, Bernd, see Esmaeilsabzali, Shahram,
see Grech, Neville
-
Fischer, Sebastian, 45(9)357--368
-
Fischer, Topher, 46(8)307--308
-
Fischer:2010:PRE, 45(9)357--368
-
Fischer:2011:SMC, 46(8)307--308
-
Fischmeister, Sebastian, 45(4)133--142, 46(5)101--110, 46(5)111--120
-
Fischmeister, Sebastian, see Navabpour, Samaneh,
see Thomas, Johnson J.
-
Fischmeister:2010:SBP, 45(4)133--142
-
Fisher, Amit, 45(10)848--864
-
Fisher, Amit, see Ossher, Harold
-
Fisher, Kathleen, 46(6)38--49, 46(6)425--436, 46(9)292--306
-
Fisher, Kathleen, see Hawkins, Peter,
see Parr, Terence
-
Fisher:2011:FLT, 46(9)292--306
-
fit, 45(4)67--76, 46(12)13--22, 47(1)165--178, 47(5)71--78, 47(6)55--66
-
fits, over-, 45(5)179--190
-
fitting, 45(10)109--124, 47(6)89--98
-
five, 45(3)103--116, 45(3)243--256, 45(5)281--292, 45(6)471--482,
47(3)185--186, 47(4)319--332, 47(4)333--344, 47(6)77--88
-
fix, 45(3)311--322, 45(6)255--268, 46(2)83--92, 47(6)77--88
-
fixed, 45(2)5--14, 45(2)15--24, 45(5)179--190, 45(5)341--342,
45(6)330--340, 46(2)157--166, 46(6)425--436, 47(1)297--308,
47(4)119--132, 47(4)291--304, 47(6)77--88
-
fixed-function, 45(3)297--310, 47(4)333--344
-
fixed-point, 46(9)359--371
-
fixed-size, 45(6)233--243, 45(6)471--482
-
fixed-structure, 47(5)71--78
-
fixing, 45(7)13--24, 46(6)389--400
-
fixpoint, 47(1)245--258
-
flagship, 45(11)49--60
-
Flanagan, Cormac, 45(6)244--254, 46(1)215--226, 46(8)147--156,
46(9)176--188, 46(10)921--938, 47(1)165--178, 47(1)387--400
-
Flanagan, Cormac, see Austin, Thomas H.,
see Dimoulas, Christos, \see{Disney, Tim,
see Smaragdakis, Yannis, \see{Yi, Jaeheon
-
Flanagan:2010:AMD, 45(6)244--254
-
flash, 45(4)163--172, 46(5)31--40
-
flash-storage, 46(5)31--40
-
flat, 46(8)47--56
-
Flatt, Matthew, 45(10)555--566, 45(10)583--597, 46(2)147--156,
46(6)132--141, 47(1)285--296, 47(2)85--96
-
Flatt, Matthew, see Atkinson, Kevin,
see Klein, Casey, \see{Swaine, James,
see Tew, Kevin, \see{Tobin-Hochstadt, Sam
-
flaw, 47(1)179--190, 47(1)285--296
-
flawed, 47(1)179--190, 47(1)509--520
-
fledged, fully-, 47(3)167--176
-
Flex-eWare, 45(2)127--136
-
flexibility, 45(3)297--310, 45(3)311--322, 45(3)397--408, 45(5)169--178,
45(5)327--328, 45(6)471--482, 45(7)3--12, 45(7)39--50,
46(2)157--166, 46(2)167--176
-
flexibly, 45(5)325--326
-
flight, 45(4)67--76
-
Flikker, 46(3)213--224, 47(4)213--224
-
Flinn, Jason, 45(3)77--90, 46(3)15--26, 47(4)15--26
-
Flinn, Jason, see Lee, Dongyoon,
see Veeraraghavan, Kaushik
-
floating, 45(8)83--92
-
floating-label, 46(12)95--106
-
floating-point, 45(6)233--243
-
flop, 45(5)223--232
-
flow, control-, 45(4)133--142, 45(6)305--315, 47(3)23--32
-
flow, data-, 45(3)271--284, 45(4)27--36, 45(4)77--84,
47(5)51--60, 47(5)61--70
-
flow, information-, 47(1)73--84
-
flow, max-, 46(8)289--290
-
flow-sensitive, 45(12)27--42, 46(10)483--498
-
flowing, 45(12)15--26
-
Floyd, 47(1)245--258
-
Floyd/Turing, 47(1)245--258
-
fluctuating, 45(3)103--116
-
fluctuation, 47(4)199--212
-
Fluet, Matthew, 45(9)93--104
-
Fluet, Matthew, see Bergstrom, Lars
-
FlumeJava, 45(6)363--375
-
fly, 46(2)93--102, 47(4)369--380
-
fly, On-the-, 46(3)369--380, 47(4)369--380
-
focused, 45(3)129--142, 45(6)244--254, 45(7)145--156, 47(1)441--454,
47(4)225--238, 47(4)239--250, 47(4)333--344, 47(5)21--30
-
focusing, 45(2)15--24, 45(3)193--204, 45(6)160--173, 45(7)145--156
-
Folliot, Bertil, 45(7)51--62
-
Folliot, Bertil, see Geoffray, Nicolas
-
follow, 45(5)159--168, 45(6)279--291, 46(8)307--308, 47(1)245--258,
47(1)361--372, 47(3)185--186
-
follow-up, 47(2)97--106
-
followed, 45(3)15--28, 45(5)331--332, 45(6)483--496
-
following, 45(3)15--28, 45(5)233--244, 45(6)279--291, 46(8)135--146,
47(3)23--32, 47(4)393--404, 47(5)89--98
-
food, 45(2)3--4
-
footprint, 45(4)27--36, 46(8)91--102, 46(10)789--804, 47(1)123--136,
47(4)145--158, 47(4)185--198, 47(4)291--304
-
FOP, 46(2)103--112
-
FOP-related, 46(2)103--112
-
for, 45(6)255--268, 45(8)51--52, 47(1)151--164, 47(1)533--544
-
for, parallel-, 46(11)1--10
-
force, 45(3)231--242, 45(6)1--12, 45(6)244--254, 45(8)113--120
-
forced, 46(8)201--212
-
forcing, 45(6)122--133
-
foreign, 45(6)36--49
-
forensics, 45(7)13--24
-
forest, 45(5)355--356, 46(9)292--306
-
forever, 46(12)23--34
-
fork-join, 45(5)91--100, 45(5)245--256
-
form, normal-, 47(1)179--190
-
formalism, 47(1)401--412, 47(3)13--22, 47(5)129--138
-
formalization, 45(6)330--340, 47(1)337--348, 47(1)545--556
-
formalize, 45(6)351--362, 45(6)400--411, 47(1)19--30, 47(1)427--440,
47(1)545--556, 47(4)53--66, 47(6)55--66
-
formalized, 47(6)35--44
-
formalizing, 47(1)427--440
-
formally, 45(2)25--34, 46(8)125--134, 46(12)13--22, 47(1)469--480,
47(3)43--52, 47(6)35--44
-
formally., 45(6)111--121
-
format, 45(5)115--126, 45(6)174--186, 45(6)221--232, 46(8)247--256
-
formation, 45(6)174--186, 45(7)145--156
-
formatted, 45(5)351--352
-
formatter, 45(6)174--186
-
formed, 47(1)217--230, 47(4)405--418
-
formed, beam-, 45(5)169--178
-
formed, ill-, 46(12)35--46
-
former, 46(8)123--124, 47(3)23--32, 47(3)43--52, 47(4)119--132,
47(5)51--60
-
forming, 45(3)3--14
-
FORMLESS, 47(5)71--78
-
forms, value-, 47(1)361--372
-
formul&\#230, 45(6)134--145
-
formula, 46(2)33--42, 47(1)123--136, 47(1)137--150
-
formulae, 45(9)321--332, 46(9)418--430
-
formulate, 45(2)109--116
-
formulated, 45(6)279--291, 46(8)3--12
-
formulating, 46(4)53--64, 47(1)245--258
-
formulation, 45(6)160--173, 45(6)305--315, 46(2)157--166, 46(8)201--212,
47(1)337--348, 47(1)495--508, 47(5)79--88
-
Foroozannejad, Mohammad H., 45(4)27--36, 47(5)71--78
-
Foroozannejad, Mohammad H., see Hashemi, Matin
-
Foroozannejad:2010:LDB, 45(4)27--36
-
Forrest, Stephanie, 45(10)1--1
-
Forrest:2010:CES, 45(10)1--1
-
forth, 45(8)51--52
-
forthcoming, 45(11)49--60, 47(4)91--104
-
Fortifying, 45(9)235--246
-
Fortuna, Emily, 46(6)164--174
-
Fortuna, Emily, see Sampson, Adrian
-
forward, 45(6)174--186, 46(9)209--220, 47(1)245--258
-
forward, straight-, 45(5)223--232
-
forwarding, 45(8)73--82
-
forwarding, packet-, 47(1)217--230
-
FOSD, 47(3)13--22
-
foster, 47(1)215--216
-
Foster, Jeffrey S., 45(1)313--326, 45(6)436--447, 46(1)459--472,
46(6)492--503
-
Foster, Jeffrey S., see An, Jong-hoon (David),
see Khoo, Yit Phang,
see Srivastava, Saurabh
-
Foster, Nate, 45(9)193--204, 46(9)279--291, 46(9)292--306,
47(1)217--230
-
Foster, Nate, see Barbosa, Davi M. J.,
see Fisher, Kathleen,
see Monsanto, Christopher
-
Foster:2011:FNP, 46(9)279--291
-
foundation, 45(2)25--34, 45(2)157--166, 45(3)103--116, 45(6)36--49,
45(6)122--133, 45(6)376--387, 46(6)425--436, 46(9)94--106,
46(11)43--54, 47(1)73--84, 47(1)215--216, 47(1)349--360,
47(5)129--138, 47(6)35--44
-
foundational, 47(1)495--508, 47(1)545--556
-
founded, well-, 47(1)45--58
-
four, 45(2)157--166, 45(3)65--76, 45(3)77--90, 45(3)335--346,
45(6)187--197, 46(8)3--12, 46(8)69--80, 47(1)137--150,
47(3)157--166, 47(4)15--26, 47(4)133--144
-
four-core, 46(11)109--118
-
four-thread, 45(3)91--102
-
Fourier, 45(6)388--399, 46(8)257--266, 47(5)119--128
-
Fournet, Cedric, 47(1)571--584
-
Fournet, Cedric, see Strub, Pierre-Yves
-
Fournet, Cédric, 45(1)445--456, 46(9)266--278,
see Bhargavan, Karthikeyan,
see Swamy, Nikhil
-
FPGA, 45(2)1--2, 45(4)115--124, 45(7)1--2, 45(10)109--124, 46(9)209--220,
47(3)185--186, 47(4)27--38, 47(6)23--34
-
fpga, 45(4)115--124
-
FPGAs, 45(6)98--98, 47(3)185--186, 47(5)61--70, 47(6)23--34
-
FPGAs-how, 45(2)1--2
-
Fractal, 45(2)127--136, 45(6)388--399
-
fraction, 45(2)147--156, 45(3)205--218, 45(3)219--230, 45(3)243--256,
46(2)103--112, 46(8)257--266, 46(11)55--64, 47(1)557--570,
47(4)225--238, 47(4)291--304, 47(4)381--392, 47(5)119--128
-
fractional, 47(1)557--570
-
fragile, 46(2)147--156
-
fragment, 45(2)5--14, 45(6)316--329, 46(6)378--388, 47(1)203--214,
47(1)509--520, 47(6)89--98
-
fragmentation, 45(6)146--159, 45(6)471--482, 45(8)73--82
-
fragmentation-tolerant, 45(6)146--159
-
fragmented, 45(6)146--159
-
fragments., 45(6)292--304
-
frame, 45(5)15--24, 47(1)309--322, 47(3)97--106
-
framework-based, 46(10)1053--1068
-
framework., 45(5)341--342
-
Frampton, Daniel, 45(6)471--482, 46(10)307--324, 46(11)33--42
-
Frampton, Daniel, see Garner, Robin J.,
see Sartor, Jennifer B., \see{Yang, Xi
-
Franke, Björn, 46(6)74--85, 47(5)21--30,
see Böhm, Igor, \see{Kyle, Stephen
-
Franz, Michael, 46(11)119--128, 47(2)13--24
-
Franz, Michael, see Chang, Mason,
see Wagner, Gregor
-
free, 45(3)1--2, 45(4)163--172, 45(6)269--278, 45(6)388--399,
45(6)400--411, 45(8)31--40, 45(8)73--82, 45(8)121--130,
46(8)125--134, 47(1)533--544, 47(3)177--184
-
free, context-, 45(6)160--173, 45(6)221--232, 46(12)107--117,
47(3)137--146
-
free, Data-race-, 45(6)351--362
-
free, data-race-, 45(3)77--90, 47(4)53--66
-
free, datarace-, 45(6)351--362
-
free, fault-, 47(6)55--66
-
free, Lock-, 45(5)339--340, 46(8)179--188, 46(8)223--234
-
free, lock-, 45(5)339--340, 46(6)367--377, 46(8)179--188,
46(8)223--234
-
free, loop-, 45(6)292--304, 46(6)62--73
-
free, obstruction-, 46(8)179--188
-
free, ownership-record-, 45(5)67--78
-
free, race-, 46(8)125--134, 47(1)509--520
-
free, stall-, 47(6)23--34
-
free, Wait-, 46(8)223--234
-
free, wait-, 46(8)223--234, 46(8)301--302
-
free-based, data-race-, 47(4)67--78
-
Freedman, Michael J., 46(9)279--291
-
Freedman, Michael J., see Foster, Nate
-
freedom, 45(5)67--78, 45(6)50--61, 45(6)244--254, 45(8)51--52,
46(2)83--92, 46(8)125--134, 46(10)1013--1032, 47(2)85--96,
47(5)119--128
-
freedom, deadlock-, 45(5)25--36
-
freedom, lock-, 45(5)339--340
-
freedom, race-, 46(8)125--134
-
freedom, wait-, 46(8)223--234
-
freefinement, 47(1)7--18
-
freely, 47(3)97--106
-
Freeman, John, 45(2)147--156, 47(3)177--184
-
Freeman, John, see Järvi, Jaakko
-
Freeman:2012:HPH, 47(3)177--184
-
free()s, 47(4)105--118
-
French, 45(2)127--136
-
Frenetic, 46(9)279--291
-
FREng, 47(1)1--2
-
frequencies., 45(6)160--173
-
frequency, 45(3)335--346, 45(5)47--56, 45(5)169--178, 45(6)160--173,
45(6)255--268, 45(7)85--96, 47(4)225--238
-
frequent, 45(3)39--52, 45(3)103--116, 45(5)79--90, 45(12)15--26,
47(4)159--170, 47(5)1--10
-
frequently, 45(4)133--142, 45(8)63--72, 45(8)113--120, 46(8)103--112,
47(4)3--14, 47(5)89--98, 47(6)77--88
-
fresh, 45(9)217--228, 47(1)413--424
-
Fresh-register, 46(1)295--306
-
freshmen, 45(7)1--2
-
Freund, Stephen N., 45(6)244--254
-
Freund, Stephen N., see Flanagan, Cormac
-
friendly., 45(7)97--108
-
Frisby, Nicolas, 46(12)35--46
-
Frisby, Nicolas, see Westbrook, Edwin
-
front, 45(7)75--84, 45(11)49--60, 46(8)309--310, 46(12)107--117,
47(5)119--128
-
front, ruler-, 46(2)43--52
-
frontend, 45(7)121--132
-
FRP, 47(1)45--58
-
FRS, 47(1)1--2
-
fs, 47(4)305--318
-
FST, 45(3)335--346
-
FTL, 45(4)163--172
-
FtpServer, 47(1)387--400
-
Fu, Kevin, 46(3)159--170, 47(4)159--170
-
Fu, Kevin, see Ransford, Benjamin
-
Fu, Ming, 47(1)455--468
-
Fu, Ming, see Liang, Hongjin
-
fulfil, 47(3)147--156
-
fulfill, 45(4)17--26, 45(4)125--132
-
fulfilled, 45(4)47--56
-
full-scale, 46(11)21--32
-
full-speed, 47(1)151--164
-
full-system, 46(8)213--222
-
fully-fledged, 47(3)167--176
-
fully-hardware, 45(3)359--370
-
function, fixed-, 45(3)297--310, 47(4)333--344
-
function, single-, 46(8)1--2
-
function-block-based, 46(2)23--32
-
function-level, 45(4)95--104
-
function., 45(6)279--291
-
functional/imperative, 45(8)53--62
-
functionality, 45(2)15--24, 45(2)75--84, 45(2)147--156, 45(3)297--310,
45(4)57--66, 45(4)115--124, 45(5)103--104, 46(12)95--106,
47(1)85--96, 47(3)1--2, 47(3)147--156, 47(4)119--132
-
functionality., 45(2)15--24
-
functionally, 45(5)103--104, 45(5)343--344, 45(6)86--97, 47(4)133--144
-
Functionally-cOnsistent, 47(5)71--78
-
functioning, 45(7)85--96
-
functor, 45(11)147--158, 46(1)105--118
-
fundamental, 45(2)3--4, 45(2)25--34, 45(2)167--176, 45(4)17--26,
45(5)1--2, 45(5)103--104, 45(6)187--197, 45(6)305--315, 46(2)3--12,
46(8)1--2, 46(8)223--234, 46(11)77--78, 46(12)59--70, 47(1)59--72,
47(1)191--202, 47(1)203--214, 47(1)323--336, 47(1)545--556,
47(4)1--2, 47(4)3--14, 47(4)79--90, 47(5)149--152, 47(6)23--34
-
fundamentally, 46(8)113--122, 46(8)169--178, 47(1)73--84, 47(1)481--494
-
funding, 45(5)103--104
-
Fursin, Grigori, 45(6)448--459
-
Fursin, Grigori, see Chen, Yang
-
fusion, 46(12)47--58
-
future, near-, 45(5)67--78
-
fuzzing, 45(5)15--24