Index file section J for pacmpl.bib
Last update: Sat May 11 02:08:55 MDT 2024
Return to index directory
J
-
Jabarin, Adham, 8(z)46--46
-
Jabarin, Adham, see Cohen, Liron
-
Jaber, Guilhem, 4(z)59--59, 5(z)81--81
-
Jaber, Guilhem, see Birkedal, Lars
-
Jaber, Nouraldin, 5(z)157--157, 7(z)81--81
-
Jaber, Nouraldin, see Wagner, Christopher
-
Jaber:2020:SAC, 4(z)59--59
-
Jaber:2021:PQM, 5(z)157--157
-
Jablin, Thomas B., 1(z)45--45
-
Jablin, Thomas B., see El Hajj, Izzat
-
Jabs, Julian, 4(z)30--30
-
Jabs, Julian, see Binder, David
-
Jackson, Vincent, 7(z)47--47
-
Jackson, Vincent, see Chen, Zilin
-
Jacobian, 6(z)56--56
-
Jacobs, Bart, 4(z)45--45
-
Jacobs, Bart, see Jung, Ralf
-
Jacobs, Jules, 5(z)58--58, 6(z)1--1, 6(z)107--107, 7(z)36--36,
7(z)52--52, 7(z)214--214, 8(z)47--47
-
Jacobs, Koen, 5(z)7--7, 6(z)82--82
-
Jacobs, Swen, 5(z)157--157
-
Jacobs, Swen, see Jaber, Nouraldin
-
Jacobs:2021:FAS, 5(z)7--7
-
Jacobs:2021:PPP, 5(z)58--58
-
Jacobs:2022:CGM, 6(z)1--1
-
Jacobs:2022:MGF, 6(z)107--107
-
Jacobs:2022:PSM, 6(z)82--82
-
Jacobs:2023:DSP, 7(z)214--214
-
Jacobs:2023:FCB, 7(z)52--52
-
Jacobs:2023:HOL, 7(z)36--36
-
Jacobs:2024:DFS, 8(z)47--47
-
Jafery, Khurram A., 5(z)61--61
-
Jafery, Khurram A., see Schwerter, Felipe Bañados
-
Jaffar, Joxan, 4(z)192--192
-
Jaffar, Joxan, see Trinh, Minh-Thai
-
Jaffer, Sadiq, 4(z)113--113
-
Jaffer, Sadiq, see Sivaramakrishnan, KC
-
Jagadeesan, Radha, 2(z)18--18, 4(z)194--194
-
Jagadeesan, Radha, see Dongol, Brijesh
-
Jagadeesan:2020:PPS, 4(z)194--194
-
Jagannathan, Suresh, 2(z)27--27, 2(z)164--164, 3(z)117--117,
3(z)154--154, 5(z)116--116, 6(z)147--147, 7(z)157--157
-
Jagannathan, Suresh, see Kaki, Gowtham,
see Mishra, Ashish, \see{Rahmani, Kia,
see Zhou, Zhe
-
Jain, Kush, 5(z)166--166
-
Jain, Kush, see Al Awar, Nader
-
Jain, Prateek, 2(z)150--150
-
Jain, Prateek, see Padhi, Saswat
-
Jaleel, Aamer, 7(z)111--111
-
Jaleel, Aamer, see Tarek Ibn Ziad, Mohamed
-
James, 3(z)85--85
-
James, Michael, 4(z)12--12
-
James, Michael, see Guo, Zheng
-
James, Michael B., 4(z)205--205, 7(z)78--78
-
James, Michael B., see Barke, Shraddha
-
James:2020:DFS, 4(z)205--205
-
Jamner, Dustin, 1(z)39--39, 4(z)46--46
-
Jamner, Dustin, see Ahmed, Amal,
see New, Max S.
-
Jana, Suman, 8(z)123--123
-
Jana, Suman, see Ryan, Gabriel
-
Jang, Junyoung, 6(z)39--39
-
Jang:2022:MMU, 6(z)39--39
-
Jangda, Abhinav, 3(z)149--149
-
Jangda:2019:FFS, 3(z)149--149
-
Jank{\r{u}}, Petr, 2(z)4--4, see Holk, Luk{\'a}{\v{s}}
-
January, 4(z)73--73
-
Janus, 5(z)144--144
-
Jaspan, Ciera, 1(z)104--104
-
Jaspan, Ciera, see Rice, Andrew
-
Java, 1(z)85--85, 2(z)108--108, 2(z)111--111, 2(z)136--136, 2(z)141--141,
2(z)144--144, 3(z)142--142, 3(z)148--148, 3(z)158--158,
3(z)170--170, 3(z)177--177, 3(z)184--184, 4(z)71--71, 4(z)73--73,
4(z)76--76, 4(z)77--77, 4(z)149--149, 4(z)168--168, 4(z)217--217,
5(z)147--147, 5(z)165--165, 6(z)71--71, 6(z)88--88, 6(z)138--138,
7(z)48--48, 7(z)128--128, 7(z)295--295, 8(z)134--134, 8(z)143--143
-
JavaScript, 1(z)48--48, 1(z)66--66, 1(z)86--86, 2(z)50--50, 2(z)161--161,
2(z)162--162, 3(z)133--133, 3(z)140--140, 4(z)73--73, 4(z)77--77,
4(z)187--187, 5(z)70--70, 5(z)160--160, 6(z)45--45, 6(z)90--90,
6(z)142--142, 7(z)130--130
-
JaVerT, 2(z)50--50
-
Jayanti, Prasad, 8(z)82--82
-
Jayanti, Siddhartha, 8(z)82--82
-
Jayanti, Siddhartha, see Jayanti, Prasad
-
Jayanti:2024:USC, 8(z)82--82
-
Jecmen, Jan, 4(z)220--220, 5(z)101--101
-
Jecmen, Jan, see Flückiger, Olivier,
see Goel, Aviral
-
Jeffrey, Alan, 4(z)194--194, 6(z)54--54
-
Jeffrey, Alan, see Jagadeesan, Radha
-
Jeffrey:2022:LSC, 6(z)54--54
-
Jenkins, Christa, 7(z)3--3
-
Jenkins, Christa, see Abreu, Pedro
-
Jenkins, Christopher, 4(z)122--122
-
Jenkins, Christopher, see Stump, Aaron
-
Jensen, David D., 3(z)182--182
-
Jensen, David D., see Tosch, Emma
-
Jensen, Thomas, 4(z)112--112, 4(z)119--119
-
Jensen, Thomas, see Haudebourg, Timothée,
see Montagu, Benoît
-
Jeon, Minseok, 1(z)100--100, 2(z)140--140, 4(z)179--179, 6(z)58--58
-
Jeon, Minseok, see Jeong, Sehun
-
Jeon, Seungmin, 7(z)118--118
-
Jeon, Seungmin, see Cho, Kyeongmin
-
Jeon:2018:PSP, 2(z)140--140
-
Jeon:2020:LGB, 4(z)179--179
-
Jeon:2022:RCC, 6(z)58--58
-
Jeong, Sehun, 1(z)100--100, 2(z)140--140
-
Jeong, Sehun, see Jeon, Minseok
-
Jeong:2017:DDC, 1(z)100--100
-
Jermaine, Christopher, 1(z)58--58
-
Jermaine, Christopher, see Yuan, Binhang
-
Jespersen, Morten, Krogh-, 2(z)64--64
-
Je{\.z}, Artur, 8(z)65--65, see Hague, Matthew
-
jFSTMerge, 3(z)170--170
-
Jha, Somesh, 6(z)14--14
-
Jha, Somesh, see Wang, Zi
-
Jhala, Ranjit, 1(z)26--26, 1(z)60--60, 1(z)110--110, 2(z)53--53,
4(z)12--12, 4(z)205--205, 5(z)49--49, 6(z)27--27, 6(z)167--167,
7(z)169--169, 7(z)203--203, 7(z)259--259, 8(z)70--70
-
Jhala, Ranjit, see Augustsson, Lennart,
see Bakst, Alexander,
see Borkowski, Michael H.,
see Cosman, Benjamin, \see{Guo, Zheng,
see James, Michael B.,
see Kolosick, Matthew, \see{Lehmann, Nico,
see Murali, Adithya,
see Sakkas, Georgios,
see Seidel, Eric L., \see{Vassena, Marco,
see Vazou, Niki
-
Ji, Ruyi, 4(z)224--224, 5(z)167--167, 7(z)103--103
-
Ji:2020:GDP, 4(z)224--224
-
Ji:2021:GST, 5(z)167--167
-
Ji:2023:IOG, 7(z)103--103
-
Jia, Limin, 3(z)183--183, 4(z)163--163, 7(z)136--136
-
Jia, Limin, see Surbatovich, Milijana
-
Jia, Songlin, 7(z)236--236, 8(z)14--14
-
Jia, Songlin, see Bra{\v{c}}evac, Oliver,
see Wei, Guannan
-
Jia, Xiaodong, 5(z)151--151, 6(z)26--26
-
Jia, Zhihao, 8(z)114--114
-
Jia, Zhihao, see Li, Zikun
-
Jia:2021:DBP, 5(z)151--151
-
Jia:2022:SVQ, 6(z)26--26
-
Jiang, Chuan, 7(z)4--4
-
Jiang, Chuan, see Wang, Yanjun
-
Jiang, Hanru, 6(z)72--72
-
Jiang, Hanru, see Yan, Peng
-
Jiang, Junchen, 7(z)231--231
-
Jiang, Junchen, see Wan, Chengcheng
-
Jiang, Shengyi, 7(z)295--295
-
Jiang, Shengyi, see Cui, Chen
-
Jiang, Yu, 7(z)97--97, 7(z)243--243, 7(z)266--266
-
Jiang, Yu, see Xu, Zhenyang, \see{Zhang, Quan,
see Zhou, Chijin
-
Jiang, Yuxuan, 5(z)139--139, 7(z)236--236
-
Jiang, Yuxuan, see Bao, Yuyan,
see Bra{\v{c}}evac, Oliver
-
(Jiaxun), Tang, Steven, 7(z)272--272, see Zhou, Jin
-
Jin, Charles, 6(z)166--166
-
Jin, Ende, 7(z)172--172
-
Jin, Tian, 5(z)109--109
-
Jin, Tian, see Anderson, Luke
-
Jin, Yihua, 4(z)174--174
-
Jin, Yihua, see Wu, Zhefeng
-
Jin, Zhi, 3(z)170--170
-
Jin, Zhi, see Shen, Bo
-
Jin:2022:NAS, 6(z)166--166
-
Jin:2023:EMM, 7(z)172--172
-
JIT, 2(z)124--124, 3(z)177--177, 5(z)46--46, 5(z)70--70, 5(z)150--150,
6(z)148--148, 7(z)9--9
-
JITs, 7(z)9--9
-
job, 6(z)162--162
-
Jochems, Jerome, 7(z)69--69
-
Jochems:2023:HOM, 7(z)69--69
-
Johannsen, Jacob, 3(z)185--185
-
Johannsen, Jacob, see Sergey, Ilya
-
John, 3(z)85--85
-
Johnsen, Einar Broch, 7(z)193--193
-
Johnsen, Einar Broch, see Varshosaz, Mahsa
-
Johnson, Daniel D., 5(z)88--88
-
Johnson, Daniel D., see Paszke, Adam
-
Johnson, Evan, 6(z)27--27, 7(z)15--15
-
Johnson, Evan, see Kolosick, Matthew,
see Michael, Alexandra E.
-
Johnson, Matthew J., 5(z)88--88, 7(z)43--43
-
Johnson, Matthew J., see Paszke, Adam,
see Radul, Alexey
-
Johnson, Steven, 4(z)166--166
-
Johnson, Steven, see Newcomb, Julie L.
-
Johnson-Freyd, Philip, 8(z)60--60
-
Johnson-Freyd, Philip, see Cohen, Joshua M.
-
Johnston, Emily, 1(z)104--104
-
Johnston, Emily, see Rice, Andrew
-
join, 2(z)67--67, 6(z)35--35
-
join, fork-, 5(z)148--148
-
joint, 6(z)51--51, 6(z)73--73, 7(z)147--147, 8(z)144--144
-
Jones, 6(z)82--82
-
Jones, Eddie, 5(z)55--55, 7(z)69--69
-
Jones, Eddie, see Jochems, Jerome
-
Jones, Mark P., 4(z)40--40
-
Jones, Simon Peyton, 2(z)5--5, 2(z)79--79, 3(z)97--97, 3(z)102--102,
4(z)89--89, 4(z)104--104, 4(z)107--107, 6(z)48--48, 7(z)203--203
-
Jones, Simon Peyton, see Augustsson, Lennart,
see Bernardy, Jean-Philippe,
see Downen, Paul, \see{Graf, Sebastian,
see Kiss, Csongor, \see{Krawiec, Faustyna,
see Mokhov, Andrey,
see Serrano, Alejandro,
see Shaikhha, Amir
-
Jones, Timothy M., 4(z)98--98
-
Jones, Timothy M., see Licker, Nandor
-
Jones-optimal, 2(z)14--14
-
Jones:2020:PTC, 4(z)40--40
-
Jones:2021:IDR, 5(z)55--55
-
Jongmans, Sung-Shik, 3(z)29--29
-
Jongmans, Sung-Shik, see Castro, David
-
Jonsson, Bengt, 2(z)135--135, 3(z)150--150
-
Jonsson, Bengt, see Abdulla, Parosh Aziz
-
Joshi, Harshit, 6(z)164--164
-
Joshi, Harshit, see Bavishi, Rohan
-
Joshi, Keyur, 3(z)119--119, 3(z)186--186
-
Joshi, Keyur, see Fernando, Vimuth,
see Sharif, Hashim
-
Jourdan, Jacques-Henri, 2(z)66--66, 2(z)77--77, 4(z)33--33, 4(z)34--34,
4(z)96--96, 5(z)66--66, 8(z)50--50
-
Jourdan, Jacques-Henri, see Dang, Hoang-Hai,
see Jung, Ralf, \see{Krebbers, Robbert,
see Mével, Glen,
see Pottier, François,
see Vilhena, Paulo Emílio de
-
Jovanovic, Vojin, 3(z)184--184
-
Jovanovic, Vojin, see Wimmer, Christian
-
JSON, 5(z)126--126, 7(z)227--227, 8(z)49--49
-
judges, 4(z)43--43
-
Julia, 2(z)113--113, 2(z)120--120, 4(z)207--207, 5(z)150--150
-
juliette, 4(z)207--207
-
Jung, 4(z)34--34
-
Jung, Jaehwang, 7(z)251--251
-
Jung, Ralf, 2(z)66--66, 2(z)77--77, 2(z)125--125, 4(z)41--41, 4(z)45--45,
5(z)92--92, 6(z)28--28, 6(z)100--100
-
Jung, Ralf, see Gäher, Lennard,
see Krebbers, Robbert,
see Lee, Juneyoung, \see{Spies, Simon,
see Yanovski, Joshua
-
Jung:2018:RSF, 2(z)66--66
-
Jung:2020:FOP, 4(z)45--45
-
Jung:2020:SBA, 4(z)41--41
-
Jung:2023:MVS, 7(z)251--251
-
jurisdictions, 5(z)77--77
-
Jurisevic, Anton, 2(z)116--116
-
Jurisevic, Anton, see Grech, Neville
-
just, 2(z)116--116, 3(z)3--3, 3(z)131--131, 4(z)23--23, 4(z)41--41,
4(z)43--43, 4(z)111--111, 6(z)154--154, 8(z)137--137
-
Just-in-Time, 7(z)9--9, 7(z)263--263, 7(z)277--277
-
just-in-time, 2(z)109--109, 2(z)120--120, 2(z)124--124, 3(z)177--177,
4(z)227--227, 5(z)46--46, 5(z)70--70, 7(z)263--263
-
Justesen, Mathias Nygaard, 1(z)15--15
-
Justesen, Mathias Nygaard, see Midtgaard, Jan
-
justice, 4(z)222--222
-
justify, 6(z)28--28, 6(z)152--152
-
Justo, David, 4(z)12--12, 5(z)133--133
-
Justo, David, see Burckhardt, Sebastian,
see Guo, Zheng
-
JVM, 1(z)49--49, 3(z)177--177, 4(z)71--71, 5(z)123--123