Index file section P for pacmpl.bib

Last update: Sat May 11 02:08:55 MDT 2024

Return to index directory

P

P, 4(z)39--39
P-finite, 8(z)34--34
p4, 5(z)41--41, 6(z)38--38, 6(z)40--40, 7(z)290--290, 8(z)102--102
P4R-Type, 7(z)290--290
Pacak, André, 4(z)127--127, 7(z)248--248
Pacak:2020:SAD, 4(z)127--127
Pacak:2023:IDD, 7(z)248--248
Pacheco, Hugo, 2(z)82--82
Pacheco, Hugo, see Almeida, José Bacelar
package, 3(z)153--153, 4(z)74--74, 4(z)84--84, 4(z)207--207, 5(z)145--145
packaged, 6(z)182--182
packet, 6(z)38--38, 6(z)182--182, 7(z)269--269
packet-processing, 5(z)41--41
Padhi, Saswat, 2(z)150--150
Padhi:2018:FFS, 2(z)150--150
Padhye, Rohan, 3(z)174--174
Padhye:2019:FDS, 3(z)174--174
Padoan, Tommaso, 3(z)26--26
Padoan, Tommaso, see Baldan, Paolo
Padon, Oded, 1(z)108--108, 2(z)26--26, 6(z)50--50, 7(z)223--223, 8(z)33--33, 8(z)114--114
Padon, Oded, see Elad, Neta, see Hance, Travis, \see{Li, Zikun
Padon:2017:PME, 1(z)108--108
Padon:2018:RLS, 2(z)26--26
Padon:2022:IDP, 6(z)50--50
Padovani, Luca, 1(z)35--35, 6(z)5--5
Padovani, Luca, see Ciccone, Luca, see Melgratti, Hernán
Padua, David, 2(z)126--126
Padua, David, see Gong, Zhangxiaowen
Pagani, Michele, 2(z)59--59, 4(z)64--64, 5(z)28--28
Pagani, Michele, see Brunel, Aloïs, see Ehrhard, Thomas, \see{Mazza, Damiano
page, 3(z)151--151, 6(z)182--182
Pai, Sreepathi, 1(z)94--94
Pai, Sreepathi, see Celik, Ahmet
Pailoor, Shankara, 4(z)135--135, 6(z)144--144, 7(z)168--168, 8(z)28--28
Pailoor, Shankara, see Chen, Qiaochu
Pailoor:2020:APS, 4(z)135--135
Pailoor:2023:ADU, 7(z)168--168
Pailoor:2024:SCR, 8(z)28--28
pain, 4(z)104--104
Painter, 3(z)85--85
pair, 2(z)73--73, 2(z)145--145, 3(z)141--141, 5(z)59--59, 6(z)19--19, 6(z)134--134, 6(z)180--180, 7(z)54--54
pairwise, 8(z)21--21
Pal, Anjali, 7(z)258--258
Pal:2023:EST, 7(z)258--258
Palmer, Zachary, 4(z)102--102
Palmer:2020:HOD, 4(z)102--102
Palmkvist, Viktor, 7(z)58--58
Palmkvist:2023:SRA, 7(z)58--58
Palsberg, Jens, 2(z)14--14, 2(z)146--146, 3(z)142--142, 4(z)29--29
Palsberg, Jens, see Bender, John, see Brown, Matt, see Kalhauge, Christian Gram, see Migeed, Zeina
Paltenghi, Matteo, 6(z)86--86
Paltenghi:2022:BQC, 6(z)86--86
Pan, Minxue, 8(z)143--143
Pan, Minxue, see Lu, Yifei
Pan, Rong, 3(z)139--139
Pan, Zhiyi, 8(z)68--68
Pan, Zhiyi, see Zhao, Eric
Pan:2019:ARR, 3(z)139--139
Panchekha, Pavel, 2(z)99--99, 3(z)151--151, 5(z)23--23, 6(z)160--160, 8(z)32--32
Panchekha, Pavel, see Briggs, Ian, see Kirisame, Marisa, see Nandi, Chandrakana, \see{Willsey, Max
Panchekha:2019:MVW, 3(z)151--151
Pande, Santosh, 5(z)154--154, 7(z)228--228
Pande, Santosh, see Brown, Michael D., see Mururu, Girish
panel, 4(z)43--43
Pang, Jun, 8(z)141--141
Pang, Jun, see Li, Yongjian
Pantovi{\'c}, Jovanka, 5(z)16--16, see Ghilezan, Silvia
Papadakis, Manolis, 1(z)78--78
Papadakis:2017:SPS, 1(z)78--78
Papert, 4(z)79--79
Papert, Artemis, 4(z)79--79
Papert, Artemis, see Solomon, Cynthia
Paquet, Hugo, 7(z)46--46
Paquet, Hugo, see Dash, Swaraj
Par, 4(z)18--18
par, on-, 6(z)148--148
paradigm, 2(z)108--108, 2(z)111--111, 3(z)109--109, 3(z)160--160, 4(z)6--6, 4(z)83--83, 4(z)233--233, 5(z)133--133, 6(z)26--26, 6(z)66--66, 6(z)189--189, 7(z)51--51, 7(z)156--156, 7(z)207--207, 7(z)222--222, 8(z)117--117
paradigm, multi-, 4(z)113--113
Paradis, Anouk, 8(z)96--96
Paradis:2024:SFV, 8(z)96--96
Paradoxes, 5(z)58--58
parallel, 1(z)7--7, 1(z)73--73, 1(z)103--103, 2(z)91--91, 2(z)108--108, 2(z)109--109, 3(z)80--80, 3(z)81--81, 3(z)119--119, 3(z)177--177, 3(z)179--179, 4(z)14--14, 4(z)18--18, 4(z)81--81, 4(z)92--92, 4(z)113--113, 4(z)144--144, 4(z)147--147, 4(z)185--185, 5(z)5--5, 5(z)18--18, 5(z)34--34, 5(z)65--65, 5(z)131--131, 5(z)148--148, 5(z)166--166, 6(z)46--46, 6(z)115--115, 7(z)24--24, 7(z)37--37, 7(z)170--170, 8(z)11--11, 8(z)17--17, 8(z)53--53
Parallel, Data-, 7(z)181--181
parallel, data-, 2(z)97--97
parallel, nested-, 4(z)47--47
parallel, vector-, 5(z)25--25
parallelism, 2(z)95--95, 2(z)109--109, 2(z)110--110, 3(z)81--81, 3(z)125--125, 4(z)47--47, 4(z)72--72, 4(z)113--113, 4(z)144--144, 4(z)153--153, 4(z)198--198, 5(z)88--88, 5(z)91--91, 5(z)148--148, 6(z)170--170, 7(z)135--135, 7(z)142--142, 7(z)276--276, 8(z)38--38
parallelism-preserving, 5(z)88--88
parallelization, 2(z)108--108, 3(z)80--80
parallelization/performance, 6(z)71--71
parallelized, 6(z)88--88
Parallely, 3(z)119--119
parameter, 3(z)96--96, 3(z)163--163, 4(z)130--130, 5(z)140--140, 6(z)95--95, 7(z)232--232, 8(z)32--32
parameterised, 3(z)29--29
parameterized, 2(z)142--142, 4(z)26--26, 5(z)157--157, 7(z)163--163, 8(z)22--22, 8(z)83--83, 8(z)141--141
parametric, 1(z)24--24, 1(z)32--32, 2(z)68--68, 2(z)91--91, 2(z)122--122, 3(z)16--16, 3(z)17--17, 4(z)46--46, 4(z)89--89, 4(z)110--110, 4(z)154--154, 5(z)152--152, 6(z)1--1, 7(z)253--253, 7(z)260--260, 7(z)277--277, 8(z)70--70, 8(z)90--90, 8(z)126--126
parametric, Language-, 6(z)85--85
parametric, language-, 2(z)122--122
parametric, role-, 3(z)29--29
parametricity, 1(z)39--39, 2(z)38--38, 2(z)68--68, 2(z)92--92, 3(z)17--17, 3(z)89--89, 4(z)46--46, 6(z)70--70, 8(z)8--8, 8(z)78--78
paramount, 3(z)118--118
Paraskevopoulou, Zoe, 2(z)45--45, 3(z)83--83, 5(z)86--86, 5(z)114--114
Paraskevopoulou, Zoe, see Lampropoulos, Leonidas
Paraskevopoulou:2019:CCS, 3(z)83--83
Paraskevopoulou:2021:CCC, 5(z)114--114
Paraskevopoulou:2021:COC, 5(z)86--86
ParDiff, 8(z)137--137
Paredes, Yulissa, Arroyo-, 1(z)104--104
Parekh, Aesha, 7(z)94--94
Parekh, Aesha, see Emre, Mehmet
Parentheses, 7(z)242--242
parenthesis, 5(z)59--59
parenthesis, properly-matched-, 6(z)62--62
parenthesized, 4(z)80--80
Parikh, 8(z)65--65, 8(z)138--138
Parimala, Sudha, 4(z)113--113
Parimala, Sudha, see Sivaramakrishnan, KC
Park, Gyunghee, 3(z)11--11
Park, Jihyeok, 7(z)126--126
Park, Jiwon, 5(z)152--152
Park, Kanghee, 7(z)285--285
Park, Sunho, 7(z)251--251
Park, Sunho, see Jung, Jaehwang
Park, Sunjae, 7(z)114--114
Park, Theodore, 4(z)102--102
Park, Theodore, see Palmer, Zachary
Park:2019:PSM, 3(z)11--11
Park:2021:GTA, 5(z)152--152
Park:2023:FSC, 7(z)126--126
Park:2023:HMO, 7(z)114--114
Park:2023:SS, 7(z)285--285
Parker, James, 4(z)216--216
Parker, James, see Liu, Yiyun
Parker, Michael, 4(z)73--73
Parker, Michael, see Bright, Walter
Parkinson, Matthew, 1(z)95--95
Parkinson, Matthew J., 7(z)270--270, 7(z)276--276
Parkinson, Matthew J., see Arvidsson, Ellen, see Cheeseman, Luke
Parkinson, Samwise, 5(z)41--41
Parkinson, Samwise, see Doenges, Ryan
Parkinson:2017:PSN, 1(z)95--95
Parno, Bryan, 6(z)69--69, 7(z)15--15, 7(z)85--85, 7(z)223--223
Parno, Bryan, see Hance, Travis, see Lattuada, Andrea, \see{Li, Jialin, see Michael, Alexandra E.
Parovic, Marinela, 4(z)217--217
Parovic, Marinela, see Nie, Pengyu
Parreaux, Lionel, 2(z)13--13, 4(z)124--124, 6(z)141--141, 6(z)179--179, 7(z)237--237, 8(z)48--48
Parreaux, Lionel, see Bhanuka, Ishan, see Boruch-Gruszecki, Aleksander
Parreaux:2018:UAS, 2(z)13--13
Parreaux:2020:SEA, 4(z)124--124
Parreaux:2022:MPT, 6(z)141--141
Parreaux:2024:WSC, 8(z)48--48
parse, 3(z)174--174, 4(z)80--80, 4(z)212--212, 5(z)151--151, 6(z)148--148, 6(z)167--167
parser, 3(z)82--82, 4(z)43--43, 4(z)120--120, 5(z)41--41, 5(z)151--151, 6(z)128--128, 7(z)155--155, 8(z)137--137
parser/printer, 4(z)118--118
parsing, 3(z)127--127, 4(z)108--108, 6(z)128--128, 7(z)150--150
part, 2(z)109--109, 2(z)149--149, 3(z)78--78, 3(z)113--113, 3(z)153--153, 3(z)169--169, 3(z)186--186, 4(z)41--41, 4(z)70--70, 4(z)72--72, 4(z)74--74, 4(z)84--84, 4(z)85--85, 4(z)91--91, 4(z)141--141, 5(z)140--140, 6(z)81--81, 7(z)12--12, 7(z)60--60, 7(z)127--127, 7(z)157--157, 7(z)181--181, 7(z)194--194, 8(z)133--133
Parthasarathy, Gaurav, 4(z)45--45, 7(z)102--102
Parthasarathy, Gaurav, see Dardinier, Thibault, see Jung, Ralf
partial, 2(z)14--14, 2(z)20--20, 2(z)31--31, 2(z)119--119, 3(z)124--124, 3(z)142--142, 3(z)148--148, 3(z)173--173, 4(z)33--33, 4(z)40--40, 4(z)200--200, 5(z)5--5, 5(z)57--57, 6(z)49--49, 6(z)59--59, 7(z)55--55, 7(z)57--57, 7(z)68--68, 7(z)129--129, 7(z)233--233, 7(z)246--246, 7(z)266--266, 8(z)85--85
partial-order, 3(z)150--150
partially, 2(z)141--141, 3(z)152--152, 4(z)136--136, 4(z)200--200, 4(z)215--215, 5(z)57--57, 7(z)68--68
partially-invertible, 4(z)118--118
partially-observable, 4(z)200--200
Partially-static, 2(z)100--100
participants, 3(z)29--29, 4(z)132--132
particular, 2(z)109--109, 2(z)113--113, 2(z)131--131, 2(z)152--152, 3(z)16--16, 3(z)92--92, 3(z)172--172, 4(z)18--18, 4(z)35--35, 4(z)49--49, 4(z)63--63, 4(z)74--74, 4(z)132--132, 4(z)136--136, 5(z)71--71, 5(z)96--96, 5(z)114--114, 5(z)164--164, 6(z)4--4, 6(z)35--35, 7(z)68--68, 7(z)84--84, 7(z)288--288, 8(z)21--21, 8(z)33--33
particularly, 2(z)88--88, 4(z)84--84, 4(z)115--115, 7(z)113--113
partition, 2(z)46--46, 6(z)127--127
partitioning, 4(z)211--211
party, 6(z)51--51, 8(z)144--144
party, third-, 4(z)74--74, 5(z)84--84, 5(z)161--161, 6(z)27--27, 7(z)117--117
Pasado, 7(z)291--291
Paskevich, Andrei, 4(z)2--2
Paskevich, Andrei, see Clochard, Martin
pass, 3(z)78--78, 4(z)202--202, 5(z)74--74
pass, IR-, 6(z)73--73
pass, single-, 4(z)35--35, 6(z)148--148
passed, 5(z)101--101
passing, 3(z)29--29, 4(z)6--6, 4(z)134--134, 5(z)71--71, 7(z)278--278, 8(z)47--47
passing, capability-, 4(z)93--93
passing, continuation-, 5(z)87--87, 5(z)95--95, 7(z)104--104
passing, dictionary-, 6(z)168--168
Passing, Message-, 7(z)55--55
passing, message-, 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
passing, type-, 2(z)81--81
passing-style, continuation-, 3(z)79--79
Passive, 8(z)23--23
PAST, 8(z)37--37
past, 2(z)76--76, 3(z)96--96, 3(z)172--172, 4(z)73--73, 4(z)160--160, 4(z)215--215, 4(z)233--233, 5(z)18--18, 5(z)38--38, 5(z)144--144, 6(z)73--73, 6(z)100--100, 7(z)128--128, 7(z)171--171, 7(z)205--205, 8(z)43--43
Paszke, Adam, 5(z)88--88, 7(z)43--43
Paszke, Adam, see Radul, Alexey
Paszke:2021:GPI, 5(z)88--88
patch, Copy-and-, 5(z)136--136
patch, copy-and-, 5(z)136--136
patches, 3(z)78--78, 4(z)73--73
Patel, Nisarg, 5(z)113--113
Patel:2021:VCM, 5(z)113--113
path, 3(z)4--4, 3(z)137--137, 3(z)145--145, 3(z)160--160, 4(z)9--9, 4(z)66--66, 5(z)38--38, 5(z)80--80, 5(z)139--139, 5(z)163--163, 6(z)47--47, 7(z)26--26, 7(z)269--269, 7(z)300--300
path, per-, 3(z)137--137
path, single-, 8(z)30--30
path-dependent, 3(z)145--145
Pathfinder, 3(z)177--177
pathology, 2(z)133--133, 5(z)150--150
Pathwidth, 7(z)232--232
Patrignani, Marco, 2(z)38--38, 5(z)21--21, 7(z)15--15
Patrignani, Marco, see Devriese, Dominique, see Michael, Alexandra E.
Patrignani:2021:SER, 5(z)21--21
pattern, 1(z)89--89, 2(z)85--85, 2(z)150--150, 3(z)22--22, 3(z)105--105, 3(z)125--125, 3(z)158--158, 3(z)189--189, 4(z)50--50, 4(z)91--91, 4(z)93--93, 4(z)107--107, 4(z)159--159, 4(z)186--186, 5(z)55--55, 5(z)127--127, 5(z)165--165, 6(z)39--39, 6(z)139--139, 6(z)159--159, 6(z)179--179, 7(z)96--96, 7(z)105--105, 7(z)164--164, 7(z)287--287, 8(z)73--73, 8(z)119--119
Pattern-Based, Container-Usage-, 7(z)256--256
pattern-match, 4(z)107--107, 5(z)55--55
pattern-matching, 3(z)86--86, 4(z)74--74
patterns, anti-, 2(z)162--162
Patterson, Daniel, 3(z)85--85
Patterson:2019:NCC, 3(z)85--85
Patton, Noah, 8(z)18--18
Patton:2024:PDL, 8(z)18--18
Paulino, Hervé, 7(z)226--226
Paulino:2023:ADC, 7(z)226--226
Pautasso, Daniele, 8(z)84--84
Pautasso, Daniele, see Faggian, Claudia
pave, 5(z)155--155
Pavlinovic, Zvonimir, 5(z)19--19
Pavlinovic:2021:DFR, 5(z)19--19
Pavlogiannis, Andreas, 2(z)30--30, 2(z)31--31, 3(z)124--124, 4(z)17--17, 5(z)34--34, 5(z)36--36, 5(z)164--164, 6(z)12--12, 7(z)137--137, 7(z)177--177, 8(z)42--42, 8(z)66--66
Pavlogiannis, Andreas, see Bui, Truc Lam, see Chakraborty, Soham, see Chalupa, Marek, see Chatterjee, Krishnendu, see Kjelstr{\o}m, Adam Husted, see Krishna, Shankaranarayanan, see Mathiasen, Anders Alnor, see Mathur, Umang, see Tunç, Hünkar Can
Pavlogiannis:2020:FSE, 4(z)17--17
Pavlovic, Dusko, 4(z)28--28
Pavlovic, Dusko, see Bruni, Roberto
Paxos, 1(z)108--108
pay, 7(z)253--253
Payer, Hannes, 2(z)151--151
Payer, Hannes, see Degenbaev, Ulan
payment, 3(z)189--189
PBD/PBE, 3(z)143--143
PBE, 4(z)224--224, 5(z)153--153, 5(z)167--167, 7(z)33--33, 7(z)173--173
PBT, 7(z)157--157
PC, 4(z)81--81
PCF, 5(z)28--28
PCF-like, 4(z)100--100
PCMs, 5(z)5--5
PDE, 7(z)246--246
PDR, 7(z)190--190
peak, 7(z)233--233
pearl, 1(z)1--1, 1(z)6--6, 1(z)8--8, 1(z)12--12, 1(z)23--23, 1(z)30--30, 2(z)76--76, 2(z)84--84, 2(z)93--93, 2(z)96--96, 2(z)101--101, 2(z)105--105, 3(z)85--85, 3(z)103--103, 4(z)92--92, 4(z)108--108, 4(z)116--116, 4(z)122--122, 4(z)124--124, 5(z)82--82, 5(z)89--89, 5(z)94--94, 6(z)90--90, 6(z)93--93, 6(z)109--109, 7(z)207--207, 7(z)211--211, 7(z)212--212, 7(z)214--214
Péchoux, Romain, 7(z)28--28, see Hainry, Emmanuel
peculiar, 4(z)80--80
peculiarities, 4(z)73--73
Pédrot, 3(z)108--108
Pédrot, Pierre-Marie, 3(z)108--108, 4(z)58--58
Pedrot:2019:RET, 3(z)108--108
Pedrot:2020:FTH, 4(z)58--58
peephole, 8(z)120--120
peers, 7(z)297--297
Peleg, Hila, 4(z)159--159, 4(z)205--205, 4(z)227--227, 5(z)153--153
Peleg, Hila, see Barke, Shraddha, see Ferdowsifard, Kasra, see James, Michael B.
Peleg:2020:PRE, 4(z)159--159
Pelenitsyn, Artem, 2(z)113--113, 5(z)150--150
Pelenitsyn, Artem, see Nardelli, Francesco Zappa
Pelenitsyn:2021:TSJ, 5(z)150--150
Pellissier, Luc, 2(z)6--6
Pellissier, Luc, see Mazza, Damiano
Pelsmaeker, Daniel A. A., 6(z)85--85
Pelsmaeker:2022:LPS, 6(z)85--85
Peña, Lucas, 2(z)10--10, 4(z)161--161, 6(z)191--191, 7(z)259--259, see Chen, Xiaohong, see Löding, Christof, see Murali, Adithya
Peng, Jinjun, 8(z)114--114
Peng, Jinjun, see Li, Zikun
Peng, Xuanyu, 7(z)225--225
Peng, Xuanyu, see Sun, Yican
Peng, Yuxiang, 6(z)146--146, 8(z)59--59, 8(z)81--81
Peng, Yuxiang, see Deng, Haowei, \see{Li, Liyi
Peng:2024:SFP, 8(z)81--81
penultimate, 3(z)96--96
people, 4(z)74--74, 4(z)77--77, 8(z)117--117
per, 5(z)148--148
per-path, 3(z)137--137
Pérami, Thibaut, 8(z)21--21, see Hammond, Angus
Pérard-Gayot, Arsène, 2(z)119--119, see Leißa, Roland
perceived, 4(z)76--76, 4(z)82--82, 6(z)102--102
perception, 7(z)299--299
Perceus, 6(z)103--103
Pereira, Fernando Magno Quintão, 1(z)50--50, 2(z)29--29, 4(z)131--131, 4(z)167--167, 5(z)144--144, see Leobas, Guilherme Vieira, see Melo, Leandro T. C., see Moreira, Angélica Aparecida, see Poesia, Gabriel
Pereira, Fernando Magno, Quintão, 3(z)120--120
Pereira, Mário, 7(z)217--217, see Gondelman, Léon
Perelman, Daniel, 2(z)150--150, 7(z)33--33
Perelman, Daniel, see Cambronero, José, see Padhi, Saswat
Perera, Roly, 1(z)14--14, 2(z)74--74, 6(z)7--7, 6(z)104--104
Perera, Roly, see Horn, Rudi, see Nguyen, Minh, \see{Ricciotti, Wilmer
Perera:2022:LVG, 6(z)7--7
Peressotti, Marco, 3(z)24--24
Peressotti, Marco, see Kokke, Wen
Perez, David, Castro-, 4(z)155--155
Perez, Ivan, 1(z)2--2, 2(z)96--96, 7(z)199--199
Perez, Ivan, see Scott, Ryan G.
Pérez, Jorge A., 6(z)155--155, see Frumin, Dan
Perez:2017:TDF, 1(z)2--2
Perez:2018:FTF, 2(z)96--96
perfect, 4(z)169--169
Perfectly, 4(z)185--185
perform, 2(z)105--105, 2(z)162--162, 3(z)29--29, 3(z)132--132, 3(z)143--143, 3(z)177--177, 3(z)187--187, 4(z)7--7, 4(z)8--8, 4(z)26--26, 4(z)133--133, 4(z)145--145, 5(z)74--74, 5(z)100--100, 6(z)104--104, 6(z)116--116, 7(z)253--253, 8(z)125--125, 8(z)143--143
Performal, 7(z)121--121
performance, 2(z)71--71, 2(z)98--98, 2(z)120--120, 2(z)121--121, 2(z)124--124, 2(z)126--126, 2(z)137--137, 2(z)139--139, 3(z)29--29, 3(z)78--78, 3(z)125--125, 3(z)135--135, 3(z)156--156, 3(z)170--170, 3(z)186--186, 4(z)11--11, 4(z)22--22, 4(z)93--93, 4(z)128--128, 4(z)153--153, 4(z)155--155, 4(z)174--174, 4(z)207--207, 5(z)29--29, 5(z)51--51, 5(z)53--53, 5(z)70--70, 5(z)97--97, 5(z)103--103, 5(z)113--113, 5(z)138--138, 5(z)150--150, 5(z)167--167, 6(z)28--28, 6(z)38--38, 6(z)54--54, 6(z)68--68, 6(z)80--80, 6(z)125--125, 6(z)148--148, 6(z)159--159, 6(z)162--162, 7(z)118--118, 7(z)121--121, 7(z)151--151, 7(z)158--158, 7(z)186--186, 7(z)238--238, 7(z)246--246, 7(z)272--272, 8(z)89--89, 8(z)108--108
performance, high-, 2(z)119--119, 2(z)121--121, 3(z)81--81, 3(z)125--125, 4(z)92--92, 4(z)166--166, 5(z)109--109, 7(z)228--228, 8(z)21--21
performance-, 3(z)100--100
performance-oriented, 2(z)120--120
performance., 2(z)109--109
performant, 7(z)47--47
performed, 3(z)187--187, 4(z)132--132, 4(z)142--142, 5(z)40--40, 6(z)20--20
performing, 4(z)41--41, 4(z)162--162, 5(z)43--43, 5(z)115--115, 8(z)74--74
perhaps, 2(z)74--74, 4(z)99--99, 4(z)189--189, 8(z)79--79
period, 4(z)75--75, 4(z)77--77, 5(z)148--148
Periodic, 7(z)76--76
permissions, 5(z)92--92, 6(z)163--163, 7(z)85--85
permit, 4(z)41--41, 4(z)63--63, 4(z)111--111, 5(z)15--15, 5(z)53--53, 7(z)152--152
PERs, Types-to-, 7(z)42--42
PerSeVerE, 5(z)43--43
Persimmon, 8(z)119--119
persist, 4(z)151--151, 5(z)47--47
Persistence, 1(z)16--16, 2(z)137--137
persistency, 2(z)137--137, 3(z)135--135, 4(z)11--11, 5(z)43--43, 5(z)47--47, 6(z)22--22
persistent, 4(z)11--11, 4(z)151--151, 5(z)56--56, 5(z)63--63, 7(z)26--26, 7(z)118--118, 7(z)150--150, 7(z)244--244
person, 4(z)73--73
personal, 4(z)85--85
perspective, 3(z)16--16, 3(z)108--108, 5(z)89--89, 6(z)31--31, 6(z)128--128
perturbation, 4(z)56--56
pervasive, 7(z)113--113, 7(z)216--216, 8(z)53--53, 8(z)113--113
pervasively, 4(z)111--111
Peterson, Rudy, 5(z)41--41
Peterson, Rudy, see Doenges, Ryan
Petr4, 5(z)41--41
Petrank, Erez, 2(z)108--108, 3(z)128--128, 6(z)137--137
Petrank, Erez, see Daloze, Benoit, see Sela, Gal, \see{Zuriel, Yoav
Petri, Gustavo, 4(z)198--198, 7(z)88--88
Petri, Gustavo, see Fox, Anthony C. J., see Sang, Bo
Petricek, Tomas, 6(z)7--7
Petricek, Tomas, see Perera, Roly
Petrou, George, 7(z)271--271
Petrou, George, see Thakkar, Aalok
Petrucciani, Tommaso, 3(z)16--16
Petrucciani, Tommaso, see Castagna, Giuseppe
Peyton, 6(z)82--82
Pfenning, Frank, 1(z)37--37, 2(z)91--91, 8(z)90--90
Pfenning, Frank, see Balzer, Stephanie, see Das, Ankush, \see{DeYoung, Henry
PGO, 6(z)52--52
Phanishayee, Amar, 2(z)159--159
Phanishayee, Amar, see Desai, Ankush
Pharabod, Jean, Pichon-, 3(z)133--133, 7(z)151--151, 7(z)165--165, 8(z)21--21
phase, 1(z)53--53, 3(z)186--186, 6(z)9--9, 7(z)262--262
phenomena, 8(z)81--81
phenomenon, 6(z)30--30
Phifer, Chris, 5(z)135--135
Phifer, Chris, see He, Paul
Phillips, Sam, 7(z)242--242
Phillips, Sam, see Flatt, Matthew
Phipps-Costin, Luna, 5(z)111--111, 7(z)238--238
Phipps-Costin:2021:SBG, 5(z)111--111
Phipps-Costin:2023:CWE, 7(z)238--238
phone, 7(z)293--293
Phothilimthana, Phitchaya Mangpo, 6(z)166--166
Phothilimthana, Phitchaya Mangpo, see Jin, Charles
physical, 4(z)133--133, 4(z)134--134, 4(z)170--170, 4(z)173--173, 5(z)142--142, 7(z)219--219, 8(z)126--126
physicist, 5(z)76--76
Pi, 6(z)6--6, 8(z)19--19
pi-calculus, 3(z)7--7
Pichardie, David, 4(z)7--7, 5(z)46--46, 7(z)9--9
Pichardie, David, see Barrière, Aurèle, see Barthe, Gilles
Pichon-Pharabod, Jean, 3(z)133--133, 7(z)151--151, 7(z)165--165, 8(z)21--21
Pichon-Pharabod, Jean, see Hammond, Angus, see Liu, Zongyuan, \see{Rao, Xiaojia, see Watt, Conrad
pick, 2(z)152--152, 6(z)17--17
Pick, Lauren, 7(z)133--133, 7(z)140--140
Pick, Lauren, see Xu, Amanda
Pick:2023:PES, 7(z)133--133
Pickard, Mitchell, 5(z)82--82
Pickard:2021:CDT, 5(z)82--82
Pickering, Matthew, 2(z)85--85, 4(z)120--120, 6(z)61--61
Pickering, Matthew, see Kiss, Csongor, see Willis, Jamie, \see{Xie, Ningning
piece, 6(z)182--182, 7(z)130--130
Piedeleu, Robin, 3(z)25--25
Piedeleu, Robin, see Bonchi, Filippo
Pientka, Brigitte, 3(z)115--115, 6(z)39--39, 7(z)235--235, 8(z)142--142
Pientka, Brigitte, see Hameer, Aliya, see Jang, Junyoung, \see{Kavanagh, Ryan, see Sano, Chuta
Pierce, 4(z)149--149, 5(z)137--137
Pierce, Benjamin C., 1(z)10--10, 2(z)1--1, 2(z)45--45, 2(z)80--80, 3(z)93--93, 3(z)95--95, 3(z)181--181, 4(z)51--51, 4(z)165--165, 6(z)80--80, 6(z)128--128, 7(z)200--200, 7(z)218--218
Pierce, Benjamin C., see Goldstein, Harrison, see Lampropoulos, Leonidas, see Lesani, Mohsen, \see{Maina, Solomon, see Miltner, Anders, \see{Shi, Jessica, see Winograd-Cort, Daniel, see Xia, Li-yao, \see{Zhang, Hengchu
Piessens, Frank, 2(z)38--38, 3(z)84--84
Piessens, Frank, see Devriese, Dominique, see Van Strydonck, Thomas
Pinault, Laureline, 5(z)1--1
Pinault, Laureline, see Kuperberg, Denis
Pinckney, Donald, 3(z)149--149
Pinckney, Donald, see Jangda, Abhinav
Pincus, Jared, 6(z)186--186
Pincus, Jared, see Chen, Adam
Pingali, Keshav, 3(z)127--127
Pingali, Keshav, see Henriksen, Ian
pinpoint, 7(z)272--272
pinpointing, 3(z)189--189
pioneered, 2(z)94--94
pioneering, 8(z)87--87
pipeline, 1(z)5--5, 3(z)175--175, 4(z)147--147, 4(z)168--168, 5(z)41--41, 5(z)65--65, 5(z)109--109, 6(z)38--38, 6(z)102--102, 7(z)106--106, 8(z)17--17
Pîrlea, George, 5(z)84--84, see Watanabe, Yasunari
Piróg, Maciej, 2(z)8--8, 3(z)6--6, 4(z)48--48, 6(z)183--183, see Biernacki, Dariusz, \see{Ghica, Dan
Pirouette, 6(z)23--23
Piskac, Ruzica, 1(z)64--64, 1(z)97--97, 5(z)140--140, 6(z)177--177, 8(z)133--133
Piskac, Ruzica, see Kolesar, John C., see Santolucito, Mark, \see{Zhai, Ennan, see Zhang, Jialu
Pit-Claudel, Clément, 3(z)82--82, see Delaware, Benjamin
Pitchanathan, Arjun, 4(z)195--195, 5(z)162--162
Pitchanathan, Arjun, see Grosser, Tobias
Pitchanathan:2021:PFF, 5(z)162--162
pitfalls, 2(z)162--162
Pitts, Andrew M., 7(z)17--17
Pitts:2023:LNS, 7(z)17--17
Pixel, 7(z)187--187
Pixel, Few-, 7(z)90--90
pixel, few-, 7(z)90--90
\pkgAPIfix, 5(z)161--161
\pkgbabble, 7(z)14--14
\pkgCatala, 5(z)77--77
\pkgDargent, 7(z)47--47
\pkgDynaplex, 5(z)138--138
\pkgECROs, 5(z)107--107
\pkgFlashFill++, 7(z)33--33
\pkgFPL, 5(z)162--162
\pkgGauss, 5(z)134--134
\pkgGhostCell, 5(z)92--92
\pkgGrafs, 5(z)83--83
\pkgGrisette, 7(z)16--16
\pkgJavaDL, 5(z)165--165
\pkgKater, 7(z)19--19
\pkgLooPy, 5(z)153--153
\pkgLXM, 5(z)148--148
\pkgMonkeyDB, 5(z)132--132
\pkgPermchecker, 5(z)149--149
\pkgProbNV, 5(z)90--90
\pkgQuickSilver, 5(z)157--157
\pkgQunity, 7(z)32--32
\pkgSecRSL, 5(z)99--99
\pkgSimTyper, 5(z)106--106
\pkgSpecSafe, 5(z)129--129
\pkgSteel, 5(z)85--85
\pkgSynbit, 5(z)105--105
\pkgVESPA, 5(z)144--144
place, 2(z)156--156, 4(z)74--74, 5(z)121--121, 6(z)65--65, 7(z)139--139
place, in-, 6(z)148--148, 7(z)198--198
Placed, 7(z)297--297
placement, 1(z)50--50, 3(z)167--167, 7(z)297--297
plagiarism, 4(z)138--138
PlanAlyzer, 3(z)182--182
plane, 4(z)42--42, 5(z)41--41, 5(z)90--90, 6(z)40--40, 7(z)108--108, 7(z)290--290, 8(z)102--102
platform, 1(z)24--24, 2(z)116--116, 2(z)128--128, 3(z)115--115, 3(z)144--144, 3(z)185--185, 3(z)186--186, 4(z)153--153, 4(z)232--232, 5(z)131--131, 5(z)132--132, 6(z)86--86, 6(z)164--164, 7(z)13--13, 7(z)129--129, 7(z)218--218
platforms., 3(z)186--186
Plausible, 6(z)70--70
play, 1(z)3--3, 2(z)157--157, 3(z)146--146, 4(z)38--38, 4(z)49--49, 4(z)84--84, 6(z)25--25, 6(z)100--100, 7(z)272--272
played, 4(z)85--85
player, 8(z)57--57
playing, 8(z)29--29
pleasant, 6(z)54--54
plethora, 2(z)104--104, 4(z)195--195, 7(z)243--243, 8(z)42--42
Pliss, Oleg, 3(z)184--184
Pliss, Oleg, see Wimmer, Christian
Plotkin, 3(z)6--6, 4(z)1--1
Plotkin, Gordon D., 4(z)38--38
Plotkin, Gordon D., see Abadi, Martín
plugin, 3(z)86--86
plus, 5(z)105--105
PM, 7(z)118--118
pn, 6(z)8--8
PNK, 4(z)39--39
Podelski, Andreas, 2(z)26--26, 7(z)49--49, 8(z)83--83
Podelski, Andreas, see Farzan, Azadeh, see Padon, Oded
Podkopaev, Anton, 5(z)98--98, 6(z)54--54
Podkopaev, Anton, see Jeffrey, Alan, see Lahav, Ori
Poesia, Gabriel, 1(z)50--50, 4(z)167--167
Poesia:2017:SPC, 1(z)50--50
Poesia:2020:DDC, 4(z)167--167
Pohjola, Johannes Åman, 4(z)204--204, 7(z)145--145, see Gómez-Londoño, Alejandro, see Kanabar, Hrutvik
point, 2(z)107--107, 3(z)99--99, 3(z)169--169, 4(z)33--33, 4(z)73--73, 4(z)81--81, 4(z)108--108, 5(z)29--29, 5(z)31--31, 5(z)88--88, 6(z)3--3, 6(z)116--116, 7(z)188--188, 8(z)21--21, 8(z)89--89
point's, floating-, 6(z)159--159
point, floating-, 2(z)47--47, 3(z)99--99, 3(z)169--169, 4(z)60--60, 6(z)159--159
point-to, 5(z)34--34
pointedly, 6(z)148--148
pointer, 2(z)125--125, 2(z)141--141, 3(z)130--130, 3(z)147--147, 3(z)148--148, 4(z)41--41, 4(z)68--68, 4(z)136--136, 4(z)176--176, 4(z)179--179, 5(z)34--34, 5(z)135--135, 5(z)147--147, 6(z)20--20, 6(z)88--88, 6(z)116--116, 7(z)85--85, 7(z)86--86, 7(z)94--94, 7(z)128--128, 7(z)256--256, 7(z)283--283
pointer, integer-, 6(z)20--20
pointer-based, 4(z)115--115, 5(z)92--92, 6(z)191--191
pointer-manipulating, 7(z)85--85
pointful, 5(z)88--88
points-to, 1(z)100--100, 1(z)102--102, 2(z)140--140, 2(z)142--142, 3(z)148--148, 5(z)159--159
Poisson, 7(z)46--46
Pol, Jaco van de, 4(z)154--154, 5(z)110--110, 7(z)240--240
Pol, Jaco van de, see Madsen, Magnus
Polesiuk, Piotr, 2(z)8--8, 3(z)6--6, 4(z)48--48
Polesiuk, Piotr, see Biernacki, Dariusz
Polgreen, Elizabeth, 7(z)300--300
Polgreen, Elizabeth, see Mora, Federico
Poli, Federico, 3(z)147--147, 4(z)136--136
Poli, Federico, see Astrauskas, Vytautas
policy, 2(z)115--115, 4(z)105--105, 4(z)135--135, 7(z)28--28, 7(z)227--227, 8(z)18--18, 8(z)118--118, 8(z)144--144
Policy-Agnostic, 7(z)147--147, 8(z)144--144
Policy-Based, 7(z)117--117
Polikarpova, Nadia, 4(z)12--12, 4(z)105--105, 4(z)106--106, 4(z)205--205, 4(z)227--227, 5(z)84--84, 5(z)153--153, 6(z)91--91, 7(z)14--14, 7(z)78--78, 7(z)164--164
Polikarpova, Nadia, see Barke, Shraddha, see Cao, David, \see{Ferdowsifard, Kasra, see Fiala, Joná{\v{s}}, see Guo, Zheng, \see{James, Michael B., see Knoth, Tristan, \see{Koppel, James, see Watanabe, Yasunari
Polikarpova:2020:LIF, 4(z)105--105
Polish, 4(z)80--80
Pollard, James D., 5(z)117--117
Pollard, James D., see Herklotz, Yann
polling, 2(z)152--152
Polozov, Oleksandr, 2(z)150--150
Polozov, Oleksandr, see Padhi, Saswat
Polyadic, 2(z)6--6
polyhedral, 5(z)20--20, 5(z)40--40, 5(z)162--162, 7(z)253--253
polymorphic, 1(z)40--40, 2(z)5--5, 2(z)81--81, 3(z)11--11, 3(z)112--112, 3(z)130--130, 3(z)131--131, 3(z)166--166, 4(z)89--89, 4(z)117--117, 4(z)154--154, 4(z)174--174, 6(z)39--39, 6(z)64--64, 6(z)111--111, 7(z)240--240, 7(z)295--295, 8(z)14--14, 8(z)40--40, 8(z)78--78
Polymorphic, Type-, 7(z)115--115
polymorphism, 1(z)70--70, 2(z)68--68, 2(z)81--81, 3(z)9--9, 3(z)12--12, 3(z)16--16, 3(z)17--17, 3(z)166--166, 4(z)46--46, 4(z)66--66, 4(z)89--89, 4(z)104--104, 4(z)126--126, 4(z)154--154, 5(z)10--10, 5(z)95--95, 7(z)57--57, 7(z)172--172, 7(z)260--260, 7(z)277--277, 8(z)40--40, 8(z)48--48, 8(z)70--70, 8(z)90--90, 8(z)119--119
polymorphism, let-, 3(z)18--18
polynomial, 4(z)5--5, 6(z)3--3, 6(z)65--65, 7(z)28--28, 7(z)100--100, 7(z)253--253, 8(z)25--25, 8(z)30--30, 8(z)34--34, 8(z)76--76
Polyregular, 8(z)45--45
polyvariant, 3(z)89--89
Pombrio, Justin, 1(z)44--44, 7(z)261--261
Pombrio, Justin, see Porncharoenwase, Sorawee
Pombrio:2017:IST, 1(z)44--44
Pomsets, 4(z)194--194
Ponens, 4(z)206--206
pool, 6(z)17--17
pooling, 6(z)17--17
poor, 2(z)139--139
poorer, 5(z)51--51
poorly, 6(z)61--61
Popescu, Andrei, 2(z)24--24, 3(z)22--22, 7(z)42--42, 8(z)15--15, 8(z)46--46
Popescu, Andrei, see Blanchette, Jasmin Christian, see Cohen, Liron, see Kun{\v{c}}ar, Ond{\v{r}}ej
Popescu, Natalie, 5(z)103--103
Popescu:2021:SSA, 5(z)103--103
Popescu:2023:ATP, 7(z)42--42
Popescu:2024:NRE, 8(z)15--15
POPL, 4(z)46--46
POPL'20, 5(z)47--47, 5(z)56--56
popular, 2(z)74--74, 2(z)99--99, 2(z)138--138, 2(z)151--151, 3(z)9--9, 3(z)98--98, 3(z)166--166, 3(z)170--170, 3(z)189--189, 4(z)7--7, 4(z)38--38, 4(z)47--47, 4(z)48--48, 4(z)132--132, 5(z)120--120, 5(z)133--133, 5(z)159--159, 6(z)37--37, 6(z)84--84, 6(z)101--101, 6(z)133--133, 6(z)141--141, 6(z)168--168, 7(z)62--62, 7(z)65--65, 7(z)206--206, 7(z)230--230, 7(z)258--258, 7(z)264--264, 8(z)89--89, 8(z)98--98, 8(z)121--121
popular, increasingly-, 3(z)164--164
popularity, 2(z)111--111, 2(z)158--158, 3(z)170--170, 4(z)126--126, 5(z)102--102, 5(z)117--117, 5(z)144--144, 7(z)249--249, 7(z)255--255
population, 4(z)203--203
Porncharoenwase, Sorawee, 6(z)47--47, 7(z)242--242, 7(z)261--261
Porncharoenwase, Sorawee, see Flatt, Matthew
Porncharoenwase:2022:FFS, 6(z)47--47
Porncharoenwase:2023:PEP, 7(z)261--261
Porre, Kevin, De, 5(z)107--107
portability, application-, 3(z)186--186
portable, 3(z)133--133, 3(z)186--186, 6(z)148--148, 7(z)238--238
ported, 5(z)131--131
Porter, Chris, 7(z)228--228
Porter, Chris, see Mururu, Girish
portion, 2(z)89--89
pose, 2(z)109--109, 3(z)110--110, 4(z)164--164, 6(z)77--77, 6(z)159--159, 7(z)86--86, 7(z)146--146, 7(z)249--249, 8(z)105--105
position, 3(z)166--166, 6(z)85--85, 7(z)132--132, 8(z)2--2
positioning, 6(z)148--148
positive, 3(z)139--139, 3(z)189--189, 5(z)32--32, 6(z)4--4, 6(z)79--79, 7(z)45--45, 8(z)37--37
positively, 4(z)7--7
Positivstellensatz, 7(z)253--253
posits, 5(z)29--29
POSIX, 4(z)43--43
possesses, 4(z)80--80
possibility, 3(z)120--120, 5(z)145--145
possible, 2(z)22--22, 2(z)135--135, 3(z)99--99, 3(z)120--120, 3(z)173--173, 4(z)132--132, 4(z)141--141, 4(z)194--194, 4(z)230--230, 4(z)231--231, 5(z)9--9, 5(z)54--54, 6(z)38--38, 6(z)113--113, 7(z)68--68, 7(z)133--133, 7(z)151--151, 7(z)165--165, 7(z)181--181, 8(z)138--138
possibly, 3(z)29--29, 5(z)86--86, 6(z)17--17, 6(z)70--70, 7(z)99--99, 7(z)253--253, 8(z)127--127
post, 6(z)87--87
post-link, 4(z)98--98
post-quantum, 4(z)21--21
post-training, 6(z)75--75
postcondition-style, strongest-, 6(z)87--87
postconditions, 3(z)161--161, 3(z)166--166
posterior, 8(z)63--63, 8(z)127--127
Potanin, Alex, 4(z)66--66
Potanin, Alex, see Mackay, Julian
potential, 2(z)138--138, 3(z)115--115, 3(z)147--147, 3(z)158--158, 3(z)170--170, 4(z)7--7, 4(z)21--21, 4(z)52--52, 4(z)221--221, 5(z)138--138, 8(z)21--21
potentially, 2(z)113--113, 4(z)126--126, 5(z)18--18, 6(z)178--178, 7(z)74--74, 7(z)94--94
Potter, Hannah, 7(z)96--96
Potter, Hannah, see Yuan, Yongwei
Pottier, François, 1(z)28--28, 4(z)33--33, 4(z)96--96, 5(z)33--33, 6(z)11--11, 7(z)25--25, 8(z)50--50, see Madiot, Jean-Marie, see Moine, Alexandre, see Mével, Glen, see Vilhena, Paulo Emílio de
Pottier:2017:VU, 1(z)28--28
Pottier:2024:TDS, 8(z)50--50
Pouchet, Louis-Noel, 2(z)32--32
Pouchet, Louis-Noel, see Bao, Wenlei
Poulsen, Casper Bach, 2(z)16--16, 2(z)72--72, 2(z)114--114, 4(z)180--180, 6(z)85--85, 6(z)192--192, 7(z)62--62
Poulsen, Casper Bach, see Antwerpen, Hendrik van, see Keidel, Sven, see Pelsmaeker, Daniel A. A., see Rest, Cas van der, see Rouvoet, Arjen
Poulsen:2018:ITD, 2(z)16--16
Poulsen:2023:HAM, 7(z)62--62
Pous, Damien, 5(z)1--1
Pous, Damien, see Kuperberg, Denis
Pouzet, Marc, 4(z)44--44
Pouzet, Marc, see Bourke, Timothy
power, 1(z)13--13, 2(z)66--66, 2(z)145--145, 2(z)153--153, 4(z)43--43, 4(z)53--53, 5(z)1--1, 5(z)21--21, 5(z)137--137, 5(z)147--147, 6(z)14--14, 6(z)127--127, 7(z)10--10, 7(z)286--286, 8(z)21--21, 8(z)43--43
Power, Conor, 6(z)173--173
Power, Conor, see Laddad, Shadaj
PowerApps, 6(z)164--164
powered, 4(z)163--163, 7(z)78--78
powered, Intermittently-, 3(z)183--183
powered, Synthesis-, 6(z)145--145
powerful, 2(z)69--69, 2(z)97--97, 2(z)112--112, 3(z)12--12, 3(z)84--84, 3(z)87--87, 3(z)90--90, 3(z)171--171, 4(z)38--38, 4(z)43--43, 4(z)99--99, 4(z)135--135, 4(z)229--229, 5(z)80--80, 5(z)100--100, 5(z)126--126, 5(z)135--135, 5(z)145--145, 6(z)16--16, 6(z)40--40, 6(z)51--51, 6(z)89--89, 7(z)74--74, 7(z)85--85, 7(z)147--147, 7(z)178--178, 7(z)236--236, 8(z)3--3, 8(z)29--29, 8(z)83--83, 8(z)87--87
PP-CSA, 8(z)139--139
PPIash, 4(z)82--82
PPL, 7(z)131--131
PPLs, 4(z)140--140, 6(z)16--16, 6(z)104--104, 7(z)50--50, 7(z)176--176
practical, 1(z)22--22, 1(z)66--66, 1(z)79--79, 2(z)5--5, 2(z)55--55, 2(z)124--124, 3(z)120--120, 3(z)131--131, 3(z)137--137, 3(z)155--155, 3(z)189--189, 4(z)48--48, 4(z)60--60, 4(z)71--71, 4(z)89--89, 4(z)154--154, 4(z)167--167, 5(z)45--45, 5(z)68--68, 5(z)110--110, 5(z)124--124, 5(z)143--143, 5(z)153--153, 6(z)37--37, 6(z)53--53, 6(z)76--76, 6(z)113--113, 6(z)166--166, 7(z)34--34, 7(z)82--82, 7(z)226--226, 7(z)233--233, 7(z)257--257, 7(z)259--259, 7(z)287--287, 8(z)39--39, 8(z)70--70, 8(z)91--91, 8(z)111--111, 8(z)137--137, 8(z)139--139
practice, 2(z)130--130, 2(z)133--133, 2(z)138--138, 3(z)158--158, 3(z)159--159, 3(z)180--180, 4(z)136--136, 4(z)140--140, 4(z)192--192, 5(z)108--108, 5(z)155--155, 6(z)24--24, 7(z)97--97, 7(z)103--103, 7(z)172--172
PractRand, 5(z)148--148
Pradel, Michael, 1(z)104--104, 2(z)147--147, 2(z)161--161, 3(z)159--159, 6(z)86--86
Pradel, Michael, see Bader, Johannes, see Paltenghi, Matteo, \see{Rice, Andrew, see Selakovic, Marija
Pradel:2018:DLA, 2(z)147--147
Pradic, Pierre, 5(z)14--14
Pradic, Pierre, see Benedikt, Michael
pragmatic, 4(z)65--65
Prakriya, Gautam, 6(z)14--14
Prakriya, Gautam, see Wang, Zi
Prasad, Siddhartha, 8(z)116--116
Prasad, Siddhartha, see Nelson, Tim
pre, 2(z)89--89, 3(z)161--161, 6(z)87--87, 8(z)108--108
/pre, 2(z)89--89
pre-expectation, 5(z)52--52
pre-trained, 5(z)100--100, 5(z)158--158
prechk, Wasm-, 8(z)80--80
precise, 1(z)48--48, 1(z)99--99, 2(z)140--140, 3(z)142--142, 3(z)157--157, 3(z)158--158, 3(z)160--160, 4(z)29--29, 4(z)133--133, 4(z)142--142, 4(z)190--190, 4(z)233--233, 5(z)16--16, 5(z)61--61, 5(z)76--76, 5(z)108--108, 5(z)118--118, 5(z)147--147, 5(z)158--158, 5(z)163--163, 6(z)43--43, 6(z)153--153, 7(z)94--94, 7(z)128--128, 7(z)138--138, 7(z)236--236, 7(z)291--291
precisely, 7(z)34--34
precision, 2(z)116--116, 2(z)139--139, 2(z)141--141, 3(z)140--140, 3(z)160--160, 3(z)169--169, 3(z)170--170, 3(z)189--189, 4(z)81--81, 4(z)179--179, 5(z)143--143, 5(z)163--163, 6(z)3--3, 6(z)12--12, 7(z)68--68, 7(z)94--94, 7(z)128--128, 7(z)283--283, 8(z)32--32, 8(z)55--55, 8(z)111--111
precision, finite-, 3(z)99--99
precision, high-, 4(z)60--60, 4(z)190--190, 6(z)159--159
Precision-guided, 2(z)141--141
Precision-preserving, 3(z)148--148
precondition-style, weakest-, 7(z)67--67
preconditions, 3(z)166--166, 4(z)194--194
Preda, Mila, Dalla, 6(z)59--59, 8(z)55--55
predecessors, 4(z)74--74, 4(z)87--87
predefined, 7(z)66--66
predicate, 2(z)132--132, 3(z)103--103, 3(z)181--181, 4(z)22--22, 4(z)150--150, 4(z)184--184, 5(z)78--78, 5(z)81--81, 6(z)50--50, 6(z)65--65, 6(z)146--146, 7(z)248--248, 7(z)271--271
predicate-guarded, 4(z)61--61
predict, 4(z)215--215
predictable, 3(z)78--78
predicting, 4(z)162--162, 4(z)215--215, 7(z)228--228
prediction, 2(z)146--146, 4(z)17--17, 5(z)36--36, 5(z)106--106, 6(z)46--46, 7(z)177--177, 7(z)250--250, 8(z)123--123
predictive, 2(z)145--145, 3(z)179--179, 7(z)177--177, 8(z)73--73
predominantly, 3(z)185--185, 4(z)92--92
preemptive, 4(z)20--20
prefer, 7(z)116--116
preferences, 3(z)151--151
Prefix-Guided, 7(z)75--75
Preguiça, Nuno, 5(z)107--107, see De Porre, Kevin
Premtoon, Varot, 2(z)122--122
Premtoon, Varot, see Koppel, James
preorders, 7(z)68--68
Presburger, 5(z)162--162
presence, 2(z)64--64, 2(z)145--145, 4(z)207--207, 4(z)210--210, 5(z)132--132, 6(z)11--11, 6(z)81--81, 6(z)116--116, 6(z)154--154, 7(z)36--36, 7(z)149--149, 7(z)271--271, 8(z)48--48
presentations, 6(z)123--123
presented, 3(z)123--123, 4(z)53--53, 5(z)148--148, 6(z)6--6, 7(z)8--8
presented., 7(z)68--68
preservation, 4(z)7--7, 5(z)95--95
Preservation, Confidentiality-, 7(z)117--117
preserve, 3(z)83--83, 4(z)7--7, 4(z)41--41, 4(z)73--73, 4(z)74--74, 4(z)154--154, 4(z)165--165, 7(z)148--148
preserved, 2(z)164--164
preserving, 3(z)15--15, 3(z)17--17, 4(z)7--7, 4(z)124--124, 4(z)160--160, 7(z)117--117, 8(z)134--134
Preserving, Architecture-, 7(z)124--124
preserving, Consistency-, 6(z)158--158
preserving, operation-, 5(z)12--12
preserving, parallelism-, 5(z)88--88
preserving, Precision-, 3(z)148--148
Preserving, Privacy-, 7(z)273--273, 8(z)139--139
preserving, privacy-, 4(z)203--203
preserving, semantics-, 6(z)55--55
preserving, synchronization-, 5(z)36--36
Preserving, Type-, 7(z)50--50
preserving, Type-, 2(z)22--22
Preserving, Verification-, 7(z)102--102
Presheaf, 8(z)13--13
Pressed, 4(z)139--139
pressing, 7(z)172--172
Pretnar, 3(z)6--6
Pretnar, Matija, 1(z)13--13, 5(z)24--24, 5(z)102--102, 7(z)238--238
Pretnar, Matija, see Ahman, Danel, see Forster, Yannick, see Karachalias, Georgios, see Phipps-Costin, Luna
pretty, 1(z)6--6, 7(z)261--261
prevalent, 3(z)125--125, 3(z)170--170, 6(z)78--78, 8(z)71--71
prevent, 2(z)164--164, 3(z)158--158, 4(z)136--136, 5(z)63--63, 6(z)4--4, 8(z)44--44
prevented, 8(z)21--21
preventing, 1(z)97--97
Prevention, 7(z)231--231
previous, 2(z)114--114, 3(z)2--2, 3(z)5--5, 4(z)32--32, 4(z)87--87, 4(z)149--149, 4(z)197--197, 5(z)67--67, 6(z)148--148, 7(z)3--3, 7(z)77--77, 7(z)253--253, 8(z)56--56
previously, 2(z)125--125, 4(z)129--129, 5(z)7--7
price, 4(z)93--93, 5(z)51--51
pride, 6(z)109--109
PRIMA, 6(z)43--43
Primal-Dual, 7(z)72--72
primal-dual, 6(z)50--50
primarily, 2(z)78--78, 3(z)125--125, 4(z)73--73, 5(z)139--139, 6(z)14--14
primary, 3(z)89--89, 4(z)30--30, 4(z)140--140, 6(z)77--77, 6(z)148--148, 7(z)111--111
prime, 2(z)93--93
primitive, 3(z)99--99, 4(z)63--63, 4(z)67--67, 4(z)134--134, 4(z)142--142, 4(z)213--213, 5(z)28--28, 5(z)60--60, 6(z)44--44, 6(z)67--67, 7(z)152--152, 7(z)158--158
principal, 3(z)8--8, 4(z)124--124, 4(z)154--154, 6(z)141--141
principality, 3(z)8--8
principle, 2(z)87--87, 2(z)92--92, 3(z)9--9, 3(z)86--86, 3(z)87--87, 3(z)131--131, 3(z)171--171, 4(z)60--60, 4(z)69--69, 4(z)136--136, 5(z)60--60, 5(z)76--76, 5(z)92--92, 6(z)1--1, 6(z)79--79, 6(z)117--117, 7(z)74--74, 7(z)208--208, 7(z)214--214, 8(z)129--129
principled, 2(z)21--21, 4(z)60--60, 5(z)69--69, 5(z)79--79, 5(z)127--127, 6(z)96--96, 6(z)151--151, 6(z)159--159, 8(z)31--31, 8(z)42--42, 8(z)58--58
Print, Read-Eval-, 4(z)159--159
printer, 1(z)6--6, 7(z)261--261
printf, 3(z)169--169
printing, 2(z)99--99, 7(z)261--261
Prinz, Jacob, 7(z)178--178
Prinz:2023:MIR, 7(z)178--178
prior, 2(z)47--47, 3(z)187--187, 4(z)34--34, 4(z)71--71, 4(z)78--78, 4(z)127--127, 5(z)115--115, 5(z)153--153, 5(z)154--154, 6(z)3--3, 6(z)21--21, 7(z)14--14, 7(z)23--23, 7(z)27--27, 7(z)66--66, 7(z)94--94, 8(z)52--52
priori, 3(z)169--169
priorities, 2(z)95--95, 6(z)45--45, 7(z)135--135
priority, dynamic-, 6(z)127--127
prisms, 2(z)84--84
privacy, 1(z)10--10, 2(z)58--58, 3(z)93--93, 3(z)172--172, 4(z)143--143, 4(z)165--165, 4(z)203--203, 5(z)8--8, 6(z)150--150, 8(z)144--144
privacy-aware, 3(z)167--167
Privacy-Preserving, 7(z)273--273, 8(z)139--139
privacy-preserving, 4(z)203--203
private, 3(z)93--93, 3(z)94--94, 5(z)93--93, 6(z)5--5, 6(z)51--51, 7(z)89--89, 7(z)147--147, 7(z)273--273, 8(z)144--144
private, Differentially-, 4(z)203--203
privilege, 5(z)6--6, 6(z)74--74
Priya, Swarn, 3(z)154--154
Priya, Swarn, see Kaki, Gowtham
prng, 5(z)148--148
probabilistic, non-, 5(z)87--87
probabilistically, 4(z)50--50
probability, 3(z)129--129, 3(z)186--186, 4(z)36--36, 4(z)224--224, 5(z)32--32, 5(z)58--58, 7(z)98--98, 7(z)112--112, 7(z)176--176, 8(z)84--84
ProbCompCert, 7(z)131--131
probes, 8(z)81--81
problematic, 2(z)125--125, 2(z)136--136
ProbNV, 5(z)90--90
procedural, inter-, 6(z)153--153
procedural, intra-, 6(z)153--153
procedure, 4(z)35--35, 4(z)62--62, 4(z)80--80, 4(z)95--95, 5(z)93--93, 8(z)64--64
proceed, 2(z)116--116, 4(z)102--102
process, 2(z)124--124, 2(z)126--126, 2(z)165--165, 3(z)4--4, 3(z)7--7, 3(z)24--24, 3(z)30--30, 3(z)162--162, 3(z)170--170, 3(z)178--178, 3(z)182--182, 3(z)188--188, 4(z)26--26, 4(z)34--34, 4(z)72--72, 4(z)175--175, 4(z)186--186, 4(z)210--210, 4(z)213--213, 4(z)219--219, 4(z)231--231, 5(z)16--16, 5(z)111--111, 5(z)148--148, 6(z)5--5, 6(z)155--155, 7(z)5--5, 7(z)66--66, 7(z)101--101, 7(z)117--117, 7(z)193--193, 8(z)43--43, 8(z)60--60, 8(z)95--95, 8(z)126--126, 8(z)133--133, 8(z)142--142, 8(z)143--143
process, inter-, 3(z)130--130, 5(z)164--164
Processes'', ``Proofs-as-, 4(z)18--18
processing, 1(z)73--73, 2(z)67--67, 3(z)167--167, 3(z)186--186, 4(z)81--81, 4(z)125--125, 4(z)144--144, 4(z)153--153, 4(z)166--166, 4(z)168--168, 4(z)183--183, 5(z)83--83, 5(z)112--112, 6(z)73--73, 6(z)157--157, 7(z)37--37, 7(z)134--134, 8(z)99--99
processing, array-, 3(z)97--97
processing, packet-, 5(z)41--41
processing, tree-, 4(z)112--112
processor, 3(z)120--120, 4(z)129--129, 4(z)147--147, 5(z)141--141, 6(z)54--54, 7(z)153--153
produce, 2(z)126--126, 2(z)129--129, 3(z)7--7, 3(z)29--29, 3(z)125--125, 3(z)126--126, 4(z)157--157, 5(z)34--34, 5(z)151--151, 6(z)3--3, 6(z)184--184, 7(z)47--47, 8(z)129--129
produced, 3(z)83--83, 4(z)46--46, 4(z)73--73, 5(z)48--48
producer, multiple-, 5(z)66--66
producing, 2(z)99--99, 4(z)104--104, 5(z)48--48, 8(z)82--82
product, 4(z)57--57, 4(z)81--81, 4(z)94--94, 4(z)157--157, 4(z)184--184, 5(z)14--14, 5(z)50--50, 7(z)64--64
production, 4(z)195--195, 4(z)210--210, 5(z)70--70, 8(z)21--21
production, in-, 4(z)143--143
productivity, 2(z)120--120, 3(z)125--125, 4(z)82--82, 5(z)150--150, 6(z)116--116, 7(z)42--42
Proença, José, 2(z)82--82, see Almeida, José Bacelar
professionals, 4(z)71--71
profile, 2(z)150--150, 3(z)156--156, 6(z)52--52, 8(z)95--95
profile, high-, 5(z)129--129
Profile-guided, 6(z)52--52
profiler, 3(z)156--156, 7(z)241--241, 7(z)272--272
profiling, 2(z)124--124, 4(z)203--203, 5(z)144--144, 6(z)52--52, 7(z)272--272, 8(z)95--95, 8(z)110--110
profit, 4(z)167--167
profitable, 5(z)119--119
profunctor, 2(z)84--84
program, tensor-, 6(z)55--55
program, whole-, 3(z)126--126, 3(z)137--137, 5(z)159--159
program-counter, 5(z)35--35
Program-Multiple-Data, Single-, 4(z)72--72
program-structure, 2(z)116--116
program-synthesis, 7(z)23--23
programmability, 4(z)163--163, 6(z)80--80, 7(z)136--136
programmable, 2(z)106--106, 2(z)128--128, 2(z)163--163, 3(z)185--185, 4(z)19--19, 4(z)74--74, 6(z)38--38, 7(z)253--253
programmatic, 7(z)83--83, 8(z)18--18, 8(z)93--93
programmed, 4(z)81--81
programmer, 2(z)76--76, 2(z)78--78, 2(z)80--80, 2(z)85--85, 2(z)98--98, 2(z)116--116, 2(z)120--120, 2(z)121--121, 2(z)133--133, 2(z)134--134, 2(z)162--162, 2(z)165--165, 3(z)14--14, 3(z)29--29, 3(z)88--88, 3(z)149--149, 3(z)152--152, 3(z)153--153, 4(z)3--3, 4(z)10--10, 4(z)29--29, 4(z)40--40, 4(z)41--41, 4(z)47--47, 4(z)65--65, 4(z)72--72, 4(z)82--82, 4(z)92--92, 4(z)93--93, 4(z)101--101, 4(z)103--103, 4(z)104--104, 4(z)105--105, 4(z)127--127, 4(z)136--136, 4(z)173--173, 4(z)204--204, 4(z)207--207, 5(z)43--43, 5(z)58--58, 5(z)80--80, 5(z)101--101, 5(z)108--108, 5(z)111--111, 5(z)116--116, 5(z)153--153, 5(z)155--155, 6(z)23--23, 6(z)82--82, 6(z)104--104, 6(z)116--116, 6(z)183--183, 7(z)47--47, 7(z)78--78, 7(z)85--85, 7(z)100--100, 7(z)116--116, 7(z)170--170, 7(z)198--198, 7(z)207--207, 7(z)211--211, 7(z)255--255, 7(z)260--260, 7(z)265--265, 7(z)277--277, 7(z)280--280, 8(z)3--3, 8(z)44--44, 8(z)88--88, 8(z)110--110
programmer, non-, 4(z)78--78
programming, meta-, 3(z)126--126, 3(z)153--153, 6(z)97--97
Programming-by-Demonstration, 8(z)18--18
Programming-by-Examples, 7(z)33--33, 7(z)173--173
progress, 2(z)20--20, 2(z)108--108, 3(z)26--26, 3(z)157--157, 4(z)159--159, 5(z)123--123, 5(z)131--131, 7(z)1--1, 7(z)68--68, 7(z)247--247, 8(z)47--47
progressing, 3(z)178--178, 4(z)85--85
prohibitively, 3(z)140--140, 7(z)107--107
project, 1(z)95--95, 3(z)158--158, 3(z)160--160, 3(z)170--170, 3(z)177--177, 4(z)74--74, 4(z)79--79, 4(z)84--84, 4(z)136--136, 4(z)152--152, 6(z)3--3, 7(z)45--45, 7(z)192--192
project-specific, 3(z)160--160
projection, 3(z)29--29, 3(z)126--126, 4(z)150--150, 6(z)23--23, 7(z)79--79
projection, embedding-, 2(z)73--73
Projection-based, 4(z)150--150
projection., 3(z)29--29
Proki{\'c}, Ivan, 5(z)16--16, see Ghilezan, Silvia
Prokopec, Aleksandar, 7(z)277--277
Prokopec, Aleksandar, see D'Souza, Matt
proliferation, 3(z)94--94
prolific, 2(z)85--85
Prolog, 2(z)93--93
prominence, 3(z)174--174, 8(z)86--86
prominent, 4(z)5--5, 4(z)38--38, 7(z)48--48
promise, 1(z)86--86, 2(z)66--66, 2(z)92--92, 2(z)133--133, 2(z)137--137, 2(z)139--139, 2(z)162--162, 3(z)122--122, 3(z)135--135, 3(z)153--153, 4(z)11--11, 4(z)133--133, 5(z)84--84, 5(z)101--101, 5(z)117--117, 6(z)30--30, 6(z)116--116, 7(z)18--18, 7(z)78--78, 7(z)101--101, 8(z)14--14
promise-based, 2(z)162--162
promise-related, 2(z)162--162
PromiseKeeper, 2(z)162--162
promising, 2(z)114--114, 5(z)92--92, 5(z)147--147, 6(z)126--126, 6(z)152--152, 6(z)173--173, 7(z)183--183, 8(z)46--46, 8(z)81--81, 8(z)108--108
promote, 4(z)120--120, 4(z)132--132
PROMPT, 8(z)110--110
prompt, multi-, 5(z)71--71
Prompting, 7(z)186--186
prone, 4(z)123--123
prone, error-, 3(z)170--170, 4(z)17--17, 4(z)219--219
proof, cyclic-, 6(z)63--63
proof-irrelevance, 3(z)3--3
proof-irrelevant, 6(z)32--32
Proof-Nets, 6(z)8--8
proof-nets, 6(z)8--8
proof-oriented, 5(z)85--85
Proof-Relevant, 7(z)8--8
proof-search, 6(z)63--63
Proofs-as-Processes, 4(z)18--18
propagate, 3(z)133--133, 3(z)160--160
propagation, 5(z)54--54, 6(z)158--158
Propeller, 5(z)144--144
proper, 4(z)133--133
properly, 3(z)142--142, 4(z)68--68
properly-matched-parenthesis, 6(z)62--62
property, 1(z)75--75, 2(z)97--97, 2(z)102--102, 2(z)123--123, 3(z)93--93, 3(z)111--111, 3(z)118--118, 3(z)121--121, 3(z)141--141, 3(z)142--142, 3(z)147--147, 3(z)151--151, 3(z)164--164, 3(z)181--181, 4(z)5--5, 4(z)14--14, 4(z)20--20, 4(z)24--24, 4(z)28--28, 4(z)56--56, 4(z)112--112, 4(z)119--119, 4(z)166--166, 4(z)216--216, 4(z)228--228, 5(z)18--18, 5(z)42--42, 5(z)44--44, 5(z)48--48, 5(z)52--52, 5(z)98--98, 5(z)108--108, 5(z)116--116, 5(z)145--145, 5(z)148--148, 6(z)4--4, 6(z)59--59, 6(z)62--62, 6(z)64--64, 6(z)112--112, 6(z)116--116, 6(z)135--135, 6(z)136--136, 6(z)137--137, 6(z)166--166, 6(z)191--191, 7(z)10--10, 7(z)68--68, 7(z)85--85, 7(z)121--121, 7(z)139--139, 7(z)185--185, 7(z)218--218, 7(z)220--220, 7(z)259--259, 8(z)11--11, 8(z)35--35, 8(z)53--53, 8(z)55--55, 8(z)64--64, 8(z)78--78, 8(z)88--88, 8(z)104--104, 8(z)122--122
Property-Based, 7(z)218--218
property-based, 2(z)102--102, 3(z)181--181, 5(z)166--166, 6(z)64--64, 6(z)122--122, 7(z)157--157, 7(z)200--200
Property-Directed, 7(z)190--190
property-directed, 6(z)15--15, 7(z)190--190
property-free, 6(z)79--79
prophecy, 4(z)45--45
proponents, 4(z)74--74
proportional, 4(z)25--25
proportionally, 3(z)125--125
proposal, 3(z)133--133, 8(z)43--43
propose, 2(z)72--72, 2(z)108--108, 2(z)142--142, 2(z)155--155, 2(z)166--166, 3(z)1--1, 3(z)19--19, 3(z)21--21, 3(z)30--30, 3(z)104--104, 3(z)130--130, 3(z)133--133, 3(z)134--134, 3(z)160--160, 3(z)186--186, 4(z)4--4, 4(z)13--13, 4(z)21--21, 4(z)41--41, 4(z)59--59, 4(z)62--62, 4(z)88--88, 4(z)90--90, 4(z)125--125, 4(z)141--141, 4(z)150--150, 4(z)164--164, 4(z)165--165, 4(z)170--170, 4(z)183--183, 4(z)193--193, 4(z)199--199, 4(z)211--211, 4(z)218--218, 5(z)69--69, 5(z)75--75, 5(z)105--105, 5(z)152--152, 6(z)3--3, 6(z)10--10, 6(z)72--72, 6(z)85--85, 6(z)116--116, 6(z)129--129, 6(z)144--144, 6(z)181--181, 6(z)190--190, 7(z)3--3, 7(z)6--6, 7(z)68--68, 7(z)94--94, 7(z)141--141, 7(z)163--163, 7(z)190--190, 7(z)225--225, 7(z)271--271, 8(z)51--51, 8(z)52--52, 8(z)54--54, 8(z)63--63, 8(z)122--122, 8(z)128--128
proposed, 2(z)137--137, 2(z)160--160, 2(z)162--162, 3(z)6--6, 3(z)24--24, 3(z)93--93, 3(z)133--133, 3(z)135--135, 3(z)189--189, 4(z)11--11, 4(z)227--227, 5(z)7--7, 5(z)29--29, 5(z)147--147, 6(z)33--33, 6(z)189--189, 7(z)68--68, 7(z)94--94, 7(z)137--137, 7(z)297--297, 8(z)53--53
proposing, 7(z)26--26
proposition-as-types, 5(z)79--79
Propositional, 6(z)96--96
propositions, 6(z)155--155, 7(z)74--74
propositions-as-sessions, 6(z)155--155
Propositions-as-types, 5(z)79--79
Proq, 4(z)150--150
protect, 2(z)116--116, 3(z)122--122, 7(z)273--273
protecting, 3(z)172--172
protection, 5(z)142--142, 6(z)138--138
Proto-Quipper, 7(z)11--11
protocol, 1(z)19--19, 1(z)67--67, 1(z)108--108, 2(z)28--28, 3(z)27--27, 3(z)28--28, 3(z)29--29, 3(z)30--30, 3(z)123--123, 3(z)138--138, 3(z)164--164, 4(z)42--42, 4(z)67--67, 4(z)103--103, 4(z)148--148, 4(z)155--155, 5(z)16--16, 5(z)17--17, 5(z)81--81, 5(z)90--90, 5(z)157--157, 6(z)5--5, 6(z)24--24, 6(z)67--67, 7(z)30--30, 7(z)66--66, 7(z)79--79, 7(z)81--81, 7(z)105--105, 7(z)163--163, 7(z)214--214, 7(z)217--217, 7(z)253--253, 7(z)273--273, 7(z)288--288, 8(z)35--35, 8(z)64--64, 8(z)137--137
prototype, 3(z)88--88, 3(z)133--133, 4(z)3--3, 6(z)3--3, 7(z)88--88
prototyping, 1(z)9--9, 2(z)93--93
Protzenko, Jonathan, 1(z)17--17, 5(z)77--77, 6(z)116--116, 7(z)202--202
Protzenko, Jonathan, see Ho, Son, see Merigoux, Denis
Protzenko:2017:VLL, 1(z)17--17
provable, 5(z)6--6, 5(z)8--8, 5(z)121--121, 7(z)124--124
provably, 1(z)78--78, 3(z)19--19, 4(z)7--7, 5(z)18--18, 6(z)48--48, 6(z)115--115
provably-correct, 1(z)65--65
prove, 1(z)22--22, 2(z)47--47, 3(z)3--3, 3(z)21--21, 3(z)29--29, 3(z)83--83, 3(z)104--104, 3(z)141--141, 3(z)142--142, 3(z)166--166, 4(z)7--7, 4(z)11--11, 4(z)166--166, 5(z)11--11, 5(z)39--39, 5(z)56--56, 5(z)68--68, 5(z)119--119, 6(z)3--3, 6(z)4--4, 6(z)81--81, 6(z)116--116, 6(z)143--143, 7(z)85--85, 8(z)19--19, 8(z)21--21
proved, 4(z)47--47, 6(z)119--119, 7(z)102--102, 8(z)13--13
proven, 2(z)66--66, 2(z)144--144, 2(z)161--161, 3(z)17--17, 3(z)142--142, 4(z)9--9, 4(z)46--46, 4(z)229--229, 5(z)13--13, 5(z)69--69, 6(z)70--70, 7(z)110--110, 8(z)83--83
provenance, 4(z)62--62, 4(z)176--176
Provenance-guided, 4(z)62--62
prover, 4(z)161--161, 5(z)23--23, 5(z)119--119, 6(z)69--69, 6(z)116--116, 7(z)172--172
provide, 2(z)103--103, 2(z)113--113, 2(z)118--118, 2(z)128--128, 2(z)132--132, 2(z)134--134, 2(z)161--161, 2(z)162--162, 3(z)8--8, 3(z)11--11, 3(z)14--14, 3(z)86--86, 3(z)87--87, 3(z)90--90, 3(z)99--99, 3(z)110--110, 3(z)114--114, 3(z)115--115, 3(z)130--130, 3(z)133--133, 3(z)158--158, 3(z)165--165, 3(z)169--169, 3(z)172--172, 3(z)186--186, 4(z)4--4, 4(z)19--19, 4(z)41--41, 4(z)52--52, 4(z)60--60, 4(z)66--66, 4(z)74--74, 4(z)84--84, 4(z)121--121, 4(z)132--132, 4(z)148--148, 4(z)164--164, 4(z)191--191, 4(z)197--197, 4(z)207--207, 4(z)228--228, 4(z)229--229, 4(z)232--232, 5(z)2--2, 5(z)12--12, 5(z)30--30, 5(z)50--50, 5(z)57--57, 5(z)83--83, 5(z)96--96, 5(z)103--103, 5(z)108--108, 5(z)112--112, 5(z)115--115, 5(z)116--116, 5(z)133--133, 5(z)148--148, 5(z)149--149, 5(z)150--150, 5(z)158--158, 5(z)160--160, 5(z)162--162, 5(z)167--167, 6(z)3--3, 6(z)15--15, 6(z)67--67, 6(z)108--108, 6(z)139--139, 6(z)140--140, 6(z)159--159, 6(z)174--174, 6(z)186--186, 7(z)11--11, 7(z)17--17, 7(z)85--85, 7(z)89--89, 7(z)94--94, 7(z)100--100, 7(z)114--114, 7(z)221--221, 7(z)223--223, 7(z)253--253, 7(z)260--260, 8(z)19--19, 8(z)72--72, 8(z)100--100, 8(z)112--112
provided, 4(z)49--49, 4(z)101--101, 4(z)136--136, 5(z)17--17, 6(z)147--147
provided, user-, 7(z)33--33
providing, 2(z)75--75, 3(z)90--90, 3(z)158--158, 4(z)39--39, 4(z)74--74, 4(z)81--81, 5(z)64--64, 5(z)120--120, 6(z)96--96, 8(z)133--133
proving, 2(z)28--28, 2(z)47--47, 2(z)57--57, 2(z)64--64, 2(z)72--72, 3(z)86--86, 3(z)87--87, 3(z)166--166, 4(z)7--7, 4(z)25--25, 4(z)35--35, 4(z)86--86, 4(z)128--128, 4(z)216--216, 5(z)85--85, 5(z)86--86, 5(z)99--99, 5(z)114--114, 5(z)146--146, 6(z)1--1, 6(z)33--33, 6(z)34--34, 6(z)81--81, 6(z)135--135, 7(z)30--30, 7(z)144--144, 7(z)175--175, 7(z)182--182, 7(z)281--281, 8(z)58--58, 8(z)122--122
provisioning, 7(z)13--13
provoke, 2(z)116--116
Pruett, Matthew, 5(z)154--154
Pruett, Matthew, see Brown, Michael D.
prune, 4(z)95--95
pruning, 4(z)177--177, 6(z)75--75
Prusti, 5(z)145--145
pseudo-code, 3(z)123--123
pseudorandom, 5(z)148--148
PSO, 5(z)164--164
PSPACE-complete, 4(z)26--26
Psym, 7(z)133--133
P/Taint, 1(z)102--102
Pu, Geguang, 5(z)156--156
Pu, Geguang, see Su, Ting
public, 3(z)120--120
publication, 3(z)120--120, 4(z)73--73, 5(z)70--70, 7(z)68--68
publicly, 4(z)60--60
published, 4(z)96--96, 5(z)70--70, 6(z)168--168
publishing, 4(z)71--71
Puente, Juan Pedro Bolívar, 1(z)16--16
Puente:2017:PMR, 1(z)16--16
Pujet, Loïc, 6(z)32--32, 7(z)74--74
Pujet:2022:OEN, 6(z)32--32
Pujet:2023:IOE, 7(z)74--74
pull, 4(z)73--73
Pulte, Christopher, 2(z)19--19, 7(z)1--1
Pulte:2018:SAC, 2(z)19--19
Pulte:2023:CVS, 7(z)1--1
Pupyrev, Sergey, 6(z)52--52
Pupyrev, Sergey, see He, Wenlei
Purandare, Rahul, 6(z)153--153, 7(z)283--283
Purandare, Rahul, see Chitre, Khushboo
pure, 3(z)90--90, 3(z)99--99, 3(z)103--103, 4(z)71--71, 4(z)100--100, 4(z)111--111, 4(z)115--115, 6(z)55--55, 6(z)116--116, 6(z)191--191, 7(z)236--236, 8(z)93--93, 8(z)135--135
PureCake, 7(z)145--145
PureLang, 7(z)145--145
purely, 2(z)97--97, 6(z)89--89, 6(z)109--109, 7(z)145--145, 7(z)198--198
PureScript, 3(z)91--91
purity, 4(z)111--111, 6(z)30--30, 6(z)82--82, 7(z)198--198
purpose, 3(z)20--20, 3(z)160--160, 4(z)41--41, 4(z)65--65, 4(z)84--84, 4(z)136--136
purpose, General-, 2(z)106--106, 5(z)25--25
purpose, general-, 4(z)51--51, 4(z)71--71, 4(z)229--229, 5(z)54--54, 5(z)165--165, 6(z)101--101, 7(z)111--111, 7(z)254--254
purpose, special-, 3(z)186--186
Purser, David, 6(z)65--65
Purser, David, see Karimov, Toghrul
Püschel, Markus, 2(z)55--55, 6(z)43--43, see Müller, Mark Niklas, see Singh, Gagandeep
push, 2(z)152--152
push-value, call-by-, 4(z)15--15, 7(z)51--51
pushdown, 5(z)151--151, 8(z)4--4
Pushing, 7(z)97--97
put, 2(z)69--69, 3(z)153--153, 3(z)189--189, 4(z)71--71, 8(z)32--32, 8(z)69--69
Putinar, 7(z)253--253
Putting, 7(z)183--183
PVASS, 8(z)4--4
PwD, 4(z)108--108
Px86, 4(z)11--11, 5(z)56--56
PyDex, 8(z)133--133
Python, 2(z)108--108, 2(z)109--109, 2(z)120--120, 3(z)125--125, 6(z)71--71, 7(z)130--130, 7(z)249--249, 8(z)133--133
Pythonic, 3(z)125--125
PyTorch, 5(z)3--3
Pyzik, Mateusz, 7(z)206--206
Pyzik, Mateusz, see Sieczkowski, Filip