Index file section M for sigplan2000.bib

Last update: Thu Nov 9 02:49:22 MST 2023               

Return to index directory

M

• M., Ravi Pratap, 38(7)144--152
• Macaulay, 39(4)26--29
• Macbeth, Jamie, 40(7)105--114
• Macbeth, Jamie, see Brisk, Philip
• MacDonald, Steve, 38(10)203--215
• MacDonald, Steve, see Tan, Kai
• Machine-Adaptable, 35(7)41--51
• machine-independent, 39(4)1--13, 41(1)397--408
• Macintosh, 39(3)7--11
• Mackey, Lester, 41(9)38--49
• Mackey, Lester, see Walker, David
• Mackinnon, Tim, 39(10)4--5, 39(10)236--246
• Mackinnon, Tim, see Freeman, Steve
• macro, 36(10)74--85, 37(3)31--40, 37(9)72--83, 41(9)111--121
• macro-architecture, 37(4)74--82
• macro-expresses, 41(9)26--37
• MacroML, 36(10)74--85
• made, 37(8)53--65, 38(9)263--274, 40(7)69--77, 41(1)115--126, 41(1)153--165, 41(1)283--294, 41(6)118--131, 41(7)182--188
• Madhusudan, P., 40(1)98--109, 41(1)153--165
• Madhusudan, P., see Alur, Rajeev
• Madriles, Carlos, 40(6)269--279
• Madriles, Carlos, see Quiñones, Carlos García
• Maessen, Jan-Willem, 35(10)1--12
• Maessen:2000:IJM, 35(10)1--12
• Magarshack, Philippe, 37(7)1--1
• Magarshack:2002:SCN, 37(7)1--1
• magnitude, 41(6)96--107, 41(7)93--102, 41(9)13--25
• Mahapatra, Nihar R., 38_2s_86_96
• Mahapatra:2003:PAA, 38_2s_86_96
• Mahlke, Scott, 38(5)300--311
• Mahlke, Scott, see Chu, Michael
• Maignan, Aude, 38(7)153--162
• Maignan, Aude, see Caspi, Paul
• mail, 25(6)112--126
• main, 39(11)271--283, 41(1)103--114, 41(1)127--140, 41(1)153--165, 41(1)194--205, 41(1)309--319, 41(1)320--333, 41(7)54--63, 41(7)93--102, 41(7)163--172, 41(9)50--61
• mainline, 41(1)383--396
• mainly, 41(3)20--29, 41(5)30--38, 41(7)199--208
• mainstream, 40(10)1--19, 41(1)269--269, 41(1)295--308
• maintain, 41(9)38--49
• maintainable, 41(5)46--54
• maintaining, 40(1)195--208, 41(6)108--117, 41(6)158--168, 41(7)2--11
• maintenance, 39(10)52--53, 39(10)314--315, 39(11)211--223, 41(2)29--33, 41(5)30--38
• Mairson, Harry G., 38(9)125--125, 39(9)138--149
• Mairson, Harry G., see Neergaard, Peter M{\o}ller
• Mairson:2003:HSD, 38(9)125--125
• MaJIC, 37(5)294--303
• major, 41(1)269--269, 41(7)1--1, 41(7)199--208
• major, column-, 41(5)39--45
• majority, 41(6)72--83, 41(9)38--49
• Majumdar, Rupak, 36(5)203--213, 37(1)58--70, 39(1)232--244, 39(6)1--13, 40(6)38--47
• Majumdar, Rupak, see Ball, Thomas, see Henzinger, Thomas A., see Jhala, Ranjit
• Mak, Kwok-Ken, 35(11)37--48
• Mak, Kwok-Ken, see Nanda, Ashwini
• Makholm, Henning, 36(1)25--34, 40(9)156--167
• Makholm:2001:RBM, 36(1)25--34
• Makholm:2005:TIP, 40(9)156--167
• making, 39(9)4--15, 39(11)97--106, 41(1)153--165, 41(2)18--24, 41(6)72--83, 41(6)181--192, 41(6)239--251, 41(6)332--340
• Malan, Katherine, 39(10)83--87
• Malan:2004:ECD, 39(10)83--87
• Malik, Sharad, 38(5)49--62, 39(7)47--56
• Malik, Sharad, see Qin, Wei, \see{Xie, Fen
• malloc, 38_2s_269_280, 39(6)35--46
• malloc/free, 39(6)35--46
• Mallya, Ashok U., 39(10)120--123, 39(12)73--83
• Mallya, Ashok U., see Singh, Munindar P.
• Maman, Itay, 40(10)97--116
• Maman, Itay, see Gil, Joseph (Yossi)
• manage, 39(11)260--270, 40(10)167--176, 41(7)22--33, 41(9)124--135
• managed, 41(6)26--37, 41(6)144--157
• managed, Hardware-, 39(7)192--201
• management, memory-, 41(7)22--33
• manager, 36(1)25--34, 41(6)158--168
• managing, 37(10)123--132, 38(10)107--118, 41(6)38--51
• Mandelbaum, Yitzhak, 36(5)309--320, 38(9)213--225, 41(1)2--15
• Mandelbaum, Yitzhak, see Fisher, Kathleen, see Kumar, Sanjeev
• Mandelbaum:2003:ETT, 38(9)213--225
• Mandelin, David, 38(5)182--195, 40(6)48--61
• Mandelin, David, see Ammons, Glenn
• Mandelin:2005:JMH, 40(6)48--61
• Manghi, Paolo, 39(9)126--137
• Manghi, Paolo, see Colazzo, Dario
• Mangolia, Anil, 40(5)18--27
• Mangolia, Anil, see Kumar, Rajeev
• manipulate, 41(1)115--126
• manipulated, 35(11)168--177, 41(6)118--131, 41(7)72--82
• manipulating, 41(1)115--126
• manipulation, 36(6)19--19, 37(3)1--8, 37(3)9--18, 37(3)19--30, 37(3)31--40, 37(3)41--51, 37(3)52--62, 37(3)63--74, 37(3)75--86, 37(3)87--97, 37(3)98--107, 37(3)108--118, 37(3)119--130, 37(3)131--142, 37(12)98--107, 39(10)29--30, 41(3)4--8, 41(6)132--143
• Manjón, Baltasar, Fernández-, 40(12)28--37
• Manjunath, Geetha, 35(4)44--50
• Manjunath:2000:SHJ, 35(4)44--50
• Mann, Paul B., 41(4)16--23
• Mann, Tobias, 40(7)193--202
• Mann:2005:SDA, 40(7)193--202
• Mann:2006:TBG, 41(4)16--23
• Manna, Zohar, 39(1)318--329
• Manna, Zohar, see Sankaranarayanan, Sriram
• manner, 41(6)354--363, 41(9)99--110
• manner.3, 41(4)24--29
• Manns, Mary Lynn, 39(10)151--152
• Manns, Mary Lynn, see Josuttis, Nicolai M.
• Manohar, Rajit, 37(1)245--246, 39(11)27--36
• Manohar, Rajit, see Ekanayake, Virantha
• Manohar:2002:SFD, 37(1)245--246
• Manolescu, Dragos A., 37(11)40--51
• Manolescu:2002:WEC, 37(11)40--51
• Manson, Jeremy, 40(1)378--391
• Manson:2005:JMM, 40(1)378--391
• manual, 37(6)59--81, 38(10)1--12, 41(1)346--358, 41(6)228--238, 41(7)103--112, 41(7)113--124
• manually, 41(1)141--152, 41(6)228--238
• Manuel, 41(8)6--9
• map, 37(9)14--25, 41(1)206--217, 41(7)199--208
• Maple, 39(4)26--29
• mapped, 41(1)194--205
• mapping, 35(10)178--187, 38_2s_65_75, 38(7)183--188, 40(7)166--174, 41(6)181--192, 41(7)54--63, 41(7)72--82, 41(7)199--208
• Mar, 37(12)9--13
• Maranget, Luc, 36(10)26--37
• Maranget, Luc, see Le Fessant, Fabrice
• Marchetti, Alessio, 39(10)188--189
• Marchetti, Alessio, see Lancia, Maurizio
• Marcuello, Pedro, 40(6)269--279
• Marcuello, Pedro, see Quiñones, Carlos García
• Marelly, Rami, 37(11)83--100
• Marelly:2002:MIS, 37(11)83--100
• margin, 39(6)35--46
• Marguerite, Julie, 37(11)246--261
• Marguerite, Julie, see Cecchet, Emmanuel
• Marick, Brian, 39(10)125--125, 39(12)64--72
• Marick:2004:MWOa, 39(10)125--125
• Marick:2004:MWOb, 39(12)64--72
• Marine, 39(10)109--110
• Marinov, Darko, 37(11)231--245, 38(11)313--325
• Marinov, Darko, see Khurshid, Sarfraz
• Marinov:2003:OEP, 38(11)313--325
• mark, 38(11)269--281
• Mark-and-Sweep, 41(6)354--363
• Mark-copy, 38(11)326--343
• mark-sweep, 39(11)199--210, 41(3)20--29, 41(6)364--375
• market, 41(1)180--193, 41(7)145--152
• Markstein, Peter, 39(4)58--65
• Markstein, Peter, see Markstein, Victoria
• Markstein, Victoria, 39(4)58--65
• Markstein:2004:ORC, 39(4)58--65
• Markstrum, Shane, 40(6)85--95
• Markstrum, Shane, see Chin, Brian
• marksweep, 41(6)364--375
• markup, 40(12)28--37
• Marlet, Renaud, 35(7)76--77
• Marlet, Renaud, see Cytron, Ron
• Marlet:2000:TPS, 35(7)76--77
• Marlow, S., 35(9)257--267
• Marlow, S., see Cheadle, A. M.
• Marlow, Simon, 36(5)274--285, 39(9)4--15, 40(1)1--13
• Marlow, Simon, see Chakravarty, Manuel M. T.
• Marlow:2001:AEH, 36(5)274--285
• Marlow:2004:MFC, 39(9)4--15
• Marques, Daniel, 38(10)84--94, 39(11)235--247
• Marques, Daniel, see Bronevetsky, Greg
• Marques, Paulo, 39(10)210--211
• Marques, Paulo, see Cabral, Bruno
• Marshall, Joe, 40(9)216--227
• Marshall, Joe, see Pettyjohn, Greg
• marshalling, 38(9)87--98, 38(9)99--110
• Martin, Angela, 38(12)76--96, 39(10)148--150
• Martin, Angela, see Biddle, Robert, see Fraser, Steven
• Martin, Martin, 38(5)77--90
• Martin, Martin, see Stephenson, Mark
• Martin, Michael, 40(10)365--383
• Martin, Milo M. K., 35(11)25--36
• Martin, Thomas, 39(7)10--19
• Martin:2000:TSA, 35(11)25--36
• Martin:2004:MSE, 39(7)10--19
• Martin:2005:FAE, 40(10)365--383
• Martinez, Ana Belen, 38(6)40--49
• Martinez, Ana Belen, see Ortin, Francisco
• Martínez, José F., 37(10)18--29
• Martinez:2002:SSA, 37(10)18--29
• Martins, Junior M., 39(10)214--215
• Martins, Junior M., see Rheinheimer, Leticia R.
• Martonosi, Margaret, 37(10)96--107, 38(5)49--62, 38(10)107--118, 39(7)115--125, 39(11)248--259, 41(7)1--1
• Martonosi, Margaret, see Contreras, Gilberto, see Juang, Philo, \see{Liu, Ting, see Wu, Qiang, \see{Xie, Fen
• Martonosi:2006:ESW, 41(7)1--1
• masked, 41(5)39--45
• masses, 39(9)236--243
• massively, 39(5)48--57
• Mastroeni, Isabella, 37(3)87--97, 39(1)186--197
• Mastroeni, Isabella, see Giacobazzi, Roberto
• Masuhara, Hidehiko, 40(9)320--330
• Masuhara:2005:ACA, 40(9)320--330
• match, 41(1)2--15, 41(6)144--157, 41(7)44--53
• matching, 36(3)67--80, 36(10)26--37, 38(10)243--249, 38(11)205--223, 40(10)345--364, 40(12)14--23, 41(1)103--114, 41(4)24--29, 41(6)52--60, 41(7)145--152
• matching, Pattern-, 37(12)76--87
• matching, pattern-, 37(2)57--67
• Maté, 37(10)85--95
• math, 38(8)60--66, 39(10)141--142
• mathematical, 39(4)372--389
• mathematics, 25(6)92--101, 25(6)112--126, 38(2)47--56, 38(9)79--86
• Mathiske, B., 38(11)282--301
• Mathiske, B., see Chen, G.
• Matic, Slobodan, 40(7)21--30
• Matic, Slobodan, see Henzinger, Thomas A.
• MATLAB, 35(1)53--65, 37(5)294--303, 38(5)258--268
• matrix, 36(7)24--33, 38(10)144--154, 41(1)16--29, 41(5)39--45
• Matrix-based, 40(11)29--36
• matter, 39(9)150--161, 39(10)264--267, 41(1)1--1
• Matthews, Robert, 36(12)61--67
• Matthews, Robert, see Pawson, Richard
• Mattson, Peter, 35(11)82--92
• Mattson:2000:CS, 35(11)82--92
• Mauborgne, Laurent, 38(5)196--207
• Mauborgne, Laurent, see Blanchet, Bruno
• Mauer, Carl J., 35(11)25--36
• Mauer, Carl J., see Martin, Milo M. K.
• maximal, 41(7)12--21
• maximally, 41(7)34--43
• maximize, 41(7)2--11, 41(7)72--82, 41(7)189--198
• maximizing, 39(10)222--223, 41(6)228--238, 41(7)72--82
• maximum, 41(7)163--172
• maximum-weightsum, 35(9)137--149
• Maya, 37(5)270--281
• Maze, David, 37(10)291--303
• Maze, David, see Gordon, Michael I.
• McAllester, David, 39(9)189--200
• McAllester, David, see Blume, Matthias
• McBride, 41(1)1--1
• McBride, Matthew R., 39(10)230--235
• McBride:2004:SAE, 39(10)230--235
• McCann, Peter J., 36(3)206--219
• McCann, Peter J., see Bhargavan, Karthikeyan
• McCloskey, Bill, 41(1)346--358
• McCloskey:2006:ASI, 41(1)346--358
• McConnell, Steve, 39(10)141--142
• McConnell, Steve, see Haungs, Jim
• McCormick, Edward, 39(10)9--10
• McCormick:2004:JFY, 39(10)9--10
• McCracken, Michael O., 36(7)123--132
• McCracken, Michael O., see Vetter, Jeffrey S.
• McCreight, Andrew, 41(1)397--408
• McCreight, Andrew, see Menon, Vijay S.
• McCurdy, Collin, 38(10)73--82
• McCurdy:2003:UCC, 38(10)73--82
• McDirmid, Sean, 36(11)211--222
• McDirmid:2001:JNA, 36(11)211--222
• McDonald, Austen, 41(6)1--13
• McDonald, Austen, see Carlstrom, Brian D.
• McDonald, John, 35(11)178--189
• McDonald, John, see Austin, Todd, see Burke, Jerome
• McDowell, Luke K., 38(10)37--48
• McDowell:2003:ISS, 38(10)37--48
• McGeoch, Lyle A., 38_2s_221_232
• McGeoch, Lyle A., see Kaplan, Scott F.
• McKinely, Kathryn S., 36(11)342--352
• McKinely, Kathryn S., see Blackburn, Stephen M.
• McKinley, Kathryn S., 35(11)117--128, 36(1)137--142, 36(5)114--124, 37(5)153--164, 37(11)1--12, 38_2s_25_36, 38_2s_281_290, 38(11)344--358, 41(6)364--375
• McKinley, Kathryn S., see Berger, Emery D., see Blackburn, Stephen M., see Guyer, Samuel Z., see Stefanovi{\'c}, Darko
• McKinna, James, 41(1)1--1
• McKinna:2006:WDT, 41(1)1--1
• McKusick, Marshall K., 39(4)49--57
• McKusick, Marshall K., see Graham, Susan L.
• McMillan, Kenneth L., 39(1)232--244
• McMillan, Kenneth L., see Henzinger, Thomas A.
• McNamara, Brian, 35(9)118--129, 36(4)25--30
• McNamara:2000:FPC, 35(9)118--129
• McNamara:2001:FPC, 36(4)25--30
• McNamara:2001:FPI, 36(4)25--30
• McPeak, Scott, 37(1)128--139, 38(5)232--244
• McPeak, Scott, see Condit, Jeremy, see Necula, George C.
• MDA-levels, 39(10)60--62, 39(10)318--319
• Me, Free-, 41(6)364--375
• me, free-, 41(6)364--375
• mean, 36(12)35--49
• meaningful, 41(1)257--268, 41(8)21--28, 41(9)136--147
• measure, 41(6)26--37, 41(7)83--92
• measurement, 41(6)354--363
• measuring, 39(7)146--154
• mechanical, 41(2)8--17, 41(7)125--134
• mechanized, 41(1)320--333, 41(6)401--414, 41(7)135--144
• Mechanizing, 40(9)240--240
• MEDASL, 39(10)11--12, 39(10)168--169
• medical, 41(1)180--193
• meet, 41(3)20--29, 41(6)72--83, 41(7)72--82
• Meeting, 38(12)1--1
• Mehlhorn, 41(1)168--179
• Mehlich, Michael, 39(10)25--26
• Mehlich, Michael, see Akers, Robert L.
• Mehofer, Eduard, 35(7)65--72
• Mehofer:2000:PDF, 35(7)65--72
• Meijer, Erik, 35(1)109--122, 36(3)261--275
• Meijer, Erik, see Leijen, Daan, see Shields, Mark
• Melgratti, Hernán, 40(1)209--220, see Bruni, Roberto
• Melhem, Rami, 38(7)284--293, 40(7)1--10
• Melhem, Rami, see AbouGhazaleh, Nevine, see Xu, Ruibin
• Meli, Ali S., 37(10)291--303
• Meli, Ali S., see Gordon, Michael I.
• Melliès, Paul-André, 39(1)52--63, see Vouillon, Jerome
• Mellor, Stephen, 39(10)138--140
• Mellor, Stephen, see Miller, Granville
• Mem, Cool-, 37(10)133--143
• Membership, 37(4)74--82
• memoization, 38(1)14--25, 41(5)46--54, 41(6)38--51, 41(6)96--107
• memoize, 41(6)38--51
• MemorIES, 35(11)37--48
• memories, 41(7)163--172
• memorization, 41(6)96--107
• memory, distributed-, 40(10)423--437, 41(6)108--117
• memory, in-, 41(1)2--15
• memory, shared-, 40(6)1--14, 41(7)199--208
• memory-constrained, 38(11)282--301
• memory-management, 41(7)22--33
• memory-performance-limited, 41(6)252--262
• memory-reference, 38(7)51--58
• MEMS-based, 35(11)1--12
• Menon, Vijay, 35(1)53--65, 41(6)26--37
• Menon, Vijay, see Adl-Tabatabai, Ali-Reza
• Menon, Vijay S., 41(1)397--408
• Menon:2000:CSL, 35(1)53--65
• Menon:2006:VSP, 41(1)397--408
• mention, 41(1)91--102
• Merchant, Arif, 39(11)48--58
• Merchant, Arif, see Saito, Yasushi
• merging, 40(6)315--326, 41(4)24--29, 41(6)118--131, 41(6)252--262, 41(9)13--25
• Mérillion, Fabrice, 36(8)121--127
• Merillion:2001:DHE, 36(8)121--127
• Merillon, Fabrice, 36(8)121--127
• Merillon:2001:DHE, 36(8)121--127
• Mernik, Marjan, 36(12)84--94, 40(4)29--38, 40(4)39--46
• Mernik, Marjan, see Avdi{\v{c}}au{\v{s}}evi{\'c}, Enis, see {\v{C}}repin{\v{s}}ek, Matej
• Merro, Massimo, 37(1)71--80
• Merro:2002:BCS, 37(1)71--80
• message, 35(3)49--58, 38_2s_195_206, 41(1)194--205, 41(6)108--117, 41(9)124--135
• Message-Driven, 37(4)27--28
• message-passing, 37(1)45--57, 41(9)124--135
• met, 41(7)182--188
• meta, 38(5)77--90, 39(10)190--191
• meta-data, 41(6)144--157
• meta-language, 37(6)28--37
• meta-level, 35(11)59--70
• meta-modeling, 41(7)113--124
• meta-programming, 37(9)206--217, 37(12)60--75, 38(9)275--286, 39(10)15--15
• meta-theory, 40(9)240--240
• metadata, 39(6)267--276
• MetaEdit+, 39(10)39--40
• metamorphic, 37(3)31--40
• metaOCaml, 39(10)41--42
• Metcalf, Chris, 40(6)201--212
• Metcalf, Chris, see Ayers, Andrew
• methodology, 35(1)25--38, 39(10)125--125, 39(12)64--72, 41(1)115--126, 41(6)376--386, 41(7)12--21, 41(7)189--198
• methods/tools, 41(5)30--38
• metric, 35(3)59--64, 35(10)166--177, 38(11)149--168
• metronome, 38(7)81--92, 40(7)183--192
• Meunier, Philippe, 39(9)16--27, 41(1)218--231
• Meunier, Philippe, see Herman, David
• Meunier:2006:MSB, 41(1)218--231
• Meur, Anne-Françoise Le, 37(3)9--18
• Meur:2002:TBG, 37(3)9--18
• Meyr, Heinrich, 37(7)185--193
• Meyr, Heinrich, see Wahlen, Oliver
• Meyssonnier, Charles, 39(1)135--146
• Meyssonnier, Charles, see Zilio, Silvano Dal
• Mezini, Mira, 35(10)188--207, 36(11)283--299, 37(11)52--67
• Mezini, Mira, see Herrmann, Stephan, see Ostermann, Klaus
• Mezini:2002:IIC, 37(11)52--67
• MiBench, 41(7)173--181
• Michael, Maged M., 39(6)35--46
• Michael:2004:SLF, 39(6)35--46
• Michel, Laurent, 37(11)101--110
• Michel, Olivier, 37(12)76--87
• Michel, Olivier, see Giavitto, Jean-Louis
• Michel:2002:CBA, 37(11)101--110
• Micro, 40(10)97--116
• micro-engine, 41(7)72--82
• micro-engines, 41(7)72--82
• microarchitectural, 38(11)169--186
• microbenchmark, 41(1)346--358
• microcontroller, 40(2)5--10, 40(7)59--68
• microprocessor, 39(11)248--259, 41(6)118--131
• Microsoft, 39(10)143--144, 41(6)252--262
• middle, 36(8)175--180
• middleware, 35(8)31--40, 35(10)118--129, 36(8)175--180, 36(8)181--181, 36(8)182--187, 36(8)188--195, 36(8)196--204, 36(8)205--213, 36(8)214--222, 36(8)223--229, 36(8)230--237, 36(8)238--246, 38(10)107--118, 39(10)320--321
• middleware-specific, 39(10)60--62, 39(10)318--319
• Midkiff, Sam, 35(10)66--82
• Midkiff, Sam, see Serrano, Mauricio
• Midkiff, Samuel P., 41(6)84--95
• Midkiff, Samuel P., see Fei, Long
• might, 25(6)92--101, 39(4)360--371, 41(7)153--162
• Might, Matthew, 41(1)127--140, 41(6)295--307, 41(9)13--25
• Might, Matthew, see Shivers, Olin
• Might:2006:EAD, 41(1)127--140
• Might:2006:IFA, 41(9)13--25
• Migrating, 39(10)290--293
• migration, 38(8)22--28, 40(7)10--20, 40(10)265--279, 41(7)12--21
• MILAN, 36(8)82--87
• Milanova, Ana, 36(11)43--55
• Milanova, Ana, see Rountev, Atanas
• Milicev, Dragan, 35(2)36--45
• Milicev:2000:SPS, 35(2)36--45
• Milicev:2000:SSP, 35(2)36--45
• Milinski, Sven, 39(10)283--289
• Milinski, Sven, see Zimmermann, Olaf
• Miller, Barton P., 35(5)70--82
• Miller, Barton P., see Xu, Zhichen
• Miller, Granville, 39(10)138--140, 39(10)148--150
• Miller, Granville, see Fraser, Steven
• Miller:2004:MDA, 39(10)138--140
• million, 36(5)254--263, 41(6)14--25, 41(6)283--294
• millisecond, 41(6)283--294
• Millstein, Todd, 35(10)130--145, 36(5)203--213, 37(9)110--122, 38(5)220--231, 38(11)224--240, 40(1)364--377, 40(6)85--95
• Millstein, Todd, see Ball, Thomas, see Chin, Brian, \see{Clifton, Curtis, see Lerner, Sorin
• Millstein:2002:MTH, 37(9)110--122
• Millstein:2003:RMB, 38(11)224--240
• Milner, Christopher W., 37(7)175--184
• Milner, Robin, 36(3)220--221, 38(1)38--49
• Milner, Robin, see Jensen, Ole H{\o}gh
• Milner:2001:CF, 36(3)220--221
• Milner:2002:QPF, 37(7)175--184
• Min, Sang Lyul, 36(8)1--10
• Min, Sang Lyul, see Lee, Sheayun
• min-cut, 39(6)59--70
• mind, 37(2)23--26
• mindstorms, 36(12)16--19
• Miné, Antoine, 38(5)196--207, 41(7)54--63, see Blanchet, Bruno
• Mine:2006:FSV, 41(7)54--63
• Minghui, Wu, 38(6)30--39
• Minghui, Wu, see ChunYan, Yu
• Minh, Chi Cao, 41(6)1--13
• Minh, Chi Cao, see Carlstrom, Brian D.
• Minimair, Manfred, 39(4)26--29
• Minimair:2004:MMR, 39(4)26--29
• minimal, 41(1)397--408, 41(6)272--282
• minimization, 36(2)47--54, 41(7)163--172
• minimize, 41(3)20--29, 41(6)118--131, 41(6)181--192
• minimizing, 37(4)42--53, 40(3)40--48, 41(3)20--29, 41(7)12--21
• minimum, 41(1)30--41
• minimum;, 41(1)1--1
• mining, 37(1)4--16, 38(10)1--1, 39(10)20--21, 40(6)48--61
• Minneapolis, 35(3)20--20
• Minnesota, 35(3)20--20
• minute, 41(6)387--400
• mirror, 40(10)231--245
• misaligned, 41(6)118--131
• misleading, 41(4)24--29, 41(7)54--63
• mismatch, 41(7)34--43
• miss, 35(11)168--177, 36(1)59--64, 37(5)222--233, 39(11)177--188
• missed, 41(6)14--25
• missing, 41(6)354--363, 41(9)99--110
• mission-critical, 41(6)341--353
• mistakes, 25(6)112--126, 39(9)66--66
• Mitchell, John, 35(11)168--177
• Mitchell, John, see Lie, David
• Mitchell, John C., 36(3)1--3
• Mitchell, Mark, 35(11)168--177
• Mitchell, Mark, see Lie, David
• Mitchell:2001:PLM, 36(3)1--3
• mitigate, 41(6)181--192
• Mitosis, 40(6)269--279
• Mitra, Tulika, 38(10)191--202
• Mitra, Tulika, see Goel, Ankit
• mixed, 37(3)119--130, 41(2)25--28
• Mixed-initiative, 37(3)119--130
• mixin, 39(10)208--209, 40(9)156--167
• mixin-based, 36(11)223--240
• MJ, 38(11)241--254
• ML, 36(10)14--25, 36(10)50--61, 37(1)319--330, 38(9)27--38, 39(4)540--553, 39(4)554--567, 40(9)1--1, 41(1)1--1, 41(1)257--268, 41(1)409--421, 41(9)50--61, 41(9)74--86, 41(9)99--110
• ml-burg, 41(6)52--60
• MLF, 40(9)144--155
• Mo, Junhui, 40(11)29--36
• Mo, Junhui, see Li, Bixin
• mobile, 36(3)104--115, 36(3)116--127, 39(1)147--160, 39(7)1--9, 39(10)174--175, 39(10)206--207, 40(6)249--260, 41(3)10--19, 41(7)1--1, 41(7)12--21, 41(7)199--208, 41(9)26--37
• Mobile-Code, 36(5)137--147
• Mobile-D, 39(10)174--175
• mobility, 40(10)403--422
• mock, 39(10)4--5, 39(10)236--246
• Mock, Markus, 39(4)656--669
• Mock, Markus, see Grant, Brian
• mockObject-like, 39(10)162--163
• modal, 41(1)153--165, 41(1)257--268
• mode, 35(11)168--177, 41(6)158--168, 41(7)153--162
• model-checked, 41(1)153--165
• model-checking, 41(1)153--165
• model-driven, 38(5)63--76, 39(10)310--311, 41(7)135--144
• modeled, 41(1)16--29, 41(2)8--17
• modeling, 35(10)93--104, 39(6)195--206, 39(7)10--19, 39(7)107--114, 39(10)6--7, 39(10)11--12, 39(10)18--19, 39(10)39--40, 39(10)46--47, 39(10)156--157, 39(10)168--169, 39(10)170--171, 40(10)133--146, 41(2)8--17, 41(6)320--331, 41(7)113--124, 41(9)38--49
• modeling, meta-, 41(7)113--124
• modelling, 41(1)1--1
• Models, Object-, 36(12)50--60
• models, software-through-, 38(7)133--143
• moderate, 41(6)84--95
• modern, 41(1)55--66, 41(1)269--269, 41(4)30--35, 41(6)228--238, 41(6)401--414, 41(7)199--208, 41(9)99--110
• modest, 36(4)1--2, 37(4)54--56, 41(6)320--331
• modification, 25(6)112--126, 39(4)372--389, 41(7)2--11
• modify, 25(6)112--126, 39(4)372--389, 41(7)163--172
• modifying, 41(1)346--358, 41(6)38--51, 41(6)332--340
• modular, non-, 41(9)124--135
• modularity, 41(1)320--333, 41(1)346--358, 41(5)46--54, 41(6)38--51, 41(6)376--386, 41(6)401--414
• module-level, 41(9)99--110
• Moh, Chuang-Hue, 38(11)403--417
• Moh, Chuang-Hue, see Boyapati, Chandrasekhar
• Mohanty, S., 37(7)18--27
• Mohanty:2002:RDS, 37(7)18--27
• MoJo, 37(7)204--212
• M{\o}ller, Anders, 36(5)221--231
• Moller:2001:PAL, 36(5)221--231
• momentarily, 41(9)13--25
• monad, 35(1)81--94, 35(9)186--197, 37(1)154--165, 37(9)26--35, 37(9)133--144, 40(9)192--203, 41(5)30--38, 41(9)26--37, 41(9)124--135
• monad-with-plus, 41(9)124--135
• monadic, 35(1)95--108, 35(9)174--185, 37(12)47--59, 39(9)103--114, 40(9)294--305, 41(1)55--66, 41(1)153--165, 41(5)30--38
• monads., 41(1)1--1
• Mondrian, 37(10)304--316
• monitor, 39(10)172--173, 41(5)21--29, 41(6)84--95
• monitoring, 36(3)206--219, 38_2s_1_12, 38_2s_76_85, 39(6)267--276, 41(5)21--29, 41(6)84--95
• Monniaux, David, 36(3)93--101, 38(5)196--207
• Monniaux, David, see Blanchet, Bruno
• Monniaux:2001:AMC, 36(3)93--101
• Monnier, Stefan, 36(5)81--91
• Monnier:2001:PS, 36(5)81--91
• monolithic, 41(5)30--38
• monotonic, rate-, 41(7)153--162
• Montanari, Ugo, 40(1)209--220
• Montanari, Ugo, see Bruni, Roberto
• Monte-Carlo, 36(3)93--101
• Moon, Hwashin, 38(7)12--23
• Moon, Hwashin, see Kulkarni, Prasad
• Moon, Sewon, 41(5)21--29
• Moon, Soo-Mook, 36(1)65--70, 36(8)39--47
• Moon, Soo-Mook, see Chung, Yoo C., see Park, Jinpyo
• Moon:2006:TMS, 41(5)21--29
• Mooney III, Vincent J., 37(7)28--37, 40(7)175--182
• Mooney III, Vincent J., see Palem, Krishna V., see Tan, Yudong
• Moor, Oege de, 39(1)26--38, 40(6)117--128, 40(10)345--364
• Moor, Oege de, see Allan, Chris, see Avgustinov, Pavel, see Sittampalam, Ganesh
• Moore, 41(4)3--14
• Moore, David L., 36(9)74--76
• Moore, J. Strother, 37(9)123--123
• Moore, Jonathan T., 36(5)13--23, 40(1)233--246
• Moore, Jonathan T., see Foster, J. Nathan, see Hicks, Michael
• Moore, Kevin E., 35(11)25--36
• Moore, Kevin E., see Martin, Milo M. K.
• Moore, Stephen F., 39(11)144--155
• Moore, Stephen F., see Wang, Perry H.
• Moore:2001:SSH, 36(9)74--76
• Moore:2002:FFM, 37(9)123--123
• morally, 41(1)206--217
• Moran, Andrew, 36(5)274--285
• Moran, Andrew, see Marlow, Simon
• moreover, 41(1)1--1, 41(1)67--78, 41(7)135--144
• Moritz, Csaba Andras, 37(10)133--143
• Moritz, Csaba Andras, see Ashok, Raksit
• Moriyón, Roberto, 35(10)253--263, see Ortigosa, Alvaro
• mornin, 39(10)88--95
• Morphable, 36(8)128--137
• morphology, 39(9)213--223
• Morris, Dale, 35(11)212--221
• Morris, Dale, see Zahir, Rumi
• Morris, Donald G., 36(7)62--71
• Morris, Robert, 37(10)251--263
• Morris, Robert, see Kohler, Eddie
• Morris:2001:ADR, 36(7)62--71
• Morrisett, Greg, 37(5)282--293, 39(4)554--567, 39(9)103--114, 40(9)78--91, 41(9)62--73
• Morrisett, Greg, see Ahmed, Amal, see Fluet, Matthew, \see{Grossman, Dan, see Nanevski, Aleksandar, see Tarditi, David
• Morton, 41(5)39--45
• Morton-order, 36(7)24--33
• Morton-ordered, 38(10)144--154, 41(5)39--45
• Moss, B., 38(11)326--343, 39(6)183--194
• Moss, B., see Cavazos, John, see Sachindran, Narendran
• Moss, J. Eliot B., 36(1)101--110, 36(1)137--142, 36(11)342--352, 37(5)153--164, 37(7)194--203, 38_2s_25_36
• Moss, J. Eliot B., see Blackburn, Stephen M., see Hudson, Richard L., see Palm, Jeffrey, see Stefanovi{\'c}, Darko
• Mosse, Daniel, 38(7)284--293
• Mosse, Daniel, see AbouGhazaleh, Nevine
• Mossé, Daniel, 40(7)1--10, see Xu, Ruibin
• mostly, 37(11)130--141, 38_2s_269_280, 38(11)255--268, 41(7)163--172
• Mostly-Concurrent, 36(1)143--154
• motion, 39(4)460--472
• motivate, 41(8)16--20
• motivated, 41(1)153--165, 41(1)168--179
• Mougin, Philippe, 38(11)65--77
• Mougin:2003:OIA, 38(11)65--77
• Mourelle, Luiza de Macedo, 37(2)57--67
• Mourelle, Luiza de Macedo, see Nedjah, Nadia
• move, 41(6)354--363
• moved, 41(5)11--20
• movement, 41(1)346--358
• moving, 41(7)12--21
• Mowry, Todd C., 37(10)171--183
• Mowry, Todd C., see Zhai, Antonia
• Moyer, Stanley, 36(8)188--195
• Moyer, Stanley, see Narain, Sanjai
• Mozer, Michael C., 40(10)281--296
• Mozer, Michael C., see Hauswirth, Matthias
• MPI, 38(10)2--2, 38(10)84--94, 38(10)95--106, 41(6)108--117
• MPI, CC-, 38(10)95--106
• MR, 39(4)26--29
• ms, 41(6)72--83
• MST, 37(7)130--138
• \mu, 41(1)153--165
• much, 39(6)35--46, 41(1)55--66, 41(1)283--294, 41(2)25--28, 41(4)42--49, 41(6)401--414, 41(7)2--11, 41(7)54--63, 41(7)64--71, 41(7)103--112, 41(8)10--14, 41(9)111--121
• Muchnick, Steven S., 39(4)167--174
• Muchnick:2004:EIS, 39(4)167--174
• mud, 37(11)275--291
• Mudge, Trevor, 35(11)129--138
• Mudge, Trevor, see Flautner, Krisztián
• Mueller, Conrad, 40(3)29--39
• Mueller, Frank, 36(8)88--93, 37(7)213--222, 39(7)136--145, 40(7)203--212
• Mueller, Frank, see Dudani, Ajay, see Patil, Kaustubh, see Vivancos, Emilio, \see{Zhu, Yifan
• Mueller:2005:ACM, 40(3)29--39
• Mukherjee, Shubhendu S., 37(10)223--234
• Mukherjee:2002:CSA, 37(10)223--234
• Muller, Gilles, 36(8)121--127
• Muller, Gilles, see Merillon, Fabrice, see Mérillion, Fabrice
• Muller, Robert, 36(10)14--25, 38(3)86--97
• Muller, Robert, see Amtoft, Torben, see Dimock, Allyn
• Müller-Olm, Markus, 39(1)330--341
• Muller-Olm:2004:PIA, 39(1)330--341
• multi, 41(1)194--205
• multi-agent, 40(2)17--26
• multi-cluster, 38(7)113--122
• multi-core, 41(1)346--358, 41(7)72--82
• multi-dimensional, 40(6)154--167
• multi-dispatching, 37(11)142--160
• multi-granular, 37(7)18--27
• multi-language, 36(3)248--260
• multi-level, 35(5)169--181, 41(1)67--78
• Multi-objective, 38_2s_65_75
• multi-process, 40(1)122--131
• Multi-Processor, 36(8)56--63
• multi-processor, 41(6)14--25
• multi-return, 39(9)79--89, 41(6)401--414
• Multi-Stage, 36(10)74--85
• multi-staged, 41(1)257--268
• multi-task, 39(7)88--94
• multi-tasking, 35(11)168--177
• Multi-Threaded, 36(1)18--24
• multi-threaded, 38(5)115--128, 40(6)261--268, 41(6)26--37, 41(6)308--319, 41(6)320--331, 41(9)136--147
• multi-threading, 41(6)308--319
• multi-tier, 40(1)221--232
• multicluster, 38(5)300--311
• multicode, 39(10)186--187
• multicommodity, 41(6)204--215
• multidimensional, 35(10)188--207
• MultiJava, 35(10)130--145, 38(11)224--240
• multimedia, 35(5)145--156, 37(7)12--17, 41(7)12--21, 41(7)199--208
• multimethods, 40(5)18--27
• Multiparadigm, 35(12)51--61
• multiparty, 35(12)24--32
• multiple-dispatch, 37(5)270--281
• multiple-precision, 25(6)92--101, 39(4)360--371, 39(4)372--389
• multiplication, 25(6)112--126, 39(4)372--389
• multiprocessor, 35(11)37--48, 36(5)92--103, 38(10)13--24, 38(10)73--82, 39(4)205--216, 39(4)626--641, 39(6)35--46, 41(6)1--13, 41(7)93--102
• multitasking, 36(11)125--138
• multithread, 39(6)35--46
• multithreaded, 35(11)117--128, 35(11)245--256, 36(1)94--100, 36(7)12--23, 37(5)258--269, 38(10)37--48, 38(10)179--190, 39(1)256--267, 39(6)289--300, 41(5)21--29
• multithreading, 35(11)234--244, 38(3)13--25, 38(10)25--36, 39(6)35--46, 39(11)144--155
• Munson, Ethan V., 39(10)35--36
• Munson, Ethan V., see Nguyen, Tien N.
• Muntz, Richard R., 35(1)149--162
• Muntz, Richard R., see Li, Du
• Murphy, Brian R., 41(1)397--408, 41(6)26--37
• Murphy, Brian R., see Adl-Tabatabai, Ali-Reza, see Menon, Vijay S.
• Murphy, Mike, 41(2)29--33
• Murphy-Hill, Emerson R., 39(10)275--282
• Murphy-Hill:2004:TEL, 39(10)275--282
• Murphy:2006:SSU, 41(2)29--33
• Murthy, Chet, 38(11)241--254, 39(4)583--595
• Murthy, Chet, see Bacon, David F., see Corwin, John
• musical, 39(10)206--207
• must, 41(1)372--382, 41(3)40--48, 41(6)14--25, 41(6)118--131, 41(6)181--192, 41(6)228--238, 41(6)283--294, 41(7)12--21, 41(7)189--198, 41(8)10--14, 41(8)34--43, 41(9)87--98, 41(9)136--147
• mutable, 36(3)14--26, 41(9)26--37
• mutandis, 40(1)183--194
• mutating, 41(7)2--11
• Mutatis, 40(1)183--194
• Muth, Robert, 40(6)190--200
• Muth, Robert, see Luk, Chi-Keung
• mutual, 39(6)35--46
• Mutyam, Madhu, 41(7)163--172
• Mutyam:2006:CDT, 41(7)163--172
• MxYacc, 41(2)25--28
• Mycroft, Alan, 38_2s_44_55
• Mycroft, Alan, see Nethercote, Nicholas
• Myers, Andrew C., 41(1)283--294
• Myers, Andrew C., see Liu, Jed
• Myers, Brad A., 37(9)1--1
• Myers:2002:TMN, 37(9)1--1