Index file section J for pacmpl.bib

Last update: Sun Sep 1 02:29:01 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)92--92, 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, 7(z)200--200, 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