Index file section S for pacmpl.bib

Last update: Sun Sep 1 02:29:01 MDT 2024

Return to index directory

S

S, 4(z)84--84
s, 4(z)136--136
S-expressions, 5(z)126--126
S1, 6(z)54--54
S1;S2, 6(z)54--54
S2, 6(z)54--54
Sa'ar, Yaniv, 4(z)54--54
Sa'ar, Yaniv, see Bansal, Suguman
Saad, Feras A., 4(z)36--36
Saad:2020:OAS, 4(z)36--36
Saarikivi, Olli, 4(z)218--218, 7(z)148--148
Saarikivi, Olli, see Moseley, Dan, see Turo{\v{n}}ov{\'a}, Lenka
Sabok, Marcin, 5(z)11--11
Sabok:2021:PPS, 5(z)11--11
Sabry, Amr, 5(z)9--9, 6(z)6--6, 8(z)19--19
Sabry, Amr, see Carette, Jacques, see Chen, Chao-Hong, see Choudhury, Vikraman
sacrifice, 7(z)198--198, 7(z)283--283
sacrificing, 3(z)170--170
Sadayappan, P., 2(z)32--32
Sadayappan, P., see Bao, Wenlei
safe, 1(z)78--78, 1(z)95--95, 2(z)66--66, 2(z)90--90, 2(z)108--108, 2(z)128--128, 2(z)164--164, 3(z)29--29, 3(z)83--83, 3(z)101--101, 3(z)133--133, 4(z)34--34, 4(z)68--68, 4(z)136--136, 4(z)148--148, 4(z)188--188, 5(z)92--92, 5(z)121--121, 6(z)38--38, 6(z)43--43, 6(z)112--112, 6(z)151--151, 6(z)168--168, 6(z)192--192, 7(z)88--88, 7(z)94--94, 7(z)136--136, 7(z)170--170, 7(z)241--241, 7(z)251--251, 8(z)32--32, 8(z)80--80, 8(z)118--118, 8(z)119--119, 8(z)131--131, 8(z)136--136
safe, Abstraction-, 3(z)5--5
safe, concurrency-, 4(z)71--71
Safe, Memory-, 7(z)15--15
safe, memory-, 5(z)135--135
safe, specialization-, 2(z)14--14
safe, Thread-, 2(z)107--107
safe, thread-, 2(z)108--108
Safe, Type-, 7(z)297--297
safe, Type-, 5(z)103--103
safe, type-, 2(z)128--128, 3(z)5--5, 3(z)113--113, 3(z)131--131, 4(z)217--217, 5(z)103--103, 6(z)26--26
safely, 2(z)116--116, 4(z)32--32, 4(z)226--226, 5(z)16--16, 5(z)45--45, 6(z)82--82, 7(z)85--85
safer, 3(z)185--185, 5(z)103--103, 5(z)121--121
safety, 2(z)24--24, 2(z)26--26, 2(z)66--66, 2(z)98--98, 2(z)114--114, 3(z)111--111, 3(z)119--119, 3(z)122--122, 3(z)141--141, 3(z)147--147, 3(z)166--166, 3(z)173--173, 4(z)5--5, 4(z)13--13, 4(z)29--29, 4(z)34--34, 4(z)35--35, 4(z)41--41, 4(z)112--112, 4(z)117--117, 4(z)132--132, 4(z)136--136, 4(z)176--176, 5(z)55--55, 5(z)83--83, 5(z)88--88, 5(z)103--103, 6(z)4--4, 6(z)14--14, 6(z)74--74, 6(z)78--78, 7(z)85--85, 7(z)86--86, 7(z)94--94, 7(z)111--111, 7(z)115--115, 7(z)164--164, 7(z)165--165, 7(z)241--241, 7(z)265--265, 7(z)299--299, 8(z)22--22, 8(z)35--35, 8(z)130--130
safety, thread-, 5(z)121--121
safety, type-, 6(z)61--61
safety-critical, 4(z)20--20, 4(z)44--44, 6(z)127--127, 7(z)199--199
Saffrich, Hannes, 4(z)103--103
Saffrich, Hannes, see Radanne, Gabriel
Saggitarius, 7(z)293--293
Sagiv, Mooly, 1(z)108--108, 2(z)26--26, 2(z)48--48, 2(z)118--118, 4(z)5--5, 4(z)209--209, 5(z)15--15, 6(z)15--15, 7(z)288--288
Sagiv, Mooly, see Albert, Elvira, see Alpernas, Kalev, see Feldman, Yotam M. Y., see Grossman, Shelly, \see{Padon, Oded, see Tamir, Orr
Sagonas, Konstantinos, 2(z)17--17, 3(z)150--150
Sagonas, Konstantinos, see Abdulla, Parosh Aziz, see Kokologiannakis, Michalis
Saha, Seemanta, 7(z)167--167
Saha, Shambwaditya, 5(z)104--104
Saha, Shambwaditya, see Astorga, Angello
Saha:2023:OIL, 7(z)167--167
Sahebolamri, Arash, 7(z)264--264
Sahebolamri:2023:BYO, 7(z)264--264
Sahoo, Anmol, 4(z)113--113
Sahoo, Anmol, see Sivaramakrishnan, KC
said, 2(z)116--116, 7(z)202--202, 8(z)20--20
Saiki, Brett, 5(z)119--119, 7(z)258--258
Saiki, Brett, see Nandi, Chandrakana, see Pal, Anjali
Saini, Vaibhav, 1(z)84--84
Saini, Vaibhav, see Lopes, Cristina V.
Saivasan, Prakash, 5(z)56--56
Saivasan, Prakash, see Abdulla, Parosh Aziz
Sajnani, Hitesh, 1(z)84--84
Sajnani, Hitesh, see Lopes, Cristina V.
sake, 3(z)160--160
Sakka, Laith, 1(z)76--76
Sakka:2017:TFA, 1(z)76--76
Sakkas, Georgios, 6(z)167--167
Sakkas:2022:SNP, 6(z)167--167
sale, 4(z)87--87
salient, 3(z)106--106
Saliling, Angelina, 8(z)104--104
Saliling, Angelina, see Zilberstein, Noam
Salkhordeh, Reza, 5(z)63--63
Salkhordeh, Reza, see Krauter, Nicolas
Salvador, Lucas F., 5(z)131--131
Salvador, Lucas F., see Sorensen, Tyler
Salvaneschi, Guido, 2(z)67--67, 2(z)107--107, 2(z)129--129, 3(z)144--144, 3(z)167--167, 4(z)139--139, 4(z)188--188, 7(z)162--162, 7(z)297--297
Salvaneschi, Guido, see Bracevac, Oliver, see Drechsler, Joscha, see Köhler, Mirko, \see{Mogk, Ragnar, see Weisenburger, Pascal, see Zakhour, George, \see{Zhang, Yizhou
Salvaneschi:2019:LIP, 3(z)167--167
Salz, Arturo, 4(z)87--87
Salz, Arturo, see Flake, Peter
Samak, Malavika, 4(z)52--52
Samak:2020:SRC, 4(z)52--52
Samanta, Roopsha, 4(z)56--56, 5(z)157--157, 7(z)81--81, 7(z)134--134, 7(z)141--141, 7(z)298--298
Samanta, Roopsha, see An, Shengwei, see Barnaby, Celeste, see Jaber, Nouraldin, see Nazari, Amirmohammad, see Wagner, Christopher, see Yuan, Yongwei
same, 2(z)94--94, 2(z)108--108, 2(z)120--120, 2(z)126--126, 3(z)3--3, 3(z)11--11, 3(z)25--25, 3(z)27--27, 3(z)82--82, 3(z)87--87, 3(z)101--101, 3(z)132--132, 3(z)141--141, 3(z)142--142, 4(z)10--10, 4(z)31--31, 4(z)52--52, 4(z)72--72, 4(z)73--73, 4(z)75--75, 4(z)202--202, 5(z)31--31, 5(z)92--92, 6(z)19--19, 6(z)177--177, 7(z)111--111, 7(z)200--200, 7(z)242--242, 8(z)125--125
Sammler, Michael, 4(z)32--32, 6(z)20--20, 6(z)28--28, 6(z)182--182, 7(z)27--27, 7(z)39--39, 7(z)247--247
Sammler, Michael, see Guéneau, Armaël, see Gäher, Lennard, see Lepigre, Rodolphe, \see{Song, Youngju, see Zhu, Fengmin
Sammler:2020:HLB, 4(z)32--32
Sammler:2023:DDA, 7(z)27--27
sample, 2(z)116--116, 2(z)131--131, 6(z)181--181, 7(z)45--45
sampled, 2(z)116--116
Samplers, 7(z)106--106
sampling, 3(z)137--137, 4(z)36--36, 5(z)11--11, 5(z)115--115, 6(z)120--120, 7(z)280--280, 8(z)26--26
sampling-a, 4(z)55--55
Sampling-based, 6(z)52--52
Sampson, Adrian, 1(z)71--71, 4(z)173--173, 7(z)120--120
Sampson, Adrian, see Geisler, Dietrich, see Nigam, Rachit
Sampson:2017:SSH, 1(z)71--71
Sanan, David, 6(z)36--36
Sanan, David, see Le, Xuan-Bach
Sanchez-Stern, Alex, 6(z)143--143
Sanchez-Stern, Alex, see Sivaraman, Aishwarya
Sandbox, 7(z)266--266
sandboxing, 4(z)32--32, 4(z)135--135, 6(z)27--27
Sanders, Yinnon, 4(z)173--173
Sanders, Yinnon, see Geisler, Dietrich
Sands, David, 7(z)68--68
Sands, David, see Hunt, Sebastian
Sands, Nathaniel, 7(z)271--271
Sands, Nathaniel, see Thakkar, Aalok
Sang, Bo, 4(z)198--198
Sang, Yuyang, 3(z)136--136
Sang, Yuyang, see Sjöberg, Vilhelm
Sang:2020:SSN, 4(z)198--198
Sangiorgi, Davide, 6(z)18--18
Sangiorgi:2022:ECT, 6(z)18--18
Sanitizer-Eliding, 7(z)143--143
Sanitizers, 7(z)143--143
Sano, Chuta, 7(z)235--235
Sano:2023:MST, 7(z)235--235
Santamaria, Alessio, 7(z)64--64
Santamaria, Alessio, see Bonchi, Filippo
Santolucito, Mark, 1(z)64--64
Santolucito:2017:SCF, 1(z)64--64
Santos, Joanna C. S., 8(z)134--134
Santos, José Fragoso, 2(z)50--50
Santos, Vinícius Fernandes dos, 3(z)120--120, see Siraichi, Marcos Yukio
Santos:2018:JJV, 2(z)50--50
Santos:2024:STB, 8(z)134--134
Sarita, Yasmin, 3(z)186--186
Sarita, Yasmin, see Sharif, Hashim
Sarkar, Susmit, 2(z)19--19, 7(z)153--153
Sarkar, Susmit, see Goens, Andrés, see Pulte, Christopher
Sarkar, Vivek, 1(z)103--103, 7(z)249--249
Sarkar, Vivek, see Cogumbreiro, Tiago, see Ye, Fangke
Sartiani, Carlo, 8(z)49--49
Sartiani, Carlo, see Attouche, Lyes
SAT, 4(z)146--146
SAT-based, 4(z)5--5
Satake, Yuki, 2(z)12--12
Satake, Yuki, see Unno, Hiroshi
Satheeskumar, Kavin, 8(z)115--115
Satheeskumar, Kavin, see Lee, Edward
Sathiyanarayana, V. R., 8(z)37--37
Sathiyanarayana, V. R., see Majumdar, Rupak
satisfactory, 7(z)68--68
satisfiability, 2(z)149--149, 4(z)141--141, 4(z)146--146, 4(z)192--192, 6(z)169--169, 8(z)1--1
satisfy, 2(z)66--66, 2(z)155--155, 3(z)91--91, 3(z)151--151, 4(z)46--46, 4(z)54--54, 5(z)61--61, 6(z)136--136, 7(z)7--7, 7(z)164--164, 7(z)185--185
satisfying, 7(z)203--203
Sato, Ryosuke, 7(z)6--6, 7(z)190--190
Sato, Ryosuke, see Katsura, Hiroyuki, see Kobayashi, Naoki
Sato, Shigeyuki, 8(z)121--121
Sato, Tetsuya, 5(z)93--93
Sato, Tetsuya, see Aguirre, Alejandro
Sato:2024:MNS, 8(z)121--121
SAT/SMT-solvers, 6(z)79--79
Satune, 4(z)146--146
saturated, 3(z)102--102
saturation, 5(z)23--23, 5(z)119--119, 7(z)125--125, 7(z)258--258, 8(z)58--58
Satya, Kris, 6(z)62--62
Satya, Kris, see Li, Yuanbo
Saumya, Charitha, 6(z)170--170
Saumya, Charitha, see Sundararajah, Kirshanthan
save, 3(z)183--183, 4(z)144--144
SAVI, 1(z)45--45
Saville, Philip, 6(z)44--44
Saville, Philip, see Kammar, Ohad
saving, 3(z)162--162, 4(z)145--145
Savvides, Savvas, 7(z)117--117
Savvides, Savvas, see Mangipudi, Shamiek
Saxena, Prateek, 7(z)82--82
Saxena, Prateek, see Wang, Bo
say, 2(z)66--66, 2(z)73--73, 3(z)142--142
SBE, 4(z)102--102
SC, 3(z)150--150
SC-DRF, 3(z)133--133
SCADE, 4(z)44--44
Scala, 3(z)134--134, 3(z)145--145, 3(z)163--163, 3(z)166--166, 4(z)9--9, 4(z)66--66, 4(z)114--114, 4(z)208--208, 5(z)69--69, 6(z)141--141, 6(z)179--179, 7(z)48--48, 7(z)259--259, 7(z)295--295, 8(z)119--119
Scala-style, 4(z)206--206
scalability, 2(z)108--108, 2(z)116--116, 4(z)128--128, 4(z)179--179, 4(z)224--224, 5(z)90--90, 5(z)118--118, 5(z)143--143, 7(z)283--283
scalable, 2(z)108--108, 2(z)140--140, 3(z)118--118, 3(z)129--129, 3(z)188--188, 4(z)123--123, 4(z)198--198, 5(z)54--54, 5(z)55--55, 6(z)43--43, 6(z)132--132, 6(z)140--140, 6(z)162--162, 6(z)173--173, 7(z)38--38, 7(z)283--283, 8(z)104--104
scalable., 2(z)108--108
ScalaLoci, 2(z)129--129
scalar, 7(z)54--54
Scalas, Alceste, 3(z)30--30, 5(z)16--16, 7(z)290--290
Scalas, Alceste, see Ghilezan, Silvia, see Larsen, Jens Kanstrup
Scalas:2019:LMM, 3(z)30--30
scale, 2(z)108--108, 2(z)144--144, 2(z)159--159, 3(z)125--125, 3(z)180--180, 3(z)182--182, 4(z)62--62, 4(z)165--165, 4(z)188--188, 4(z)210--210, 5(z)107--107, 5(z)141--141, 5(z)147--147, 6(z)88--88, 7(z)45--45, 7(z)108--108, 8(z)119--119
scale, full-, 2(z)81--81, 8(z)21--21
scale, Large-, 6(z)42--42
scale, large-, 2(z)70--70, 3(z)149--149, 3(z)163--163, 4(z)87--87, 4(z)174--174, 4(z)202--202, 5(z)83--83, 5(z)97--97, 5(z)125--125, 5(z)132--132, 6(z)69--69, 7(z)120--120, 7(z)129--129, 8(z)101--101
scale., 6(z)116--116
scaling, 1(z)4--4, 4(z)140--140, 5(z)133--133, 7(z)33--33, 7(z)257--257
Scallop, 7(z)166--166
scan, 1(z)7--7
scenario, 2(z)116--116, 3(z)170--170, 5(z)143--143, 6(z)148--148, 8(z)91--91
Scenario-Based, 8(z)140--140
Schaper, Michael, 4(z)172--172, 7(z)149--149
Schaper, Michael, see Avanzini, Martin
schedule, 3(z)180--180, 5(z)109--109
scheduler, 3(z)186--186, 4(z)20--20, 4(z)47--47, 4(z)230--230, 5(z)98--98, 6(z)162--162
scheduling, 3(z)23--23, 3(z)177--177, 3(z)186--186, 3(z)189--189, 4(z)129--129, 4(z)180--180, 5(z)36--36, 5(z)109--109, 6(z)55--55, 6(z)162--162, 6(z)170--170, 7(z)269--269
schema, 8(z)49--49
schematic-based, 4(z)87--87
scheme, 3(z)78--78, 4(z)150--150, 6(z)114--114, 7(z)114--114
schemes, 2(z)39--39, 2(z)143--143, 3(z)133--133, 5(z)8--8, 8(z)32--32
Schepper, Philipp, 6(z)41--41
Schepper, Philipp, see Chistikov, Dmitry
Scherer, Gabriel, 2(z)49--49, 2(z)76--76, 2(z)103--103, 5(z)45--45, 8(z)51--51
Scherer, Gabriel, see Bour, Frédéric, see Chataing, Nicolas, see Flückiger, Olivier, see Koppel, James, \see{Reynaud, Alban
Scherzinger, Stefanie, 8(z)49--49
Scherzinger, Stefanie, see Attouche, Lyes
schism, 4(z)74--74
Schlecht, Alexander, 3(z)160--160
Schlecht, Alexander, see Wu, Baijun
Schmidt, Bertil, 2(z)119--119
Schmidt, Bertil, see Leißa, Roland
Schmitz, Thomas, 2(z)118--118
Schmitz, Thomas, see Alpernas, Kalev
Schneidewind, Clara, 8(z)64--64
Schneidewind, Clara, see Rakotonirina, Itsaka
Scholliers, Christophe, 2(z)133--133
Scholliers, Christophe, see Feltey, Daniel
Scholz, Bernhard, 2(z)116--116, 4(z)62--62
Scholz, Bernhard, see Grech, Neville, see Raghothaman, Mukund
school, 2(z)82--82
Schrijvers, Tom, 3(z)91--91, 3(z)112--112, 4(z)39--39, 4(z)206--206, 5(z)102--102, 6(z)108--108
Schrijvers, Tom, see Bottu, Gert-Jan, see Karachalias, Georgios, see Marntirosian, Koar, see Thomson, Patrick, see Vandenbroucke, Alexander, see Zhao, Jinxu
Schröder, Lutz, 7(z)22--22, see Goncharov, Sergey
Schroeder, Ryan, 5(z)121--121, 7(z)94--94
Schroeder, Ryan, see Emre, Mehmet
Schröer, Philipp, 7(z)294--294
Schroer:2023:DVI, 7(z)294--294
Schulte, Christian, 4(z)83--83
Schulte, Christian, see Van Roy, Peter
Schulz, Adriana, 5(z)119--119, 7(z)109--109
Schulz, Adriana, see Cascaval, Dan, see Nandi, Chandrakana
Schuster, Philipp, 2(z)111--111, 4(z)93--93, 4(z)99--99, 4(z)126--126, 6(z)76--76, 7(z)104--104, 7(z)204--204, 7(z)255--255
Schuster, Philipp, see Brachthäuser, Jonathan Immanuel, see Lutze, Matthew, see Müller, Marius, see Xie, Ningning
Schuster:2020:CEH, 4(z)93--93
Schwartz-Narbonne, Daniel, 1(z)91--91
Schwartz-Narbonne, Daniel, see Ringer, Talia
Schwerter, Felipe Bañados, 5(z)61--61
Schwerter:2021:AGT, 5(z)61--61
{\'S}cibior, Adam, 2(z)60--60, 2(z)83--83
Scibior:2018:DVH, 2(z)60--60
Scibior:2018:FPM, 2(z)83--83
science, 4(z)71--71, 4(z)84--84, 4(z)118--118, 4(z)138--138, 6(z)133--133, 6(z)172--172, 7(z)5--5, 7(z)184--184, 8(z)65--65, 8(z)121--121
scientific, 2(z)113--113, 2(z)120--120, 3(z)169--169, 4(z)38--38, 5(z)20--20, 5(z)25--25, 5(z)148--148, 5(z)150--150, 7(z)246--246
scientists, 4(z)78--78, 7(z)229--229, 8(z)121--121
Scilla, 3(z)185--185
SCIO*, 8(z)74--74
scope, 1(z)44--44, 2(z)90--90, 2(z)114--114, 3(z)125--125, 5(z)139--139, 6(z)140--140, 8(z)106--106
scope-based, 6(z)76--76
scoped, 4(z)48--48, 4(z)99--99
scoping., 4(z)74--74
scoring, 2(z)87--87
Scott, 3(z)24--24, 4(z)1--1, 7(z)68--68
Scott, Andrew, 3(z)159--159
Scott, Andrew, see Bader, Johannes
Scott, Michael-, 4(z)11--11
Scott, Ryan G., 1(z)73--73, 2(z)53--53, 4(z)107--107, 7(z)199--199
Scott, Ryan G., see Graf, Sebastian, see Vazou, Niki
Scott:2017:MCD, 1(z)73--73
Scott:2023:TRV, 7(z)199--199
scratch, from-, 2(z)139--139, 8(z)32--32
screen, 2(z)156--156
scripting, 4(z)77--77, 5(z)122--122, 7(z)82--82
scripts, 1(z)51--51, 1(z)62--62, 1(z)90--90, 4(z)169--169, 4(z)231--231
SDN, 7(z)269--269, 7(z)290--290
SDQL, 6(z)89--89
sealing, 3(z)10--10, 4(z)115--115, 6(z)70--70
Seam, 1(z)78--78
seamless, 3(z)125--125
search, 3(z)152--152, 3(z)166--166, 4(z)12--12, 4(z)60--60, 4(z)95--95, 4(z)109--109, 4(z)128--128, 4(z)177--177, 4(z)227--227, 5(z)54--54, 5(z)72--72, 5(z)113--113, 6(z)35--35, 6(z)50--50, 6(z)63--63, 6(z)166--166, 7(z)23--23, 7(z)158--158, 7(z)174--174, 7(z)239--239, 8(z)52--52, 8(z)92--92, 8(z)94--94, 8(z)114--114
search, proof-, 6(z)63--63
Search-Based, 7(z)160--160
searching, 6(z)91--91
second, 2(z)101--101, 3(z)177--177, 5(z)148--148, 6(z)116--116, 7(z)68--68
second-order, 1(z)22--22, 6(z)53--53, 8(z)48--48
secrecy, high-, 8(z)100--100
secret, 5(z)141--141, 7(z)175--175
secret-dependent, 4(z)7--7, 5(z)129--129, 7(z)274--274
SecRSL, 5(z)99--99
sectors, 5(z)120--120
secure, 2(z)118--118, 5(z)35--35, 5(z)142--142, 6(z)27--27, 6(z)51--51, 6(z)172--172, 7(z)88--88, 7(z)147--147, 7(z)227--227, 7(z)266--266, 8(z)74--74, 8(z)144--144
securely, 7(z)286--286
securing, 2(z)66--66, 2(z)118--118, 8(z)74--74
security, 2(z)115--115, 2(z)118--118, 3(z)160--160, 3(z)174--174, 4(z)20--20, 4(z)21--21, 4(z)105--105, 4(z)132--132, 4(z)192--192, 5(z)38--38, 5(z)83--83, 5(z)99--99, 5(z)138--138, 5(z)154--154, 5(z)161--161, 6(z)4--4, 6(z)78--78, 6(z)165--165, 7(z)20--20, 7(z)68--68, 7(z)86--86, 7(z)89--89, 7(z)165--165, 7(z)175--175, 7(z)253--253, 7(z)266--266, 8(z)29--29, 8(z)122--122
security-critical, 6(z)24--24, 7(z)202--202
seed, 4(z)193--193, 7(z)75--75
seeks, 5(z)25--25, 6(z)147--147
seemingly, 2(z)66--66, 5(z)148--148
seems, 3(z)79--79
seen, 2(z)112--112, 3(z)96--96, 4(z)53--53, 4(z)71--71, 4(z)132--132, 4(z)177--177, 5(z)1--1, 5(z)32--32, 6(z)63--63, 7(z)171--171, 7(z)173--173, 8(z)27--27, 8(z)43--43
Segal, Semi-, 2(z)44--44
segmentation, 4(z)73--73
Seidel, Eric L., 1(z)60--60
Seidel:2017:LBL, 1(z)60--60
Sekiyama, Taro, 1(z)40--40, 3(z)18--18, 4(z)117--117, 5(z)95--95, 7(z)71--71, 8(z)5--5
Sekiyama, Taro, see Igarashi, Yuu, see Kawamata, Fuga, \see{Miyazaki, Yusuke
Sekiyama:2020:SRP, 4(z)117--117
Sekiyama:2021:CTA, 5(z)95--95
Sekiyama:2023:TVA, 7(z)71--71
seL4, 4(z)152--152
Sela, Gal, 6(z)137--137
Sela:2022:CS, 6(z)137--137
Selakovic, Marija, 2(z)161--161
Selakovic:2018:TGH, 2(z)161--161
seldom, 5(z)122--122
select, 2(z)113--113, 2(z)141--141, 8(z)128--128
selecting, 6(z)7--7
selection, 1(z)104--104, 3(z)187--187, 7(z)103--103, 8(z)128--128
Selection, Synthesis-as-Rule-, 7(z)7--7
selection, synthesis-as-rule-, 7(z)7--7
selective, 3(z)90--90, 4(z)120--120, 5(z)147--147
selectively, 8(z)51--51
self-references, 4(z)9--9
Self-Refine, 8(z)108--108
Selinger, 8(z)13--13
Selinger, Peter, 7(z)11--11
Selinger, Peter, see Fu, Peng
Sellami, Yanis, 8(z)91--91
Sellami:2024:IRR, 8(z)91--91
Selsam, Daniel, 4(z)115--115
Selsam:2020:SPB, 4(z)115--115
semantically, 6(z)82--82, 8(z)9--9
semantics, write-, 5(z)63--63
semantics-aware, 4(z)231--231
semantics-based, operational-, 5(z)13--13
semantics-guided, 5(z)30--30
semantics-preserving, 6(z)55--55
semaphores, 7(z)24--24
SemGuS, 5(z)30--30
semi-automatically, 4(z)216--216, 7(z)94--94
semi-ring, 6(z)89--89
Semi-Segal, 2(z)44--44
semi-structured, 3(z)170--170
semi-supervised, 4(z)219--219
Semi-symbolic, 6(z)184--184
semialgebraic, 6(z)65--65
semicolon, 6(z)54--54
semidirect, 4(z)94--94
seminaïve, 4(z)22--22
seminal, 6(z)29--29
Semiring, 4(z)131--131
semistructured, 1(z)59--59
Sen, Koushik, 2(z)147--147, 3(z)152--152, 3(z)168--168, 3(z)174--174, 5(z)134--134
Sen, Koushik, see Bavishi, Rohan, see Luan, Sifei, \see{Padhye, Rohan, see Pradel, Michael
Senanayake, Ryan, 4(z)158--158
Senanayake:2020:SIS, 4(z)158--158
send, 4(z)182--182
Seneca, 8(z)134--134
Sengamedu, Srinivasan H., 6(z)187--187
Sengamedu, Srinivasan H., see Garg, Pranav
sense, 2(z)66--66, 3(z)109--109, 4(z)37--37, 4(z)232--232, 5(z)39--39, 6(z)50--50, 7(z)68--68
sensitive, 3(z)93--93, 4(z)105--105, 4(z)165--165, 5(z)26--26, 5(z)35--35, 6(z)51--51
sensitive, Context-, 6(z)153--153
sensitive, context-, 2(z)140--140, 2(z)142--142, 4(z)167--167, 5(z)147--147, 6(z)88--88, 6(z)153--153, 6(z)176--176
Sensitive, Feature-, 7(z)126--126
Sensitive, Layout-, 7(z)262--262
sensitive, Layout-, 7(z)262--262
Sensitive, Object-, 7(z)256--256
sensitive, object-, 3(z)148--148
sensitive, termination-, 5(z)26--26
sensitive, usage-, 6(z)31--31
sensitively, context-, 3(z)148--148
sensitivity, 2(z)57--57, 2(z)141--141, 2(z)142--142, 3(z)148--148, 4(z)25--25, 5(z)35--35, 5(z)52--52, 5(z)147--147, 5(z)163--163, 6(z)58--58, 7(z)128--128
sensitivity, context-, 1(z)100--100, 2(z)140--140, 5(z)147--147, 6(z)88--88
sensitivity, Object-, 3(z)148--148
sensitivity, object-, 2(z)142--142
sensor, 4(z)182--182
Sepanski, Benjamin, 6(z)67--67
Sepanski, Benjamin, see Ferles, Kostas
separate, 2(z)129--129, 4(z)23--23, 4(z)84--84, 4(z)197--197, 5(z)86--86, 6(z)148--148, 7(z)155--155, 8(z)32--32
separately, 3(z)29--29, 7(z)155--155
separating, 5(z)92--92, 6(z)36--36, 7(z)112--112
separation, 2(z)9--9, 2(z)77--77, 2(z)129--129, 3(z)84--84, 3(z)121--121, 3(z)147--147, 3(z)161--161, 4(z)6--6, 4(z)33--33, 4(z)34--34, 4(z)45--45, 4(z)55--55, 4(z)96--96, 4(z)116--116, 4(z)121--121, 4(z)152--152, 5(z)5--5, 5(z)6--6, 5(z)33--33, 5(z)42--42, 5(z)66--66, 5(z)81--81, 5(z)85--85, 5(z)99--99, 5(z)135--135, 5(z)139--139, 6(z)1--1, 6(z)11--11, 6(z)28--28, 6(z)34--34, 6(z)36--36, 6(z)57--57, 6(z)74--74, 6(z)100--100, 6(z)163--163, 6(z)188--188, 7(z)25--25, 7(z)39--39, 7(z)91--91, 7(z)102--102, 7(z)112--112, 7(z)161--161, 7(z)165--165, 7(z)182--182, 7(z)214--214, 7(z)217--217, 7(z)223--223, 7(z)244--244, 7(z)251--251, 8(z)6--6, 8(z)9--9, 8(z)11--11, 8(z)14--14, 8(z)21--21, 8(z)26--26, 8(z)47--47, 8(z)50--50, 8(z)104--104, 8(z)136--136
Separation-Logic, 7(z)1--1
separation-logic, 2(z)77--77
separation-logic-verified, 3(z)84--84
September, 4(z)73--73
Seq, 3(z)125--125
Seq2Parse, 6(z)167--167
sequence, 2(z)160--160, 3(z)125--125, 3(z)127--127, 3(z)177--177, 4(z)177--177, 5(z)48--48, 5(z)71--71, 6(z)139--139, 7(z)139--139, 8(z)139--139
sequence-based, 3(z)177--177
sequencing, 3(z)125--125
sequent, 8(z)67--67
sequential, 2(z)109--109, 2(z)130--130, 3(z)106--106, 3(z)133--133, 3(z)150--150, 3(z)167--167, 3(z)177--177, 4(z)116--116, 5(z)67--67, 5(z)91--91, 5(z)98--98, 5(z)107--107, 5(z)160--160, 6(z)17--17, 6(z)34--34, 6(z)54--54, 7(z)25--25, 7(z)37--37
sequentialization, 1(z)110--110, 3(z)119--119
sequentially, 3(z)133--133, 3(z)142--142, 4(z)34--34, 5(z)73--73
Sergey, Ilya, 2(z)28--28, 2(z)144--144, 3(z)185--185, 5(z)84--84, 6(z)122--122, 7(z)107--107, 7(z)164--164, 7(z)245--245
Sergey, Ilya, see Blackshear, Sam, see Fiala, Joná{\v{s}}, see Gopinathan, Kiran, \see{Hoang, Tram, see Thy, Sewen, \see{Watanabe, Yasunari
Sergey:2018:PPD, 2(z)28--28
Sergey:2019:SSC, 3(z)185--185
serial, 2(z)109--109
serializability, 2(z)164--164
serializable, 4(z)198--198
serialization, 5(z)17--17, 8(z)134--134
serialized, 5(z)91--91
serializer/deserializer, 4(z)118--118
serializing, 5(z)91--91
series, 4(z)183--183, 5(z)147--147, 6(z)55--55, 7(z)37--37, 7(z)85--85
series, time-, 4(z)183--183
serious, 4(z)132--132, 4(z)143--143, 7(z)262--262
Serrano, Alejandro, 4(z)89--89
Serrano, Manuel, 5(z)70--70, 6(z)142--142
Serrano, Manuel, see Hoeflich, Joshua
Serrano:2020:QLI, 4(z)89--89
Serrano:2021:JAC, 5(z)70--70
serve, 2(z)97--97, 2(z)109--109, 3(z)186--186, 4(z)9--9, 4(z)43--43, 4(z)208--208
served, 4(z)66--66
server, 1(z)49--49, 2(z)103--103, 5(z)42--42, 7(z)153--153
server, Client-, 5(z)62--62
server, client-, 7(z)217--217
serverless, 2(z)118--118, 3(z)149--149, 3(z)184--184, 5(z)133--133, 7(z)13--13
Servetto, Marco, 6(z)156--156
Servetto, Marco, see Bianchini, Riccardo
service, 1(z)36--36, 1(z)107--107, 2(z)103--103, 2(z)152--152, 3(z)149--149, 4(z)42--42, 4(z)198--198, 6(z)85--85, 6(z)108--108, 7(z)13--13, 8(z)50--50
Service, Functions-as-a-, 5(z)133--133
serving, 2(z)116--116
Seshadri, Vivek, 4(z)182--182
Seshadri, Vivek, see Kumar, Aayan
Seshia, Sanjit A., 2(z)159--159, 7(z)300--300
Seshia, Sanjit A., see Desai, Ankush, see Mora, Federico
session, 1(z)35--35, 1(z)37--37, 1(z)38--38, 2(z)91--91, 3(z)27--27, 3(z)28--28, 3(z)29--29, 3(z)30--30, 4(z)67--67, 4(z)148--148, 4(z)155--155, 5(z)16--16, 5(z)62--62, 5(z)124--124, 6(z)5--5, 6(z)107--107, 6(z)155--155, 7(z)66--66, 7(z)79--79, 7(z)163--163, 7(z)212--212, 7(z)214--214, 7(z)235--235, 7(z)278--278, 8(z)142--142
session-based, 5(z)79--79
session-type, 4(z)6--6
session-typed, 7(z)212--212
Session-Types, 7(z)235--235
sessions, propositions-as-, 6(z)155--155
set, 2(z)47--47, 2(z)77--77, 2(z)86--86, 2(z)89--89, 2(z)109--109, 2(z)110--110, 2(z)113--113, 2(z)121--121, 2(z)150--150, 2(z)156--156, 3(z)20--20, 3(z)22--22, 3(z)85--85, 3(z)128--128, 3(z)133--133, 3(z)139--139, 3(z)158--158, 3(z)164--164, 4(z)12--12, 4(z)26--26, 4(z)31--31, 4(z)41--41, 4(z)72--72, 4(z)73--73, 4(z)129--129, 4(z)130--130, 4(z)205--205, 5(z)7--7, 5(z)14--14, 5(z)20--20, 5(z)34--34, 5(z)62--62, 5(z)78--78, 5(z)88--88, 5(z)140--140, 5(z)148--148, 5(z)154--154, 5(z)159--159, 6(z)10--10, 6(z)17--17, 6(z)89--89, 6(z)137--137, 6(z)147--147, 7(z)7--7, 7(z)8--8, 7(z)17--17, 7(z)33--33, 7(z)35--35, 7(z)42--42, 7(z)76--76, 7(z)146--146, 7(z)192--192, 7(z)274--274, 8(z)4--4, 8(z)16--16, 8(z)44--44, 8(z)61--61, 8(z)96--96
set, counting-, 4(z)218--218
Set, Instruction-, 7(z)192--192
set, instruction-, 8(z)21--21
set-field/get-field, 5(z)59--59
setoidal, 6(z)32--32
setoids, 8(z)56--56
setting, 2(z)108--108, 3(z)2--2, 3(z)29--29, 4(z)34--34, 4(z)138--138, 5(z)66--66, 5(z)148--148, 6(z)21--21, 8(z)119--119
seven, 1(z)8--8, 3(z)158--158, 4(z)43--43
several, 2(z)81--81, 2(z)137--137, 2(z)160--160, 3(z)17--17, 3(z)125--125, 3(z)135--135, 3(z)142--142, 3(z)147--147, 3(z)177--177, 4(z)7--7, 4(z)11--11, 4(z)60--60, 4(z)64--64, 4(z)81--81, 4(z)175--175, 5(z)17--17, 5(z)18--18, 5(z)29--29, 5(z)83--83, 5(z)93--93, 5(z)120--120, 5(z)157--157, 6(z)131--131, 6(z)172--172, 6(z)187--187, 7(z)9--9, 7(z)68--68, 7(z)96--96, 7(z)131--131, 7(z)137--137, 7(z)259--259, 7(z)297--297, 8(z)48--48, 8(z)92--92
severe, 3(z)108--108, 4(z)20--20, 5(z)43--43
severely, 7(z)94--94
Sewell, Peter, 2(z)19--19, 6(z)20--20, 7(z)1--1, 8(z)21--21
Sewell, Peter, see Hammond, Angus, see Lepigre, Rodolphe, see Pulte, Christopher
Sewell, Thomas, 7(z)1--1, 7(z)152--152
Sewell, Thomas, see Pulte, Christopher
Sewell:2023:CBC, 7(z)152--152
Seymour, 4(z)79--79
SFI, 6(z)27--27
Shacham, Hovav, 4(z)135--135
Shacham, Hovav, see Pailoor, Shankara
Shadab, Narges, 4(z)123--123, 7(z)282--282
Shadab, Narges, see Griffin, Jeremiah
Shadab:2023:IRM, 7(z)282--282
shader, 1(z)93--93
shadow, 5(z)125--125, 6(z)190--190
Shah, Viral B., 2(z)120--120
Shah, Viral B., see Bezanson, Jeff
Shah, Vivek, 1(z)107--107
Shah, Vivek, see Bernstein, Philip A.
Shahin, Ramy, 4(z)157--157
Shahin:2020:AEV, 4(z)157--157
Shaikhha, Amir, 2(z)13--13, 3(z)97--97, 6(z)89--89, 7(z)229--229
Shaikhha, Amir, see Ghorbani, Mahdi, see Parreaux, Lionel
Shaikhha:2019:EDP, 3(z)97--97
Shaikhha:2022:FCP, 6(z)89--89
Shajii, Ariya, 3(z)125--125
Shajii:2019:SHP, 3(z)125--125
shallow, 7(z)69--69
Shan, Alex, 3(z)172--172
Shan, Alex, see Near, Joseph P.
Shan, Chung-chieh, 1(z)11--11, 3(z)98--98, 7(z)98--98
Shan, Chung-chieh, see Chiang, David, see Narayanan, Praveen, \see{Walia, Rajan
Shannon, 7(z)68--68, 7(z)167--167
Shao, Zhong, 3(z)136--136, 4(z)20--20, 4(z)197--197, 5(z)97--97, 6(z)25--25, 6(z)42--42, 6(z)127--127, 7(z)38--38, 8(z)72--72, 8(z)109--109
Shao, Zhong, see Honoré, Wolf, see Liu, Mengqi, see Sjöberg, Vilhelm, see Vale, Arthur Oliveira, see Wang, Yuting, \see{Zhang, Ling
shape, 3(z)99--99, 4(z)77--77
shape., 3(z)99--99
shaped, 4(z)69--69, 4(z)74--74, 6(z)106--106
Shapira, Yuval, 7(z)90--90
Shapira:2023:DLR, 7(z)90--90
share, 2(z)154--154, 3(z)101--101, 3(z)177--177, 4(z)26--26, 4(z)231--231
shared, 3(z)117--117, 3(z)130--130, 3(z)133--133, 3(z)165--165, 4(z)17--17, 4(z)113--113, 4(z)136--136, 4(z)209--209, 5(z)79--79, 5(z)120--120, 6(z)67--67, 7(z)24--24, 7(z)36--36, 7(z)223--223, 7(z)228--228
shared-memory, 4(z)6--6, 4(z)96--96, 5(z)44--44, 5(z)98--98, 5(z)120--120, 7(z)183--183
ShareJIT, 2(z)124--124
Sharif, Hashim, 3(z)186--186
Sharif, Mahmood, 6(z)162--162
Sharif, Mahmood, see Wu, Haoze
Sharif:2019:APC, 3(z)186--186
Shariffdeen, Ridwan, 5(z)161--161
Shariffdeen, Ridwan, see Gao, Xiang
sharing, 1(z)37--37, 1(z)45--45, 2(z)117--117, 2(z)124--124, 3(z)130--130, 5(z)120--120, 6(z)156--156, 7(z)223--223, 8(z)144--144
Sharma, Himanshu, 2(z)142--142
Sharma, Himanshu, see Rama, Girish Maskeri
Sharma, Nikhil, 3(z)172--172
Sharma, Nikhil, see Near, Joseph P.
Sharma, Rahul, 1(z)78--78, 2(z)47--47, 4(z)182--182
Sharma, Rahul, see Kumar, Aayan, see Lee, Wonyeol, \see{Papadakis, Manolis
Sharma, Upamanyu, 7(z)121--121
Sharma, Upamanyu, see Zhang, Tony Nuda
SHARP, 6(z)88--88
sharp, 6(z)102--102
Shasha, Dennis, 2(z)37--37, 5(z)113--113
Shasha, Dennis, see Krishna, Siddharth, see Patel, Nisarg
Shawesh, Anas, 4(z)214--214
Shawesh, Anas, see Bagherzadeh, Mehdi
shed, 3(z)142--142, 5(z)154--154
Sheffi, Gali, 3(z)128--128
Sheffi, Gali, see Zuriel, Yoav
shelf, off-the-, 2(z)47--47, 3(z)189--189
shell, 4(z)43--43, 5(z)65--65
shell., 4(z)43--43
Shen, Bo, 3(z)170--170
Shen, Gan, 7(z)207--207
Shen, Xipeng, 1(z)74--74, 5(z)112--112, 5(z)130--130, 7(z)95--95
Shen, Xipeng, see Ding, Yufei, see Zhang, Guoqiang
Shen:2019:IRA, 3(z)170--170
Shen:2021:COD, 5(z)130--130
Shen:2023:HFC, 7(z)207--207
Shenoy, Pranav, 6(z)160--160
Shenoy, Pranav, see Kirisame, Marisa
Shepherd, David C., 6(z)133--133
Shepherd, David C., see Ritschel, Nico
Sherman, Benjamin, 1(z)24--24, 3(z)99--99, 4(z)19--19, 5(z)3--3
Sherman, Benjamin, see Choi, Joonwon, see Lew, Alexander K.
Sherman:2019:SRS, 3(z)99--99
Sherman:2021:CSD, 5(z)3--3
Sherwood, Timothy, 7(z)123--123
Sherwood, Timothy, see Sisco, Zachary D.
Shi, August, 3(z)187--187
Shi, Elaine, 7(z)30--30
Shi, Elaine, see Gancher, Joshua
Shi, Jessica, 7(z)218--218, 8(z)44--44
Shi, Jessica, see Liu, Yiyun
Shi, Pengyuan, 7(z)50--50
Shi, Pengyuan, see Li, Jianlin
Shi, Qingkai, 5(z)118--118, 6(z)68--68, 6(z)176--176, 8(z)137--137
Shi, Qingkai, see Wang, Chengpeng, see Yao, Peisen, \see{Zheng, Mingwei
Shi, Yuanfeng, 6(z)159--159, 8(z)128--128
Shi, Yuanfeng, see Zhang, Yifan, see Zou, Daming
Shi:2019:RAS, 3(z)187--187
Shi:2022:IED, 6(z)176--176
Shi:2023:EEP, 7(z)218--218
shielding, 3(z)138--138, 4(z)133--133
shiftash, 3(z)96--96
shifted, 7(z)16--16
shifting, 4(z)65--65, 8(z)121--121
Shiftry, 4(z)182--182
shifts, 7(z)226--226
Shim, Aaron, 1(z)64--64
Shim, Aaron, see Santolucito, Mark
Shin, Ji-Yong, 5(z)97--97, 8(z)109--109
Shin, Ji-Yong, see Honoré, Wolf
Shin, Junbum, 7(z)114--114
Shin, Junbum, see Park, Sunjae
Shinnar, Avraham, 1(z)9--9, 6(z)83--83
Shinnar, Avraham, see Auerbach, Joshua S., see Benzaken, Véronique
Shioya, Ryota, 7(z)130--130
Shioya, Ryota, see Yamazaki, Tetsuro
ship, 4(z)77--77, 5(z)165--165
shipped, 3(z)186--186
Shirako, Jun, 7(z)249--249
Shirako, Jun, see Ye, Fangke
Shirmohammadi, Mahsa, 8(z)34--34
Shirmohammadi, Mahsa, see Buna-Marginean, Alex
Shivers, Olin, 1(z)23--23, 6(z)114--114, 7(z)203--203
Shivers, Olin, see Augustsson, Lennart, see Davis, Milo, \see{Quiring, Benjamin
Shivers, Olin Grigsby, 5(z)130--130
Shivers, Olin Grigsby, see Shen, Xipeng
Shoggoth, 8(z)3--3
Shoham, Sharon, 1(z)108--108, 2(z)26--26, 4(z)5--5, 4(z)128--128, 5(z)15--15, 6(z)15--15, 6(z)60--60, 7(z)288--288, 8(z)33--33
Shoham, Sharon, see Elad, Neta, see Feldman, Yotam M. Y., see K., Hari Govind V., \see{Padon, Oded, see Tamir, Orr
Shokri, Ali, 8(z)134--134
Shokri, Ali, see Santos, Joanna C. S.
short, 3(z)99--99, 4(z)81--81, 5(z)156--156, 6(z)64--64
short-living, 3(z)177--177
shortages, 4(z)73--73
Shortcut, Cut-, 7(z)128--128
shorter, 3(z)125--125, 3(z)169--169
shortest, 3(z)169--169
shot, 3(z)160--160
shot, multi-, 8(z)54--54
should, 1(z)103--103, 2(z)133--133, 3(z)133--133, 4(z)30--30, 4(z)72--72, 4(z)107--107, 4(z)196--196, 4(z)211--211, 6(z)85--85, 6(z)116--116, 7(z)198--198, 7(z)285--285, 8(z)125--125
show, 2(z)108--108, 2(z)109--109, 2(z)116--116, 2(z)118--118, 2(z)123--123, 3(z)15--15, 3(z)99--99, 3(z)120--120, 3(z)133--133, 3(z)169--169, 3(z)170--170, 3(z)177--177, 3(z)186--186, 3(z)189--189, 4(z)24--24, 4(z)26--26, 4(z)43--43, 4(z)61--61, 4(z)88--88, 4(z)90--90, 4(z)100--100, 4(z)111--111, 4(z)158--158, 4(z)162--162, 4(z)207--207, 5(z)1--1, 5(z)4--4, 5(z)9--9, 5(z)11--11, 5(z)27--27, 5(z)44--44, 5(z)47--47, 5(z)128--128, 6(z)4--4, 6(z)10--10, 6(z)13--13, 6(z)63--63, 6(z)116--116, 6(z)129--129, 6(z)138--138, 6(z)148--148, 6(z)159--159, 7(z)12--12, 7(z)46--46, 7(z)68--68, 7(z)85--85, 7(z)169--169, 7(z)253--253, 8(z)30--30, 8(z)36--36, 8(z)92--92, 8(z)119--119, 8(z)130--130
showed, 2(z)76--76, 3(z)187--187, 5(z)91--91, 7(z)68--68, 8(z)53--53
showing, 3(z)120--120, 4(z)41--41, 5(z)24--24
shown, 2(z)115--115, 2(z)125--125, 3(z)162--162, 4(z)162--162, 4(z)189--189, 4(z)208--208, 5(z)53--53, 5(z)154--154, 7(z)90--90, 8(z)39--39, 8(z)83--83
shrinking, 7(z)200--200
Shulman, Michael, 8(z)78--78
Shulman, Michael, see Altenkirch, Thorsten
Shun, Julian, 2(z)121--121
Shun, Julian, see Zhang, Yunming
shutdown, 2(z)153--153
Si, Xujie, 1(z)57--57
Si, Xujie, see Zhang, Xin
Sibghat, Huma, 1(z)60--60
Sibghat, Huma, see Seidel, Eric L.
Sí{\v{c}}, Juraj, 7(z)296--296, see Chen, Yu-Fang
SICS, 4(z)83--83
side, 3(z)27--27, 3(z)147--147, 4(z)10--10, 4(z)73--73, 4(z)136--136, 4(z)147--147, 5(z)129--129, 6(z)8--8, 7(z)274--274
Side-Channel, 7(z)286--286
side-channel, 4(z)147--147, 5(z)129--129, 5(z)142--142, 7(z)274--274, 7(z)286--286
side-channels, 4(z)7--7
side-effects, 3(z)104--104, 4(z)207--207
sided, Two-, 8(z)67--67
sided, two-, 8(z)67--67
sidekick, 4(z)77--77
Sieczkowski, Filip, 2(z)8--8, 3(z)6--6, 4(z)48--48, 7(z)206--206, 8(z)24--24
Sieczkowski, Filip, see Biernacki, Dariusz
Sieczkowski:2023:GFG, 7(z)206--206
Sieczkowski:2024:EGA, 8(z)24--24
Siek, 5(z)7--7, 5(z)61--61
Siek, Jeremy, 1(z)54--54
Siek, Jeremy, see Bauman, Spenser
Siek, Jeremy G., 1(z)39--39, 3(z)16--16
Siek, Jeremy G., see Ahmed, Amal, see Castagna, Giuseppe
Siek-Vitousek-Cimini-Boyland, 2(z)73--73
Sierra, Robin, 5(z)146--146
Sierra, Robin, see Bräm, Christian
sign, 5(z)48--48, 8(z)32--32
signal, 3(z)25--25, 3(z)109--109, 4(z)81--81
Signature, 4(z)117--117
signatures, 3(z)10--10, 4(z)31--31, 6(z)76--76
significant, 2(z)47--47, 2(z)89--89, 2(z)98--98, 2(z)108--108, 2(z)124--124, 3(z)107--107, 3(z)153--153, 3(z)154--154, 3(z)177--177, 3(z)186--186, 4(z)34--34, 4(z)60--60, 4(z)81--81, 4(z)93--93, 4(z)132--132, 4(z)184--184, 4(z)190--190, 4(z)212--212, 5(z)91--91, 6(z)68--68, 6(z)77--77, 6(z)97--97, 6(z)116--116, 6(z)145--145, 6(z)192--192, 7(z)1--1, 7(z)113--113, 7(z)167--167, 7(z)171--171, 7(z)177--177, 7(z)243--243, 7(z)249--249, 7(z)253--253, 7(z)282--282, 8(z)28--28, 8(z)89--89, 8(z)104--104
significantly, 3(z)25--25, 3(z)160--160, 4(z)53--53, 4(z)60--60, 4(z)81--81, 4(z)135--135, 4(z)151--151, 5(z)148--148, 6(z)4--4, 7(z)253--253, 7(z)290--290
SigVM, 6(z)149--149
silent, 5(z)140--140
Silva, Alexandra, 4(z)61--61, 5(z)90--90, 7(z)93--93, 8(z)104--104
Silva, Alexandra, see Giannarakis, Nick, see Smolka, Steffen, see Zilberstein, Noam
Silver, 7(z)47--47
Silver, Lucas, 5(z)26--26
Silver:2021:DMF, 5(z)26--26
Silverman, Brian, 4(z)79--79
Silverman, Brian, see Solomon, Cynthia
Silvestro, Sam, 4(z)143--143, 7(z)272--272
Silvestro, Sam, see Liu, Hongyu, see Zhou, Jin
SIMD, 2(z)110--110
simd, 5(z)148--148
Siméon, Jérôme, 1(z)9--9, 6(z)83--83, see Auerbach, Joshua S., see Benzaken, Véronique
similar, 3(z)143--143, 3(z)152--152, 3(z)177--177, 6(z)3--3, 7(z)250--250, 7(z)260--260, 8(z)21--21
similarity, 3(z)152--152, 4(z)57--57, 7(z)254--254
Simon, Clint, 7(z)33--33
Simon, Clint, see Cambronero, José
Simon, Laurent, 3(z)174--174
Simon, Laurent, see Padhye, Rohan
simple, 1(z)46--46, 2(z)70--70, 2(z)112--112, 2(z)119--119, 2(z)128--128, 3(z)89--89, 4(z)37--37, 4(z)38--38, 4(z)64--64, 4(z)72--72, 4(z)81--81, 4(z)116--116, 4(z)124--124, 4(z)136--136, 4(z)154--154, 4(z)193--193, 4(z)194--194, 5(z)2--2, 5(z)37--37, 5(z)110--110, 6(z)48--48, 6(z)65--65, 6(z)94--94, 7(z)219--219, 7(z)252--252, 8(z)50--50, 8(z)80--80, 8(z)82--82
simpler, 3(z)132--132
simplest, 3(z)3--3, 5(z)98--98
Simplicitly, 2(z)42--42
simplicity, 4(z)74--74
simplification, 3(z)80--80, 4(z)13--13, 8(z)39--39
simplified, 7(z)16--16
simplify, 3(z)147--147, 3(z)165--165, 4(z)13--13, 5(z)60--60, 5(z)119--119, 6(z)71--71, 7(z)13--13, 7(z)49--49, 7(z)146--146, 7(z)170--170, 7(z)290--290, 8(z)70--70, 8(z)83--83, 8(z)120--120
simplifying, 2(z)19--19, 4(z)34--34, 4(z)41--41, 4(z)73--73, 5(z)20--20, 8(z)32--32, 8(z)92--92
simply, 2(z)127--127, 3(z)109--109, 3(z)125--125, 4(z)64--64, 6(z)19--19, 6(z)116--116, 8(z)17--17
simply-typed, 4(z)111--111, 5(z)21--21
simulate, 3(z)189--189, 6(z)104--104, 8(z)81--81
simulation, 1(z)3--3, 3(z)161--161, 5(z)114--114, 7(z)224--224, 7(z)281--281, 8(z)81--81, 8(z)94--94, 8(z)126--126
Simulink/Stateflow, 4(z)44--44
Simuliris, 6(z)28--28
simultaneously, 3(z)97--97, 4(z)144--144, 4(z)194--194, 6(z)50--50, 6(z)80--80
SimuQ, 8(z)81--81
since, 2(z)87--87, 2(z)103--103, 3(z)95--95, 4(z)69--69, 4(z)70--70, 4(z)71--71, 4(z)73--73, 4(z)74--74, 4(z)87--87, 4(z)115--115, 4(z)211--211, 4(z)219--219, 4(z)230--230, 5(z)3--3, 5(z)146--146, 6(z)20--20, 6(z)145--145, 7(z)105--105, 7(z)150--150, 8(z)87--87, 8(z)119--119
Singer, Kyle, 7(z)135--135
Singer, Kyle, see Muller, Stefan K.
Singh, Abhishek Kr, 7(z)53--53
Singh, Gagandeep, 2(z)55--55, 6(z)43--43, 6(z)56--56, 6(z)75--75, 6(z)161--161, 6(z)162--162, 7(z)185--185, 7(z)291--291
Singh, Gagandeep, see Laurel, Jacob, see Müller, Mark Niklas, see Ugare, Shubham, \see{Wu, Haoze
Singh, Pratap, 7(z)192--192
Singh, Pratap, see Bourgeat, Thomas
Singh, Rishabh, 1(z)62--62, 2(z)2--2, 2(z)63--63, 4(z)56--56
Singh, Rishabh, see An, Shengwei, see Inala, Jeevana Priya, see Wang, Xinyu
Singh:2018:PCD, 2(z)55--55
Singh:2023:OAL, 7(z)53--53
single, 2(z)98--98, 2(z)108--108, 2(z)110--110, 2(z)146--146, 4(z)73--73, 4(z)81--81, 4(z)191--191, 4(z)199--199, 5(z)32--32, 5(z)48--48, 5(z)74--74, 5(z)148--148, 6(z)3--3, 6(z)156--156, 7(z)65--65
single, Newly-, 5(z)96--96
single-pass, 4(z)35--35, 6(z)148--148
single-path, 8(z)30--30
Single-Program-Multiple-Data, 4(z)72--72
Single-Source-Single-Target, 7(z)35--35
Single-Target, Single-Source-, 7(z)35--35
single-threaded, 2(z)108--108, 3(z)133--133
Sinha, Nishant, 2(z)31--31
Sinha, Nishant, see Chalupa, Marek
Siraichi, Marcos Yukio, 3(z)120--120
Siraichi:2019:QAC, 3(z)120--120
Sisco, Zachary D., 7(z)123--123
Sisco:2023:LRH, 7(z)123--123
Sistla, A. Prasad, 5(z)8--8
Sistla, A. Prasad, see Barthe, Gilles
site, 2(z)142--142
site, call-, 6(z)58--58
situ, in-, 4(z)143--143
situation, 3(z)170--170, 4(z)104--104
Sivaramakrishnan, KC, 2(z)164--164, 3(z)154--154, 4(z)113--113, 7(z)238--238
Sivaramakrishnan, KC, see Kaki, Gowtham, see Phipps-Costin, Luna
Sivaramakrishnan:2020:RPO, 4(z)113--113
Sivaraman, Aishwarya, 6(z)143--143
Sivaraman:2022:DDL, 6(z)143--143
six, 3(z)189--189, 4(z)85--85
Six, Cyril, 4(z)129--129
Six:2020:CEI, 4(z)129--129
size, 2(z)94--94, 2(z)121--121, 2(z)154--154, 3(z)125--125, 3(z)133--133, 4(z)15--15, 4(z)27--27, 4(z)97--97, 4(z)98--98, 4(z)227--227, 5(z)148--148, 6(z)36--36, 6(z)137--137, 7(z)132--132, 7(z)188--188, 8(z)92--92
size, code-, 4(z)167--167
sized, 1(z)33--33, 2(z)43--43, 3(z)166--166
sized-type, 1(z)43--43
Sjöberg, Vilhelm, 3(z)136--136
Sjoberg:2019:DLC, 3(z)136--136
skeleton, 3(z)134--134
sketch, 5(z)105--105
Sketched, 7(z)187--187
sketching, 4(z)109--109, 7(z)100--100
Skip, 1(z)51--51
Skiplists, 8(z)122--122
Skipping, 5(z)94--94
Skolem, 8(z)30--30
Skorstengaard, Lau, 3(z)19--19
Skorstengaard:2019:SEW, 3(z)19--19
Skupin, Ingo, 4(z)30--30, 6(z)106--106, 8(z)129--129
Skupin, Ingo, see Binder, David, see Ostermann, Klaus
SL, 6(z)11--11
slate, clean-, 2(z)119--119
slicing, 2(z)142--142, 8(z)97--97
slogan, 2(z)76--76
slow, 2(z)152--152, 3(z)125--125, 3(z)184--184, 4(z)195--195
slowdowns, 7(z)272--272
slowing, 4(z)76--76
slowly, 4(z)74--74
SLP, 2(z)110--110
Slusallek, Philipp, 2(z)119--119
Slusallek, Philipp, see Leißa, Roland
small, 2(z)106--106, 3(z)153--153, 3(z)186--186, 4(z)38--38, 4(z)159--159, 4(z)195--195, 6(z)22--22, 7(z)33--33, 7(z)85--85
Small-Step, 5(z)153--153, 8(z)102--102
small-step, 2(z)105--105, 4(z)43--43, 5(z)114--114
smaller, 6(z)57--57, 6(z)159--159
Smalltalk, 4(z)85--85
Smalltalk-72, 4(z)85--85
Smalltalk-80, 4(z)85--85
Smaragdakis, Yannis, 1(z)68--68, 1(z)102--102, 2(z)116--116, 2(z)141--141, 4(z)190--190, 5(z)147--147, 5(z)163--163, 6(z)77--77
Smaragdakis, Yannis, see Grech, Neville, see Lagouvardos, Sifis, \see{Li, Yue, see Tan, Tian
Smaragdakis:2021:SVF, 5(z)163--163
smart, 2(z)48--48, 2(z)116--116, 3(z)185--185, 3(z)189--189, 4(z)132--132, 4(z)190--190, 4(z)209--209, 5(z)146--146, 5(z)163--163, 6(z)4--4, 6(z)77--77, 6(z)145--145, 6(z)149--149, 6(z)165--165, 7(z)105--105, 7(z)253--253
SMC, 2(z)135--135, 3(z)150--150, 3(z)173--173
Smeding, Tom J., 7(z)54--54, 8(z)36--36
Smeding:2023:EDN, 7(z)54--54
Smeding:2024:EC, 8(z)36--36
Smeltzer, Karl, 5(z)135--135
Smeltzer, Karl, see He, Paul
Smith, Calvin, 3(z)94--94
Smith, Chris, 1(z)3--3
Smith, Chris, see Breitner, Joachim
Smith, Jaclyn, 6(z)89--89
Smith, Jaclyn, see Shaikhha, Amir
Smith, Scott, 4(z)102--102, 8(z)135--135
Smith, Scott, see Palmer, Zachary
Smith:2019:SDP, 3(z)94--94
Smith:2024:PDO, 8(z)135--135
SML, 6(z)114--114
SML\#, 2(z)81--81
Smolka, Gert, 4(z)83--83
Smolka, Gert, see Van Roy, Peter
Smolka, Steffen, 4(z)61--61
Smolka:2020:GKA, 4(z)61--61
Smoosh, 4(z)43--43
smooth, 7(z)12--12, 7(z)241--241
Smoothness, 7(z)12--12
SMR, 4(z)68--68
SMR, BFT-, 3(z)138--138
SMT, 2(z)53--53, 4(z)141--141, 4(z)192--192, 4(z)193--193, 5(z)145--145, 5(z)152--152, 6(z)69--69, 6(z)158--158, 6(z)169--169, 7(z)7--7, 7(z)249--249, 7(z)279--279, 8(z)1--1
SMT-based, 3(z)133--133, 3(z)166--166, 4(z)141--141, 6(z)69--69, 7(z)85--85
SMT-LIB, 5(z)152--152
Smyth, 4(z)109--109
snapshot, 1(z)68--68, 6(z)33--33
SNARKs, zk-, 7(z)197--197
snippet, 3(z)152--152, 4(z)215--215, 8(z)97--97
snowflake, 1(z)95--95
So, Sunbeom, 2(z)158--158
So, Sunbeom, see Lee, Junho
so-called, 2(z)136--136, 5(z)150--150, 6(z)146--146, 8(z)1--1
so., 4(z)74--74
Soares, Gustavo, 3(z)143--143, 4(z)219--219, 5(z)158--158, 5(z)161--161, 6(z)139--139, 8(z)133--133
Soares, Gustavo, see Gao, Xiang, see Miltner, Anders, \see{Rahmani, Kia, see Zhang, Jialu, \see{Zhang, Yuhao
Soboci{\'n}ski, Pawe{\l}, 3(z)25--25, 5(z)57--57, see Bonchi, Filippo, see Di Liberti, Ivan
social, 5(z)132--132, 6(z)175--175, 7(z)129--129
society, 5(z)77--77
Söderberg, Emma, 5(z)165--165, see Dura, Alexandru
Soeken, Mathias, 4(z)130--130
Soeken, Mathias, see Meuli, Giulia
Soft, 2(z)51--51
software, 2(z)109--109, 2(z)115--115, 2(z)138--138, 2(z)151--151, 2(z)154--154, 2(z)166--166, 3(z)110--110, 3(z)113--113, 3(z)119--119, 3(z)125--125, 3(z)128--128, 3(z)132--132, 3(z)136--136, 3(z)147--147, 3(z)162--162, 3(z)170--170, 3(z)178--178, 3(z)179--179, 3(z)182--182, 4(z)44--44, 4(z)81--81, 4(z)82--82, 4(z)84--84, 4(z)118--118, 4(z)138--138, 4(z)142--142, 4(z)143--143, 4(z)145--145, 4(z)151--151, 4(z)156--156, 4(z)157--157, 4(z)184--184, 4(z)185--185, 4(z)203--203, 4(z)214--214, 4(z)231--231, 5(z)43--43, 5(z)63--63, 5(z)117--117, 5(z)142--142, 5(z)149--149, 5(z)156--156, 5(z)161--161, 5(z)165--165, 5(z)166--166, 6(z)27--27, 6(z)40--40, 6(z)42--42, 6(z)63--63, 6(z)69--69, 6(z)86--86, 6(z)159--159, 6(z)169--169, 6(z)189--189, 7(z)45--45, 7(z)53--53, 7(z)75--75, 7(z)92--92, 7(z)107--107, 7(z)111--111, 7(z)120--120, 7(z)123--123, 7(z)124--124, 7(z)158--158, 7(z)167--167, 7(z)181--181, 7(z)224--224, 7(z)230--230, 7(z)231--231, 7(z)239--239, 7(z)257--257, 8(z)65--65, 8(z)73--73, 8(z)88--88, 8(z)111--111, 8(z)137--137, 8(z)139--139
software-based, 6(z)27--27
Software-Defined, 7(z)290--290
software-defined, 7(z)269--269
software., 3(z)147--147
S{\o}gaard, Jens Axel, 7(z)242--242, see Flatt, Matthew
Sojakova, Kristina, 7(z)30--30
Sojakova, Kristina, see Gancher, Joshua
Sokolowski, Daniel, 3(z)167--167
Sokolowski, Daniel, see Salvaneschi, Guido
Solar-Lezama, Armando, 1(z)65--65, 2(z)76--76, 2(z)122--122, 3(z)118--118, 3(z)132--132, 4(z)105--105, 4(z)170--170, 6(z)91--91, 6(z)117--117, 7(z)41--41, 7(z)56--56, 7(z)254--254
Solar-Lezama, Armando, see Bastani, Osbert, see Bowers, Matthew, \see{Das, Ria, see Feser, Jack, \see{Feser, John, see Koppel, James, \see{Mariano, Benjamin, see Polikarpova, Nadia, see Qiu, Xiaokang
solely, 4(z)41--41
solid, 2(z)109--109, 3(z)99--99, 6(z)4--4
Solidity, 4(z)132--132, 6(z)4--4, 6(z)165--165, 7(z)253--253
Solko-Breslin, Alaia, 5(z)41--41
Solko-Breslin, Alaia, see Doenges, Ryan
Sollya, 8(z)32--32
Solo, 6(z)150--150
Solomon, Cynthia, 4(z)79--79
Solomon:2020:HL, 4(z)79--79
SolType, 6(z)4--4
solution, 3(z)26--26, 3(z)120--120, 3(z)125--125, 4(z)81--81, 4(z)218--218, 4(z)230--230, 6(z)105--105, 7(z)18--18, 7(z)23--23, 7(z)297--297, 8(z)63--63, 8(z)112--112, 8(z)119--119
solvability, 6(z)121--121
solvable, 6(z)121--121, 8(z)25--25
solve, 3(z)158--158, 3(z)160--160, 4(z)97--97, 5(z)55--55, 7(z)51--51, 7(z)76--76, 7(z)184--184, 7(z)211--211
solved, 2(z)4--4, 2(z)47--47, 6(z)41--41, 7(z)34--34
solver, 3(z)166--166, 4(z)33--33, 4(z)146--146, 4(z)192--192, 4(z)193--193, 4(z)195--195, 5(z)145--145, 5(z)152--152, 5(z)167--167, 6(z)129--129, 6(z)158--158, 7(z)16--16, 7(z)184--184, 7(z)246--246, 8(z)138--138
solver-aided, 1(z)25--25, 1(z)91--91, 2(z)149--149, 6(z)47--47
Solver-Based, 7(z)7--7
Solver-based, 5(z)111--111
solvers, SAT/SMT-, 6(z)79--79
solving, 1(z)8--8, 2(z)145--145, 3(z)130--130, 4(z)15--15, 4(z)141--141, 4(z)146--146, 5(z)19--19, 5(z)159--159, 6(z)10--10, 6(z)45--45, 6(z)60--60, 6(z)158--158, 6(z)169--169, 7(z)7--7, 7(z)21--21, 7(z)72--72, 7(z)76--76, 7(z)195--195, 7(z)249--249, 7(z)296--296, 8(z)57--57, 8(z)138--138
Somani, Neel, 3(z)172--172
Somani, Neel, see Near, Joseph P.
sometimes, 2(z)152--152, 3(z)14--14, 3(z)93--93, 4(z)38--38, 4(z)99--99, 5(z)103--103, 6(z)151--151, 7(z)115--115
somewhat, 4(z)73--73
somewhere, 3(z)152--152
Song, Dawn, 3(z)172--172
Song, Dawn, see Near, Joseph P.
Song, Dowon, 2(z)158--158, 3(z)188--188
Song, Dowon, see Lee, Junho
Song, Fu, 7(z)286--286, 8(z)29--29
Song, Fu, see Gao, Pengfei, \see{Sun, Pu
Song, Jiaxin, 6(z)132--132
Song, Jiaxin, see Liu, Hongming
Song, Linhai, 6(z)168--168
Song, Linhai, see Ellis, Stephen
Song, Ryan, 6(z)149--149
Song, Ryan, see Zhao, Zihan
Song, Woosung, 7(z)114--114
Song, Woosung, see Park, Sunjae
Song, Youngju, 4(z)23--23, 7(z)27--27, 7(z)39--39, 7(z)139--139, 7(z)281--281
Song, Youngju, see Cho, Minki, see Lee, Dongjae, \see{Sammler, Michael
Song:2019:ASD, 3(z)188--188
Song:2020:CCC, 4(z)23--23
Song:2023:CCR, 7(z)39--39
soon, 4(z)81--81
sophisticated, 2(z)93--93, 3(z)105--105, 3(z)112--112, 3(z)176--176, 5(z)3--3, 5(z)121--121, 6(z)36--36, 7(z)91--91
Sorensen, Tyler, 4(z)226--226, 5(z)120--120, 5(z)131--131
Sorensen, Tyler, see Iorga, Dan, see Kirkham, Jake
Sorensen:2021:STG, 5(z)131--131
sort, 3(z)2--2, 3(z)80--80, 3(z)93--93
Sotiropoulos, Thodoris, 4(z)144--144, 5(z)123--123, 8(z)62--62
Sotiropoulos, Thodoris, see Chaliasos, Stefanos
Sotiropoulos:2020:MDF, 4(z)144--144
Sotiropoulos:2024:ADP, 8(z)62--62
sound, 1(z)54--54, 1(z)56--56, 2(z)25--25, 2(z)72--72, 2(z)98--98, 2(z)105--105, 2(z)146--146, 3(z)9--9, 3(z)18--18, 3(z)99--99, 3(z)176--176, 3(z)179--179, 4(z)9--9, 4(z)17--17, 4(z)19--19, 4(z)176--176, 4(z)180--180, 5(z)53--53, 5(z)106--106, 5(z)148--148, 6(z)30--30, 6(z)59--59, 6(z)85--85, 7(z)5--5, 7(z)50--50, 7(z)177--177, 7(z)241--241, 8(z)21--21, 8(z)69--69, 8(z)82--82, 8(z)85--85, 8(z)119--119
soundly, 3(z)99--99, 4(z)152--152, 5(z)11--11, 6(z)56--56, 7(z)15--15, 8(z)54--54, 8(z)76--76
soundness, 1(z)46--46, 2(z)71--71, 2(z)72--72, 3(z)15--15, 3(z)18--18, 3(z)21--21, 3(z)122--122, 3(z)166--166, 4(z)34--34, 4(z)114--114, 4(z)116--116, 4(z)180--180, 4(z)208--208, 6(z)97--97, 6(z)116--116, 6(z)151--151, 7(z)212--212, 7(z)267--267, 8(z)46--46
source, 1(z)58--58, 2(z)74--74, 2(z)147--147, 2(z)150--150, 2(z)162--162, 3(z)29--29, 3(z)83--83, 3(z)95--95, 3(z)113--113, 3(z)160--160, 3(z)170--170, 4(z)7--7, 4(z)36--36, 4(z)73--73, 4(z)81--81, 4(z)105--105, 4(z)129--129, 4(z)136--136, 4(z)137--137, 4(z)204--204, 4(z)220--220, 4(z)221--221, 4(z)233--233, 5(z)22--22, 5(z)154--154, 6(z)28--28, 6(z)139--139, 7(z)68--68, 7(z)239--239, 7(z)253--253, 8(z)69--69, 8(z)74--74, 8(z)135--135, 8(z)143--143, 8(z)146--146
source, open-, 3(z)170--170, 3(z)177--177, 4(z)73--73, 4(z)84--84
source, source-to-, 2(z)122--122, 3(z)97--97
source-level, 2(z)126--126
Source-Single-Target, Single-, 7(z)35--35
source-to-source, 2(z)122--122, 3(z)97--97
sourced, open-, 4(z)73--73
Sousa, Marcelo, 2(z)165--165
Sousa:2018:VTW, 2(z)165--165
Sowul, Franciszek, 7(z)191--191
Sowul, Franciszek, see Fowler, Simon
Sozeau, Matthieu, 2(z)92--92, 3(z)3--3, 3(z)86--86, 4(z)8--8
Sozeau, Matthieu, see Gilbert, Gaëtan, see Tabareau, Nicolas
Sozeau:2019:ERH, 3(z)86--86
Sozeau:2020:CCC, 4(z)8--8
space, 2(z)166--166, 3(z)23--23, 3(z)83--83, 3(z)99--99, 3(z)109--109, 3(z)130--130, 3(z)133--133, 3(z)186--186, 4(z)27--27, 4(z)29--29, 4(z)57--57, 4(z)73--73, 4(z)134--134, 4(z)145--145, 4(z)150--150, 4(z)158--158, 4(z)163--163, 4(z)173--173, 4(z)204--204, 4(z)227--227, 4(z)230--230, 5(z)11--11, 5(z)51--51, 6(z)11--11, 6(z)49--49, 6(z)91--91, 6(z)115--115, 6(z)116--116, 6(z)119--119, 6(z)148--148, 7(z)23--23, 7(z)25--25, 7(z)174--174, 7(z)253--253, 8(z)114--114, 8(z)123--123
space, state-, 3(z)124--124, 3(z)150--150, 6(z)36--36
space-efficient, 5(z)18--18, 5(z)61--61, 6(z)148--148
SpaceSearch, 1(z)25--25
Spaderna, Janek, 7(z)163--163
Spaderna, Janek, see Mordido, Andreia
Spahn, Stephan, 4(z)122--122
Spahn, Stephan, see Stump, Aaron
Spall, Sarah, 3(z)78--78, 4(z)169--169
Spall, Sarah, see Flatt, Matthew
Spall:2020:BSP, 4(z)169--169
Sparcl, 4(z)118--118
Spargo, Naomi, 7(z)136--136
Spargo, Naomi, see Surbatovich, Milijana
sparingly, 4(z)136--136
Spark, 4(z)153--153, 7(z)95--95
sparked, 5(z)157--157
sparse, 1(z)83--83, 2(z)123--123, 4(z)81--81, 4(z)158--158, 4(z)195--195, 5(z)128--128, 6(z)175--175, 7(z)122--122, 7(z)188--188, 8(z)99--99, 8(z)103--103, 8(z)123--123
Sparseness, 7(z)292--292
sparsity, 7(z)188--188, 7(z)232--232
Späth, Johannes, 1(z)99--99
Spath:2017:IEP, 1(z)99--99
spatial, 1(z)75--75, 6(z)78--78
spatter, 7(z)222--222
spawn, 5(z)44--44
special, 4(z)28--28, 5(z)6--6, 7(z)191--191
special-purpose, 3(z)186--186
specialization, 3(z)174--174, 4(z)220--220, 5(z)46--46, 7(z)146--146, 7(z)202--202, 7(z)277--277, 8(z)99--99
specialization-safe, 2(z)14--14
specialized, 4(z)81--81, 4(z)127--127, 4(z)161--161, 7(z)275--275
specializing, 2(z)120--120, 3(z)126--126
specific, 3(z)23--23, 3(z)143--143, 3(z)158--158, 3(z)159--159, 3(z)180--180, 3(z)189--189, 4(z)72--72, 5(z)31--31, 5(z)148--148, 6(z)3--3
specific, application-, 2(z)163--163, 4(z)179--179, 5(z)117--117
specific, context-, 3(z)143--143
Specific, Cryptography-, 8(z)29--29
specific, domain-, 2(z)116--116, 2(z)128--128, 3(z)125--125, 3(z)174--174, 4(z)84--84, 4(z)105--105, 4(z)141--141, 4(z)166--166, 4(z)229--229, 5(z)41--41, 6(z)79--79, 6(z)84--84, 6(z)131--131, 6(z)164--164, 7(z)168--168, 8(z)32--32
specific, hardware-, 3(z)186--186
specific, project-, 3(z)160--160
specific, variant-, 3(z)29--29
specifically, 2(z)66--66, 2(z)148--148, 2(z)154--154, 3(z)125--125, 4(z)7--7, 4(z)34--34, 4(z)74--74, 4(z)100--100, 5(z)153--153, 6(z)66--66, 6(z)148--148, 7(z)10--10, 7(z)215--215, 7(z)253--253
Specification-guided, 6(z)147--147
specifications., 3(z)99--99
specified, 2(z)80--80, 3(z)99--99, 4(z)64--64, 4(z)130--130, 7(z)107--107, 7(z)262--262
specified, relationally-, 5(z)67--67
specified, under-, 7(z)231--231
specified, user-, 3(z)186--186
specified, well-, 6(z)148--148
specify, 2(z)113--113, 3(z)1--1, 3(z)27--27, 3(z)94--94, 3(z)99--99, 3(z)123--123, 3(z)160--160, 4(z)25--25, 4(z)134--134, 4(z)135--135, 4(z)205--205, 5(z)42--42, 5(z)66--66, 7(z)132--132, 7(z)150--150, 8(z)103--103
specifying, 2(z)102--102, 3(z)22--22, 3(z)133--133, 3(z)161--161, 4(z)156--156, 4(z)228--228, 5(z)39--39, 5(z)41--41, 5(z)131--131, 6(z)40--40, 6(z)66--66, 6(z)192--192, 7(z)293--293
Spector-Zabusky, Antal, 2(z)89--89
Spector-Zabusky, Antal, see Breitner, Joachim
Spectre, 5(z)129--129
spectrum, 2(z)71--71, 4(z)146--146
speculate, 4(z)220--220
speculation, 5(z)46--46
speculative, 2(z)49--49, 4(z)1--1, 5(z)49--49, 5(z)129--129
speed, 2(z)152--152, 3(z)187--187, 4(z)19--19, 5(z)63--63, 5(z)103--103, 6(z)75--75, 6(z)148--148, 8(z)32--32
speeding, 2(z)157--157, 4(z)177--177
speedup, 2(z)109--109, 3(z)186--186, 4(z)60--60, 4(z)98--98, 4(z)100--100, 5(z)91--91
spend, 6(z)145--145
spending, 4(z)10--10
spent, 2(z)108--108, 4(z)167--167
Sperber, Michael, 4(z)74--74
Sperber, Michael, see Monnier, Stefan
Spies, Simon, 5(z)13--13, 6(z)28--28, 6(z)100--100, 7(z)27--27, 7(z)247--247
Spies, Simon, see Guéneau, Armaël, see Gäher, Lennard, see Sammler, Michael
Spies:2021:TSI, 5(z)13--13
Spies:2022:LCR, 6(z)100--100
Spin, 7(z)242--242
Spinellis, Diomidis, 4(z)144--144, 5(z)123--123
Spinellis, Diomidis, see Chaliasos, Stefanos, see Sotiropoulos, Thodoris
Spirea, 7(z)244--244
spirit, 4(z)73--73
spite, 4(z)71--71
Spivey, Michael, 1(z)5--5
Spivey:2017:FCP, 1(z)5--5
Spiwack, Arnaud, 2(z)5--5, 6(z)95--95
Spiwack, Arnaud, see Bernardy, Jean-Philippe
Spiwack:2022:LQT, 6(z)95--95
split, 2(z)94--94, 4(z)158--158, 5(z)89--89, 5(z)148--148
SplitMix, 5(z)148--148
splittable, 5(z)148--148
SPMD, 4(z)72--72, 5(z)31--31
spot, 4(z)71--71, 6(z)12--12
spotting, 6(z)142--142
spread, wide-, 4(z)126--126
spreadsheet, 2(z)2--2, 2(z)148--148
Sprenger, Christoph, 4(z)152--152
Sprenger:2020:ISL, 4(z)152--152
Spy, 4(z)33--33
SQIR, 5(z)37--37
SQL, 5(z)112--112, 6(z)83--83, 7(z)95--95, 8(z)132--132
SQLizer, 1(z)63--63
Square, 8(z)19--19
Squeak, 4(z)85--85
Sridharan, Manu, 3(z)164--164, 4(z)160--160, 7(z)282--282
Sridharan, Manu, see Barik, Rajkishore, see Farooq, Umar, \see{Shadab, Narges
Srinivasan, Venkatesh, 1(z)61--61
Srinivasan:2017:MAM, 1(z)61--61
Srivastava, Prakalp, 3(z)186--186
Srivastava, Prakalp, see Sharif, Hashim
SSA, 7(z)65--65
SSD, 7(z)118--118
ST, 6(z)82--82
St-Amour, Vincent, 1(z)1--1, 2(z)133--133
St-Amour, Vincent, see Feltey, Daniel
St-Amour:2017:HRS, 1(z)1--1
Staab, Robin, 7(z)138--138
Staab, Robin, see Müller, Mark Niklas
stability, 2(z)126--126, 3(z)189--189, 5(z)150--150
Stabilization, 7(z)296--296
stable, 2(z)59--59, 2(z)126--126, 4(z)8--8, 4(z)74--74, 4(z)119--119
stack, 3(z)19--19, 3(z)146--146, 4(z)123--123, 6(z)74--74, 6(z)157--157, 8(z)4--4, 8(z)135--135, 8(z)139--139
Stack-Aware, 4(z)197--197
Stacked, 4(z)41--41
Stafford, 5(z)148--148
stage, 1(z)71--71, 6(z)39--39, 6(z)190--190
stage, Multi-, 6(z)61--61
staged, 1(z)29--29, 3(z)126--126, 4(z)120--120, 6(z)110--110
staging, 4(z)164--164, 6(z)61--61, 7(z)209--209
Stainless, 3(z)166--166
Stampoulis, Antonis, 2(z)93--93
Stampoulis:2018:PFL, 2(z)93--93
Stan, 7(z)131--131
Stancu, Codrut, 3(z)184--184
Stancu, Codrut, see Wimmer, Christian
stand, 8(z)119--119
Standaert, François-Xavier, 7(z)286--286, see Gao, Pengfei
standalone, 2(z)159--159
standard, 2(z)47--47, 2(z)81--81, 2(z)86--86, 2(z)87--87, 2(z)162--162, 3(z)113--113, 3(z)114--114, 3(z)125--125, 3(z)141--141, 3(z)172--172, 4(z)28--28, 4(z)41--41, 4(z)43--43, 4(z)77--77, 4(z)86--86, 4(z)102--102, 4(z)158--158, 4(z)197--197, 4(z)212--212, 5(z)4--4, 5(z)14--14, 5(z)98--98, 6(z)3--3, 6(z)12--12, 6(z)31--31, 7(z)60--60, 7(z)232--232, 8(z)49--49, 8(z)66--66, 8(z)121--121
standard, non-, 6(z)45--45, 6(z)63--63
standardization, 4(z)77--77
Stanford, Caleb, 4(z)153--153, 7(z)37--37
Stanford, Caleb, see Alur, Rajeev, see Kallas, Konstantinos
Stankovi{\v{c}}, Miroslav, 6(z)178--178, see Moosbrugger, Marcel
star, 6(z)45--45
start, 3(z)125--125, 3(z)184--184, 4(z)52--52, 4(z)75--75, 4(z)102--102
started, 4(z)73--73, 4(z)83--83
starting, 2(z)78--78, 4(z)85--85, 4(z)175--175
startup, 3(z)184--184, 4(z)71--71, 6(z)148--148, 7(z)9--9
Starup, Jonathan Lindegaard, 7(z)255--255
Starup, Jonathan Lindegaard, see Müller, Marius
state, 2(z)64--64, 2(z)65--65, 2(z)78--78, 2(z)109--109, 2(z)115--115, 2(z)138--138, 3(z)6--6, 3(z)19--19, 3(z)103--103, 3(z)124--124, 3(z)132--132, 3(z)144--144, 3(z)147--147, 3(z)154--154, 3(z)161--161, 3(z)183--183, 4(z)6--6, 4(z)34--34, 4(z)44--44, 4(z)71--71, 4(z)150--150, 4(z)160--160, 4(z)175--175, 4(z)200--200, 4(z)209--209, 5(z)5--5, 5(z)10--10, 5(z)39--39, 5(z)63--63, 5(z)79--79, 5(z)93--93, 5(z)107--107, 5(z)135--135, 5(z)145--145, 5(z)148--148, 6(z)24--24, 6(z)36--36, 6(z)50--50, 6(z)67--67, 6(z)82--82, 7(z)24--24, 7(z)26--26, 7(z)87--87, 7(z)119--119, 7(z)139--139, 7(z)253--253, 8(z)4--4, 8(z)21--21, 8(z)53--53
State, Infinite-, 8(z)57--57
state, infinite-, 7(z)288--288
state, minimal-, 8(z)135--135
state-based, 3(z)161--161
state-machine, 3(z)138--138
state-of-the-art, 2(z)83--83, 2(z)109--109, 3(z)120--120, 3(z)147--147, 3(z)151--151, 3(z)160--160, 3(z)170--170, 4(z)60--60, 6(z)4--4, 6(z)25--25, 6(z)52--52, 6(z)159--159, 7(z)233--233, 8(z)9--9, 8(z)32--32, 8(z)92--92, 8(z)112--112
state-space, 3(z)124--124, 3(z)150--150, 6(z)36--36
stateful, 2(z)51--51, 2(z)70--70, 3(z)185--185, 5(z)80--80, 5(z)133--133
stateless, 2(z)17--17, 2(z)135--135, 3(z)124--124, 3(z)150--150, 3(z)173--173, 6(z)49--49
statement, 5(z)58--58, 5(z)89--89, 7(z)42--42, 8(z)26--26
static, Partially-, 2(z)100--100
statically, 2(z)71--71, 2(z)73--73, 2(z)154--154, 3(z)15--15, 3(z)28--28, 3(z)29--29, 3(z)172--172, 4(z)105--105, 4(z)122--122, 4(z)136--136, 4(z)148--148, 5(z)19--19, 5(z)111--111, 5(z)115--115, 6(z)8--8, 6(z)89--89, 6(z)150--150, 7(z)58--58, 7(z)204--204, 8(z)54--54, 8(z)74--74, 8(z)80--80
statically-typed, 2(z)13--13, 3(z)29--29, 5(z)126--126, 5(z)155--155, 6(z)168--168, 7(z)18--18
stating, 4(z)216--216
statistical, 5(z)8--8, 5(z)58--58, 6(z)104--104, 6(z)159--159
statistics, 4(z)16--16, 4(z)84--84, 4(z)203--203
Staton, Sam, 2(z)60--60, 5(z)11--11, 7(z)5--5, 7(z)46--46, 8(z)61--61
Staton, Sam, see Ackerman, Nate, see Dash, Swaraj, \see{Lew, Alexander K., see Sabok, Marcin, \see{{\'S}cibior, Adam
status, 4(z)160--160
staying, 3(z)186--186
steadily, 3(z)178--178, 4(z)73--73, 5(z)102--102
steal, 7(z)274--274
Stealing, Bit-, 7(z)216--216
Steel, 5(z)85--85
SteelCore, 4(z)121--121
Steele, 5(z)148--148
Steele Jr., Guy L., 3(z)11--11, 5(z)148--148, 7(z)203--203
Steele Jr., Guy L., see Augustsson, Lennart, see Park, Gyunghee
Steele:2021:PLB, 5(z)148--148
steep, 3(z)168--168
Stefan, Deian, 4(z)105--105, 5(z)49--49, 6(z)27--27, 7(z)15--15
Stefan, Deian, see Kolosick, Matthew, see Michael, Alexandra E., see Polikarpova, Nadia, see Vassena, Marco
Stefanesco, Léo, 2(z)64--64, 4(z)114--114, 6(z)42--42, 8(z)9--9, see Giarrusso, Paolo G., see Timany, Amin, see Vale, Arthur Oliveira
{\c{S}}tef{\u{a}}nescu, Andrei, 5(z)135--135, see He, Paul
Steidel, Jon, 4(z)72--72
Steidel, Jon, see Reid, John
Stein, Adam, 8(z)124--124
Stein, Adam, see Naik, Aaditya
Stein, Benno, 3(z)140--140
Stein, Dario, 5(z)11--11
Stein, Dario, see Sabok, Marcin
Stein:2019:SAD, 3(z)140--140
step, 2(z)94--94, 2(z)127--127, 2(z)138--138, 2(z)163--163, 4(z)27--27, 5(z)43--43, 5(z)48--48, 7(z)50--50, 7(z)194--194, 7(z)221--221
Step, Big-, 7(z)221--221, 7(z)267--267
step, big-, 5(z)30--30, 7(z)221--221
step, Lock-, 1(z)3--3
Step, Small-, 5(z)153--153, 8(z)102--102
step, small-, 2(z)105--105, 4(z)43--43, 5(z)114--114
step, step-by-, 4(z)114--114
step-by-step, 4(z)114--114
Step-Indexed, 7(z)2--2
step-indexed, 4(z)114--114, 5(z)13--13, 6(z)100--100
step-indexing, 5(z)13--13, 8(z)9--9
Stepanenko, Sergei, 7(z)165--165, 8(z)24--24
Stepanenko, Sergei, see Liu, Zongyuan, see Sieczkowski, Filip
Stephens, Jon, 5(z)17--17
Stephens, Jon, see Ferles, Kostas
Stephenson, Mark, 7(z)111--111
Stephenson, Mark, see Tarek Ibn Ziad, Mohamed
stepper, 4(z)43--43
Stepstone, 4(z)82--82
Sterling, Jonathan, 3(z)107--107, 6(z)9--9, 8(z)10--10, 8(z)24--24
Sterling, Jonathan, see Gratzer, Daniel, see Grodin, Harrison, \see{Niu, Yue, see Sieczkowski, Filip
Stern, Alex, Sanchez-, 6(z)143--143
Steuwer, Michel, 4(z)92--92, 7(z)260--260, 8(z)3--3, 8(z)58--58
Steuwer, Michel, see Hagedorn, Bastian, see K{\oe}hler, Thomas, \see{Qin, Xueying, see Tang, Wenhao
Stevens, Tim, 3(z)172--172
Stevens, Tim, see Near, Joseph P.
Stewart, Gordon, 7(z)106--106
Stewart, Gordon, see Bagnall, Alexander
Stiévenart, Quentin, 4(z)186--186
Stievenart:2020:FCB, 4(z)186--186
still, 2(z)130--130, 3(z)107--107, 3(z)136--136, 3(z)157--157, 3(z)159--159, 3(z)160--160, 4(z)48--48, 4(z)74--74, 4(z)99--99, 4(z)167--167, 5(z)102--102, 5(z)107--107, 5(z)148--148, 5(z)167--167, 6(z)53--53, 6(z)78--78, 6(z)148--148, 7(z)68--68, 7(z)193--193
Stjerna, Amanda, 8(z)138--138
Stjerna:2024:CSA, 8(z)138--138
StkTokens, 3(z)19--19
STLC, 5(z)21--21
stochastic, 4(z)16--16, 7(z)176--176
stochastically, 7(z)176--176
Stockwell, Gareth, 7(z)88--88
Stockwell, Gareth, see Fox, Anthony C. J.
Stoica, Ion, 3(z)168--168, 5(z)134--134
Stoica, Ion, see Bavishi, Rohan
Stolarek, Jan, 1(z)14--14, 6(z)111--111
Stolarek, Jan, see Emrich, Frank, see Ricciotti, Wilmer
Stone, 7(z)239--239
StoneWorks, 3(z)99--99
stop, 5(z)49--49, 6(z)64--64
storage, 2(z)116--116, 2(z)153--153, 4(z)170--170, 5(z)132--132, 7(z)118--118, 7(z)150--150
storage, compute-, 5(z)133--133
store, 3(z)106--106, 4(z)26--26, 4(z)151--151, 6(z)22--22, 8(z)50--50
stored, 7(z)253--253
storing, 5(z)132--132, 8(z)134--134
Storm, 4(z)153--153
story, 4(z)77--77, 6(z)54--54, 7(z)223--223
straightforward, 2(z)101--101, 5(z)160--160
strangers, 1(z)103--103
Strategic, 8(z)3--3
strategy, 2(z)61--61, 2(z)154--154, 3(z)23--23, 3(z)27--27, 4(z)71--71, 4(z)92--92, 4(z)164--164, 4(z)177--177, 4(z)189--189, 5(z)80--80, 5(z)148--148, 6(z)63--63, 6(z)94--94, 7(z)33--33, 8(z)93--93
Stratified, 7(z)49--49
stream, 2(z)67--67, 3(z)166--166, 3(z)181--181, 4(z)36--36, 4(z)153--153, 4(z)161--161, 4(z)168--168, 5(z)115--115, 6(z)128--128, 6(z)184--184, 7(z)46--46, 7(z)154--154, 7(z)155--155
stream-relational, 2(z)67--67
streaming, 4(z)153--153, 4(z)183--183, 6(z)184--184
StreamQL, 4(z)183--183
strength, industrial-, 4(z)113--113, 7(z)224--224
stress-testing, 7(z)181--181
stretching, 3(z)85--85
strict, 2(z)88--88, 2(z)96--96, 2(z)109--109, 4(z)41--41, 4(z)86--86, 4(z)136--136, 5(z)101--101, 6(z)114--114, 7(z)57--57
strict, non-, 6(z)177--177
StrictCheck, 2(z)102--102
strictness, 2(z)102--102
strike, 3(z)140--140, 4(z)41--41, 5(z)90--90
Striking, 4(z)179--179
string, 2(z)3--3, 2(z)4--4, 2(z)150--150, 3(z)25--25, 3(z)127--127, 3(z)169--169, 4(z)192--192, 5(z)57--57, 5(z)78--78, 5(z)151--151, 6(z)45--45, 7(z)10--10, 7(z)35--35, 7(z)296--296, 8(z)138--138
stripped, 4(z)225--225
strives, 5(z)150--150
stroll, 1(z)1--1
strong, 1(z)20--20, 1(z)109--109, 2(z)66--66, 2(z)109--109, 2(z)164--164, 3(z)94--94, 3(z)142--142, 3(z)156--156, 4(z)20--20, 4(z)34--34, 4(z)122--122, 4(z)132--132, 5(z)148--148, 6(z)61--61, 6(z)94--94, 6(z)127--127, 7(z)223--223, 8(z)30--30, 8(z)82--82
strongest, 6(z)87--87, 8(z)30--30
strongest-postcondition-style, 6(z)87--87
strongly, 5(z)1--1, 5(z)97--97
strongly-typed, 4(z)75--75
Stroustrup, Bjarne, 4(z)70--70
Stroustrup:2020:TCC, 4(z)70--70
Strub, Pierre-Yves, 1(z)21--21, 2(z)57--57, 7(z)29--29
Strub, Pierre-Yves, see Aguirre, Alejandro, see Barthe, Gilles, \see{Zhou, Li
structs, 7(z)196--196
structural, 3(z)21--21, 3(z)86--86, 3(z)113--113, 3(z)117--117, 3(z)152--152, 4(z)149--149, 4(z)215--215, 4(z)224--224, 5(z)62--62, 5(z)127--127, 6(z)102--102, 6(z)141--141, 6(z)159--159, 7(z)235--235, 7(z)260--260, 8(z)90--90
Structurally, 7(z)70--70
structure, 2(z)37--37, 2(z)85--85, 2(z)86--86, 2(z)91--91, 2(z)100--100, 2(z)106--106, 2(z)114--114, 2(z)116--116, 2(z)121--121, 2(z)143--143, 3(z)1--1, 3(z)29--29, 3(z)104--104, 3(z)121--121, 3(z)128--128, 3(z)153--153, 3(z)157--157, 3(z)161--161, 3(z)166--166, 3(z)170--170, 3(z)171--171, 4(z)2--2, 4(z)51--51, 4(z)68--68, 4(z)81--81, 4(z)90--90, 4(z)128--128, 4(z)136--136, 4(z)161--161, 4(z)212--212, 4(z)222--222, 4(z)228--228, 4(z)231--231, 5(z)5--5, 5(z)45--45, 5(z)74--74, 5(z)92--92, 5(z)113--113, 5(z)116--116, 5(z)153--153, 6(z)4--4, 6(z)57--57, 6(z)60--60, 6(z)68--68, 6(z)128--128, 6(z)134--134, 6(z)137--137, 6(z)185--185, 6(z)188--188, 6(z)191--191, 7(z)14--14, 7(z)26--26, 7(z)46--46, 7(z)47--47, 7(z)52--52, 7(z)53--53, 7(z)68--68, 7(z)104--104, 7(z)182--182, 7(z)200--200, 7(z)201--201, 7(z)202--202, 7(z)213--213, 7(z)226--226, 7(z)227--227, 7(z)251--251, 7(z)264--264, 8(z)5--5, 8(z)12--12, 8(z)50--50
structure, data-, 1(z)65--65
structure, micro-, 6(z)159--159
structure, program-, 2(z)116--116
structured, 2(z)166--166, 3(z)157--157, 4(z)151--151, 5(z)126--126, 5(z)148--148, 6(z)7--7, 6(z)90--90, 7(z)229--229, 7(z)246--246, 7(z)255--255
structured, log-, 5(z)113--113
structured, semi-, 3(z)170--170
structures', micro-, 6(z)159--159
structuring, 2(z)111--111, 6(z)3--3, 7(z)206--206
struggle, 2(z)126--126, 7(z)265--265
Strydonck, Thomas, Van, 3(z)84--84, 5(z)6--6
Stucki, Sandro, 2(z)42--42, 5(z)69--69, 7(z)68--68
Stucki, Sandro, see Hunt, Sebastian, see Odersky, Martin
Stucki:2021:THO, 5(z)69--69
students, 1(z)105--105, 2(z)158--158, 3(z)115--115, 4(z)171--171, 5(z)94--94, 6(z)102--102, 7(z)215--215, 8(z)133--133
studied, 4(z)161--161, 5(z)93--93, 5(z)102--102, 5(z)148--148, 6(z)12--12, 6(z)189--189, 7(z)202--202, 7(z)252--252, 7(z)253--253
studied, well-, 7(z)104--104, 7(z)232--232, 7(z)253--253, 8(z)107--107
study, 2(z)79--79, 2(z)91--91, 2(z)126--126, 3(z)18--18, 3(z)19--19, 3(z)20--20, 3(z)153--153, 3(z)155--155, 3(z)158--158, 3(z)163--163, 3(z)187--187, 3(z)189--189, 4(z)18--18, 4(z)27--27, 4(z)31--31, 4(z)38--38, 4(z)43--43, 4(z)59--59, 4(z)100--100, 4(z)132--132, 4(z)136--136, 4(z)202--202, 4(z)214--214, 4(z)219--219, 5(z)1--1, 5(z)4--4, 5(z)15--15, 5(z)28--28, 5(z)39--39, 5(z)44--44, 5(z)47--47, 5(z)53--53, 5(z)71--71, 5(z)120--120, 5(z)123--123, 5(z)125--125, 5(z)137--137, 5(z)148--148, 5(z)167--167, 6(z)2--2, 6(z)5--5, 6(z)14--14, 6(z)18--18, 6(z)66--66, 6(z)84--84, 6(z)86--86, 6(z)116--116, 6(z)120--120, 6(z)165--165, 6(z)185--185, 7(z)21--21, 7(z)80--80, 7(z)94--94, 7(z)149--149, 7(z)208--208, 8(z)1--1, 8(z)7--7, 8(z)15--15, 8(z)37--37, 8(z)39--39, 8(z)61--61, 8(z)90--90
studying, 6(z)9--9, 8(z)10--10
Stump, Aaron, 2(z)104--104, 4(z)122--122, 7(z)3--3
Stump, Aaron, see Abreu, Pedro, see Diehl, Larry
Stump:2020:SFP, 4(z)122--122
Stumpos, Steffi, 5(z)130--130
Stumpos, Steffi, see Shen, Xipeng
Stuttering, 7(z)281--281
style, 2(z)82--82, 3(z)136--136, 4(z)93--93, 4(z)111--111, 4(z)181--181, 5(z)87--87, 5(z)95--95, 7(z)18--18, 7(z)104--104
style, Algol-, 4(z)73--73
style, C-, 4(z)136--136
style, C11-, 5(z)4--4
Style, C11-, 7(z)137--137
style, C11-, 5(z)4--4
style, continuation-passing-, 3(z)79--79
style, CPS-, 2(z)119--119
style, Fitch-, 6(z)118--118
style, fitch-, 3(z)109--109, 6(z)118--118
style, functional-, 4(z)168--168
style, GADT-, 6(z)179--179
Style, Hindley-Milner-, 7(z)240--240
style, Hoare-, 6(z)130--130
style, Lawvere-, 5(z)57--57
style, Scala-, 4(z)206--206
style, strongest-postcondition-, 6(z)87--87
style, weakest-precondition-, 7(z)67--67
styles, 2(z)73--73, 3(z)15--15
Su, Han, 7(z)99--99
Su, Han, see Feng, Shenghua
Su, Ting, 5(z)156--156, 8(z)112--112
Su, Ting, see Chen, Qian
Su, Yian, 8(z)110--110
Su, Yian, see Xu, Ziyang
Su, Yusen, 5(z)19--19
Su, Yusen, see Pavlinovic, Zvonimir
Su, Zhendong, 3(z)189--189, 4(z)60--60, 4(z)193--193, 4(z)195--195, 4(z)211--211, 5(z)152--152, 5(z)156--156, 6(z)159--159, 7(z)75--75, 8(z)62--62, 8(z)143--143
Su, Zhendong, see Grosser, Tobias, see Li, Shaohua, \see{Lu, Yifei, see Park, Jiwon, \see{Rigger, Manuel, see Sotiropoulos, Thodoris, \see{Su, Ting, see Wang, Shuai, \see{Winterer, Dominik, see Zou, Daming
Su, Zhuo, 7(z)266--266
Su, Zhuo, see Zhang, Quan
Su:2021:FAF, 5(z)156--156
sub-cubic, 6(z)41--41
Subasinghe, Isitha, 7(z)85--85
Subasinghe, Isitha, see Lattuada, Andrea
subclass, 2(z)138--138, 4(z)35--35
Subcubic, 6(z)41--41
subdivided, 8(z)92--92
Süberkrüb, Tim, 6(z)106--106, 8(z)129--129, see Binder, David, \see{Ostermann, Klaus
subgenerator, 5(z)148--148
subgraph, 3(z)120--120
subject, 2(z)132--132, 3(z)22--22, 3(z)110--110, 5(z)77--77, 7(z)111--111, 7(z)253--253
sublanguage, 3(z)116--116
submitted, 4(z)138--138
subproblem, 4(z)224--224
subroutine, 4(z)81--81
subsequent, 4(z)71--71, 4(z)74--74
subset, 2(z)66--66, 2(z)141--141, 3(z)125--125, 3(z)147--147, 3(z)189--189, 5(z)67--67, 6(z)116--116, 6(z)134--134, 7(z)7--7, 7(z)101--101, 7(z)131--131, 7(z)280--280
subspace, 4(z)150--150
substantial, 2(z)108--108, 3(z)133--133, 4(z)73--73, 5(z)123--123, 5(z)127--127, 5(z)146--146
substantially, 6(z)52--52, 7(z)13--13, 7(z)60--60
substantively, 4(z)74--74
substitution, 2(z)90--90, 4(z)58--58, 4(z)119--119, 5(z)74--74
substructural, 8(z)14--14
subsume, 4(z)1--1, 6(z)89--89
subsuming, 7(z)51--51
subtle, 2(z)165--165, 3(z)180--180, 4(z)43--43, 4(z)156--156, 5(z)36--36, 5(z)73--73, 5(z)123--123, 6(z)124--124, 7(z)137--137
subtlety, 4(z)43--43
subtly, 3(z)189--189, 5(z)119--119
subtracting, 2(z)101--101
subtraction, 7(z)31--31
subtype, 2(z)113--113, 3(z)130--130, 8(z)27--27
subtyping, 1(z)47--47, 2(z)112--112, 2(z)113--113, 3(z)16--16, 4(z)66--66, 4(z)114--114, 4(z)124--124, 4(z)149--149, 4(z)206--206, 4(z)223--223, 5(z)16--16, 5(z)69--69, 5(z)89--89, 5(z)137--137, 6(z)37--37, 7(z)48--48, 7(z)234--234, 7(z)260--260, 7(z)295--295, 8(z)40--40, 8(z)48--48, 8(z)70--70, 8(z)90--90
succeeds, 3(z)18--18
success, 2(z)160--160, 3(z)96--96, 3(z)162--162, 4(z)73--73, 5(z)64--64, 5(z)156--156, 6(z)25--25, 7(z)171--171, 7(z)191--191, 7(z)202--202, 8(z)14--14
successful, 4(z)89--89, 4(z)129--129, 4(z)159--159, 4(z)192--192, 7(z)90--90, 7(z)187--187, 7(z)190--190, 8(z)130--130
successfully, 2(z)143--143, 3(z)189--189, 4(z)132--132, 5(z)143--143, 5(z)145--145, 6(z)14--14, 6(z)133--133, 7(z)60--60, 7(z)204--204, 7(z)253--253
successors, 4(z)87--87
succinctly, 2(z)150--150
such, vulnerabilities-, 5(z)103--103
suffer, 8(z)92--92
suffered, 4(z)89--89
suffices, 5(z)49--49
sufficient, 2(z)160--160, 4(z)143--143
sugar, 1(z)44--44
suggest, 2(z)162--162, 3(z)153--153, 4(z)73--73, 4(z)74--74, 4(z)207--207, 7(z)58--58
suggested, 4(z)139--139, 7(z)205--205
suggestions, 3(z)143--143
Sui, Yulei, 4(z)233--233, 5(z)159--159, 6(z)180--180, 7(z)119--119, 7(z)256--256, 8(z)145--145
Sui, Yulei, see Barbar, Mohamad, see He, Dongjie, \see{Lei, Yuxiang, see Xu, Pei
Sui:2020:FVF, 4(z)233--233
suitable, 3(z)10--10, 3(z)21--21, 3(z)26--26, 3(z)133--133, 4(z)71--71, 4(z)232--232, 5(z)62--62, 5(z)148--148, 6(z)44--44, 8(z)24--24
suite, 3(z)78--78, 3(z)142--142, 4(z)41--41, 4(z)43--43, 4(z)44--44, 5(z)148--148
suited, 3(z)136--136, 4(z)2--2, 4(z)181--181, 7(z)222--222
suited, well-, 4(z)115--115
sum, 2(z)101--101, 3(z)99--99, 5(z)50--50, 6(z)44--44, 6(z)134--134
summand, 2(z)101--101
summaries, 8(z)25--25
summarization, 3(z)80--80
Summers, Alexander J., 3(z)121--121, 3(z)147--147, 4(z)136--136, 5(z)145--145, 5(z)146--146, 6(z)163--163
Summers, Alexander J., see Astrauskas, Vytautas, see Bräm, Christian, see Dardinier, Thibault, see Ter-Gabrielyan, Arshavir, see Wolff, Fabian
Sun, Chengnian, 7(z)97--97, 7(z)266--266
Sun, Chengnian, see Xu, Zhenyang, see Zhang, Quan
Sun, Chuyue, 7(z)158--158
Sun, Chuyue, see Kuepper, Joel
Sun, Jiaguang, 7(z)266--266
Sun, Jiaguang, see Zhang, Quan
Sun, Jingling, 5(z)156--156
Sun, Jingling, see Su, Ting
Sun, Jun, 6(z)36--36
Sun, Jun, see Le, Xuan-Bach
Sun, Pu, 8(z)29--29
Sun, Yaozhu, 6(z)131--131
Sun, Yican, 4(z)224--224, 7(z)225--225
Sun, Yican, see Ji, Ruyi
Sun, Zhe, 4(z)174--174
Sun, Zhe, see Wu, Zhefeng
Sun, Zhensu, 7(z)239--239
Sun, Zhensu, see Wang, Shangwen
Sun, Zhihang, 6(z)158--158
Sun:2022:CED, 6(z)131--131
Sun:2022:CPP, 6(z)158--158
Sun:2023:SEM, 7(z)225--225
Sun:2024:ECS, 8(z)29--29
Sundar, Samanvitha, 4(z)65--65
Sundar, Samanvitha, see Lazarek, Lukas
Sundararajah, Kirshanthan, 1(z)76--76, 6(z)170--170
Sundararajah, Kirshanthan, see Sakka, Laith
Sundararajah:2022:UUL, 6(z)170--170
Sundram, Shiv, 8(z)103--103
Sundram:2024:CRD, 8(z)103--103
Sunshine, Joshua, 4(z)132--132, 4(z)228--228
Sunshine, Joshua, see Coblenz, Michael, see Wise, Jenna
Super, 1(z)30--30
super-linear, 8(z)92--92
superimposed, 4(z)72--72
superior, 6(z)58--58
supermartingales, 2(z)34--34
superoperator, 8(z)13--13
superoptimization, 4(z)177--177
superposition, 6(z)134--134, 6(z)146--146
superset, 8(z)80--80
supertypes, 5(z)16--16
supervised, 3(z)175--175, 7(z)160--160
supervised, semi-, 4(z)219--219
superword, 2(z)110--110
supplied, user-, 7(z)87--87
support, 2(z)78--78, 2(z)86--86, 2(z)109--109, 2(z)113--113, 2(z)125--125, 2(z)143--143, 2(z)162--162, 3(z)5--5, 3(z)15--15, 3(z)20--20, 3(z)29--29, 3(z)82--82, 3(z)97--97, 3(z)101--101, 3(z)111--111, 3(z)133--133, 3(z)166--166, 4(z)24--24, 4(z)29--29, 4(z)34--34, 4(z)41--41, 4(z)71--71, 4(z)73--73, 4(z)74--74, 4(z)81--81, 4(z)83--83, 4(z)96--96, 4(z)110--110, 4(z)113--113, 4(z)136--136, 4(z)139--139, 4(z)154--154, 4(z)176--176, 4(z)186--186, 4(z)197--197, 4(z)228--228, 4(z)233--233, 5(z)40--40, 5(z)42--42, 5(z)69--69, 5(z)99--99, 5(z)128--128, 5(z)131--131, 5(z)165--165, 6(z)39--39, 6(z)74--74, 6(z)79--79, 6(z)139--139, 6(z)149--149, 6(z)163--163, 6(z)179--179, 7(z)83--83, 7(z)96--96, 7(z)125--125, 7(z)126--126, 7(z)148--148, 7(z)253--253, 7(z)284--284, 8(z)9--9, 8(z)85--85, 8(z)92--92, 8(z)119--119
supported, 4(z)72--72, 4(z)129--129, 5(z)145--145, 7(z)191--191, 8(z)96--96
supporting, 2(z)114--114, 3(z)10--10, 3(z)107--107, 3(z)153--153, 3(z)166--166, 4(z)23--23, 4(z)43--43, 4(z)84--84, 4(z)104--104, 7(z)195--195
supposed, 6(z)154--154
suppressed, 2(z)80--80
Sura, Zehra, 2(z)126--126
Sura, Zehra, see Gong, Zhangxiaowen
Surbatovich, Milijana, 3(z)183--183, 4(z)163--163, 7(z)136--136
Surbatovich:2019:DIB, 3(z)183--183
Surbatovich:2020:TFF, 4(z)163--163
Surbatovich:2023:TSS, 7(z)136--136
sure, 3(z)101--101, 4(z)41--41
Sure, Almost-, 8(z)37--37
sure, almost-, 2(z)33--33, 3(z)129--129, 5(z)32--32
surely, almost-, 7(z)99--99
Surendran, Rishi, 1(z)103--103
Surendran, Rishi, see Cogumbreiro, Tiago
surface, 4(z)74--74, 4(z)101--101, 7(z)266--266
surge, 4(z)53--53, 5(z)144--144
Suriyakarn, Sorawit, 3(z)82--82
Suriyakarn, Sorawit, see Delaware, Benjamin
surprise, 4(z)71--71
surprisingly, 2(z)74--74, 3(z)146--146, 4(z)7--7, 5(z)123--123
surrogates, 7(z)280--280
surrounding, 8(z)92--92
survived, 4(z)70--70
surviving, 2(z)116--116
Susag, Zachary, 6(z)181--181
Susag:2022:SER, 6(z)181--181
susceptible, 4(z)214--214, 7(z)187--187, 8(z)130--130
suspended, 5(z)101--101, 8(z)50--50
suspending, 5(z)33--33
Svendsen, Kasper, 5(z)81--81
Svendsen, Kasper, see Birkedal, Lars
Swamy, Nikhil, 1(z)17--17, 2(z)65--65, 4(z)121--121, 5(z)85--85
Swamy, Nikhil, see Ahman, Danel, see Fromherz, Aymeric, see Protzenko, Jonathan
Swamy:2020:SEC, 4(z)121--121
swapping, 3(z)120--120
Swasey, David, 1(z)89--89
Swasey:2017:RCV, 1(z)89--89
Sweden, 4(z)83--83
Sweeney, Tim, 7(z)203--203
Sweeney, Tim, see Augustsson, Lennart
sweet, 6(z)12--12
Sweet, Ian, 4(z)50--50
Sweet, Ian, see Darais, David
Swierstra, Wouter, 3(z)103--103, 3(z)113--113, 6(z)105--105, 7(z)198--198
Swierstra, Wouter, see Lorenzen, Anton, see Miraldo, Victor Cacciari, see Rest, Cas van der
Swierstra:2019:PTS, 3(z)103--103
swift, 3(z)164--164
switch, 6(z)38--38, 7(z)215--215, 7(z)290--290
Syeda, Hira Taqdees, 4(z)204--204
Syeda, Hira Taqdees, see Gómez-Londoño, Alejandro
Symantec, 4(z)73--73
symbol, 3(z)137--137
symbolic, 1(z)11--11, 2(z)40--40, 2(z)142--142, 2(z)149--149, 2(z)157--157, 3(z)13--13, 3(z)123--123, 3(z)127--127, 4(z)43--43, 4(z)81--81, 4(z)102--102, 4(z)130--130, 4(z)141--141, 4(z)147--147, 4(z)164--164, 5(z)78--78, 5(z)118--118, 5(z)130--130, 5(z)163--163, 6(z)47--47, 6(z)97--97, 6(z)167--167, 6(z)181--181, 7(z)16--16, 7(z)80--80, 7(z)133--133, 8(z)65--65, 8(z)85--85
symbolic, Semi-, 6(z)184--184
symbolic-heap, 2(z)9--9
Syme, Don, 4(z)75--75
Syme:2020:EHF, 4(z)75--75
symmetric, 3(z)11--11, 3(z)95--95, 4(z)30--30, 6(z)6--6, 8(z)29--29
Symmetries, 6(z)6--6
symptoms, 4(z)214--214
symvalic, 5(z)163--163
synchronisation, 4(z)134--134, 6(z)189--189, 8(z)21--21
synchronised, 3(z)133--133
synchronization, 2(z)108--108, 2(z)109--109, 2(z)162--162, 3(z)23--23, 4(z)128--128, 4(z)156--156, 4(z)213--213, 5(z)131--131, 5(z)148--148, 6(z)67--67, 7(z)53--53, 7(z)116--116, 7(z)135--135, 7(z)226--226
synchronization-preserving, 5(z)36--36
synchronized, 3(z)142--142, 4(z)34--34
synchronizing, 2(z)108--108
synchronous, 2(z)96--96, 3(z)27--27, 4(z)44--44, 4(z)186--186, 5(z)24--24, 5(z)38--38, 5(z)160--160, 7(z)55--55
synchrony, 4(z)213--213
synergistic, 6(z)169--169
synergize, 5(z)130--130
syntactic, 1(z)44--44, 2(z)150--150, 4(z)1--1, 4(z)2--2, 4(z)181--181, 4(z)225--225, 5(z)57--57, 5(z)100--100, 5(z)114--114, 6(z)116--116, 7(z)80--80, 7(z)287--287, 8(z)21--21
syntax, 2(z)90--90, 2(z)122--122, 3(z)22--22, 3(z)25--25, 3(z)134--134, 3(z)188--188, 4(z)15--15, 4(z)72--72, 4(z)73--73, 4(z)74--74, 4(z)80--80, 4(z)222--222, 5(z)30--30, 5(z)39--39, 5(z)73--73, 6(z)6--6, 6(z)53--53, 7(z)17--17, 7(z)58--58, 7(z)105--105, 7(z)152--152, 8(z)15--15, 8(z)71--71, 8(z)78--78
syntax-directed, 8(z)21--21
Syntax-Guided, 8(z)71--71
synth, read-eval-, 4(z)159--159
synthesis, program-, 7(z)23--23
synthesis-aided, 4(z)205--205
Synthesis-as-Rule-Selection, 7(z)7--7
synthesis-as-rule-selection, 7(z)7--7
synthesis-based, 2(z)62--62, 7(z)134--134
Synthesis-powered, 6(z)145--145
synthesise, 3(z)147--147
synthesising, 5(z)122--122
synthesize, 2(z)127--127, 2(z)156--156, 3(z)9--9, 4(z)12--12, 4(z)52--52, 4(z)62--62, 4(z)206--206, 6(z)42--42, 6(z)159--159, 7(z)56--56, 7(z)253--253, 8(z)32--32
synthesizer, 4(z)56--56, 4(z)227--227, 5(z)119--119, 7(z)258--258
synthesizing, 1(z)64--64, 2(z)1--1, 2(z)58--58, 2(z)80--80, 2(z)131--131, 2(z)150--150, 2(z)155--155, 2(z)156--156, 3(z)94--94, 3(z)95--95, 3(z)132--132, 4(z)52--52, 4(z)54--54, 4(z)146--146, 4(z)201--201, 5(z)104--104, 5(z)105--105, 5(z)158--158, 6(z)21--21, 6(z)67--67, 6(z)117--117, 6(z)143--143, 6(z)171--171, 6(z)173--173, 6(z)185--185, 6(z)187--187, 7(z)33--33, 7(z)41--41, 7(z)70--70, 7(z)87--87, 7(z)140--140, 7(z)173--173, 7(z)184--184, 7(z)225--225, 7(z)271--271, 7(z)285--285, 7(z)291--291, 8(z)16--16
Synthetiq, 8(z)96--96
system, type-, 5(z)35--35
system-level, 2(z)159--159
system-the, 4(z)114--114
systematic, 2(z)79--79, 2(z)105--105, 2(z)159--159, 3(z)180--180, 4(z)127--127, 5(z)61--61, 5(z)130--130, 5(z)166--166, 7(z)133--133, 7(z)193--193
systematically, 3(z)189--189
systems-level, 5(z)121--121
systems-to, 3(z)161--161
systems-which, 5(z)106--106
SystemVerilog, 4(z)87--87
SyTeCi, 4(z)59--59
Szabó, Tamás, 2(z)139--139, 4(z)127--127, see Pacak, André
Szabo:2018:ILB, 2(z)139--139
Szaday, Justin, 2(z)126--126
Szaday, Justin, see Gong, Zhangxiaowen
Szamozvancev, Dmitrij, 6(z)53--53
Szamozvancev, Dmitrij, see Fiore, Marcelo
Szekeres, Adriana, 1(z)107--107
Szekeres, Adriana, see Bernstein, Philip A.