Index file section M for pacmpl.bib
Last update: Fri May 17 02:03:14 MDT 2024
Return to index directory
M
-
m, v8-, 1(z)88--88
-
Ma, Cong, 7(z)274--274
-
Ma, Karima, 5(z)109--109
-
Ma, Karima, see Anderson, Luke
-
Ma, Pingchuan, 8(z)139--139
-
Ma, Pingchuan, see Wang, Zhaoyu
-
Ma, Wenjie, 7(z)128--128
-
Ma, Xiaoxing, 5(z)147--147, 7(z)128--128, 7(z)230--230
-
Ma, Xiaoxing, see Chen, Qinlin,
see Ma, Wenjie, \see{Tan, Tian
-
Ma, Zhongkui, 8(z)75--75
-
Ma:2023:CSC, 7(z)128--128
-
Ma:2023:QMC, 7(z)274--274
-
Ma:2024:RHA, 8(z)75--75
-
Macedo, Nuno, 2(z)82--82
-
Macedo, Nuno, see Almeida, José Bacelar
-
machine, 1(z)52--52, 2(z)105--105, 2(z)109--109, 3(z)19--19, 3(z)78--78,
3(z)96--96, 3(z)118--118, 3(z)156--156, 3(z)160--160, 3(z)175--175,
4(z)16--16, 4(z)38--38, 4(z)44--44, 4(z)74--74, 4(z)137--137,
4(z)182--182, 4(z)204--204, 5(z)6--6, 5(z)20--20, 5(z)25--25,
5(z)51--51, 5(z)58--58, 5(z)136--136, 5(z)137--137, 5(z)142--142,
6(z)24--24, 6(z)74--74, 6(z)75--75, 6(z)94--94, 6(z)119--119,
6(z)125--125, 6(z)148--148, 6(z)149--149, 7(z)24--24, 7(z)84--84,
7(z)119--119, 7(z)158--158, 7(z)160--160, 7(z)165--165,
7(z)188--188, 7(z)231--231, 7(z)249--249, 8(z)94--94, 8(z)124--124
-
machine, state-, 3(z)138--138
-
machine-checked, 2(z)66--66, 4(z)34--34, 4(z)129--129
-
machine-code, 1(z)61--61
-
machine-learned, 4(z)185--185
-
machine-learning, 5(z)148--148
-
machine-verifiable, 8(z)82--82
-
Machine-Verified, 8(z)82--82
-
machine-verified, 4(z)208--208
-
machinery, 4(z)101--101
-
machines., 3(z)125--125
-
Machiry, Aravind, 6(z)78--78
-
Machiry:2022:CCC, 6(z)78--78
-
Macintosh, 4(z)81--81
-
Mackay, Julian, 4(z)66--66, 6(z)154--154
-
Mackay:2020:DSP, 4(z)66--66
-
Mackay:2022:NSR, 6(z)154--154
-
Maclaurin, Dougal, 5(z)88--88, 7(z)43--43
-
Maclaurin, Dougal, see Paszke, Adam,
see Radul, Alexey
-
MacLisp, 4(z)74--74
-
MacoCaml, 7(z)209--209
-
MacQueen, David, 4(z)86--86
-
MacQueen:2020:HSM, 4(z)86--86
-
macro, 4(z)3--3, 4(z)74--74, 4(z)80--80, 4(z)229--229, 7(z)209--209,
7(z)242--242
-
macro-extensible, 4(z)229--229
-
macros-based, 4(z)3--3
-
Madden, Sam, 4(z)170--170
-
Madden, Sam, see Feser, John
-
made, 1(z)108--108, 2(z)120--120, 2(z)125--125, 3(z)120--120,
3(z)123--123, 4(z)34--34, 4(z)60--60, 4(z)84--84, 4(z)124--124,
5(z)81--81, 5(z)101--101, 5(z)104--104, 6(z)38--38, 7(z)200--200,
7(z)216--216, 7(z)226--226, 8(z)60--60, 8(z)65--65, 8(z)109--109
-
made, hand-, 3(z)188--188
-
Madhavapeddy, Anil, 4(z)113--113
-
Madhavapeddy, Anil, see Sivaramakrishnan, KC
-
Madhusudan, P., 2(z)10--10, 2(z)131--131, 4(z)35--35, 5(z)104--104,
6(z)10--10, 6(z)185--185, 6(z)191--191, 7(z)80--80, 7(z)259--259,
7(z)299--299
-
Madhusudan, P., see Astorga, Angello,
see Ezudheen, P., \see{Krogmeier, Paul,
see Löding, Christof,
see Mathur, Umang, \see{Murali, Adithya
-
Madiot, Jean-Marie, 6(z)11--11
-
Madiot:2022:SLH, 6(z)11--11
-
MadMax, 2(z)116--116
-
Madsen, Magnus, 1(z)86--86, 2(z)162--162, 4(z)125--125, 4(z)154--154,
4(z)186--186, 5(z)110--110, 7(z)204--204, 7(z)240--240
-
Madsen, Magnus, see Alimadadi, Saba,
see Lutze, Matthew,
see Stiévenart, Quentin
-
Madsen:2017:MRA, 1(z)86--86
-
Madsen:2020:FMP, 4(z)125--125
-
Madsen:2020:PTE, 4(z)154--154
-
Madsen:2021:RNT, 5(z)110--110
-
Madsen:2023:FEB, 7(z)240--240
-
Maeda, Toshiyuki, 1(z)53--53
-
Maeda, Toshiyuki, see Ugawa, Tomoharu
-
Maeng, Kiwan, 1(z)96--96
-
Maeng:2017:AIE, 1(z)96--96
-
Maggesi, Marco, 4(z)31--31
-
Maggesi, Marco, see Ahrens, Benedikt
-
magnitude, 3(z)125--125, 4(z)82--82, 6(z)159--159
-
Mahajan, Ratul, 4(z)42--42
-
Mahajan, Ratul, see Beckett, Ryan
-
Mailbox, 7(z)191--191
-
mailboxes, 7(z)191--191
-
Maillard, Kenji, 2(z)65--65, 3(z)104--104, 4(z)4--4, 6(z)124--124
-
Maillard, Kenji, see Ahman, Danel
-
Maillard:2019:DMA, 3(z)104--104
-
Maillard:2020:NRP, 4(z)4--4
-
Maillard:2022:RGT, 6(z)124--124
-
main, 2(z)166--166, 3(z)78--78, 3(z)121--121, 3(z)158--158, 3(z)186--186,
4(z)7--7, 4(z)15--15, 4(z)136--136, 4(z)224--224, 5(z)2--2,
5(z)28--28, 5(z)44--44, 5(z)54--54, 6(z)15--15, 6(z)39--39,
7(z)29--29, 7(z)196--196, 7(z)244--244
-
Maina, Solomon, 2(z)80--80, 3(z)95--95
-
Maina, Solomon, see Miltner, Anders
-
Maina:2018:SQL, 2(z)80--80
-
Mainland, Geoffrey, 1(z)19--19
-
Mainland:2017:BLT, 1(z)19--19
-
mainly, 5(z)123--123, 7(z)83--83
-
mainnet, 3(z)189--189
-
mainstay, 7(z)218--218
-
mainstream, 2(z)89--89, 2(z)116--116, 3(z)158--158, 4(z)139--139,
5(z)145--145, 6(z)3--3, 6(z)71--71, 6(z)141--141, 7(z)295--295
-
Maintainability, 3(z)78--78
-
maintained, 6(z)17--17
-
maintaining, 2(z)69--69, 2(z)73--73, 4(z)43--43, 6(z)75--75,
7(z)107--107
-
maintenance, 4(z)73--73
-
Maire, Michael, 7(z)231--231
-
Maire, Michael, see Wan, Chengcheng
-
Maj, Petr, 1(z)84--84
-
Maj, Petr, see Lopes, Cristina V.
-
major, 2(z)132--132, 3(z)80--80, 3(z)87--87, 3(z)147--147, 4(z)81--81,
4(z)84--84, 4(z)127--127, 4(z)187--187, 4(z)190--190, 4(z)198--198,
5(z)148--148, 6(z)100--100, 7(z)86--86, 7(z)161--161, 7(z)194--194,
7(z)253--253
-
majority, 5(z)70--70
-
Majumdar, Rupak, 2(z)46--46, 2(z)160--160, 3(z)180--180, 4(z)134--134,
4(z)201--201, 4(z)210--210, 5(z)44--44, 6(z)17--17, 6(z)41--41,
7(z)73--73, 8(z)4--4, 8(z)37--37
-
Majumdar, Rupak, see Balasubramanian, A. R.,
see Baumann, Pascal,
see Chistikov, Dmitry,
see Dragoi, Cezara, \see{Gavran, Ivan,
see Ozkan, Burcu Kulahcioglu
-
Majumdar:2018:WRT, 2(z)46--46
-
Majumdar:2020:MMC, 4(z)134--134
-
Majumdar:2024:PAS, 8(z)37--37
-
Makam, 2(z)93--93
-
Makarchuk, Gleb, 6(z)43--43
-
Makarchuk, Gleb, see Müller, Mark Niklas
-
make, 2(z)74--74, 2(z)91--91, 2(z)108--108, 2(z)109--109, 3(z)5--5,
3(z)79--79, 3(z)88--88, 3(z)101--101, 3(z)109--109, 3(z)115--115,
3(z)118--118, 3(z)122--122, 3(z)142--142, 3(z)149--149,
3(z)158--158, 4(z)40--40, 4(z)41--41, 4(z)73--73, 4(z)84--84,
4(z)132--132, 4(z)136--136, 4(z)141--141, 4(z)219--219, 5(z)11--11,
5(z)25--25, 5(z)62--62, 5(z)95--95, 5(z)116--116, 5(z)144--144,
5(z)148--148, 5(z)153--153, 5(z)160--160, 6(z)113--113,
6(z)133--133, 6(z)147--147, 7(z)68--68, 7(z)151--151, 7(z)165--165,
7(z)172--172, 7(z)261--261, 8(z)85--85, 8(z)92--92, 8(z)119--119,
8(z)133--133
-
makers, 2(z)99--99
-
making, 1(z)30--30, 2(z)77--77, 2(z)108--108, 2(z)140--140, 4(z)40--40,
4(z)60--60, 4(z)151--151, 4(z)167--167, 4(z)185--185, 4(z)186--186,
4(z)228--228, 5(z)98--98, 5(z)147--147, 6(z)61--61, 7(z)31--31,
7(z)85--85, 7(z)201--201, 7(z)236--236, 8(z)21--21, 8(z)32--32
-
Maksimovi{\'c}, Petar, 2(z)50--50,
see Santos, José Fragoso
-
Makwana, Dhruv C., 7(z)1--1
-
Makwana, Dhruv C., see Pulte, Christopher
-
Malecha, Gregory, 4(z)51--51
-
Malecha, Gregory, see Xia, Li-yao
-
Maleki, Saeed, 2(z)126--126
-
Maleki, Saeed, see Gong, Zhangxiaowen
-
Malewski, Stefan, 5(z)126--126
-
Malewski:2021:GSD, 5(z)126--126
-
malicious, 6(z)154--154, 8(z)109--109
-
maligned, 4(z)43--43
-
malleability, 4(z)74--74
-
Mamat, Anwar, 8(z)118--118
-
Mamat, Anwar, see Cutler, Joseph W.
-
Mamouras, Konstantinos, 4(z)183--183, 7(z)92--92, 8(z)92--92
-
Mamouras, Konstantinos, see Kong, Lingkun,
see Le Glaunec, Alexis
-
Mamouras:2024:EMR, 8(z)92--92
-
manage, 3(z)78--78, 4(z)68--68, 4(z)123--123
-
managed, 4(z)113--113, 6(z)95--95, 7(z)130--130, 8(z)46--46
-
management, 1(z)95--95, 2(z)66--66, 2(z)120--120, 4(z)71--71, 4(z)73--73,
4(z)170--170, 4(z)204--204, 4(z)211--211, 7(z)13--13, 7(z)88--88,
7(z)228--228, 7(z)270--270, 7(z)282--282, 8(z)38--38, 8(z)131--131
-
management, Memory-, 2(z)143--143
-
management, memory-, 2(z)143--143
-
manager, 5(z)149--149, 6(z)115--115
-
managing, 4(z)43--43, 5(z)94--94, 7(z)4--4
-
mandates, 2(z)109--109
-
Mandel, Louis, 1(z)9--9, 5(z)115--115, 6(z)83--83, 6(z)184--184
-
Mandel, Louis, see Atkinson, Eric,
see Auerbach, Joshua S.,
see Benzaken, Véronique
-
Manea, Florin, 7(z)10--10
-
Manea, Florin, see Day, Joel D.
-
Mangin, Cyprien, 3(z)86--86
-
Mangin, Cyprien, see Sozeau, Matthieu
-
Mangipudi, Shamiek, 7(z)117--117
-
Mangipudi:2023:GPB, 7(z)117--117
-
Manifest, 1(z)37--37
-
manifestations, 4(z)118--118
-
manipulate, 2(z)78--78, 3(z)171--171, 4(z)35--35, 4(z)104--104,
4(z)105--105, 4(z)136--136, 5(z)146--146, 6(z)2--2, 6(z)26--26,
6(z)36--36, 6(z)60--60, 7(z)85--85
-
manipulated, 2(z)116--116, 7(z)175--175
-
manipulating, 8(z)41--41
-
manipulating, bitfield-, 6(z)182--182
-
manipulating, closure-, 5(z)145--145
-
manipulating, graph-, 3(z)171--171
-
manipulating, heap-, 4(z)35--35, 5(z)84--84
-
manipulating, pointer-, 7(z)85--85
-
manipulation, 1(z)65--65, 2(z)127--127, 3(z)125--125, 4(z)103--103,
7(z)83--83, 7(z)94--94, 8(z)41--41, 8(z)71--71
-
manner, 2(z)100--100, 5(z)17--17, 7(z)94--94, 8(z)92--92
-
Mansinghka, Vikash K., 4(z)19--19, 4(z)36--36, 7(z)5--5, 7(z)176--176
-
Mansinghka, Vikash K., see Lew, Alexander K.,
see Saad, Feras A.
-
Mansky, William, 1(z)87--87, 8(z)6--6
-
Mansky:2017:VMS, 1(z)87--87
-
Mansky:2024:IIV, 8(z)6--6
-
manual, 1(z)95--95, 2(z)47--47, 2(z)116--116, 3(z)159--159, 3(z)160--160,
3(z)172--172, 3(z)188--188, 3(z)189--189, 4(z)136--136,
4(z)143--143, 4(z)187--187, 4(z)204--204, 4(z)231--231, 6(z)69--69,
6(z)159--159
-
manual/automated, 8(z)97--97
-
manually, 2(z)166--166, 4(z)68--68, 4(z)171--171, 6(z)24--24, 6(z)95--95,
6(z)187--187
-
manufacturing, Desktop-, 2(z)99--99
-
manuscript, 4(z)223--223
-
Manzonetto, Giulio, 4(z)1--1, 7(z)8--8
-
Manzonetto, Giulio, see Barbarossa, Davide,
see Kerinec, Axel
-
Mao, Xiaoguang, 7(z)239--239
-
Mao, Xiaoguang, see Wang, Shangwen
-
map, 1(z)84--84, 2(z)146--146, 3(z)99--99, 3(z)186--186, 4(z)158--158,
5(z)74--74, 6(z)68--68, 7(z)196--196
-
mapping, 3(z)120--120, 5(z)39--39, 7(z)19--19
-
Maranget, Luc, 6(z)22--22
-
Maranget, Luc, see Raad, Azalea
-
Marché, Claude, 4(z)2--2, see Clochard, Martin
-
Marcozzi, Michaël, 3(z)155--155
-
Marcozzi:2019:CFH, 3(z)155--155
-
Margalit, Roy, 5(z)4--4, 7(z)183--183
-
Margalit, Roy, see Lee, Sung-Hwan
-
Margalit:2021:VOR, 5(z)4--4
-
Margara, Alessandro, 4(z)188--188
-
Margara, Alessandro, see Köhler, Mirko
-
Marginean, Alex, Buna-, 8(z)34--34
-
Mariano, Benjamin, 3(z)132--132, 6(z)4--4, 6(z)71--71, 7(z)95--95
-
Mariano, Benjamin, see Tan, Bryan,
see Zhang, Guoqiang
-
Mariano:2019:PSA, 3(z)132--132
-
Mariano:2022:ATI, 6(z)71--71
-
Marinov, Darko, 3(z)187--187, 4(z)202--202
-
Marinov, Darko, see Lam, Wing,
see Shi, August
-
market, 4(z)73--73
-
Märkl, Florian, 7(z)110--110, see Watt, Conrad
-
Markov, 8(z)61--61
-
Marlow, Simon, 3(z)90--90
-
Marlow, Simon, see Mokhov, Andrey
-
Marmanis, Iason, 6(z)49--49
-
Marmanis, Iason, see Kokologiannakis, Michalis
-
Marntirosian, Koar, 3(z)91--91, 4(z)206--206
-
Marntirosian, Koar, see Bottu, Gert-Jan
-
Marntirosian:2020:RIS, 4(z)206--206
-
Maroof, Raef, 8(z)68--68
-
Maroof, Raef, see Zhao, Eric
-
Marr, Stefan, 2(z)108--108, 7(z)233--233
-
Marr, Stefan, see Daloze, Benoit,
see Larose, Octave
-
marriage, 5(z)158--158
-
marries, 3(z)125--125
-
Marshall, 3(z)99--99
-
Marshall, Daniel, 8(z)131--131
-
Marshall:2024:FOT, 8(z)131--131
-
MarshallB, 3(z)99--99
-
Martin, Eric Mark, 5(z)21--21
-
Martin, Eric Mark, see Patrignani, Marco
-
Martínez, Guido, 3(z)104--104, 5(z)85--85, 8(z)74--74,
see Andrici, Cezar-Constantin,
see Fromherz, Aymeric,
see Maillard, Kenji
-
Mart{\'{\i}}nez, Guido, 4(z)121--121, see Swamy, Nikhil
-
Martins, Francisco, 1(z)103--103
-
Martins, Francisco, see Cogumbreiro, Tiago
-
Martins, Pedro, 1(z)84--84
-
Martins, Pedro, see Lopes, Cristina V.
-
Martins, Ruben, 4(z)171--171
-
Martins, Ruben, see Clune, Joshua
-
Martonosi, Margaret, 4(z)226--226, 5(z)131--131
-
Martonosi, Margaret, see Kirkham, Jake,
see Sorensen, Tyler
-
Maseli, René, 7(z)279--279, see Haas, Thomas
-
Masking, 7(z)286--286
-
Massaccesi, Gustavo E., 3(z)78--78
-
Massaccesi, Gustavo E., see Flatt, Matthew
-
masses, 1(z)16--16, 2(z)111--111, 4(z)125--125
-
massively, 3(z)177--177
-
Mastrangelo, Luis, 3(z)158--158
-
Mastrangelo:2019:CAD, 3(z)158--158
-
Mat2Stencil, 7(z)246--246
-
match, 6(z)37--37, 6(z)39--39, 8(z)92--92
-
match, pattern-, 4(z)107--107, 5(z)55--55
-
match-action, 5(z)41--41
-
matched-parenthesis, properly-, 6(z)62--62
-
matcher, 4(z)122--122
-
matching, 2(z)75--75, 3(z)125--125, 4(z)88--88, 4(z)91--91, 4(z)107--107,
4(z)161--161, 4(z)205--205, 4(z)218--218, 5(z)59--59, 6(z)39--39,
6(z)179--179, 7(z)92--92, 7(z)96--96, 7(z)148--148, 7(z)287--287,
8(z)92--92, 8(z)119--119
-
matching, e-, 6(z)35--35
-
Matching, Moment-, 8(z)63--63
-
matching, pattern-, 3(z)86--86, 4(z)74--74
-
materialized, 4(z)73--73
-
Materzok, Marek, 6(z)92--92
-
Materzok:2022:GCG, 6(z)92--92
-
math, 2(z)47--47, 4(z)81--81, 5(z)29--29, 6(z)3--3, 8(z)32--32
-
math.h, 2(z)47--47
-
Matheja, Christoph, 4(z)136--136, 5(z)39--39, 5(z)52--52, 5(z)145--145,
7(z)67--67, 7(z)294--294
-
Matheja, Christoph, see Aguirre, Alejandro,
see Astrauskas, Vytautas,
see Batz, Kevin,
see Schröer, Philipp,
see Wolff, Fabian
-
mathematical, 2(z)47--47, 4(z)38--38, 4(z)79--79, 4(z)161--161, 5(z)8--8,
5(z)162--162, 6(z)66--66, 7(z)17--17, 7(z)22--22, 7(z)68--68,
8(z)32--32, 8(z)92--92
-
mathematically, 4(z)60--60
-
mathematics, 3(z)107--107, 6(z)36--36
-
Mathiasen, Anders Alnor, 5(z)34--34
-
Mathiasen:2021:FGP, 5(z)34--34
-
Mathur, Umang, 2(z)145--145, 4(z)35--35, 5(z)36--36, 7(z)45--45,
7(z)137--137, 7(z)177--177, 8(z)31--31, 8(z)66--66, 8(z)73--73
-
Mathur, Umang, see Al Thokair, Mosaad,
see Ang, Zhendong,
see Chakraborty, Soham,
see Farzan, Azadeh,
see Tunç, Hünkar Can
-
Mathur:2018:WHA, 2(z)145--145
-
Mathur:2020:DMS, 4(z)35--35
-
Mathur:2021:OPS, 5(z)36--36
-
MATLAB, 2(z)120--120, 4(z)81--81
-
Matos, Ana Almeida, 7(z)226--226
-
Matos, Ana Almeida, see Paulino, Hervé
-
Matos, João, 7(z)226--226, see Paulino, Hervé
-
matrix, 4(z)81--81, 6(z)89--89
-
Matrix-Based, 7(z)246--246
-
Matrix-Free, 7(z)246--246
-
Matsuda, Kazutaka, 4(z)118--118, 5(z)105--105, 7(z)189--189
-
Matsuda, Kazutaka, see Yamaguchi, Masaomi
-
Matsuda:2020:SLP, 4(z)118--118
-
Matsuda:2023:EU, 7(z)189--189
-
matter, 3(z)155--155, 5(z)32--32, 7(z)276--276
-
mature, 4(z)73--73, 6(z)170--170
-
matured, 5(z)131--131
-
maximal, 7(z)21--21
-
maximally, 5(z)91--91
-
maximizes, 4(z)7--7
-
maximum, 3(z)169--169
-
may, 2(z)107--107, 2(z)116--116, 2(z)133--133, 2(z)152--152, 3(z)7--7,
3(z)101--101, 3(z)117--117, 3(z)180--180, 3(z)189--189, 4(z)3--3,
4(z)56--56, 4(z)214--214, 5(z)34--34, 5(z)46--46, 5(z)81--81,
5(z)92--92, 5(z)110--110, 5(z)119--119, 5(z)129--129, 5(z)145--145,
5(z)146--146, 6(z)68--68, 6(z)151--151, 8(z)69--69, 8(z)115--115,
8(z)119--119
-
Mayer, Mikaël, 2(z)127--127
-
Mayer:2018:BED, 2(z)127--127
-
Mazinanian, Davood, 1(z)85--85
-
Mazinanian:2017:UUL, 1(z)85--85
-
Mazurkiewicz, 6(z)49--49, 8(z)31--31
-
Mazza, Damiano, 2(z)6--6, 3(z)7--7, 4(z)64--64, 5(z)28--28
-
Mazza, Damiano, see Brunel, Aloïs,
see Dal Lago, Ugo
-
Mazza:2018:PAF, 2(z)6--6
-
Mazza:2021:ADP, 5(z)28--28
-
McAdams, Darin, 8(z)118--118
-
McAdams, Darin, see Cutler, Joseph W.
-
McBride, Conor, 2(z)90--90
-
McBride, Conor, see Allais, Guillaume
-
McCarthy, 3(z)85--85
-
McCarthy, Jay, 5(z)96--96, 7(z)242--242
-
McCarthy, Jay, see Flatt, Matthew,
see Germane, Kimball
-
McCutchen, Matt, 6(z)78--78, 8(z)118--118
-
McCutchen, Matt, see Cutler, Joseph W.,
see Machiry, Aravind
-
McDermott, Dylan, 1(z)95--95, 6(z)123--123
-
McDermott, Dylan, see Katsumata, Shin-ya,
see Parkinson, Matthew
-
McDonald, Breanna, Devore-, 4(z)138--138
-
McDonald, Colin, 4(z)122--122, 7(z)98--98
-
McDonald, Colin, see Chiang, David,
see Stump, Aaron
-
McIver, Annabelle, 2(z)33--33
-
McIver:2018:NPR, 2(z)33--33
-
McKinley, Kathryn S., 1(z)71--71
-
McKinley, Kathryn S., see Sampson, Adrian
-
McKinna, James, 2(z)90--90, 3(z)12--12, 7(z)260--260
-
McKinna, James, see Allais, Guillaume,
see Morris, J. Garrett, \see{Tang, Wenhao
-
McLaughlin, Craig, 7(z)47--47
-
McLaughlin, Craig, see Chen, Zilin
-
McMahon, Connor, 5(z)133--133
-
McMahon, Connor, see Burckhardt, Sebastian
-
McMillan, Kenneth L., 6(z)50--50, 7(z)288--288
-
McMillan, Kenneth L., see Padon, Oded,
see Tamir, Orr
-
McNally, Christopher, 6(z)30--30
-
McNally, Christopher, see Yuan, Charles
-
mean, 3(z)1--1, 3(z)18--18, 3(z)28--28, 3(z)102--102, 3(z)131--131,
3(z)158--158, 3(z)167--167, 4(z)18--18, 4(z)34--34, 4(z)140--140,
4(z)207--207, 4(z)229--229, 5(z)127--127, 7(z)111--111,
7(z)200--200, 8(z)21--21
-
meaning, 3(z)14--14, 3(z)83--83, 4(z)41--41, 5(z)8--8, 5(z)118--118,
6(z)116--116, 7(z)68--68
-
meaningful, 4(z)171--171, 4(z)203--203, 5(z)142--142
-
meaningless, 8(z)68--68
-
meanwhile, 4(z)73--73, 4(z)139--139, 4(z)189--189, 6(z)73--73
-
measurable, 2(z)59--59
-
measure, 3(z)26--26, 4(z)27--27, 4(z)43--43, 5(z)58--58
-
measured, 6(z)145--145
-
measurement, 4(z)78--78, 4(z)142--142, 5(z)141--141, 6(z)2--2
-
mechanical, 2(z)89--89, 3(z)112--112, 4(z)73--73, 7(z)109--109
-
mechanically, 2(z)77--77, 3(z)171--171, 6(z)192--192, 7(z)224--224
-
mechanically-verified, 7(z)145--145
-
mechanise, 8(z)21--21
-
Mechanised, 7(z)165--165
-
mechanism, 2(z)109--109, 2(z)132--132, 2(z)163--163, 3(z)101--101,
4(z)206--206, 4(z)207--207, 5(z)50--50, 6(z)112--112, 6(z)116--116,
6(z)174--174, 7(z)9--9, 7(z)41--41, 7(z)53--53, 7(z)115--115,
7(z)169--169, 7(z)265--265, 7(z)276--276, 8(z)2--2, 8(z)5--5,
8(z)21--21, 8(z)115--115
-
mechanization, 3(z)112--112, 4(z)7--7, 7(z)172--172
-
mechanized, 3(z)105--105, 4(z)41--41, 4(z)43--43, 4(z)44--44,
4(z)116--116, 5(z)10--10, 5(z)67--67, 6(z)151--151, 7(z)244--244,
8(z)102--102
-
mechanizing, 7(z)172--172, 7(z)235--235, 8(z)70--70, 8(z)141--141
-
median, 3(z)170--170
-
medicine, 2(z)96--96
-
Meehan, William, 1(z)23--23
-
Meehan, William, see Davis, Milo
-
Meet, 8(z)56--56
-
meets, 2(z)109--109, 4(z)34--34, 6(z)98--98, 7(z)298--298
-
MegaLibm, 8(z)32--32
-
Meggendorfer, Tobias, 8(z)107--107
-
Meggendorfer, Tobias, see Chatterjee, Krishnendu
-
Mehta, Meetesh Kalpesh, 7(z)263--263
-
Mehta:2023:RJT, 7(z)263--263
-
Mei, Yixuan, 8(z)114--114
-
Mei, Yixuan, see Li, Zikun
-
Meier, Remigius, 2(z)109--109
-
Meier, Shawn, 7(z)289--289
-
Meier:2018:VMD, 2(z)109--109
-
Meier:2023:HRC, 7(z)289--289
-
Meijer, Erik, 5(z)130--130
-
Meijer, Erik, see Shen, Xipeng
-
Meiklejohn, Christopher, 4(z)94--94
-
Meiklejohn, Christopher, see Weidner, Matthew
-
Meiklejohn, Christopher S., 5(z)133--133
-
Meiklejohn, Christopher S., see Burckhardt, Sebastian
-
Meinicke, Jens, 2(z)117--117
-
Meinicke, Jens, see Wong, Chu-Pan
-
Melgratti, Hernán, 1(z)35--35
-
Melgratti:2017:CCH, 1(z)35--35
-
Mell, Stephen, 8(z)16--16
-
Mell:2024:OPS, 8(z)16--16
-
Mellies, Paul-André, 3(z)23--23
-
Melliès, Paul-André, 6(z)42--42,
see Vale, Arthur Oliveira
-
Mellies:2019:CCS, 3(z)23--23
-
Melo, Leandro T. C., 2(z)29--29
-
Melo:2018:ISS, 2(z)29--29
-
Melocoton, 7(z)247--247
-
Memarian, Kayvan, 6(z)20--20, 7(z)1--1
-
Memarian, Kayvan, see Lepigre, Rodolphe,
see Pulte, Christopher
-
Membarth, Richard, 2(z)119--119
-
Membarth, Richard, see Leißa, Roland
-
members, 5(z)148--148, 7(z)268--268
-
membership, 5(z)78--78
-
Memento, 7(z)118--118
-
memoization, 4(z)108--108, 7(z)225--225, 8(z)50--50
-
memoized, eagerly-, 5(z)88--88
-
memoizing, 4(z)33--33
-
memories, 3(z)128--128
-
memory, bounded-, 5(z)115--115
-
memory, out-of-, 4(z)204--204
-
memory, relaxed-, 4(z)34--34, 6(z)54--54
-
memory, shared-, 4(z)6--6, 4(z)96--96, 5(z)44--44, 5(z)98--98,
5(z)120--120, 7(z)183--183
-
Memory, Weak-, 8(z)66--66
-
memory, weak-, 5(z)99--99
-
memory-based, 6(z)116--116
-
memory-conflicting, 5(z)36--36
-
memory-management, 2(z)143--143
-
memory-model-related, 2(z)125--125
-
Memory-Safe, 7(z)15--15
-
memory-safe, 5(z)135--135
-
memory-unsafe, 7(z)15--15
-
MemPerf, 7(z)272--272
-
Mendelson, Jonathan, 4(z)62--62
-
Mendelson, Jonathan, see Raghothaman, Mukund
-
Mendis, Charith, 2(z)110--110
-
Mendis:2018:GGO, 2(z)110--110
-
Menon, Lucy, 8(z)125--125
-
Menon, Lucy, see Gierczak, Olek
-
Menz, Jan, 7(z)89--89
-
Menz:2023:CSD, 7(z)89--89
-
mer, k-, 3(z)125--125
-
Mercury, 3(z)91--91
-
merge, 1(z)59--59, 2(z)165--165, 2(z)166--166, 3(z)170--170,
5(z)113--113, 7(z)18--18
-
Mergeable, 3(z)154--154
-
merging, 2(z)166--166, 3(z)170--170, 6(z)47--47, 7(z)178--178
-
merging, auto-, 3(z)170--170
-
Merigoux, Denis, 4(z)121--121, 5(z)77--77, 5(z)85--85
-
Merigoux, Denis, see Fromherz, Aymeric,
see Swamy, Nikhil
-
Merigoux:2021:PCP, 5(z)77--77
-
Merlin, 2(z)103--103
-
Meseguer, Jose, 6(z)136--136
-
Meseguer, Jose, see Liu, Si
-
message, 1(z)1--1, 1(z)106--106, 3(z)29--29, 4(z)6--6, 4(z)134--134,
4(z)210--210, 7(z)133--133, 7(z)237--237, 7(z)278--278,
7(z)300--300, 8(z)47--47
-
Message-History, 7(z)289--289
-
Message-Observing, 8(z)142--142
-
message-observing, 8(z)142--142
-
Message-Passing, 7(z)55--55
-
message-passing, 2(z)91--91, 3(z)27--27, 3(z)30--30, 3(z)119--119,
4(z)148--148, 4(z)155--155, 4(z)186--186, 6(z)107--107, 7(z)55--55,
7(z)66--66, 7(z)79--79, 7(z)214--214, 8(z)47--47
-
messaging, 1(z)87--87
-
messy, 3(z)102--102
-
Mestre, Julián, 6(z)52--52, see He, Wenlei
-
Meta, 4(z)86--86
-
Meta-Compilation, 7(z)233--233
-
meta-programming, 3(z)126--126, 3(z)153--153, 6(z)97--97
-
Meta-theorem, 7(z)80--80
-
meta-tracing, 7(z)233--233
-
metaDSL, 4(z)3--3
-
metaprogramming, 1(z)34--34, 6(z)39--39, 6(z)110--110
-
Metareasoning, 6(z)16--16
-
metatheorems, 5(z)12--12
-
metatheory, 3(z)112--112, 4(z)8--8, 4(z)114--114, 6(z)53--53, 7(z)19--19,
7(z)172--172
-
method, 2(z)20--20, 2(z)81--81, 2(z)113--113, 2(z)141--141, 3(z)11--11,
3(z)21--21, 3(z)130--130, 3(z)134--134, 3(z)158--158, 3(z)164--164,
3(z)174--174, 3(z)186--186, 4(z)15--15, 4(z)54--54, 4(z)55--55,
4(z)137--137, 4(z)162--162, 4(z)196--196, 4(z)207--207,
4(z)216--216, 4(z)217--217, 5(z)54--54, 5(z)76--76, 5(z)148--148,
5(z)166--166, 6(z)1--1, 6(z)3--3, 6(z)18--18, 6(z)21--21, 6(z)92--92,
6(z)144--144, 6(z)171--171, 6(z)181--181, 7(z)6--6, 7(z)34--34,
7(z)46--46, 7(z)50--50, 7(z)60--60, 7(z)76--76, 7(z)87--87,
7(z)94--94, 7(z)173--173, 7(z)180--180, 7(z)190--190, 7(z)245--245,
7(z)250--250, 7(z)251--251, 7(z)253--253, 7(z)254--254,
7(z)281--281, 7(z)296--296, 8(z)21--21, 8(z)25--25, 8(z)36--36,
8(z)82--82, 8(z)116--116, 8(z)127--127, 8(z)141--141
-
methodical, 3(z)189--189
-
methodology, 2(z)105--105, 3(z)176--176, 4(z)60--60, 4(z)130--130,
4(z)172--172, 4(z)191--191, 7(z)88--88, 7(z)94--94
-
methods, formal-, 7(z)192--192
-
metric, 3(z)186--186, 6(z)19--19, 7(z)4--4, 7(z)63--63, 7(z)160--160,
7(z)254--254
-
Meuli, Giulia, 4(z)130--130
-
Meuli:2020:EAA, 4(z)130--130
-
Meuter, Wolfgang, De, 7(z)227--227
-
Mével, Glen, 4(z)96--96, 5(z)66--66, 8(z)50--50,
see Pottier, François
-
Mevel:2020:CCS, 4(z)96--96
-
Mevel:2021:FVC, 5(z)66--66
-
Meyer, Roland, 4(z)68--68, 6(z)129--129, 6(z)174--174, 7(z)182--182,
7(z)279--279
-
Meyer, Roland, see Haas, Thomas
-
Meyer:2020:PLC, 4(z)68--68
-
Meyer:2022:CPL, 6(z)174--174
-
Meyer:2023:EHR, 7(z)182--182
-
Mezini, Mira, 2(z)67--67, 2(z)107--107, 3(z)144--144, 3(z)167--167,
6(z)40--40
-
Mezini, Mira, see Bracevac, Oliver,
see Drechsler, Joscha,
see Eichholz, Matthias, \see{Mogk, Ragnar,
see Salvaneschi, Guido
-
Michael, Alexandra E., 7(z)15--15
-
Michael--Scott, 4(z)11--11
-
Michael:2023:MSE, 7(z)15--15
-
Michalevsky, Yan, 2(z)48--48
-
Michalevsky, Yan, see Grossman, Shelly
-
Michalski, Christina, Mika-, 3(z)26--26
-
Michel, Jesse, 3(z)99--99, 5(z)3--3, 8(z)126--126
-
Michel, Jesse, see Sherman, Benjamin
-
Michel:2024:DCD, 8(z)126--126
-
Micinski, Kristopher, 7(z)264--264
-
Micinski, Kristopher, see Sahebolamri, Arash
-
micro-architectural, 5(z)142--142
-
micro-structure, 6(z)159--159
-
micro-structures, 6(z)159--159
-
microarchitectural, 6(z)125--125
-
microbenchmarks, 3(z)29--29
-
microfluidic, 2(z)128--128
-
microprocessors, 2(z)110--110
-
Microservice, 3(z)184--184, 7(z)13--13
-
Microsoft, 4(z)75--75
-
middle, 4(z)120--120
-
middleware, 4(z)123--123
-
Midtgaard, Jan, 1(z)15--15
-
Midtgaard:2017:EDQ, 1(z)15--15
-
Migeed, Zeina, 4(z)29--29
-
Migeed:2020:WDA, 4(z)29--29
-
might, 2(z)106--106, 3(z)106--106, 4(z)10--10, 5(z)94--94, 5(z)141--141
-
Might, Matthew, 1(z)8--8, 1(z)82--82
-
Might, Matthew, see Adams, Michael D.,
see Byrd, William E.
-
migrate, 3(z)88--88, 4(z)29--29
-
migrating, 2(z)15--15, 5(z)101--101
-
migration, 4(z)29--29, 5(z)111--111, 5(z)160--160, 7(z)241--241,
7(z)284--284
-
migratory, 7(z)241--241
-
Mihajlovic, Alexander, 7(z)152--152
-
Mihajlovic, Alexander, see Sewell, Thomas
-
Mika-Michalski, Christina, 3(z)26--26
-
Mika-Michalski, Christina, see Baldan, Paolo
-
Milano, Mae, 6(z)173--173, 7(z)146--146
-
Milano, Mae, see Brandon, William,
see Laddad, Shadaj
-
Milanova, Ana, 4(z)178--178
-
Milanova:2020:FGT, 4(z)178--178
-
mild, 5(z)28--28
-
mildly, 4(z)7--7
-
Milicevic, Aleksandar, 4(z)217--217
-
Milicevic, Aleksandar, see Nie, Pengyu
-
Milius, Stefan, 7(z)22--22
-
Milius, Stefan, see Goncharov, Sergey
-
Miller, Heather, 2(z)42--42, 3(z)163--163, 4(z)94--94
-
Miller, Heather, see Krikava, Filip,
see Odersky, Martin,
see Weidner, Matthew
-
Miller, Mark L., 4(z)79--79
-
Miller, Mark L., see Solomon, Cynthia
-
millions, 3(z)189--189, 6(z)108--108
-
milliseconds, 3(z)170--170
-
Millstein, Todd, 1(z)49--49, 2(z)150--150, 4(z)140--140, 6(z)143--143
-
Millstein, Todd, see Holtzen, Steven,
see Liu, Lun, \see{Padhi, Saswat,
see Sivaraman, Aishwarya
-
Milner, 4(z)86--86
-
Milner, Hindley-, 3(z)18--18, 4(z)124--124, 4(z)154--154
-
Milner-Style, Hindley-, 7(z)240--240
-
Milojicic, Dejan, 1(z)45--45
-
Milojicic, Dejan, see El Hajj, Izzat
-
Milovan{\v{c}}evi{\'c}, Dragana, 7(z)144--144
-
Milovancevic:2023:PDE, 7(z)144--144
-
MILP, 7(z)184--184
-
Miltner, Anders, 2(z)1--1, 2(z)80--80, 3(z)95--95, 3(z)143--143,
6(z)21--21, 7(z)293--293
-
Miltner, Anders, see Maina, Solomon
-
Miltner:2018:SBL, 2(z)1--1
-
Miltner:2019:FSE, 3(z)143--143
-
Miltner:2019:SSL, 3(z)95--95
-
Miltner:2022:BSR, 6(z)21--21
-
Miltner:2023:SDS, 7(z)293--293
-
Mima, Hisayuki, 2(z)81--81
-
Mima, Hisayuki, see Ohori, Atsushi
-
Min, Bonan, 5(z)106--106
-
Min, Bonan, see Kazerounian, Milod
-
Min, Marcus J., 8(z)108--108
-
Min, Marcus J., see Ding, Yangruibo
-
mind, 5(z)122--122
-
minimal, 2(z)108--108, 3(z)160--160, 4(z)181--181, 8(z)24--24,
8(z)32--32
-
minimal-state, 8(z)135--135
-
Minimality, 7(z)97--97
-
minimization, 7(z)52--52
-
minimize, 5(z)94--94, 7(z)261--261
-
minimizing, 7(z)97--97
-
minimum, 2(z)160--160
-
mining, 1(z)83--83
-
Minkowski, 3(z)99--99
-
minor, 8(z)49--49
-
minorities, 3(z)118--118
-
MIR, 4(z)136--136
-
Mirakhorli, Mehdi, 8(z)134--134
-
Mirakhorli, Mehdi, see Santos, Joanna C. S.
-
Miraldo, Victor Cacciari, 3(z)113--113
-
Miraldo:2019:EAT, 3(z)113--113
-
Misailovic, Sasa, 3(z)119--119, 3(z)186--186, 4(z)56--56, 4(z)232--232,
6(z)56--56, 6(z)75--75, 6(z)161--161, 7(z)185--185, 7(z)291--291
-
Misailovic, Sasa, see An, Shengwei,
see Fernando, Vimuth, \see{Ghosh, Ritwika,
see Laurel, Jacob, \see{Sharif, Hashim,
see Ugare, Shubham
-
miscompilation, 2(z)125--125, 5(z)123--123, 7(z)180--180
-
miscompile, 2(z)125--125, 4(z)196--196
-
Misconceptions, 8(z)106--106
-
misconfigurations, 5(z)140--140
-
Mishra, Ashish, 6(z)147--147, 7(z)157--157
-
Mishra, Ashish, see Zhou, Zhe
-
Mishra:2022:SGC, 6(z)147--147
-
Mislove, Michael, 3(z)111--111, 6(z)26--26
-
Mislove, Michael, see Jia, Xiaodong,
see Lindenhovius, Bert
-
mismatches, 6(z)142--142
-
miss, 2(z)147--147, 3(z)179--179, 5(z)119--119
-
missed, 3(z)189--189, 6(z)24--24, 6(z)153--153
-
missing, 2(z)69--69, 3(z)160--160, 4(z)107--107, 4(z)220--220
-
mission, 4(z)20--20
-
Missula, Meghana, 8(z)18--18
-
Missula, Meghana, see Patton, Noah
-
mistakes, 8(z)32--32, 8(z)133--133
-
misunderestimates, 7(z)253--253
-
misunderstood, 4(z)43--43
-
Mitchell, Jacqueline, 7(z)124--124
-
Mitchell, Jacqueline, see Tao, Zhe
-
Mitchell, Neil, 2(z)79--79, 4(z)169--169
-
Mitchell, Neil, see Mokhov, Andrey,
see Spall, Sarah
-
mitigate, 2(z)165--165, 5(z)161--161
-
mitigating, 5(z)154--154, 7(z)274--274
-
mitigation, 4(z)7--7
-
Mitra, Sayan, 4(z)232--232, 7(z)299--299
-
Mitra, Sayan, see Astorga, Angello,
see Ghosh, Ritwika
-
Mitropoulos, Charalambos, 5(z)123--123
-
Mitropoulos, Charalambos, see Chaliasos, Stefanos
-
Mitropoulos, Dimitris, 4(z)144--144, 5(z)123--123
-
Mitropoulos, Dimitris, see Chaliasos, Stefanos,
see Sotiropoulos, Thodoris
-
mix, 4(z)58--58, 5(z)111--111
-
mixed, 2(z)73--73, 3(z)29--29, 3(z)111--111, 5(z)94--94, 7(z)184--184
-
mixing, 4(z)63--63, 5(z)127--127, 5(z)148--148
-
mixins, 8(z)119--119
-
mixture, 4(z)212--212, 4(z)220--220, 6(z)116--116, 8(z)63--63
-
Miyazaki, Yusuke, 3(z)18--18
-
Miyazaki:2019:DTI, 3(z)18--18
-
mksh, 4(z)43--43
-
ML, 2(z)21--21, 2(z)81--81, 4(z)86--86, 4(z)111--111, 4(z)182--182,
5(z)162--162, 7(z)188--188, 7(z)231--231, 8(z)101--101
-
ML-, 5(z)55--55
-
ML-Enabled, 7(z)299--299
-
ML-family, 8(z)51--51
-
ML-like, 3(z)131--131
-
MLPEx, 3(z)160--160
-
MLstruct, 6(z)141--141
-
MLsub, 4(z)124--124
-
MLTT, 3(z)107--107
-
MM, 2(z)109--109
-
MMs, 2(z)109--109
-
mobile, 3(z)144--144, 4(z)160--160, 6(z)133--133, 7(z)153--153
-
Mobius, 7(z)271--271
-
mock, 3(z)132--132
-
Mocklisp, 4(z)74--74
-
modal, 2(z)77--77, 3(z)20--20, 3(z)107--107, 3(z)109--109, 3(z)110--110,
5(z)27--27, 5(z)75--75, 6(z)9--9, 6(z)31--31, 6(z)118--118,
7(z)112--112, 7(z)205--205, 7(z)220--220
-
modal, Multi-, 5(z)158--158
-
modality, 3(z)20--20, 3(z)107--107, 4(z)90--90, 5(z)62--62, 6(z)100--100,
6(z)118--118
-
mode, 2(z)70--70, 2(z)77--77, 3(z)142--142, 5(z)28--28, 5(z)45--45,
6(z)3--3, 6(z)4--4, 7(z)85--85
-
mode, forward-, 3(z)97--97, 7(z)54--54
-
mode, reverse-, 4(z)38--38, 6(z)48--48, 7(z)54--54
-
Model-assisted, 1(z)61--61
-
Model-Checking, 8(z)87--87
-
model-checking, 3(z)26--26, 6(z)63--63, 6(z)65--65
-
Model-finders, 6(z)79--79
-
model-finding, 6(z)79--79
-
Model-guided, 6(z)191--191
-
model-related, memory-, 2(z)125--125
-
model., 3(z)133--133
-
modeled, 3(z)22--22, 3(z)142--142, 4(z)115--115, 6(z)41--41, 6(z)60--60,
6(z)176--176, 7(z)59--59, 8(z)17--17
-
modeling, 2(z)32--32, 3(z)99--99, 3(z)142--142, 4(z)19--19, 4(z)121--121,
4(z)190--190, 5(z)13--13, 5(z)25--25, 5(z)87--87, 5(z)115--115,
5(z)157--157, 5(z)163--163, 6(z)99--99, 6(z)156--156, 7(z)61--61,
7(z)109--109, 8(z)146--146
-
modelling, 2(z)83--83, 4(z)39--39, 4(z)66--66, 5(z)65--65, 7(z)63--63
-
Models, Counter-, 8(z)33--33
-
moderately, 4(z)7--7, 4(z)129--129
-
modern, 1(z)36--36, 2(z)83--83, 2(z)109--109, 2(z)110--110, 2(z)126--126,
2(z)151--151, 3(z)10--10, 3(z)101--101, 3(z)112--112, 3(z)165--165,
3(z)168--168, 3(z)170--170, 3(z)176--176, 3(z)178--178, 4(z)19--19,
4(z)33--33, 4(z)38--38, 4(z)92--92, 4(z)107--107, 4(z)113--113,
4(z)128--128, 4(z)144--144, 4(z)145--145, 4(z)146--146,
4(z)147--147, 4(z)148--148, 4(z)186--186, 4(z)226--226, 5(z)18--18,
5(z)43--43, 5(z)66--66, 5(z)77--77, 5(z)103--103, 5(z)132--132,
5(z)136--136, 5(z)143--143, 5(z)149--149, 6(z)52--52, 6(z)68--68,
6(z)157--157, 6(z)159--159, 6(z)174--174, 7(z)9--9, 7(z)48--48,
7(z)92--92, 7(z)96--96, 7(z)109--109, 7(z)129--129, 7(z)132--132,
7(z)167--167, 7(z)206--206, 7(z)230--230, 7(z)253--253,
7(z)257--257, 7(z)262--262, 7(z)276--276, 7(z)283--283, 8(z)38--38,
8(z)49--49
-
Modernish, 4(z)43--43
-
modes''-forward, 7(z)43--43
-
modes., 3(z)142--142
-
modest, 8(z)38--38
-
Modification, 7(z)71--71, 8(z)5--5, 8(z)28--28
-
modified, 4(z)7--7
-
modify, 4(z)7--7, 8(z)41--41
-
modifying, 4(z)81--81
-
modular, 1(z)24--24, 2(z)83--83, 2(z)123--123, 2(z)136--136, 3(z)84--84,
3(z)121--121, 3(z)126--126, 3(z)129--129, 3(z)147--147,
3(z)151--151, 4(z)23--23, 4(z)60--60, 4(z)172--172, 5(z)33--33,
5(z)42--42, 5(z)67--67, 5(z)116--116, 5(z)145--145, 6(z)33--33,
6(z)38--38, 6(z)104--104, 6(z)188--188, 7(z)53--53, 7(z)62--62,
7(z)72--72, 7(z)87--87, 7(z)108--108, 7(z)120--120, 7(z)151--151,
7(z)208--208, 7(z)246--246, 7(z)251--251, 7(z)279--279, 8(z)5--5,
8(z)9--9, 8(z)12--12, 8(z)21--21, 8(z)32--32, 8(z)117--117,
8(z)119--119
-
modularity, 3(z)129--129, 4(z)209--209, 7(z)62--62, 7(z)155--155,
7(z)202--202, 7(z)223--223
-
modularly, 3(z)106--106, 3(z)147--147
-
module, 2(z)97--97, 2(z)129--129, 3(z)10--10, 3(z)84--84, 4(z)23--23,
4(z)199--199, 6(z)154--154, 7(z)120--120, 8(z)72--72, 8(z)101--101
-
module-compilation, 3(z)10--10
-
modulo, 4(z)141--141, 4(z)154--154, 4(z)192--192, 5(z)104--104,
6(z)60--60, 6(z)169--169, 7(z)40--40, 8(z)1--1
-
Modus, 4(z)206--206
-
Moebius, 6(z)39--39
-
M{\o}gelberg, Rasmus Ejlers, 3(z)4--4, 3(z)109--109, 5(z)2--2,
7(z)205--205, see Bahr, Patrick
-
Mogelberg:2019:BPT, 3(z)4--4
-
Moggi, 6(z)44--44
-
Mogk, Ragnar, 2(z)107--107, 3(z)144--144
-
Mogk, Ragnar, see Drechsler, Joscha
-
Mogk:2019:FTP, 3(z)144--144
-
Mohammadi, Fatemeh, 7(z)100--100
-
Mohammadi, Fatemeh, see Goharshady, Amir Kafshdar
-
Mohan, Anshuman, 3(z)171--171, 7(z)269--269
-
Mohan, Anshuman, see Wang, Shengyi
-
Mohan:2023:FAP, 7(z)269--269
-
Mohsin, Hasan, 7(z)180--180
-
Mohsin, Hasan, see Lecoeur, Bastien
-
Moine, Alexandre, 7(z)25--25, 8(z)11--11
-
Moine:2023:HLS, 7(z)25--25
-
Moine:2024:DSL, 8(z)11--11
-
Moiseenko, Evgenii, 6(z)152--152
-
Moiseenko:2022:MCM, 6(z)152--152
-
Mokhov, Andrey, 2(z)79--79, 3(z)90--90
-
Mokhov:2018:BSC, 2(z)79--79
-
Mokhov:2019:SAF, 3(z)90--90
-
Molavi, Abtin, 7(z)140--140
-
Molavi, Abtin, see Xu, Amanda
-
Moler, Cleve, 4(z)81--81
-
Moler:2020:HM, 4(z)81--81
-
Moll, Simon, 5(z)31--31
-
Moll, Simon, see Rosemann, Julian
-
M{\o}ller, Anders, 1(z)66--66, 1(z)90--90, 2(z)141--141, 3(z)140--140,
4(z)168--168, 4(z)187--187,
see Adamsen, Christoffer Quist,
see Kristensen, Erik Krogh, \see{Li, Yue,
see Stein, Benno
-
Moller:2020:DLJ, 4(z)187--187
-
Moller:2020:EAO, 4(z)168--168
-
moment, 6(z)178--178
-
Moment-Matching, 8(z)63--63
-
monad, 2(z)76--76, 2(z)86--86, 2(z)88--88, 3(z)21--21, 3(z)90--90,
3(z)99--99, 3(z)104--104, 3(z)166--166, 4(z)31--31, 5(z)26--26,
6(z)82--82, 6(z)97--97, 6(z)99--99, 6(z)101--101, 6(z)123--123,
7(z)46--46, 7(z)57--57, 7(z)61--61, 7(z)192--192
-
monad-like, 3(z)104--104
-
monadic, 1(z)13--13, 1(z)73--73, 2(z)36--36, 2(z)64--64, 2(z)76--76,
2(z)86--86, 3(z)104--104, 4(z)4--4, 4(z)31--31, 5(z)26--26,
5(z)67--67, 6(z)93--93, 6(z)99--99, 6(z)172--172, 7(z)69--69,
7(z)110--110, 7(z)145--145, 7(z)200--200
-
monads,, 4(z)51--51
-
monetary, 2(z)116--116
-
money, 6(z)145--145
-
Mong, Arnold, 7(z)293--293
-
Mong, Arnold, see Miltner, Anders
-
monitor, 3(z)122--122, 4(z)2--2, 6(z)67--67, 7(z)88--88, 7(z)199--199
-
monitoring, 2(z)25--25, 7(z)199--199, 8(z)73--73
-
Monniaux, David, 4(z)129--129, 7(z)224--224
-
Monniaux, David, see Gourdin, Léo,
see Six, Cyril
-
Monnier, Stefan, 4(z)74--74, 6(z)39--39
-
Monnier, Stefan, see Jang, Junyoung
-
Monnier:2020:EEL, 4(z)74--74
-
monoidal, 7(z)64--64
-
monoids, 5(z)5--5, 7(z)208--208
-
monolithic, 2(z)159--159, 7(z)108--108
-
monomorphic, 6(z)64--64
-
monomorphisation, 6(z)168--168
-
monotone, 5(z)52--52, 6(z)15--15
-
monotonic, 2(z)65--65
-
monotonically, 5(z)76--76
-
monotonicity, 4(z)119--119, 8(z)55--55
-
Montagu, Benoît, 4(z)119--119
-
Montagu:2020:SRA, 4(z)119--119
-
Montesi, Fabrizio, 3(z)24--24
-
Montesi, Fabrizio, see Kokke, Wen
-
MOOC, 1(z)4--4
-
MOOCs, 3(z)166--166
-
Moon, David, 7(z)96--96
-
Moon, David, see Yuan, Yongwei
-
Moon, Soonwon, 7(z)139--139
-
Moon, Soonwon, see Lee, Dongjae
-
Moorby, Phil, 4(z)87--87
-
Moorby, Phil, see Flake, Peter
-
Moore, 3(z)125--125
-
Moore, Scott, 7(z)264--264
-
Moore, Scott, see Sahebolamri, Arash
-
Moosbrugger, Marcel, 6(z)178--178, 8(z)30--30
-
Moosbrugger, Marcel, see Müllner, Julian
-
Moosbrugger:2022:MPL, 6(z)178--178
-
Mora, Federico, 7(z)300--300
-
Mora:2023:MCD, 7(z)300--300
-
Mordido, Andreia, 7(z)163--163, 8(z)90--90
-
Mordido, Andreia, see DeYoung, Henry
-
Mordido:2023:PAP, 7(z)163--163
-
more, 2(z)155--155, 3(z)2--2, 3(z)3--3, 3(z)16--16, 3(z)30--30,
3(z)82--82, 3(z)115--115, 3(z)125--125, 3(z)126--126, 3(z)158--158,
4(z)7--7, 4(z)23--23, 4(z)29--29, 4(z)34--34, 4(z)41--41, 4(z)60--60,
4(z)71--71, 4(z)74--74, 4(z)79--79, 4(z)80--80, 4(z)121--121,
4(z)132--132, 4(z)133--133, 4(z)219--219, 5(z)23--23, 5(z)69--69,
5(z)76--76, 5(z)147--147, 5(z)148--148, 5(z)155--155, 6(z)37--37,
6(z)39--39, 6(z)54--54, 6(z)66--66, 6(z)100--100, 6(z)135--135,
6(z)141--141, 6(z)148--148, 6(z)153--153, 6(z)179--179, 7(z)12--12,
7(z)20--20, 7(z)35--35, 7(z)44--44, 7(z)68--68, 7(z)94--94,
7(z)117--117, 7(z)172--172, 7(z)211--211, 7(z)240--240,
7(z)253--253, 7(z)263--263, 7(z)283--283
-
more-general, 3(z)147--147
-
more-widespread, 3(z)147--147
-
Morehouse, Edward, 4(z)15--15
-
Morehouse, Edward, see Kavvos, G. A.
-
Moreira, Angélica Aparecida, 5(z)144--144
-
Moreira:2021:PVS, 5(z)144--144
-
Moreover, 4(z)172--172, 5(z)11--11, 7(z)253--253
-
Morgan, Carroll, 2(z)33--33
-
Morgan, Carroll, see McIver, Annabelle
-
Morihata, Akimasa, 3(z)80--80
-
Morihata:2019:LCA, 3(z)80--80
-
morphism, 3(z)104--104, 3(z)161--161
-
Morris, Daniel, 5(z)158--158
-
Morris, Daniel, see Rahmani, Kia
-
Morris, J. Garrett, 1(z)42--42, 2(z)134--134, 3(z)12--12, 3(z)28--28,
4(z)40--40, 7(z)3--3, 7(z)201--201, 8(z)54--54
-
Morris, J. Garrett, see Abreu, Pedro,
see Fowler, Simon, \see{Hubers, Alex,
see Jones, Mark P., \see{Tang, Wenhao,
see Williams, Jack
-
Morris:2017:CTF, 1(z)42--42
-
Morris:2019:AED, 3(z)12--12
-
Morrisett, Greg, 7(z)30--30, 7(z)150--150
-
Morrisett, Greg, see Gancher, Joshua,
see Zhang, Jialun
-
Morrison, Adam, 4(z)128--128
-
Morrison, Adam, see Feldman, Yotam M. Y.
-
Mörtberg, Anders, 3(z)87--87, 5(z)12--12,
see Angiuli, Carlo, \see{Vezzosi, Andrea
-
Morton, Jason, 7(z)168--168
-
Morton, Jason, see Pailoor, Shankara
-
Mosaic, 7(z)122--122
-
MoSeL, 2(z)77--77
-
Moseley, Dan, 7(z)148--148
-
Moseley:2023:DBN, 7(z)148--148
-
Moser, Georg, 4(z)172--172, 7(z)149--149, 8(z)122--122
-
Moser, Georg, see Avanzini, Martin
-
Moss, J. Eliot B., 3(z)182--182
-
Moss, J. Eliot B., see Tosch, Emma
-
Moss, Sean, 8(z)61--61
-
Moss, Sean, see Ackerman, Nate
-
Moss, Sean K., 2(z)60--60
-
Moss, Sean K., see {\'S}cibior, Adam
-
Mossad, 4(z)138--138
-
Mössenböck, Hanspeter, 2(z)108--108,
see Daloze, Benoit
-
Mosses, Peter, 6(z)192--192
-
Mosses, Peter, see Rest, Cas van der
-
most, 2(z)66--66, 2(z)69--69, 2(z)77--77, 2(z)86--86, 2(z)113--113,
2(z)126--126, 2(z)144--144, 2(z)147--147, 2(z)148--148, 3(z)28--28,
3(z)110--110, 3(z)113--113, 3(z)125--125, 3(z)132--132,
3(z)140--140, 3(z)146--146, 3(z)153--153, 3(z)189--189, 4(z)10--10,
4(z)17--17, 4(z)22--22, 4(z)34--34, 4(z)36--36, 4(z)42--42,
4(z)43--43, 4(z)64--64, 4(z)71--71, 4(z)72--72, 4(z)74--74,
4(z)77--77, 4(z)84--84, 4(z)132--132, 4(z)136--136, 4(z)169--169,
4(z)191--191, 4(z)199--199, 4(z)207--207, 4(z)228--228, 5(z)34--34,
5(z)36--36, 5(z)90--90, 5(z)96--96, 5(z)102--102, 5(z)106--106,
5(z)118--118, 5(z)125--125, 5(z)159--159, 6(z)64--64, 6(z)78--78,
6(z)83--83, 6(z)92--92, 6(z)114--114, 6(z)164--164, 6(z)165--165,
7(z)15--15, 7(z)75--75, 7(z)128--128, 7(z)137--137, 7(z)158--158,
7(z)177--177, 7(z)194--194, 7(z)230--230, 7(z)263--263,
7(z)281--281, 7(z)286--286, 8(z)32--32, 8(z)49--49, 8(z)57--57,
8(z)81--81, 8(z)87--87, 8(z)119--119, 8(z)129--129, 8(z)142--142
-
mostly, 1(z)54--54, 2(z)95--95, 3(z)159--159, 5(z)7--7, 7(z)107--107,
8(z)35--35
-
mother, 2(z)76--76
-
motion, 4(z)134--134
-
motivated, 4(z)82--82, 4(z)201--201, 5(z)17--17, 6(z)4--4, 6(z)72--72,
6(z)81--81, 7(z)21--21, 7(z)37--37, 8(z)28--28
-
motivates, 2(z)113--113
-
motivation, 4(z)71--71, 4(z)73--73
-
Motwani, Harshit Jitendra, 7(z)100--100
-
Motwani, Harshit Jitendra, see Goharshady, Amir Kafshdar
-
Mount, Sarah, 1(z)52--52
-
Mount, Sarah, see Barrett, Edd
-
Moura, Leonardo de, 1(z)34--34, 4(z)115--115, 6(z)109--109
-
Moura, Leonardo de, see Ebner, Gabriel,
see Selsam, Daniel,
see Ullrich, Sebastian
-
move, 5(z)147--147
-
movements, 2(z)138--138
-
Mover, Sergio, 7(z)289--289
-
Mover, Sergio, see Meier, Shawn
-
movies, 1(z)30--30
-
moving, 5(z)3--3, 5(z)61--61
-
Moy, Cameron, 5(z)53--53, 8(z)88--88
-
Moy:2021:CRS, 5(z)53--53
-
Moy:2024:ESC, 8(z)88--88
-
Mozilla, 6(z)27--27
-
MPC, 7(z)147--147, 8(z)144--144
-
MPST, 3(z)29--29, 3(z)30--30, 4(z)148--148, 4(z)155--155, 7(z)79--79
-
MPST-based, 3(z)29--29
-
MPSTs, 5(z)124--124
-
MSL, 7(z)69--69
-
MSO, 6(z)65--65
-
MSWasm, 7(z)15--15
-
Mtac2, 2(z)78--78
-
Mu, Kevin, 8(z)126--126
-
Mu, Kevin, see Michel, Jesse
-
much, 2(z)86--86, 2(z)101--101, 2(z)108--108, 2(z)120--120, 3(z)103--103,
3(z)120--120, 3(z)155--155, 3(z)162--162, 4(z)71--71, 4(z)74--74,
4(z)121--121, 4(z)167--167, 4(z)190--190, 4(z)203--203,
4(z)233--233, 5(z)64--64, 5(z)72--72, 5(z)97--97, 6(z)64--64,
6(z)67--67, 6(z)116--116, 7(z)39--39, 7(z)158--158, 8(z)21--21,
8(z)35--35, 8(z)60--60
-
Muduli, Sujit Kumar, 6(z)169--169, 6(z)171--171
-
Muduli, Sujit Kumar, see Kalita, Pankaj Kumar
-
Muduli:2022:SMF, 6(z)169--169
-
Muehlboeck, Fabian, 1(z)56--56, 2(z)112--112, 5(z)127--127
-
Muehlboeck:2017:SGT, 1(z)56--56
-
Muehlboeck:2018:EUI, 2(z)112--112
-
Muehlboeck:2021:TSN, 5(z)127--127
-
Mukherjee, Manasij, 4(z)177--177, 8(z)120--120
-
Mukherjee, Suvam, 4(z)230--230
-
Mukherjee:2020:DBP, 4(z)177--177
-
Mukherjee:2020:LBC, 4(z)230--230
-
Mukherjee:2024:HGP, 8(z)120--120
-
Mulder, Ike, 7(z)91--91, 7(z)161--161
-
Mulder:2023:BBC, 7(z)161--161
-
Mulder:2023:PAL, 7(z)91--91
-
Mullanix, Reed, 7(z)57--57
-
Mullanix, Reed, see (Favonia), Kuen-Bang Hou
-
Müller, André, 2(z)119--119,
see Leißa, Roland
-
Müller, Marius, 7(z)104--104, 7(z)255--255
-
Müller, Mark Niklas, 6(z)43--43, 7(z)138--138
-
Müller, Peter, 3(z)121--121, 3(z)147--147, 4(z)136--136,
4(z)152--152, 5(z)145--145, 5(z)146--146, 6(z)163--163,
7(z)102--102, 7(z)164--164, 7(z)175--175,
see Astrauskas, Vytautas,
see Bräm, Christian,
see Dardinier, Thibault,
see Eilers, Marco,
see Fiala, Joná{\v{s}},
see Sprenger, Christoph,
see Ter-Gabrielyan, Arshavir,
see Wolff, Fabian
-
Muller, Stefan K., 2(z)95--95, 3(z)81--81, 5(z)25--25, 6(z)46--46,
7(z)135--135, 8(z)17--17, 8(z)53--53
-
Muller, Stefan K., see Arora, Jatin,
see Rinaldi, Francis
-
Müller-Olm, Markus, 5(z)38--38, 8(z)2--2,
see Gutsfeld, Jens Oliver
-
Muller:2018:CPG, 2(z)95--95
-
Muller:2019:FRP, 3(z)81--81
-
Muller:2021:MAE, 5(z)25--25
-
Muller:2022:PGP, 6(z)43--43
-
Muller:2022:SPP, 6(z)46--46
-
Muller:2023:AIF, 7(z)138--138
-
Muller:2023:BDS, 7(z)104--104
-
Muller:2023:CRE, 7(z)255--255
-
Muller:2023:RPS, 7(z)135--135
-
Mulligan, Dominic P., 1(z)109--109, 7(z)88--88
-
Mulligan, Dominic P., see Fox, Anthony C. J.,
see Gomes, Victor B. F.
-
Müllner, Julian, 8(z)30--30
-
Mullner:2024:SIH, 8(z)30--30
-
Multi, 2(z)94--94, 6(z)119--119
-
multi-actor, 4(z)198--198
-
multi-core, 4(z)128--128
-
multi-execution, 6(z)152--152
-
multi-language, 4(z)23--23, 7(z)27--27
-
Multi-modal, 5(z)158--158
-
multi-paradigm, 4(z)113--113
-
multi-prompt, 5(z)71--71
-
multi-robot, 4(z)134--134
-
multi-shot, 8(z)54--54
-
Multi-stage, 6(z)61--61
-
multi-threaded, 2(z)95--95, 2(z)107--107, 5(z)44--44, 6(z)22--22
-
multi-token, 7(z)24--24
-
multicopy, 5(z)113--113
-
multicopy-atomic, 2(z)19--19
-
multicore, 3(z)81--81, 4(z)47--47, 4(z)96--96, 5(z)18--18, 5(z)66--66,
6(z)186--186, 8(z)140--140
-
multigraph, 4(z)31--31
-
multiparadigm, 4(z)83--83
-
multiparty, 3(z)29--29, 3(z)30--30, 4(z)134--134, 4(z)148--148,
4(z)155--155, 5(z)16--16, 5(z)124--124, 6(z)107--107, 7(z)79--79,
7(z)147--147, 8(z)144--144
-
multiple, 2(z)107--107, 2(z)110--110, 2(z)113--113, 2(z)120--120,
2(z)122--122, 2(z)150--150, 2(z)159--159, 3(z)11--11, 3(z)29--29,
3(z)91--91, 3(z)133--133, 3(z)137--137, 3(z)144--144, 3(z)156--156,
3(z)186--186, 4(z)83--83, 4(z)164--164, 4(z)219--219, 6(z)3--3,
6(z)51--51, 6(z)75--75, 6(z)182--182, 7(z)4--4, 7(z)147--147,
7(z)158--158, 7(z)179--179, 7(z)293--293, 8(z)144--144
-
multiple-conclusion, 4(z)18--18
-
multiple-consumer, 5(z)66--66
-
Multiple-Data, Single-Program-, 4(z)72--72
-
multiple-dispatch, 4(z)74--74
-
multiple-producer, 5(z)66--66
-
multiplexing, 2(z)154--154
-
multiplicative, 4(z)18--18
-
multipliers, 5(z)148--148
-
multisets, 6(z)89--89
-
multithreaded, 3(z)150--150, 4(z)71--71, 4(z)214--214, 5(z)44--44,
5(z)148--148
-
multitude, 4(z)74--74
-
Multiverse, 8(z)121--121
-
Murali, Adithya, 4(z)35--35, 6(z)185--185, 6(z)191--191, 7(z)259--259
-
Murali, Adithya, see Krogmeier, Paul,
see Mathur, Umang
-
Murali, Vijayaraghavan, 1(z)58--58
-
Murali, Vijayaraghavan, see Yuan, Binhang
-
Murali:2022:MGS, 6(z)191--191
-
Murali:2023:CFO, 7(z)259--259
-
Murawski, Andrzej S., 2(z)39--39
-
Murawski, Andrzej S., see Clairambault, Pierre
-
MurmurHash3, 5(z)148--148
-
Murray, Toby, 5(z)99--99
-
Murray, Toby, see Yan, Pengbo
-
Mururu, Girish, 5(z)154--154, 7(z)228--228
-
Mururu, Girish, see Brown, Michael D.
-
Mururu:2023:BEE, 7(z)228--228
-
must, 2(z)66--66, 2(z)109--109, 2(z)121--121, 2(z)164--164, 3(z)102--102,
3(z)109--109, 3(z)133--133, 3(z)140--140, 3(z)142--142,
3(z)161--161, 3(z)183--183, 4(z)94--94, 4(z)130--130, 4(z)131--131,
4(z)164--164, 4(z)194--194, 4(z)210--210, 5(z)119--119, 6(z)95--95,
6(z)136--136, 7(z)4--4, 7(z)164--164, 7(z)210--210, 7(z)212--212,
8(z)20--20
-
must-alias, 5(z)96--96
-
Musuvathi, Madanlal, 1(z)49--49
-
Musuvathi, Madanlal, see Liu, Lun
-
mutability, 5(z)92--92, 6(z)116--116, 7(z)85--85
-
mutable, 3(z)6--6, 3(z)147--147, 4(z)6--6, 4(z)178--178, 5(z)79--79,
5(z)92--92, 6(z)82--82, 8(z)50--50, 8(z)106--106
-
mutant, 4(z)193--193
-
mutate, 4(z)193--193, 5(z)145--145
-
mutated, 7(z)75--75
-
mutating, 7(z)200--200
-
mutation, 4(z)193--193, 5(z)152--152, 6(z)69--69, 6(z)73--73,
6(z)156--156, 7(z)200--200, 7(z)252--252
-
mutex, 4(z)71--71
-
Mutually, 7(z)234--234
-
mutually-recursive, 5(z)45--45
-
Muylder, Antoine, Van, 4(z)4--4, 8(z)8--8
-
Myers, Andrew C., 1(z)70--70, 3(z)5--5, 4(z)139--139
-
Myers, Andrew C., see Zhang, Yizhou
-
Myers, Brad A., 4(z)132--132
-
Myers, Brad A., see Coblenz, Michael
-
Myreen, Magnus O., 1(z)18--18, 4(z)204--204, 7(z)145--145, 7(z)152--152
-
Myreen, Magnus O., see Gómez-Londoño, Alejandro,
see Kanabar, Hrutvik, \see{Owens, Scott,
see Sewell, Thomas
-
myriad, 4(z)107--107, 7(z)275--275, 7(z)300--300
-
Mytkowicz, Todd, 1(z)71--71
-
Mytkowicz, Todd, see Sampson, Adrian