Index file section O for sigplan2000.bib

Last update: Thu Nov 9 02:49:22 MST 2023

Return to index directory

O

O'Boyle, Michael, 40(7)78--86
O'Boyle, Michael, see Franke, Björn
O'Brien, Kevin, 39(6)82--93
O'Brien, Kevin, see Eichenberger, Alexandre E.
O'Callahan, Robert, 37(5)258--269, 38(10)167--178, 38(11)313--325, 40(10)385--402
O'Callahan, Robert, see Choi, Jong-Deok, see Goldsmith, Simon, \see{Marinov, Darko
O'Hearn, Peter, 40(1)259--270
O'Hearn, Peter, see Bornat, Richard
O'Hearn, Peter W., 36(3)14--26, 39(1)268--280
O'Hearn, Peter W., see Ishtiaq, Samin S.
O'Reilly, Una-May, 38(5)77--90
O'Reilly, Una-May, see Stephenson, Mark
O'Ryan, Carlos, 36(8)196--204, 36(8)223--229
O'Ryan, Carlos, see Brunsch, Darrell, see Gore, Pradeep
Oancea, Cosmin E., 40(10)147--166
Oancea:2005:PPS, 40(10)147--166
Oberg, Timothy S., 37(5)25--32
Oberg, Timothy S., see Budimlic, Zoran
obey, 41(1)383--396
object, inter-, 40(10)77--96
Object-Models, 36(12)50--60
Object-Oriented, 35(2)61--67, 35(3)49--58, 36(4)33--40, 36(12)35--49, 37(4)31--31, 39(4)295--312
objective, 41(8)21--28
objective, Multi-, 38_2s_65_75
obligations, 41(1)141--152
observation, 41(1)115--126, 41(1)372--382, 41(7)83--92
observe, 36(9)31--36, 41(6)169--180, 41(6)204--215
observed, 41(3)40--48
obstacle, 41(7)199--208
obtain, 41(1)79--90, 41(6)108--117, 41(6)376--386, 41(7)103--112, 41(9)26--37
obtained, 41(6)193--203, 41(6)332--340, 41(7)83--92, 41(7)145--152, 41(7)173--181
obvious, 41(9)136--147
OCallahan:2003:HDD, 38(10)167--178
OCaml, 41(7)34--43, 41(9)26--37
occur, 25(6)112--126, 39(4)372--389, 41(1)2--15, 41(6)84--95, 41(6)239--251, 41(7)64--71, 41(9)38--49, 41(9)136--147
occurring, 41(1)1--1
OceanStore, 35(11)190--201
October, 35(3)20--20, 38(12)1--1
Odersky, Martin, 36(3)41--53, 36(10)241--252, 40(10)41--57, 41(1)166--167
Odersky, Martin, see Zenger, Matthias
Odersky:2001:CLT, 36(3)41--53
Odersky:2005:SCA, 40(10)41--57
Odersky:2006:SEC, 41(1)166--167
Oellermann, Frank, 39(10)283--289
Oellermann, Frank, see Zimmermann, Olaf
of-the-art, state-, 41(6)332--340
Ofelt, David, 35(11)49--58
Ofelt, David, see Gibson, Jeff, see Heinrich, Mark
off, round-, 39(4)372--389
off, trade-, 37(5)177--186, 41(7)153--162
off, turn-, 41(1)194--205
Off-and-On, 35(6)15--20
Off-and-on, 35(6)15--20
off-line, 35(5)47--56, 39(8)72--80
offer, 39(6)35--46, 41(1)359--371, 41(6)38--51, 41(7)44--53
offering, 41(1)1--1, 41(4)16--23
offline, 39(10)16--17, 41(6)239--251
offloading, 39(6)119--130
offs, trade-, 41(6)341--353
offset, 39(7)67--77
Ogasawara, Takeshi, 36(11)83--95, 38(11)187--204
Ogasawara, Takeshi, see Ishizaki, Kazuaki
Ogasawara:2001:SEH, 36(11)83--95
Ogata, Kazunori, 37(10)58--67, 38(11)187--204
Ogata, Kazunori, see Ishizaki, Kazuaki
Ogata:2002:BFO, 37(10)58--67
Ogawa, Mizuhito, 35(9)137--149, 38(9)111--123
Ogawa, Mizuhito, see Sasano, Isao
Ogawa:2003:IFP, 38(9)111--123
Ogihara, Mitsunori, 41(1)16--29
Ogihara, Mitsunori, see Zhang, Chengliang
Oh, Hyunok, 37(7)12--17
Oh:2002:FRD, 37(7)12--17
OHearn:2004:SIH, 39(1)268--280
Ohori, Atsushi, 37(9)60--71, 38(9)227--237
Ohori, Atsushi, see Higuchi, Tomoyuki
Ohori:2002:ICE, 37(9)60--71
Oi, Hitoshi, 40(7)87--94
Oi:2005:DLV, 40(7)87--94
Okasaki, Chris, 35(9)131--136
Okasaki:2000:BFN, 35(9)131--136
Oki, Hidekazu, 37(10)96--107
Oki, Hidekazu, see Juang, Philo
old, 41(9)1--12
old-fashioned, 36(11)211--222
older, 41(9)26--37
Older-first, 38_2s_25_36
older-first, renewal-, 37(9)247--258
Olinsky, Reuben, 41(1)409--421
Olinsky:2006:SAC, 41(1)409--421
Oliveira Guimarães, José, de, 38(4)25--33, 39(8)54--60
Olm, Markus, Müller-, 39(1)330--341
Olsen, Robert G., 35(1)15--24
Olsen, Robert G., see Nakatani, Lloyd H.
Olukotun, Kunle, 38(10)1--12, 39(11)1--13, 41(6)1--13
Olukotun, Kunle, see Carlstrom, Brian D., see Hammond, Lance, see Prabhu, Manohar K.
OM'01, 36(8)175--180, 36(8)181--181, 36(8)182--187, 36(8)188--195, 36(8)196--204, 36(8)205--213, 36(8)214--222, 36(8)223--229, 36(8)230--237, 36(8)238--246
omit, 41(8)21--28
Omorogbe, Nosa, 36(11)327--341
Omorogbe, Nosa, see Riehle, Dirk
On, 41(7)173--181
On, Off-and-, 35(6)15--20
on, Off-and-, 35(6)15--20
On, Strap-, 37(4)17--20
on-chip, 37(10)211--222, 41(1)194--205
on-Chip, Network-, 41(1)194--205, 41(6)193--203
on-chip, network-, 41(6)193--203
on-chip, Systems-, 37(7)1--1
on-demand, 37(11)52--67, 41(6)52--60, 41(7)12--21
on-line, 41(6)72--83, 41(6)295--307, 41(7)153--162
On-the-Fly, 36(1)155--166
on-the-fly, 35(5)274--284, 36(11)367--380, 37(12)108--119, 38(10)179--190, 38(11)269--281, 39(4)313--327, 40(6)180--189
once, 41(6)132--143
one-sided, 37(9)2--13
online, 37(3)19--30, 37(11)111--129, 39(11)211--223, 39(11)248--259, 41(6)239--251, 41(9)38--49
only, execute-, 35(11)168--177
only, formalism-, 38(2)29--35
only, read-, 41(7)199--208
only, software-, 35(11)168--177
Onodera, Tamiya, 37(11)130--141, 38(5)269--277, 38(11)187--204
Onodera, Tamiya, see Inagaki, Tatsushi, see Ishizaki, Kazuaki, see Kawachiya, Kiyokuni
onto, 38(7)183--188, 39(7)249--256, 41(1)194--205, 41(6)181--192
ontology, 39(10)125--125, 39(12)64--72
onward, 39(12)z--99999999
Ooi, Chong-liang, 36(7)2--11
Ooi, Chong-liang, see Kim, Seon Wook
OOLACA, 39(10)160--161
OoLALA, 35(10)229--252
OOP, 39(10)178--179
OOPAL, 38(11)65--77
OOPSLA, 36(12)1--1, 36(12)z--99999999, 39(12)z--99999999
OOPSLA'01, 36(11)1--15, 36(11)16--30, 36(11)31--42, 36(11)43--55, 36(11)56--69, 36(11)70--82, 36(11)83--95, 36(11)96--107, 36(11)108--124, 36(11)125--138, 36(11)139--155, 36(11)156--165, 36(11)166--179, 36(11)180--195, 36(11)195--210, 36(11)211--222, 36(11)223--240, 36(11)241--253, 36(11)254--269, 36(11)270--282, 36(11)283--299, 36(11)300--311, 36(11)312--326, 36(11)327--341, 36(11)342--352, 36(11)353--366, 36(11)367--380
OOPSLAash, 39(10)25--26, 39(10)29--30
opaque, 41(9)74--86
open, 35(10)130--145, 36(2)37--46, 36(12)20--34, 38(6)50--59, 39(10)120--123, 39(10)182--183, 39(12)73--83, 41(1)257--268, 41(1)270--282, 41(1)320--333, 41(3)10--19, 41(6)1--13, 41(6)239--251, 41(9)26--37, 41(9)99--110
open-nested, 41(6)1--13
open-source, 41(6)72--83
opening, 41(6)26--37, 41(7)72--82
OpenSSH, 41(6)72--83
operand, 41(7)34--43, 41(7)173--181
operate, 41(6)61--71, 41(6)158--168, 41(6)193--203
operating, 35(11)245--256, 37(7)149--154, 37(10)68--80, 37(10)123--132, 38(4)57--66, 39(6)35--46, 39(11)260--270, 40(9)116--128, 41(6)415--426, 41(7)72--82, 41(7)189--198
operational, 35(9)162--173, 36(3)155--165, 40(5)39--44, 41(1)55--66, 41(6)144--157
operationalization, 40(12)28--37
operator, 38(10)155--166, 39(2)12--17, 41(1)30--41, 41(3)10--19, 41(6)376--386
Oplinger, Jeffrey, 37(10)184--196
Oplinger:2002:ESR, 37(10)184--196
Oppen, Nelson-, 41(6)376--386
opportunity, 36(7)1--1, 38(5)49--62, 41(1)269--269, 41(6)252--262, 41(8)21--28
optimal, 35(5)121--133, 36(5)243--253, 36(8)165--174, 37(7)102--111, 41(1)16--29, 41(1)30--41, 41(6)193--203, 41(6)204--215, 41(7)83--92
optimal, near-, 41(7)83--92
optimality, 41(6)204--215
optimally, 41(4)42--49
optimisation, 40(7)78--86, 41(6)295--307
optimise, 41(6)295--307
optimising, 40(6)117--128
optimistic, 36(11)195--210, 38(9)287--298, 40(10)327--343, 41(1)346--358
optimize, 38(10)131--142, 39(3)38--45, 41(6)26--37, 41(6)118--131
optimized, 41(1)397--408, 41(5)11--20, 41(7)135--144, 41(7)145--152, 41(8)21--28
optimizer, 35(7)75--75, 41(1)397--408
optimizing, 35(1)39--52, 35(5)83--94, 36(7)2--11, 36(8)175--180, 36(8)181--181, 36(8)196--204, 36(8)214--222, 36(9)25--30, 36(10)26--37, 38(5)278--288, 38(7)275--283, 38(10)119--130, 38(10)325--331, 39(4)175--191, 39(4)295--312, 39(4)442--459, 39(4)540--553, 39(4)554--567, 39(7)221--230, 41(1)194--205, 41(3)40--48, 41(6)14--25, 41(6)108--117, 41(6)118--131, 41(6)193--203, 41(7)2--11, 41(7)83--92, 41(7)199--208, 41(8)21--28
optional, 41(8)21--28
options, 41(5)21--29
or, 39(10)253--259
or-nothing, all-, 41(9)124--135
Oracle-based, 36(3)142--154
orbit, 39(4)175--191
orchestrated, 39(11)189--198
order, first-, 37(1)203--216, 38(1)185--197, 39(9)150--161, 41(1)115--126, 41(1)168--179
order, Higher-, 39(4)257--269
order, higher-, 37(3)75--86, 37(9)48--59, 37(9)179--190, 38(1)50--61, 38(1)236--249, 38(9)249--262, 38(12)2--2, 39(1)147--160, 39(9)4--15, 40(6)96--106, 40(9)280--293, 41(1)55--66, 41(1)141--152, 41(1)257--268, 41(1)270--282, 41(1)320--333, 41(9)13--25, 41(9)62--73, 41(9)99--110
order, Morton-, 36(7)24--33
order, partial-, 40(1)110--121
order, second-, 39(9)150--161, 41(1)153--165, 41(1)168--179
ordered, Morton-, 41(5)39--45
ordered, Morton-, 38(10)144--154
ordering, 41(5)39--45, 41(7)83--92
ordinary, 41(1)180--193, 41(1)295--308, 41(1)383--396
Oregon, 36(6)19--19
organization, 36(2)26--36
organized, 41(6)118--131
organizing, 41(6)38--51
oriented, 35(2)29--35, 35(10)229--252, 36(11)1--15, 36(11)16--30, 36(11)31--42, 36(11)43--55, 36(11)56--69, 36(11)70--82, 36(11)83--95, 36(11)96--107, 36(11)108--124, 36(11)125--138, 36(11)139--155, 36(11)156--165, 36(11)166--179, 36(11)180--195, 36(11)195--210, 36(11)211--222, 36(11)223--240, 36(11)241--253, 36(11)254--269, 36(11)270--282, 36(11)283--299, 36(11)300--311, 36(11)312--326, 36(11)327--341, 36(11)342--352, 36(11)353--366, 36(11)367--380, 39(10)160--161, 39(10)192--193, 40(5)18--27, 41(2)18--24
oriented, Acceptability-, 38(12)57--75
oriented, agent-, 35(10)253--263
oriented, aspect-, 36(12)84--94, 37(7)38--45, 38(11)1--12, 39(10)166--167, 40(9)306--319, 40(9)320--330, 41(1)383--396
oriented, Component-, 41(3)10--19
oriented, Granule-, 39(10)128--131, 39(12)107--118
Oriented, Object-, 35(2)61--67, 35(3)49--58, 36(4)33--40, 36(12)35--49, 37(4)31--31, 39(4)295--312
oriented, Object-, 35(10)29--46, 36(11)283--299, 39(10)35--36
oriented, performance-, 41(7)163--172
oriented, services-, 39(10)283--289
oriented, stability-, 39(10)220--221
Oriented, Tool-, 35(3)39--48
origin, 41(4)3--14, 41(4)30--35
original, 39(4)372--389, 41(1)270--282, 41(1)346--358, 41(3)30--39, 41(6)61--71, 41(8)21--28
originally, 40(6)261--268
originate, 41(6)118--131
Oriol, Manuel, 41(6)72--83
Oriol, Manuel, see Neamtiu, Iulian
Orlovich, Maksim, 39(6)255--266
Orlovich, Maksim, see Zhong, Yutao
orthogonal, 41(1)309--319
orthogonal, non-, 37(7)130--138
Ortigosa, Alvaro, 35(10)253--263
Ortigosa:2000:TAO, 35(10)253--263
Ortin, Francisco, 38(6)40--49
Ortín, Francisco, 37(8)35--44
Ortin:2002:IRC, 37(8)35--44
Ortin:2003:RNA, 38(6)40--49
OS, 35(11)212--221, 41(7)72--82
Ossher, Harold, 39(10)29--30
Ossher, Harold, see Tarr, Peri
Ossia, Yoav, 37(5)129--140, 38(11)255--268
Ossia, Yoav, see Barabash, Katherine
Ossia:2002:PIC, 37(5)129--140
Ostermann, Klaus, 36(11)283--299, 37(11)52--67, 41(1)270--282
Ostermann, Klaus, see Ernst, Erik, see Mezini, Mira
Ostermann:2001:OOC, 36(11)283--299
Östlund, Helena Åberg, 39(10)16--17
Ostlund:2004:JOA, 39(10)16--17
otherwise, 35(11)168--177, 41(1)168--179, 41(1)383--396, 41(6)181--192
Othman, Ossama, 36(8)205--213
Othman:2001:IDA, 36(8)205--213
Ottoni, Guilherme, 41(6)61--71, 41(6)228--238
Ottoni, Guilherme, see Bridges, Matthew J., see Triantafyllis, Spyridon
out-perform, 41(6)38--51
out-put, 39(4)372--389
outcome, 41(7)103--112
outline, 41(1)269--269
outperform, 39(6)35--46, 41(1)346--358, 41(6)84--95
output, 25(6)92--101, 25(6)112--126, 39(4)360--371, 39(4)372--389, 41(1)180--193, 41(1)218--231, 41(1)372--382, 41(4)16--23, 41(6)96--107, 41(6)158--168, 41(6)169--180, 41(7)135--144
output, input-, 41(1)67--78
outside, 41(5)11--20, 41(9)74--86, 41(9)99--110
outsourcing, 39(10)145--147
overall, 41(6)263--271
overapproximation, 41(7)54--63
overcoming, 35(2)46--53, 35(7)1--11
overflow, 38(5)155--167, 41(6)144--157, 41(6)158--168, 41(7)34--43
overhead, Low-, 39(11)156--164
overhead, low-, 41(6)263--271, 41(6)332--340
overlap, 41(6)263--271
overlapping, 41(7)54--63
overload, 40(7)50--58
overloading, 37(1)233--244, 37(9)167--178, 41(1)295--308
oversimplification, 39(4)372--389
overview, 37(8)45--52, 39(4)38--48, 39(8)31--38
Owens, John D., 35(11)82--92
Owens, John D., see Mattson, Peter
Owens, Scott, 41(9)87--98
Owens:2006:SFM, 41(9)87--98
own, 38(4)7--12
ownership, 37(11)211--230, 37(11)292--310, 38(1)213--223, 38(5)324--337, 39(10)50--51, 40(6)96--106, 41(1)359--371
Owshanko, Avi, 37(5)129--140
Owshanko, Avi, see Ossia, Yoav