Index file section H for cacm2010.bib
Last update: Fri Apr 26 02:02:35 MDT 2024
Return to index directory
H
-
H, 53(9)8--9, 55(10)8--9, 58(11)21--21, 59(8)58--63
-
Ha, Sangtae, 58(12)86--93
-
Ha, Sangtae, see Sen, Soumya
-
Haas, Andreas, 61(12)107--115
-
Haas, Andreas, see Rossberg, Andreas
-
Haas, Laura M., 59(2)92--99
-
Haas, Laura M., see Abadi, Daniel
-
Haas, Peter J., 54(8)100--100, 62(5)83--91
-
Haas, Peter J., see Elgohary, Ahmed
-
Haas:2011:SGS, 54(8)100--100
-
Haber, Eben M., 54(1)46--53
-
Haber:2011:CSA, 54(1)46--53
-
Habib, Salman, 60(1)97--104
-
Habib:2017:HES, 60(1)97--104
-
HACC, 60(1)97--104
-
hack, 60(8)12--14, 61(7)12--13, 62(12)32--37
-
hacker, 53(2)121--126, 56(4)64--74, 56(7)8--9, 56(7)20--21, 57(8)11--13,
57(12)38--43, 59(2)18--20, 59(2)114--122
-
Hacker-proof, 60(8)12--14
-
hacking, 54(11)18--19, 56(10)35--37, 58(2)87--95, 61(7)12--13,
62(12)32--37
-
HACs, 57(12)80--88
-
had, 53(1)148--152, 53(1)153--157, 53(2)127--133, 53(2)139--143,
53(2)144--148, 53(2)155--159, 53(7)113--117, 53(7)142--144,
53(10)85--93, 56(9)110--110, 57(6)110--110, 58(8)70--75,
61(11)148--155
-
Hadas, Ran, Libeskind-, 58(8)29--32
-
Hadi, 56(9)41--45
-
Hadoop, 56(1)22--24, 58(1)18--19, 58(4)46--55
-
Hadron, 59(7)15--16
-
Haeckel, 53(2)127--133
-
Hahn, Patrick, 61(11)88--94
-
Hahn, Patrick, see Fata, Matt
-
Haigh, Thomas, 55(1)35--37, 55(9)26--29, 56(1)37--40, 56(9)31--34,
57(1)36--41, 57(9)24--28, 58(1)40--44, 58(9)20--27, 59(1)39--44,
59(7)25--30, 60(1)29--35, 61(1)32--37, 62(1)24--30
-
Haigh:2012:IPB, 55(1)35--37
-
Haigh:2012:SLB, 55(9)26--29
-
Haigh:2013:HRF, 56(1)37--40
-
Haigh:2013:SSP, 56(9)31--34
-
Haigh:2014:ATD, 57(1)36--41
-
Haigh:2014:HRW, 57(9)24--28
-
Haigh:2015:HRI, 58(9)20--27
-
Haigh:2015:HRT, 58(1)40--44
-
Haigh:2016:HRH, 59(7)25--30
-
Haigh:2016:HRW, 59(1)39--44
-
Haigh:2017:HRC, 60(1)29--35
-
Haigh:2018:HRD, 61(1)32--37
-
Haigh:2019:HRH, 62(1)24--30
-
Hailpern, Brent, 61(4)67--72
-
Hailpern, Brent, see Berman, Francine
-
Haines, Marc N., 53(8)135--140
-
Haines:2010:HSO, 53(8)135--140
-
hair, 59(10)10--12
-
hairstyle, 57(9)93--99
-
Halaburda, Hanna, 61(7)27--29
-
Halaburda:2018:EBD, 61(7)27--29
-
Halbower, Ann C., 61(11)157--165
-
Halbower, Ann C., see Nguyen, Anh
-
Halderman, J. Alex, 62(1)106--114
-
Halderman, J. Alex, see Adrian, David
-
Hales, 59(4)13--15
-
Halevi, Shai, 59(5)113--120
-
Halevi, Shai, see Garg, Sanjam
-
Halevy, Alon, 53(1)100--100, 54(2)72--79, 60(5)92--92
-
Halevy, Alon, see Cafarella, Michael J.
-
Halevy, Alon Y., 54(4)86--96, 59(2)92--99
-
Halevy, Alon Y., see Abadi, Daniel,
see Doan, Anhai
-
Halevy:2010:TPS, 53(1)100--100
-
Halevy:2017:TPB, 60(5)92--92
-
half, 53(7)142--144, 59(9)79--86, 59(11)114--122, 61(10)106--113
-
half-century, 54(1)39--45
-
Halford, Susan, 62(4)74--74
-
Halford, Susan, see Staab, Steffen
-
Halfway, 62(7)5--5
-
Halide, 61(1)106--115
-
hall, 54(5)28--30, 55(6)19--21
-
Hall, Chris, 55(6)35--37
-
Hall, Mary, 55(12)5--5, 62(3)8--9
-
Hall, Wendy, 53(1)9--13, 54(1)9--13, 58(8)76--82, 62(4)74--74
-
Hall, Wendy, see Staab, Steffen,
see Tiropanis, Thanassis
-
Hall:2010:AAR, 53(1)9--13
-
Hall:2011:AAR, 54(1)9--13
-
Hall:2012:SIK, 55(6)35--37
-
Hall:2012:UAP, 55(12)5--5
-
Hall:2019:BSP, 62(3)8--9
-
Hallem, Seth, 53(2)66--75
-
Hallem, Seth, see Bessey, Al
-
Hallen, Mark A., 62(10)76--84
-
Hallen:2019:PDP, 62(10)76--84
-
hallowed, 54(5)28--30
-
halos, 58(3)81--91
-
Halpern, Joseph Y., 54(8)36--38
-
Halpern, Yoni, 61(4)85--93
-
Halpern, Yoni, see Arora, Sanjeev
-
Halpern:2011:JCC, 54(8)36--38
-
halting, 55(6)6--7
-
Halverson, Christine A., 57(11)60--66
-
Halverson, Christine A., see Richards, John T.
-
Ham, 53(5)120--120, 53(6)118--118
-
Hambolu, Oluwakemi, 61(5)72--82
-
Hambolu, Oluwakemi, see Brooks, Richard R.
-
Hambrusch, Susanne, 54(11)38--42, 58(8)29--32
-
Hambrusch, Susanne, see Baumann, Douglas
-
Hambrusch:2015:EUU, 58(8)29--32
-
Hameed, Rehan, 54(10)85--93, 58(4)85--93
-
Hameed, Rehan, see Qadeer, Wajahat
-
Hameed:2011:USI, 54(10)85--93
-
Hamilton, James R., 54(3)95--104
-
Hamilton, James R., see Greenberg, Albert
-
Hamilton, James T., 54(10)66--71
-
Hamilton, James T., see Cohen, Sarah
-
hampered, 55(11)90--98
-
hamstrung, 58(4)15--17
-
Han, Jaemin, 53(5)151--156
-
Han, Jaemin, see Kim, Hyeyoung
-
Han, Song, 60(5)48--51
-
Han, Song, see Bailis, Peter
-
hand, 53(2)144--148, 53(3)137--141, 53(4)22--24, 55(11)90--98,
56(5)68--75, 57(3)109--109, 58(7)39--41, 59(2)92--99, 59(5)70--77,
60(2)108--115, 61(9)14--16
-
Hand, Steve, 59(1)107--107
-
Hand, Steven, 55(5)110--110
-
hand-drawn, 53(8)48--54
-
hand-gesture, 54(2)60--71
-
hand-labeled, 56(4)92--99
-
hand-labeling, 56(4)92--99
-
hand-vectorized, 60(5)83--91
-
hand-written, 60(5)83--91, 61(1)106--115
-
Hand:2012:ED, 55(5)110--110
-
Hand:2016:TPH, 59(1)107--107
-
handheld, 56(8)16--18
-
handle, 57(4)99--106, 58(11)103--111, 59(7)15--16, 59(7)117--125,
59(11)12--14, 60(2)99--107, 62(2)108--116, 62(3)43--45
-
handling, 57(6)101--108, 57(10)13--15, 60(6)31--32
-
hands-free, 56(4)38--40, 62(12)7--7
-
hands-on, 57(7)10--11
-
handwritten, 59(2)114--122
-
handy, 59(2)74--83
-
Hankin, Chris, 61(8)5--5, 62(4)28--28
-
Hankin, Chris, see Fatourou, Panagiota,
see Larus, James
-
Hansen, Sean, 57(5)88--96, 61(10)78--85
-
Hansen, Sean, see Bui, Quang ``Neo'',
see Liu, Manlu
-
Hanson, Karrie, 56(1)74--82
-
Hanson, Karrie, see Becker, Richard
-
Hanson, Vicki, 57(7)5--5
-
Hanson, Vicki L., 59(8)5--5, 60(1)7--7, 60(2)5--5, 60(3)7--7,
61(3)72--77, 61(7)5--5
-
Hanson, Vicki L., see Knowles, Bran
-
Hanson:2014:EWC, 57(7)5--5
-
Hanson:2016:NAP, 59(8)5--5
-
Hanson:2017:AFC, 60(1)7--7
-
Hanson:2017:DAC, 60(3)7--7
-
Hanson:2017:DCY, 60(2)5--5
-
Hanson:2018:DRM, 61(7)5--5
-
Hanus, Michael, 53(4)74--85
-
Hanus, Michael, see Antoy, Sergio
-
happen, 55(10)53--55, 55(11)48--52, 55(12)101--110, 56(5)104--104,
59(6)15--16, 59(6)28--30, 60(4)75--84, 61(8)45--49
-
happened, 53(1)142--147, 57(5)18--19, 57(5)33--34, 57(12)49--54,
61(10)56--67
-
happening, 53(1)121--125, 57(12)12--14
-
happier, 57(4)44--50
-
happily, 57(9)21--23
-
happiness, 55(4)24--26
-
happy, 53(5)16--17, 54(8)12--12, 59(7)52--57, 61(9)91--100
-
haptics, 54(1)20--22
-
Har'El, Nadav, 59(1)108--116
-
Har'El, Nadav, see Amit, Nadav
-
Harbor, 62(9)28--30
-
harboring, 60(7)83--92
-
hard, 53(1)24--26, 53(2)149--154, 53(7)142--144, 53(11)47--55,
55(5)88--97, 55(6)121--130, 55(11)7--7, 57(2)94--103,
58(12)103--110, 60(1)87--95, 60(4)24--25, 60(6)93--100, 60(9)92--92,
60(9)93--100, 60(12)27--28, 61(3)108--108, 61(4)40--43
-
hard, NP-, 56(6)105--113
-
hard-disk, 55(12)59--63
-
hard-drive, 53(1)58--63
-
hard-to-achieve, 53(3)137--141
-
hardly, 53(9)32--35, 55(12)18--19, 56(4)92--99, 58(5)48--55
-
hardness, 55(10)90--97, 57(5)98--107, 60(6)93--100
-
Hardouin, Ronan, 54(4)99--106
-
Hardouin, Ronan, see Le Métayer, Daniel
-
Hardt, Moritz, 60(4)86--93
-
Hardt, Moritz, see Dwork, Cynthia
-
hardware, 53(1)136--141, 53(1)153--157, 53(2)44--48, 53(7)89--97,
53(8)90--101, 53(10)85--93, 54(10)36--44, 55(6)16--18,
55(6)121--130, 55(7)78--89, 55(7)105--114, 55(10)14--16,
55(11)90--98, 56(2)93--102, 56(12)101--109, 57(2)64--73,
57(2)107--114, 57(4)35--39, 57(12)91--98, 58(1)76--85, 58(4)84--84,
58(9)60--71, 58(12)136--z, 59(8)22--25, 59(8)82--82, 59(8)83--91,
59(9)79--86, 59(9)88--97, 59(11)105--112, 59(11)114--122,
60(2)86--95, 60(3)42--45, 60(4)26--28, 60(4)48--54, 60(5)48--51,
60(6)12--14, 60(8)83--90, 60(9)82--82, 60(9)83--91, 61(3)78--84,
61(4)15--17, 61(10)96--104, 62(2)48--60, 62(4)22--22, 62(6)25--27,
62(9)97--105, 62(12)78--78, 62(12)79--87
-
hardware--software, 59(12)111--119
-
Hardware/Hybrid, 60(1)97--104
-
Hardy, 55(7)31--33
-
Harel, David, 54(10)72--82, 55(7)90--100
-
Harel, David, see Fisher, Jasmin
-
Harel:2012:BP, 55(7)90--100
-
Haritsa, Jayant R., 62(11)48--49
-
Haritsa:2019:IRS, 62(11)48--49
-
harm, 54(2)32--34, 55(10)6--7, 58(5)27--29, 60(2)68--75, 60(3)31--33
-
Harman, Mark, 53(5)108--108
-
Harman:2010:APT, 53(5)108--108
-
harmful, 53(4)124--127, 57(12)44--48, 59(9)5--5
-
Harmon, David, 55(4)102--109
-
Harmon:2012:ACM, 55(4)102--109
-
harmonious, 55(5)30--32
-
harness, 60(9)104--z, 61(12)97--105
-
harnessing, 53(10)85--93, 56(4)30--32
-
HaroldB:2018:VMB, 61(5)43--45
-
HaroldH:2015:IRK, 58(10)24--26
-
Harper, Robert, 58(7)101--108
-
Harper, Robert, see Blelloch, Guy E.
-
Harrell, D. Fox, 60(7)50--61
-
Harrell:2017:RAD, 60(7)50--61
-
Harris, Andrew, 53(12)24--27
-
Harris, Andrew, see Goodman, Seymour
-
Harris, Ed, 60(6)46--50
-
Harris, Ed, see Helland, Pat
-
Harris, Jeanne, 56(5)84--90
-
Harris, Jeanne, see Junglas, Iris
-
Harris, Jim, 61(11)136--145
-
Harris, Jim, see Waddington, Daniel
-
Harris, Rich, 58(10)52--57
-
Harris, Tim, 61(12)96--96
-
Harris, William R., 55(8)97--105
-
Harris, William R., see Gulwani, Sumit
-
Harris:2015:DBE, 58(10)52--57
-
Harris:2018:TPN, 61(12)96--96
-
Harrison, Chris, 54(8)111--118
-
Harrison, John, 57(4)66--75
-
Harrison, John, see Avigad, Jeremy
-
Harrison:2011:SAS, 54(8)111--118
-
Harry, 55(7)31--33
-
Harsha, Peter, 53(3)36--38
-
Harsha, Peter, see Wilson, Cameron
-
Hartmanis, 58(4)33--37
-
Hartmann, Björn, 58(8)85--94,
see Bernstein, Michael S.
-
Hartmann, Heinrich, 59(7)58--66
-
Hartmann:2016:SE, 59(7)58--66
-
Hartswood, Mark, 60(5)62--68
-
Hartswood, Mark, see Jirotka, Marina
-
Harty, Julian, 54(2)44--49
-
Harty:2011:FUB, 54(2)44--49
-
Hartzog, Woodrow, 60(5)22--24
-
Hartzog:2017:LTA, 60(5)22--24
-
Harvard-based, 62(8)54--61
-
harvest, 58(1)105--115
-
Harvesting, 61(12)28--29
-
Harvey, 55(9)120
-
Häsel, Matthias, 54(1)139--144
-
Hasel:2011:OES, 54(1)139--144
-
Haselman, Michael, 59(11)114--122
-
Haselman, Michael, see Putnam, Andrew
-
hash, 60(7)93--93, 60(7)94--101
-
hashed, 60(7)94--101
-
hashing, 54(8)101--109, 60(7)94--101
-
Hasinoff, Samuel W., 58(3)81--91
-
Hasinoff, Samuel W., see Paris, Sylvain
-
Haskell, 57(6)42--49, 60(5)83--91
-
hasn't, 60(10)50--52
-
Hassan, Ahmed E., 60(11)62--67
-
Hassan, Ahmed E., see Mcilroy, Stuart
-
Hassidim, Avinatan, 55(8)84--92
-
Hassidim, Avinatan, see Aaronson, Scott
-
Hastings, Janna, 55(11)65--75
-
Hastings, Janna, see Wegner, Joerg Kurt
-
Hastings, Justine S., 62(10)48--53
-
Hastings:2019:UDI, 62(10)48--53
-
hate, 62(12)38--42
-
hats, 60(11)44--45
-
Hauck, Scott, 59(11)114--122
-
Hauck, Scott, see Putnam, Andrew
-
Haverkort, Boudewijn R., 53(9)76--85
-
Haverkort, Boudewijn R., see Baier, Christel
-
HAVi, 53(1)153--157
-
having, 53(1)148--152, 53(2)155--159, 53(3)75--83, 53(7)132--137,
53(12)102--109, 55(10)90--97, 57(3)112--z, 57(5)110--118,
57(11)98--105, 58(2)12--13, 59(2)40--42, 60(3)104--z, 62(1)7--7,
62(1)50--57, 62(1)106--114, 62(2)32--35
-
Hawblitzel, Chris, 54(12)123--131, 60(7)83--92
-
Hawblitzel, Chris, see Yang, Jean
-
Hawblitzel:2017:IPS, 60(7)83--92
-
Hawking, 62(2)120--z
-
Hawkins, Peter, 55(12)91--99
-
Hawkins:2012:IDR, 55(12)91--99
-
haystack, 61(11)124--134
-
hazard, 59(2)5--5
-
hazardous, 62(2)5--5, 62(9)10--11
-
hazards, 62(11)5--5
-
Hazy, 56(3)40--49
-
Hazzan, Orit, 59(12)43--45
-
Hazzan:2016:VAA, 59(12)43--45
-
HCI, 58(9)46--53
-
HDR, 55(11)90--98
-
He, Shubo, 61(11)54--59
-
He, Shubo, see Min, Wanli
-
He, Xuming, 57(11)68--77
-
He, Xuming, see Gould, Stephen
-
head, 53(1)142--147, 56(5)104--104, 62(10)34--38
-
head, head-to-, 53(10)85--93
-
head-to-head, 53(10)85--93
-
headed, 59(4)5--5
-
headed, wrong-, 60(12)33--35
-
headlines, 59(10)13--15
-
headquartered, 53(1)142--147
-
heads-up, 60(11)81--88
-
headway, 56(5)17--19
-
heady, 54(1)128--z
-
heal, 56(8)16--18, 58(12)15--16
-
healing, self-, 59(3)70--78
-
health, 53(1)16--17, 53(3)126--131, 53(7)122--127, 53(8)17--18,
53(9)42--47, 57(3)18--19, 57(4)13--15, 57(9)18--20, 58(3)68--77,
58(11)30--32, 60(11)68--78, 61(10)78--85, 61(12)62--67
-
health-IT, 53(5)147--150
-
health-wearables, 61(12)62--67
-
healthcare, 56(2)17--19, 56(5)14--15, 56(8)16--18, 58(8)21--23,
59(6)15--16, 60(11)68--78, 61(10)78--85, 62(2)108--116, 62(7)41--46
-
healthier, 61(5)31--33
-
healthy, 57(12)17--19, 61(7)84--91
-
heap, sand-, 57(5)5--5
-
hear, 60(3)15--17, 61(5)90--99
-
heard, 56(7)70--77
-
hearing, 60(9)93--100, 60(10)18--20, 61(1)15--17, 61(12)56--61
-
Hearst, Marti A., 54(11)60--67
-
Hearst:2011:NSU, 54(11)60--67
-
heart, 60(6)15--16, 60(10)15--17, 62(2)108--116
-
heartbeats, 61(9)91--100
-
Heartbleed, 57(8)49--51, 61(3)108--108, 61(3)109--116
-
heat, 53(7)48--54, 56(12)26--28, 60(11)90--99, 62(2)97--97
-
heat-seeking, 54(12)29--31
-
Heath, 56(5)29--31
-
Heaton, Thomas, 57(7)66--75
-
Heaton, Thomas, see Faulkner, Matthew
-
heavier, 55(11)120--120
-
heavily, 62(11)137--145
-
heavy, 53(6)13--15, 62(8)95--100
-
heavy-tailed, 53(6)13--15
-
Hedau, 56(4)92--99
-
hedgehog, 55(6)120--120
-
Heeks, Richard, 53(4)22--24, 55(4)24--26, 55(12)24--27, 56(8)22--24,
56(12)22--25
-
Heeks:2010:EMD, 53(4)22--24
-
Heeks:2012:IIB, 55(12)24--27
-
Heeks:2012:ITG, 55(4)24--26
-
Heeks:2013:EMI, 56(12)22--25
-
Heeks:2013:ULC, 56(8)22--24
-
Heer, Jeffrey, 53(6)59--67, 55(4)45--54, 58(9)46--53
-
Heer, Jeffrey, see Green, Spence
-
Heer:2010:TTV, 53(6)59--67
-
Heer:2012:IDV, 55(4)45--54
-
hegemony, 60(4)22--23
-
Heiberg, Andrew, 56(1)83--93
-
Heiberg, Andrew, see Bafna, Vineet
-
Heidelberg, 56(11)7--7, 57(11)7--7, 58(10)7--7, 59(11)7--7, 60(11)6--6
-
heights, 59(7)116--116, 62(6)96--z, 62(9)112--z
-
Heil, Stephen, 59(11)114--122
-
Heil, Stephen, see Putnam, Andrew
-
Heilman, Ethan, 61(7)94--94
-
Heilman, Ethan, see Goldberg, Sharon
-
Heimerl, Kurtis, 61(8)22--25
-
Heimerl, Kurtis, see Ali, Kashif
-
Heisenberg, 53(2)97--104
-
Heiser, Gernot, 53(6)107--115, 60(4)74--74, 61(10)68--77
-
Heiser, Gernot, see Klein, Gerwin
-
Heiser:2017:TPP, 60(4)74--74
-
Heitmann, Katrin, 60(1)97--104
-
Heitmann, Katrin, see Habib, Salman
-
held, 53(2)127--133, 53(3)126--131, 53(7)142--144
-
helicopter, 61(10)68--77
-
HELIX-RC, 60(12)88--97
-
Helland, Pat, 54(6)40--47, 55(5)56--65, 56(1)50--59, 59(1)64--70,
59(6)58--61, 59(8)38--41, 59(11)40--43, 60(2)46--54, 60(6)46--50,
60(7)36--39, 60(12)46--47, 61(8)50--52, 61(10)47--54, 62(4)80--80,
62(7)32--33, 62(11)111--113
-
Helland:2011:IYT, 54(6)40--47
-
Helland:2012:IMC, 55(5)56--65
-
Helland:2013:CC, 56(1)50--59
-
Helland:2016:ICE, 59(1)64--70
-
Helland:2016:PB, 59(11)40--43
-
Helland:2016:SDS, 59(6)58--61
-
Helland:2016:SSS, 59(8)38--41
-
Helland:2017:LBD, 60(2)46--54
-
Helland:2017:SEF, 60(7)36--39
-
Helland:2017:TBF, 60(6)46--50
-
Helland:2017:XJL, 60(12)46--47
-
Helland:2018:CE, 61(8)50--52
-
Helland:2018:MYS, 61(10)47--54
-
Helland:2019:ESL, 62(7)32--33
-
Helland:2019:ION, 62(4)80--80
-
Helland:2019:TOB, 62(11)111--113
-
Hellerstein, Joseph M., 54(7)77--87, 57(8)93--102, 59(2)92--99
-
Hellerstein, Joseph M., see Abadi, Daniel,
see Bailis, Peter
-
Hellerstein:2011:SJG, 54(7)77--87
-
Hellman, 59(6)12--14, 59(6)112--z
-
Hellman, Diffie-, 62(1)106--114
-
Hellman, Martin E., 60(12)52--59
-
Hellman:2017:TLC, 60(12)52--59
-
Hello, 57(8)17--19
-
helm, 60(6)5--5
-
help, 53(1)48--52, 53(1)142--147, 53(1)148--152, 53(2)44--48,
53(2)76--83, 53(2)121--126, 53(2)144--148, 53(3)97--105,
53(4)88--88, 53(7)60--70, 53(7)113--117, 53(7)118--121, 53(8)8--9,
53(10)46--52, 53(12)142--149, 54(5)12--12, 54(5)78--87, 54(10)8--9,
55(4)21--23, 55(8)13--15, 55(8)76--83, 55(8)97--105, 55(11)48--52,
56(2)82--90, 56(3)13--15, 56(3)35--37, 56(10)21--23, 56(11)60--67,
57(2)5--5, 57(2)24--27, 57(4)13--15, 57(4)66--75, 57(6)64--73,
57(7)19--21, 57(8)11--13, 57(8)70--80, 57(12)12--14, 57(12)91--98,
58(2)21--23, 58(6)54--60, 58(8)85--94, 58(9)72--81, 58(9)116--124,
58(11)10--11, 58(11)18--20, 58(11)74--79, 58(11)80--89,
58(12)15--16, 59(2)84--90, 59(3)17--18, 59(5)32--33, 59(5)42--43,
59(7)15--16, 59(7)19--21, 59(7)68--77, 59(8)22--25, 60(2)99--107,
60(5)93--102, 60(8)12--14, 60(8)70--79, 60(10)18--20, 60(11)12--14,
60(11)62--67, 60(12)8--9, 61(5)54--62, 61(5)72--82, 62(1)85--93,
62(2)97--97, 62(3)54--60, 62(9)56--65, 62(10)39--41, 62(10)48--53,
62(11)114--120
-
helped, 55(6)22--23, 57(3)112--z, 57(12)120--z
-
helpful, 53(3)137--141, 62(7)29--30
-
helping, 55(4)11--13, 56(10)12--13, 57(12)17--19, 58(8)13--15,
59(9)32--34, 61(4)67--72, 61(5)83--88
-
Hemaspaandra, Edith, 53(11)74--82
-
Hemaspaandra, Edith, see Faliszewski, Piotr
-
Hemaspaandra, Lane A., 53(11)74--82
-
Hemaspaandra, Lane A., see Faliszewski, Piotr
-
hence, 53(2)106--113, 53(2)155--159, 58(4)85--93, 60(8)83--90,
62(5)83--91
-
Henderson, Annette, 59(12)82--91
-
Henderson, Annette, see Sagar, Mark
-
Hendler, James, 59(9)35--37
-
Hendler, James, see Bernstein, Abraham
-
Hendrickson, Bruce, 55(10)98--98
-
Hendrickson:2012:GEL, 55(10)98--98
-
Hendrix, William, 55(5)74--80
-
Hendrix, William, see Choudhary, Alok
-
Henglein, Fritz, 53(8)114--114
-
Henglein:2010:LSS, 53(8)114--114
-
Heninger, Nadia, 61(11)148--155, 62(1)106--114
-
Heninger, Nadia, see Adrian, David,
see Checkoway, Stephen
-
Henkel, Joachim, 54(12)74--81
-
Henkel, Joachim, see Sojer, Manuel
-
Hennessy, 59(3)40--45, 60(12)112, 61(6)10--12, 61(6)104--z, 61(10)6--7
-
Hennessy, John L., 62(2)48--60
-
Hennessy, Knight-, 60(12)112
-
Hennessy:2019:NGA, 62(2)48--60
-
Henri-Gros, Charles, 53(2)66--75
-
Henri-Gros, Charles, see Bessey, Al
-
Henry, 59(2)114--122
-
Hensley, Zachary, 57(2)55--62
-
Hensley:2014:PSD, 57(2)55--62
-
Henzinger, Thomas A., 54(10)72--82, 58(2)86--86
-
Henzinger, Thomas A., see Fisher, Jasmin
-
Henzinger:2015:EPF, 58(2)86--86
-
Heptinstall, Daniel, 62(3)68--77
-
Heptinstall, Daniel, see Siddharthan, Advaith
-
herald, 53(10)14--15
-
Heralded, 55(7)38--40
-
Herbert, 62(2)8--9
-
Herbrand, 59(7)107--115
-
Herbsleb, James D., 53(2)155--159
-
Herbsleb, James D., see Gurbani, Vijay K.
-
here, 53(1)121--125, 53(1)136--141, 53(1)148--152, 53(2)144--148,
53(7)132--137, 53(9)110--110, 55(6)133--133, 55(7)78--89,
55(8)120--120, 55(9)48--53, 55(9)117--117, 55(11)120--120,
55(12)126--126, 56(3)102--102, 56(5)104--104, 56(12)126--126,
57(2)52--54, 57(3)109--109, 58(9)43--44, 58(10)70--78,
58(12)112--121, 60(3)42--45, 60(7)94--101, 61(3)5--5, 61(3)99--107,
61(4)34--39, 61(7)15--17, 61(8)85--92, 61(12)30--32, 62(9)36--43
-
heritability, 58(10)80--87
-
Herkert, Joseph, 55(11)34--36
-
Herkert, Joseph, see Kostyk, Timothy
-
Herley, Cormac, 57(6)31--33, 57(9)64--71, 58(7)78--87, 59(11)66--74
-
Herley, Cormac, see Bonneau, Joseph,
see Florêncio, Dinei
-
Herley:2014:SCS, 57(9)64--71
-
Herlihy, Maurice, 62(2)78--85
-
Herlihy:2019:BDC, 62(2)78--85
-
Hermanns, Holger, 53(9)76--85
-
Hermanns, Holger, see Baier, Christel
-
hermit, 55(8)22--25
-
Hernandez, Mila, Gascó-, 61(4)50--57
-
Hernández-Orallo, José, 58(11)90--99,
see Gulwani, Sumit
-
hero, 58(3)37--39
-
herring, 56(10)35--37
-
Herring, Allen, 62(10)28--31
-
Herring, Allen, see White, Ryen W.
-
Hert, Paul, De, 54(2)119--127
-
Hertogh, Steven, De, 54(3)124--130
-
heterogeneity, 55(7)105--114
-
heterogeneous, 53(1)153--157, 53(3)157--162, 53(10)85--93,
55(5)101--109, 55(6)121--130, 59(11)105--112, 60(3)42--45,
62(6)36--41, 62(6)83--91
-
Heule, Marijn J. H., 60(8)70--79
-
Heule:2017:SBF, 60(8)70--79
-
heuristic, 59(4)86--93, 62(2)98--106
-
Hewitt, 61(11)8--9
-
Hewitt, Carl, 61(11)8--9
-
Hewitt:2018:GCM, 61(11)8--9
-
Hewlett--Packard, 53(1)120--z
-
Hey, 53(10)112--z, 62(1)24--30
-
Heywood, 61(3)108--108
-
HFT, 56(10)50--56
-
Hibbard, Bill, 57(9)32--34
-
Hibbard, Bill, see Muehlhauser, Luke
-
Hickory, 58(8)27--28
-
Hicks, Matthew, 60(9)83--91
-
Hicks, Matthew, see Yang, Kaiyuan
-
Hicks, Michael, 53(10)30--31
-
Hicks:2010:VSA, 53(10)30--31
-
hidden, 53(3)148--151, 54(4)107--107, 54(12)133--141, 57(10)30--31,
58(11)80--89, 59(8)42--45, 60(2)99--107, 62(1)13--14
-
hide, 53(1)126--130, 55(1)38--40, 57(12)91--98, 58(10)91--97,
59(5)113--120, 61(2)84--91
-
hiding, 59(5)113--120, 61(1)86--94
-
hierarchical, 53(1)153--157, 54(10)95--103
-
hierarchy, 57(2)107--114, 58(7)101--108, 62(11)114--120
-
Hierons, R. M., 53(3)142--147
-
Hierons, R. M., see Parkinson, S. T.
-
Higgs, Jennifer, 62(3)31--33
-
Higgs, Jennifer, see Vakil, Sepehr
-
high, 53(1)153--157, 53(2)96--96, 53(2)160--164, 53(7)99--106,
53(7)138--141, 53(7)142--144, 54(11)74--82, 55(5)101--109,
55(5)111--119, 55(6)121--130, 55(7)129--134, 55(11)90--98,
56(1)116--124, 56(4)26--28, 56(5)93--101, 57(2)28--30, 57(5)39--41,
57(10)10--11, 57(12)91--98, 58(2)52--56, 59(2)12--13, 59(7)117--125,
59(11)10--11, 59(11)105--112, 59(11)114--122, 60(1)97--104,
60(2)108--115, 60(7)94--101, 60(9)93--100, 61(1)97--104,
61(1)105--105, 61(8)85--92, 62(11)137--145, 62(12)10--11
-
high-bandwidth, 59(11)114--122
-
high-diameter, 61(8)85--92
-
high-dimensional, 53(2)97--104, 55(2)112--112, 55(10)89--89,
55(10)90--97, 57(6)101--108, 58(11)103--111
-
high-energy, 59(7)15--16
-
high-frequency, 56(10)42--49, 56(10)50--56
-
high-integrity, 60(10)38--41
-
high-level, 55(6)121--130, 55(12)90--90, 57(1)61--69, 57(6)56--63,
60(5)83--91, 61(3)39--41, 61(10)96--104
-
high-order, 62(2)108--116
-
high-paying, 53(2)127--133
-
high-performance, 53(1)131--135, 53(3)75--83, 53(7)89--97, 53(10)39--45,
54(1)99--107, 58(7)56--68, 58(9)72--81, 59(1)107--107,
59(2)114--122, 60(9)72--80, 61(1)106--115, 61(10)106--113,
61(11)136--145
-
high-quality, 55(6)121--130, 58(3)81--91
-
high-resistance, 56(11)97--104
-
high-resolution, 53(1)19--21, 60(6)84--90, 62(9)97--105
-
high-stakes, 58(5)27--29
-
high-tech, 57(10)19--21
-
high-throughput, 59(10)75--83
-
higher, 53(2)127--133, 53(3)142--147, 53(7)128--131, 53(9)18--19,
53(10)85--93, 55(7)129--134, 55(10)38--47, 56(2)93--102,
57(10)32--35, 58(3)81--91, 59(5)29--31, 60(7)94--101, 62(3)17--18
-
higher-level, 58(8)85--94
-
higher-order, 54(9)101--109
-
highest, 57(3)109--109, 61(10)106--113
-
Highlight, 60(1)97--104
-
highlighted, 53(2)144--148, 53(2)160--164
-
highlighting, 53(1)43--46
-
highlights, 53(2)10--11, 57(11)98--105, 58(7)69--77, 60(11)5--5,
61(2)46--49, 62(11)88--91
-
highly, 53(1)121--125, 55(5)101--109, 55(9)54--60, 56(2)93--102,
56(5)93--101, 56(9)97--105, 57(6)101--108, 57(11)98--105,
57(12)91--98, 59(3)58--61, 59(5)122--131, 59(7)117--125,
59(10)85--92, 60(6)56--65, 61(1)97--104, 61(2)72--72,
61(10)106--113, 62(12)79--87
-
highly-tuned, 61(6)91--99
-
Hill, 60(3)12--13, 60(9)10--11, 60(10)12--13, 62(2)8--9, 62(4)6--6,
62(10)8--9, 62(12)10--11
-
Hill, Mark D., 55(7)78--89
-
Hill, Mark D., see Martin, Milo M. K.
-
Hill, Mary, 62(1)76--84
-
Hill, Mary, see Gil, Yolanda
-
Hill, Robin K., 60(3)12--13, 60(9)10--11, 60(10)12--13, 61(8)12--13,
62(2)8--9, 62(4)6--6, 62(10)8--9, 62(12)10--11
-
Hill, Robin K., see Bruderer, Herbert,
see Guzdial, Mark
-
Hill:2017:BAS, 60(9)10--11
-
Hill:2017:BMW, 60(10)12--13
-
Hill:2018:BAR, 61(8)12--13
-
Hill:2019:BPVa, 62(4)6--6
-
Hill:2019:BPVb, 62(10)8--9
-
Hillman, Robert A., 53(9)26--28
-
Hillman:2010:LTP, 53(9)26--28
-
hinder, 60(3)31--33
-
hindered, 60(12)68--75
-
Hindle, Abram, 59(5)122--131
-
Hindle:2016:NS, 59(5)122--131
-
hint, 55(8)120--120, 56(6)16--17
-
Hinton, 62(6)10--12, 62(6)96--z
-
Hinton, Geoffrey E., 54(10)94--94, 60(6)84--90
-
Hinton, Geoffrey E., see Krizhevsky, Alex
-
Hinton:2011:BWL, 54(10)94--94
-
HiPEAC, 62(4)42--42
-
HipHop, 57(12)120--z
-
Hippie, 61(9)9--11
-
hippies, 61(7)9--9
-
hire, 53(2)149--154, 62(12)32--37
-
Hiring, 53(3)33--35
-
Hirschberg, Julia, 61(1)42--44
-
Hirschberg, Julia, see Baral, Chitta
-
Hirschfeldt, Denis R., 62(5)70--80
-
Hirschfeldt, Denis R., see Downey, Rod
-
Hispanic-serving, 53(12)31--33
-
HiStar, 54(11)93--101
-
historians, 55(9)26--29, 56(4)21--23, 56(9)31--34
-
historic, 62(1)15--17
-
historical, 53(4)25--26, 56(1)37--40, 56(2)93--102, 56(12)26--28,
57(1)94--103, 57(9)24--28, 58(1)40--44, 58(7)29--31, 58(9)20--27,
58(10)35--37, 58(12)20--23, 59(1)39--44, 59(5)44--46, 59(7)25--30,
59(12)37--39, 60(1)29--35, 60(8)22--25, 61(1)32--37, 62(1)24--30
-
historically, 57(2)107--114, 60(7)83--92
-
history, 53(1)43--46, 53(1)126--130, 53(10)32--38, 53(12)133--141,
55(4)55--63, 55(5)33--34, 55(9)26--29, 56(1)37--40, 56(4)21--23,
57(5)52--60, 57(8)82--89, 58(1)40--44, 58(7)29--31, 58(9)20--27,
58(10)35--37, 59(1)18--19, 60(2)76--84, 60(3)60--68, 60(10)91--100,
62(8)82--91
-
history., 53(1)126--130
-
hit, 57(12)91--98
-
hitchhiker, 59(1)50--55, 62(3)38--42
-
Hitt, Lorin M., 53(10)62--70
-
Hitt, Lorin M., see Tambe, Prasanna B.
-
hitter, 62(8)95--100
-
HIV, 53(3)66--74
-
hive, 61(2)104--z
-
Ho, Andrew Dean, 57(9)56--63
-
Ho, Andrew Dean, see Daries, Jon P.
-
hoarding, 59(2)35--36
-
Hoare, 60(4)75--84
-
Hoare-logic, 60(7)83--92
-
Hoberock, Jared, 56(5)93--101
-
Hoberock, Jared, see Parker, Steven G.
-
hoc, 53(1)153--157, 54(12)74--81, 61(5)83--88, 62(7)11--13
-
hoc, ad-, 53(3)142--147, 62(7)86--94
-
Hochheiser, Harry, 56(12)74--80
-
Hochheiser, Harry, see Lazar, Jonathan
-
Hochstadt, Sam, Tobin-, 61(3)62--71
-
hockey, 60(10)50--52
-
hocus-pocus, 55(4)64--70
-
Hodges, Steve, 59(12)111--119
-
Hodges, Steve, see Badam, Anirudh
-
Hoe, James C., 59(11)113--113
-
Hoe:2016:FCA, 59(11)113--113
-
Hoefler, Torsten, 61(10)106--113
-
Hoefler, Torsten, see Gerstenberger, Robert
-
Hoffmann, Leah, 53(1)22--23, 53(1)120--z, 53(4)112--z, 53(6)18--19,
53(6)20--21, 53(7)112, 53(10)112--z, 53(11)19--21, 54(2)19--19,
54(4)120--z, 54(5)18--20, 54(6)128, 54(9)112--z, 54(11)20--22,
54(12)144, 55(3)120--z, 55(4)17--19, 55(6)19--21, 55(6)136,
55(9)120, 55(10)17--19, 55(12)128, 56(3)104--z, 56(4)21--23,
56(6)120--z, 56(9)112--z, 56(12)128--z, 57(3)112--z, 57(6)112--z,
58(3)96--z, 58(6)104--z, 58(9)128--z, 58(12)136--z, 59(3)120--z,
59(6)112--z, 59(9)104--z, 59(12)144--z, 60(3)104--z, 60(6)104--z,
60(9)104--z, 60(12)112, 61(3)120--z, 61(6)104--z, 61(10)120--z,
61(12)128--z, 62(3)120--z, 62(6)96--z, 62(9)112--z, 62(12)96--z
-
Hoffmann:2010:LBQa, 53(1)120--z
-
Hoffmann:2010:LBQb, 53(4)112--z
-
Hoffmann:2010:LBQc, 53(7)112
-
Hoffmann:2010:LBQd, 53(10)112--z
-
Hoffmann:2010:NAP, 53(1)22--23
-
Hoffmann:2010:NCO, 53(11)19--21
-
Hoffmann:2010:NMY, 53(6)18--19
-
Hoffmann:2010:NRM, 53(6)20--21
-
Hoffmann:2011:DOD, 54(5)18--20
-
Hoffmann:2011:LBQa, 54(4)120--z
-
Hoffmann:2011:LBQb, 54(6)128
-
Hoffmann:2011:LBQc, 54(9)112--z
-
Hoffmann:2011:LBQd, 54(12)144
-
Hoffmann:2011:MWL, 54(2)19--19
-
Hoffmann:2011:RB, 54(11)20--22
-
Hoffmann:2012:CST, 55(10)17--19
-
Hoffmann:2012:DMM, 55(6)19--21
-
Hoffmann:2012:LBQ, 55(6)136
-
Hoffmann:2012:OB, 55(4)17--19
-
Hoffmann:2012:QCS, 55(3)120--z
-
Hoffmann:2012:QGI, 55(12)128
-
Hoffmann:2012:QWW, 55(9)120
-
Hoffmann:2013:LBB, 56(4)21--23
-
Hoffmann:2013:LBQa, 56(3)104--z
-
Hoffmann:2013:LBQb, 56(9)112--z
-
Hoffmann:2013:LBQc, 56(12)128--z
-
Hoffmann:2013:QCC, 56(6)120--z
-
Hoffmann:2014:LBQa, 57(3)112--z
-
Hoffmann:2014:LBQb, 57(6)112--z
-
Hoffmann:2015:LBO, 58(3)96--z
-
Hoffmann:2015:LBQa, 58(6)104--z
-
Hoffmann:2015:LBQb, 58(9)128--z
-
Hoffmann:2015:LBQc, 58(12)136--z
-
Hoffmann:2016:LBQa, 59(3)120--z
-
Hoffmann:2016:LBQb, 59(6)112--z
-
Hoffmann:2016:LBQc, 59(9)104--z
-
Hoffmann:2016:LBV, 59(12)144--z
-
Hoffmann:2017:LBA, 60(9)104--z
-
Hoffmann:2017:LBB, 60(3)104--z
-
Hoffmann:2017:LBE, 60(6)104--z
-
Hoffmann:2017:LBG, 60(12)112
-
Hoffmann:2018:LBN, 61(3)120--z
-
Hoffmann:2018:LBP, 61(12)128--z
-
Hoffmann:2018:LBRa, 61(6)104--z
-
Hoffmann:2018:LBRb, 61(10)120--z
-
Hoffmann:2019:LBG, 62(3)120--z
-
Hoffmann:2019:LBI, 62(9)112--z
-
Hoffmann:2019:LBRa, 62(6)96--z
-
Hoffmann:2019:LBRb, 62(12)96--z
-
Hofmann, Megan, 62(10)64--75
-
Hofmann, Megan, see Mankoff, Jennifer
-
Hofmann, Paul, 53(5)32--34
-
Hofmann, Paul, see Brynjolfsson, Erik
-
Hogenboom, Alexander, 58(7)69--77
-
Hogenboom:2015:URS, 58(7)69--77
-
hogs, 56(11)44--52
-
Hoi, Chun-Keung, 58(11)80--89
-
Hoi, Chun-Keung, see Xu, Chenyan
-
HOL, 57(4)66--75
-
HOL4, 53(7)89--97
-
hold, 53(1)148--152, 54(12)20--20, 55(7)38--40, 56(10)84--93,
59(7)44--51, 60(9)83--91, 60(11)17--19, 60(11)81--88, 61(6)6--7,
61(9)14--16
-
hold'em, 60(11)81--88
-
holdout, 60(4)86--93
-
hole, 56(1)19--21, 61(5)43--45, 62(10)14--16
-
holistically, 56(12)128--z
-
Holland, 58(11)21--21, 59(8)58--63
-
Hollander, Rachelle, 53(3)28--29, 56(3)33--34
-
Hollander:2010:CEE, 53(3)28--29
-
Hollander:2013:EVE, 56(3)33--34
-
Holman, Michael, 61(12)107--115
-
Holman, Michael, see Rossberg, Andreas
-
holograms, 61(10)11--13
-
holographic, 57(7)19--21, 59(10)13--15
-
holography, 59(10)13--15
-
Holtz, Olga, 57(2)107--114
-
Holtz, Olga, see Ballard, Grey
-
Holy, 53(3)96--96, 53(3)132--136
-
Hölzle, Urs, 59(9)88--97, see Singh, Arjun
-
Holzmann, Gerard J., 57(2)64--73
-
Holzmann:2014:MC, 57(2)64--73
-
home, 53(1)153--157, 53(2)121--126, 54(6)62--71, 55(8)36--38,
55(11)99--99, 55(11)100--109, 56(1)94--103, 57(12)15--16,
58(4)42--45, 60(3)83--91, 61(8)96--z, 62(7)32--33, 62(9)112--z
-
home, In-, 57(12)17--19
-
homomorphic, 53(3)97--105
-
honest, 57(11)20--23, 59(4)76--84, 62(5)15--17
-
Honeyman, Peter, 59(10)66--72
-
Honeyman, Peter, see Burns, A. J.
-
Hong, 53(1)16--17, 55(6)10--11, 56(3)10--11, 56(6)10--11, 56(7)10--11,
56(11)10--11, 59(8)10--11
-
Hong, Hai, 60(4)55--62
-
Hong, Hai, see Yadav, Aman
-
Hong, Jason, 53(1)16--17, 53(12)10--11, 54(2)10--11, 54(4)10--11,
55(1)74--81, 55(2)10--11, 55(6)10--11, 56(3)10--11, 56(6)10--11,
56(7)10--11, 56(11)10--11, 59(8)10--11
-
Hong, Jason, see Linden, Greg,
see Stonebraker, Michael
-
Hong, Mingsheng, 59(7)117--125
-
Hong, Mingsheng, see Gupta, Ashish
-
Hong:2011:MD, 54(2)10--11
-
Hong:2011:MDP, 54(4)10--11
-
Hong:2012:PAD, 55(6)10--11
-
Hong:2012:SPA, 55(1)74--81
-
Hong:2013:CPI, 56(11)10--11
-
Hong:2013:CSN, 56(6)10--11
-
Hong:2013:PDS, 56(7)10--11
-
Hong:2013:PGP, 56(3)10--11
-
Hong:2016:BIG, 59(8)10--11
-
honor, 55(9)20--23, 56(6)25--25, 58(11)10--11, 62(6)5--5, 62(8)5--5
-
honored, 53(2)21--21, 53(6)22--22, 53(9)21--21, 54(2)25--25
-
Honoring, 56(6)7--7
-
hood, 56(2)14--16, 58(9)104--113
-
Hood, Denice Ward, 56(3)27--29
-
Hood, Stafford, 56(3)27--29
-
Hood, Stafford, see Hood, Denice Ward
-
Hood:2013:ACW, 56(3)27--29
-
hooked, 61(6)18--19, 61(9)91--100
-
Hoonlor, Apirak, 56(10)74--83
-
Hoonlor:2013:TCS, 56(10)74--83
-
Hoos, Holger H., 55(2)70--80, 57(5)98--107
-
Hoos, Holger H., see Leyton-Brown, Kevin
-
Hoos:2012:PO, 55(2)70--80
-
Hootsuite, 60(11)36--43
-
Hop, 55(8)53--59
-
Hopcroft, 58(2)87--95
-
Hopcroft, John, 62(9)56--65
-
Hopcroft, John, see Gomes, Carla
-
hope, 53(1)121--125, 55(8)107--115, 56(4)12--13, 56(11)68--75,
57(3)58--69, 57(6)16--18, 59(3)88--96, 59(7)10--11, 61(10)11--13
-
Hopper, 53(2)10--11, 57(3)70--77, 58(1)18--19
-
Hopper, Andy, 57(5)52--60
-
Hopper, Andy, see Carata, Lucian
-
Horel, John, 62(1)76--84
-
Horel, John, see Gil, Yolanda
-
horizon, 53(7)132--137, 55(8)21--21, 55(11)65--75
-
Hormati, Amir, 59(11)114--122
-
Hormati, Amir, see Putnam, Andrew
-
hormones, 56(4)64--74
-
Horn, David, Van, 54(9)101--109
-
Horn, Michael S., 57(8)24--28
-
Horn, Michael S., see Wilensky, Uri
-
Horning, James, 53(4)5--5
-
Horning, James, see Gotlieb, Calvin
-
Hornung, Olga, Sorkine-, 57(4)99--106, 60(8)92--99
-
Horowitz, Damon, 55(4)111--118
-
Horowitz, Mark, 54(10)85--93, 55(4)55--63, 55(11)90--98, 58(4)85--93
-
Horowitz, Mark, see Adams, Andrew,
see Danowitz, Andrew, \see{Hameed, Rehan,
see Qadeer, Wajahat
-
Horowitz:2012:SVM, 55(4)111--118
-
horrible, 56(10)112--z
-
horrors, 55(7)51--53
-
horse, 59(5)8--9
-
Horsman, Clare, 56(10)84--93
-
Horsman, Clare, see Van Meter, Rodney
-
Horsman, Dominic, 60(8)31--34
-
Horsman:2017:VNS, 60(8)31--34
-
Horvitz, Eric, 58(11)62--73
-
Horvitz, Eric, see Shahaf, Dafna
-
Horvitz, Eric J., 58(10)38--40
-
Horvitz, Eric J., see Dietterich, Thomas G.
-
hose, 57(5)110--118
-
hospital, 53(1)126--130, 53(1)131--135, 53(3)126--131
-
host, 53(2)155--159, 56(10)33--34, 57(4)51--57
-
hosted, 53(7)113--117
-
hosting, 53(7)113--117, 53(10)85--93
-
Hot, 61(11)38--38, 61(11)40--41, 61(11)42--43, 61(11)44--45,
61(11)46--47, 61(11)48--49, 61(11)50--51, 61(11)52--53, 62(4)32--32,
62(4)34--34, 62(4)35--35, 62(4)36--36, 62(4)38--38, 62(4)40--40,
62(4)42--42, 62(4)44--44, 62(11)44--45, 62(11)46--47, 62(11)48--49,
62(11)50--53, 62(11)54--55, 62(11)56--57, 62(11)58--59,
62(11)60--61, 62(11)62--63
-
hottest, 56(4)82--89
-
Houben, Steven, 62(8)72--81
-
Houben, Steven, see Bardram, Jakob E.
-
hour!, 56(7)7--7
-
hourglass, 62(7)48--57
-
hours, 56(6)105--113, 56(10)21--23, 58(11)113--121, 61(10)96--104
-
house, 53(1)153--157, 55(7)60--70, 57(6)7--7, 58(4)38--41
-
house, in-, 53(2)139--143, 53(2)149--154, 58(12)30--32
-
Household, 54(2)29--31
-
How-things-work, 56(1)106--114
-
Howard, Ayanna, 61(9)22--24
-
Howard, Ayanna, see Wagner, Alan R.
-
Howell, Jon, 59(2)103--112, 60(7)83--92
-
Howell, Jon, see Hawblitzel, Chris,
see Parno, Bryan
-
however, 53(1)121--125, 53(1)126--130, 53(1)136--141, 53(1)142--147,
53(1)148--152, 53(1)153--157, 53(2)127--133, 53(2)139--143,
53(2)149--154, 53(2)155--159, 53(3)107--114, 53(3)132--136,
53(3)142--147, 53(3)148--151, 53(3)152--156, 53(7)48--54,
53(7)89--97, 53(7)113--117, 53(7)118--121, 53(7)128--131,
53(7)132--137, 53(10)85--93, 53(10)95--103, 55(5)111--119,
55(5)120--120, 55(6)121--130, 55(7)116--123, 55(12)101--110,
56(2)93--102, 56(5)39--42, 57(1)107--115, 57(5)110--118,
57(8)93--102, 58(1)25--27, 58(3)81--91, 58(7)101--108,
59(2)114--122, 59(3)108--115, 60(5)83--91, 60(8)92--99,
60(10)81--89, 60(10)91--100, 61(1)106--115, 61(6)91--99,
61(8)85--92
-
Howison, Mark, 62(10)48--53
-
Howison, Mark, see Hastings, Justine S.
-
HP, 53(1)120--z
-
HPC, 53(7)42--47, 58(10)12--13, 59(7)10--11, 60(9)72--80
-
HQ, 53(6)5--5
-
Hruschka, E., 61(5)103--115
-
Hruschka, E., see Mitchell, T.
-
Hsu, Bill, 56(6)54--62
-
Hsu, Carol W., 53(7)122--127
-
Hsu, Carol W., see Chang, Wei-Lun
-
Hsu, Leslie, 62(1)76--84
-
Hsu, Leslie, see Gil, Yolanda
-
Hsu:2013:RTG, 56(6)54--62
-
HTML, 56(3)50--55
-
HTML5, 55(7)16--17
-
HTTP, 55(12)64--73, 56(12)42--49
-
HTTPash, 58(3)40--42
-
http://cacm.acm.org, 53(1)16--17, 53(2)10--11, 53(3)10--11, 53(4)10--11,
53(7)10--11, 53(8)8--9, 53(9)8--9, 53(10)8--9, 55(4)8--9, 55(5)6--7,
55(6)10--11, 55(7)10--11, 55(8)10--11, 55(9)8--9, 55(10)8--9,
55(11)10--11, 55(12)12--13, 56(1)16--17, 56(2)8--9, 56(3)10--11,
56(4)12--13, 56(5)14--15, 56(6)10--11, 56(7)10--11, 56(8)10--11,
56(9)10--11, 56(10)12--13, 56(11)10--11, 56(12)10--11, 57(1)18--19,
57(2)10--11, 57(3)10--11, 57(4)10--11, 57(5)18--19, 57(6)10--11,
57(7)10--11, 57(8)8--9, 57(9)10--11, 57(10)10--11, 57(11)10--11,
57(12)10--11, 58(1)18--19, 58(2)12--13, 58(3)8--9, 58(4)12--13,
58(5)10--11, 58(6)10--11, 58(7)12--13, 58(8)10--11, 58(9)10--11,
58(10)12--13, 58(11)10--11, 58(12)10--11, 59(1)18--19, 59(2)12--13,
59(3)10--11, 59(4)10--11, 59(5)24--25, 59(6)10--11, 59(7)10--11,
59(8)10--11, 59(10)8--9, 59(11)10--11, 59(12)18--19, 60(1)10--11,
60(2)12--13, 60(3)12--13, 60(4)10--11, 60(5)8--9, 60(6)10--11,
60(7)10--11, 60(8)10--11, 60(9)10--11, 60(10)12--13, 60(11)10--11,
61(1)12--13, 61(2)10--11, 61(3)12--13, 61(4)10--11, 61(5)24--25,
61(6)8--9, 61(7)12--13, 61(8)12--13, 61(9)12--13, 61(10)8--9,
61(11)8--9, 61(12)10--11, 62(1)8--9, 62(2)8--9, 62(3)8--9, 62(4)6--6,
62(5)12--13, 62(6)8--9, 62(7)8--9, 62(8)12--13, 62(9)10--11,
62(10)8--9, 62(11)10--11, 62(12)10--11
-
http://cacm.acm.org/blogs/blog-cacm, 53(10)8--9, 55(4)8--9, 55(5)6--7,
55(6)10--11, 55(7)10--11, 55(8)10--11, 55(9)8--9, 55(10)8--9,
55(11)10--11, 55(12)12--13, 56(1)16--17, 56(2)8--9, 56(3)10--11,
56(4)12--13, 56(5)14--15, 56(6)10--11, 56(7)10--11, 56(8)10--11,
56(9)10--11, 56(10)12--13, 56(11)10--11, 56(12)10--11, 57(1)18--19,
57(2)10--11, 57(4)10--11, 57(5)18--19, 57(6)10--11, 57(7)10--11,
57(8)8--9, 57(9)10--11, 57(10)10--11, 57(11)10--11, 57(12)10--11,
58(1)18--19, 58(2)12--13, 58(3)8--9, 58(4)12--13, 58(5)10--11,
58(6)10--11, 58(7)12--13, 58(8)10--11, 58(9)10--11, 58(10)12--13,
58(11)10--11, 58(12)10--11, 59(1)18--19, 59(2)12--13, 59(3)10--11,
59(4)10--11, 59(5)24--25, 59(6)10--11, 59(7)10--11, 59(8)10--11,
59(10)8--9, 59(11)10--11, 59(12)18--19, 60(1)10--11, 60(2)12--13,
60(3)12--13, 60(4)10--11, 60(5)8--9, 60(6)10--11, 60(7)10--11,
60(8)10--11, 60(9)10--11, 60(10)12--13, 60(11)10--11, 61(1)12--13,
61(2)10--11, 61(3)12--13, 61(4)10--11, 61(5)24--25, 61(6)8--9,
61(7)12--13, 61(8)12--13, 61(9)12--13, 61(10)8--9, 61(11)8--9,
61(12)10--11, 62(1)8--9, 62(2)8--9, 62(3)8--9, 62(4)6--6,
62(5)12--13, 62(6)8--9, 62(7)8--9, 62(8)12--13, 62(9)10--11,
62(10)8--9, 62(11)10--11, 62(12)10--11
-
http://jsnice.org, 62(3)99--107
-
http://rtw.ml.cmu.edu, 61(5)103--115
-
HTTPS, 57(10)47--55, 62(1)106--114
-
http://swopec.hhs.se/hastef/papers/hastef0671.pdf, 57(3)109--109
-
http://twitter.com/blogCACM, 53(1)16--17, 53(7)10--11, 53(8)8--9,
53(9)8--9, 53(10)8--9, 55(4)8--9, 55(5)6--7, 55(6)10--11,
55(7)10--11, 55(8)10--11, 55(9)8--9, 55(10)8--9, 55(11)10--11,
55(12)12--13, 56(1)16--17, 56(2)8--9, 56(3)10--11, 56(4)12--13,
56(5)14--15, 56(6)10--11, 56(7)10--11, 56(8)10--11, 56(9)10--11,
56(10)12--13, 56(11)10--11, 56(12)10--11, 57(1)18--19, 57(2)10--11,
57(4)10--11, 57(5)18--19, 57(6)10--11, 57(7)10--11, 57(8)8--9,
57(9)10--11, 57(10)10--11, 57(11)10--11, 57(12)10--11, 58(1)18--19,
58(2)12--13, 58(3)8--9, 58(4)12--13, 58(5)10--11, 58(6)10--11,
58(7)12--13, 58(8)10--11, 58(9)10--11, 58(10)12--13, 58(11)10--11,
58(12)10--11, 59(1)18--19, 59(2)12--13, 59(3)10--11, 59(4)10--11,
59(5)24--25, 59(6)10--11, 59(7)10--11, 59(8)10--11, 59(10)8--9,
59(11)10--11, 59(12)18--19, 60(1)10--11, 60(2)12--13, 60(3)12--13,
60(4)10--11, 60(5)8--9, 60(6)10--11, 60(7)10--11, 60(8)10--11,
60(9)10--11, 60(10)12--13, 60(11)10--11, 61(1)12--13, 61(2)10--11,
61(3)12--13, 61(4)10--11, 61(5)24--25, 61(6)8--9, 61(7)12--13,
61(8)12--13, 61(9)12--13, 61(10)8--9, 61(11)8--9, 61(12)10--11,
62(1)8--9, 62(2)8--9, 62(3)8--9, 62(4)6--6, 62(5)12--13, 62(6)8--9,
62(7)8--9, 62(8)12--13, 62(9)10--11, 62(10)8--9, 62(11)10--11,
62(12)10--11
-
http://twitter.com/blogCACM., 53(4)10--11
-
http://www.welie.com/patterns, 53(2)121--126
-
Hu, Gang, 57(3)58--69
-
Hu, Gang, see Yang, Junfeng
-
Hu, Lily, 62(8)54--61
-
Hu, Lily, see Grosz, Barbara J.
-
Hu, Pan, 59(12)111--119
-
Hu, Pan, see Badam, Anirudh
-
Hu, Paul Jen-Hwa, 53(3)132--136
-
Hu, Paul Jen-Hwa, see Lin, Lin
-
Hu, Qing, 54(6)54--60, 56(4)64--74
-
Hu, Qing, see Xu, Zhengchuan
-
Hu, Sen, 55(5)111--119
-
Hu, Sen, see Aviram, Amittai
-
Hu, Shi-Min, 59(12)121--129
-
Hu, Shi-Min, see Chen, Tao
-
Hu, X. Sharon, 61(9)60--69
-
Hu, X. Sharon, see Perricone, Robert
-
Hu:2011:DDW, 54(6)54--60
-
Huang, J. Y., 55(3)84--93
-
Huang, Peng, 57(2)38--39
-
Huang, Peng, see Ceccagnoli, Marco
-
Huang, S. T., 55(3)84--93
-
Huang, S. T., see Huang, J. Y.
-
Huang, Te-Yuan, 59(9)32--34
-
Huang, Te-Yuan, see Katz-Bassett, Ethan
-
Huang, Tiejun, 61(11)44--45
-
Huang, Tiejun, see Zhu, Jun
-
Huang, Xuedong, 57(1)94--103
-
Huang, Yipeng, 58(9)60--71
-
Huang, Yipeng, see Sethumadhavan, Simha
-
Huang:2012:NGG, 55(3)84--93
-
Huang:2014:HPS, 57(1)94--103
-
hub, 55(6)70--75, 59(5)61--69
-
Hubaux, Jean-Pierre, 59(6)39--41
-
Hubaux:2016:VPD, 59(6)39--41
-
hubbub, 58(11)18--20
-
Huberman, Bernardo A., 53(8)80--88
-
Huberman, Bernardo A., see Szabo, Gabor
-
hubris, 55(4)27--28
-
Hudis, Efim, 59(7)38--42
-
Hudis, Efim, see Gurevich, Yuri
-
Hudson, Scott E., 62(10)64--75
-
Hudson, Scott E., see Mankoff, Jennifer
-
Huff, Chuck, 57(7)25--27
-
Huff:2014:CET, 57(7)25--27
-
huge, 53(2)97--104, 55(9)78--88, 58(4)85--93, 59(9)14--16, 60(1)13--15,
60(6)26--28
-
Hugenholtz, P. Bernt, 56(5)26--28
-
Hugenholtz:2013:FUE, 56(5)26--28
-
Hugh, 62(3)28--30
-
Hughes, David, 59(12)72--81
-
Hughes, David, see Ynnerman, Anders
-
Huhns, Michael, 60(4)64--72
-
Huhns, Michael, see Bouguettaya, Athman
-
Hull, Sean, 56(9)54--59
-
Hull:2013:OS, 56(9)54--59
-
human, 53(1)78--88, 53(6)38--40, 53(6)149--153, 53(7)19--21, 53(7)78--86,
53(8)17--18, 53(8)38--40, 54(12)5--5, 55(4)8--9, 55(4)35--37,
55(6)10--11, 55(8)16--17, 55(9)30--32, 55(10)56--67, 55(12)74--77,
56(1)74--82, 56(1)116--124, 56(2)11--13, 56(3)62--70, 56(6)43--46,
56(12)64--73, 57(3)30--32, 57(9)56--63, 57(12)12--14, 57(12)56--67,
57(12)80--88, 58(1)128--z, 58(3)31--33, 58(4)7--7, 58(4)8--9,
58(5)18--19, 58(8)13--15, 58(8)85--94, 59(3)58--61, 59(3)108--115,
59(5)122--131, 59(7)34--37, 59(8)22--25, 59(10)10--12, 59(10)66--72,
59(12)82--91, 59(12)121--129, 60(2)31--33, 60(2)108--115,
60(4)12--14, 60(6)31--32, 60(8)59--68, 60(9)92--92, 60(9)93--100,
60(10)15--17, 60(11)81--88, 60(12)60--67, 61(1)21--23, 61(3)86--95,
61(4)18--19, 61(8)85--92, 61(11)157--165, 62(1)66--74, 62(3)54--60,
62(3)120--z, 62(4)100--100, 62(11)104--110
-
Human-agent, 57(12)80--88
-
human-based, 59(6)102--109
-
human-caliber, 60(5)93--102
-
Human-Centered, 62(3)120--z
-
Human-centered, 56(5)32--34, 59(6)62--69
-
human-centric, 57(12)56--67
-
human-computer, 53(2)13--15, 55(5)41--43, 57(2)10--11
-
human-focused, 59(3)108--115
-
human-level, 61(10)56--67, 62(3)54--60
-
human-machine, 61(2)29--32, 62(1)50--57
-
humanity, 56(12)19--21, 57(9)24--28, 57(11)10--11, 59(6)20--21,
60(2)40--42, 61(2)29--32, 62(2)8--9, 62(7)7--7, 62(9)56--65
-
humanoid, 55(5)12--13
-
humble, 55(9)30--32
-
Humble, Jez, 61(4)34--39
-
Humble:2018:CDS, 61(4)34--39
-
humility, 55(11)8--9, 60(12)7--7
-
Humphreys, Greg, 56(5)93--101
-
Humphreys, Greg, see Parker, Steven G.
-
hundreds, 56(2)93--102, 61(1)106--115, 62(3)99--107, 62(8)62--70
-
hunger, 59(8)18--20
-
hunt, 59(12)56--62, 61(6)13--14, 62(5)15--17
-
Hunt, Galen, 53(8)72--79, 54(7)111--116
-
Hunt, Galen, see Kinshumann, Kinshuman,
see Larus, James
-
Hur, Wonchang, 53(1)131--135
-
Hur:2010:FDI, 53(1)131--135
-
hurdles, 53(2)106--113
-
Hurni, Philipp, 55(1)82--90
-
Hurni, Philipp, see Coulson, Geoff
-
hurricane, 53(3)121--125
-
Hurst, Amy, 62(10)64--75
-
Hurst, Amy, see Mankoff, Jennifer
-
hurt, 61(1)70--77
-
Husain, 57(7)50--57
-
Huskey, 55(7)31--33
-
Hutchins, Edwin L., 59(5)70--77
-
Hutchins, Edwin L., see Casner, Stephen M.
-
Hutchison, 53(1)121--125
-
Hutter, Frank, 57(5)98--107
-
Hutter, Frank, see Leyton-Brown, Kevin
-
Hwang, Wonil, 53(5)130--133
-
Hwang:2010:NPR, 53(5)130--133
-
hybrid, 55(7)34--37, 56(1)44--49, 56(10)97--104, 59(5)44--46,
60(1)97--104, 61(8)85--92
-
Hydari, Muhammad Zia, 58(11)30--32
-
Hydari:2015:EBD, 58(11)30--32
-
Hyde, Julian, 53(1)48--52
-
Hyde:2010:DF, 53(1)48--52
-
hydride, 60(3)83--91
-
hydrodynamics, 54(12)64--73
-
Hyman, Paul, 54(12)21--21, 55(1)28--29, 55(3)22--22, 55(5)17--17,
55(6)24--24, 55(7)21--21, 55(9)20--23, 55(12)20--22, 56(3)18--20,
56(5)23--25, 56(6)18--20, 56(8)19--21, 56(10)21--23, 57(1)27--29,
57(4)16--19
-
Hyman:2011:DR, 54(12)21--21
-
Hyman:2012:HAT, 55(9)20--23
-
Hyman:2012:IT, 55(6)24--24
-
Hyman:2012:JM, 55(1)28--29
-
Hyman:2012:LF, 55(7)21--21
-
Hyman:2012:SSG, 55(3)22--22
-
Hyman:2012:WR, 55(5)17--17
-
Hyman:2012:YDE, 55(12)20--22
-
Hyman:2013:ARG, 56(6)18--20
-
Hyman:2013:CSE, 56(3)18--20
-
Hyman:2013:SAE, 56(8)19--21
-
Hyman:2013:SDE, 56(5)23--25
-
Hyman:2013:SHL, 56(10)21--23
-
Hyman:2014:PTE, 57(1)27--29
-
Hyman:2014:SST, 57(4)16--19
-
hype, 58(9)104--113, 59(3)35--37, 62(5)7--7
-
hyper, 56(6)105--113
-
hyper-intelligent, 58(12)15--16
-
hyper-realistic, 59(5)136--z
-
Hypercriticality, 53(7)5--5
-
hyperdimensional, 55(3)52--53
-
Hypertext, 59(3)120--z, 60(6)20--22
-
hypotheses, 60(4)86--93, 62(2)27--27
-
hypothesis, 53(2)144--148
-
Hyrynsalmi, Sami, 61(11)34--35
-
Hyrynsalmi, Sami, see Lahtiranta, Janne