Index file section S for pacmpl.bib
Last update: Sat May 11 02:08:55 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)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)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
-
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
-
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)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
-
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
-
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)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
-
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
-
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
-
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
-
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
-
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
-
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)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)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
-
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
-
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
-
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
-
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.