847646b534c1e4319c6a706bf9e0517c61442a6a
[pintos-anon] / sigcse2009 / sigcse2009.bib
1 %
2 % This file is automatically generated by citeulike.org
3 %
4 @inproceedings{Yu2005RaceTrack,
5         address = {New York, NY, USA},
6         author = {Yu, Yuan   and Rodeheffer, Tom   and Chen, Wei  },
7         booktitle = {SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles},
8         citeulike-article-id = {2373000},
9         doi = {10.1145/1095810.1095832},
10         isbn = {1595930795},
11         pages = {221--234},
12         posted-at = {2008-08-29 13:59:10},
13         priority = {2},
14         publisher = {ACM},
15         title = {RaceTrack: efficient detection of data race conditions via adaptive tracking},
16         url = {http://portal.acm.org/citation.cfm?id=1095810.1095832},
17         year = {2005}
18 }
19
20
21
22 @article{1352648,
23         address = {, USA},
24         author = {Gaspar, Alessio   and Langevin, Sarah   and Armitage, William  D.  and Rideout, Matt  },
25         citeulike-article-id = {3170970},
26         journal = {J. Comput. Small Coll.},
27         number = {5},
28         pages = {123--132},
29         posted-at = {2008-08-29 02:42:41},
30         priority = {2},
31         publisher = {Consortium for Computing Sciences in Colleges},
32         title = {March of the (virtual) machines: past, present, and future milestones in the adoption of virtualization in computing education},
33         volume = {23},
34         year = {2008}
35 }
36
37
38
39 @inproceedings{1352201,
40         address = {New York, NY, USA},
41         author = {Brylow, Dennis  },
42         booktitle = {SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education},
43         citeulike-article-id = {3170966},
44         doi = {http://doi.acm.org/10.1145/1352135.1352201},
45         location = {Portland, OR, USA},
46         pages = {192--196},
47         posted-at = {2008-08-29 02:40:19},
48         priority = {2},
49         publisher = {ACM},
50         title = {An experimental laboratory environment for teaching embedded operating systems},
51         url = {http://dx.doi.org/http://doi.acm.org/10.1145/1352135.1352201},
52         year = {2008}
53 }
54
55
56
57 @article{1067462,
58         address = {New York, NY, USA},
59         author = {Goldweber, Michael   and Davoli, Renzo   and Morsiani, Mauro  },
60         citeulike-article-id = {3170961},
61         doi = {http://doi.acm.org/10.1145/1151954.1067462},
62         journal = {SIGCSE Bull.},
63         number = {3},
64         pages = {49--53},
65         posted-at = {2008-08-29 02:36:28},
66         priority = {2},
67         publisher = {ACM},
68         title = {The Kaya OS project and the {\$\\mu\$}MPS hardware emulator},
69         url = {http://dx.doi.org/http://doi.acm.org/10.1145/1151954.1067462},
70         volume = {37},
71         year = {2005}
72 }
73
74
75
76 @inproceedings{1008027,
77         address = {New York, NY, USA},
78         author = {Davoli, Renzo  },
79         booktitle = {ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education},
80         citeulike-article-id = {3170960},
81         doi = {http://doi.acm.org/10.1145/1007996.1008027},
82         location = {Leeds, United Kingdom},
83         pages = {112--116},
84         posted-at = {2008-08-29 02:36:03},
85         priority = {2},
86         publisher = {ACM},
87         title = {Teaching operating systems administration with user mode linux},
88         url = {http://dx.doi.org/http://doi.acm.org/10.1145/1007996.1008027},
89         year = {2004}
90 }
91
92
93
94 @inproceedings{299805,
95         address = {New York, NY, USA},
96         author = {Goldweber, Michael   and Barr, John   and Camp, Tracy   and Grahm, John   and Hartley, Stephen  },
97         booktitle = {SIGCSE '99: The proceedings of the thirtieth SIGCSE technical symposium on Computer science education},
98         citeulike-article-id = {3170955},
99         doi = {http://doi.acm.org/10.1145/299649.299805},
100         location = {New Orleans, Louisiana, United States},
101         pages = {348--349},
102         posted-at = {2008-08-29 02:32:49},
103         priority = {2},
104         publisher = {ACM},
105         title = {A comparison of operating systems courseware},
106         url = {http://dx.doi.org/http://doi.acm.org/10.1145/299649.299805},
107         year = {1999}
108 }
109
110
111
112 @inproceedings{563384,
113         address = {New York, NY, USA},
114         author = {Atkin, Benjamin   and Sirer, Emin  G. },
115         booktitle = {SIGCSE '02: Proceedings of the 33rd SIGCSE technical symposium on Computer science education},
116         citeulike-article-id = {3170954},
117         doi = {http://doi.acm.org.ezproxy.lib.vt.edu:8080/10.1145/563340.563384},
118         location = {Cincinnati, Kentucky},
119         pages = {116--120},
120         posted-at = {2008-08-29 02:32:08},
121         priority = {2},
122         publisher = {ACM},
123         title = {PortOS: an educational operating system for the Post-PC environment},
124         url = {http://dx.doi.org/http://doi.acm.org.ezproxy.lib.vt.edu:8080/10.1145/563340.563384},
125         year = {2002}
126 }
127
128
129
130 @article{1088822,
131         address = {, USA},
132         author = {Anderson, Charles  L.  and Nguyen, Minh  },
133         citeulike-article-id = {3170948},
134         journal = {J. Comput. Small Coll.},
135         number = {1},
136         pages = {183--190},
137         posted-at = {2008-08-29 02:26:24},
138         priority = {2},
139         publisher = {Consortium for Computing Sciences in Colleges},
140         title = {A survey of contemporary instructional operating systems for use in undergraduate courses},
141         volume = {21},
142         year = {2005}
143 }
144
145
146
147 @inproceedings{1370881,
148         address = {New York, NY, USA},
149         author = {Babka, Vlastimil   and Bulej, Lubomir   and Decky, Martin   and Holub, Viliam   and Tuma, Petr  },
150         booktitle = {SEESE '08: Proceedings of the 2008 international workshop on Software Engineering in east and south europe},
151         citeulike-article-id = {3170946},
152         doi = {http://doi.acm.org/10.1145/1370868.1370881},
153         location = {Leipzig, Germany},
154         pages = {71--78},
155         posted-at = {2008-08-29 02:24:56},
156         priority = {2},
157         publisher = {ACM},
158         title = {Teaching operating systems: student assignments and the software engineering perspective},
159         url = {http://dx.doi.org/http://doi.acm.org/10.1145/1370868.1370881},
160         year = {2008}
161 }
162
163
164
165 @article{1292450,
166         address = {, USA},
167         author = {Gaspar, Alessio   and Boyer, Naomi   and Ejnioui, Abdel  },
168         citeulike-article-id = {3170945},
169         journal = {J. Comput. Small Coll.},
170         number = {2},
171         pages = {120--127},
172         posted-at = {2008-08-29 02:23:25},
173         priority = {2},
174         publisher = {Consortium for Computing Sciences in Colleges},
175         title = {Role of the C language in current computing curricula part 1: survey analysis},
176         volume = {23},
177         year = {2007}
178 }
179
180
181
182 @inproceedings{1167448,
183         address = {New York, NY, USA},
184         author = {Hill, James  H.  and Gokhale, Aniruddha  S. },
185         booktitle = {ACM-SE 43: Proceedings of the 43rd annual Southeast regional conference},
186         citeulike-article-id = {3170941},
187         doi = {http://doi.acm.org/10.1145/1167350.1167448},
188         location = {Kennesaw, Georgia},
189         pages = {355--358},
190         posted-at = {2008-08-29 02:19:41},
191         priority = {2},
192         publisher = {ACM},
193         title = {Visual OS: design and implementation of a visual framework for learning operating system concepts},
194         url = {http://dx.doi.org/http://doi.acm.org/10.1145/1167350.1167448},
195         year = {2005}
196 }
197
198
199
200 @article{1352199,
201         address = {New York, NY, USA},
202         author = {Lawson, Barry   and Barnett, Lewis  },
203         citeulike-article-id = {3170937},
204         doi = {http://doi.acm.org/10.1145/1352322.1352199},
205         journal = {SIGCSE Bull.},
206         number = {1},
207         pages = {182--186},
208         posted-at = {2008-08-29 02:18:53},
209         priority = {2},
210         publisher = {ACM},
211         title = {Using iPodLinux in an introductory OS course},
212         url = {http://dx.doi.org/http://doi.acm.org/10.1145/1352322.1352199},
213         volume = {40},
214         year = {2008}
215 }
216
217
218
219 @inproceedings{Bellard2005QEMU,
220         address = {Berkeley, CA, USA},
221         author = {Bellard, Fabrice  },
222         booktitle = {ATEC'05: Proceedings of the USENIX Annual Technical Conference 2005 on USENIX Annual Technical Conference},
223         citeulike-article-id = {2373099},
224         pages = {41},
225         posted-at = {2008-08-29 02:02:24},
226         priority = {2},
227         publisher = {USENIX Association},
228         title = {QEMU, a fast and portable dynamic translator},
229         url = {http://portal.acm.org/citation.cfm?id=1247401},
230         year = {2005}
231 }
232
233
234
235 @book{Boehm1981Software,
236         author = {Boehm, Barry  W. },
237         citeulike-article-id = {126034},
238         isbn = {0138221227},
239         posted-at = {2008-08-29 02:01:18},
240         priority = {2},
241         publisher = {Prentice Hall PTR},
242         title = {Software Engineering Economics},
243         url = {http://portal.acm.org/citation.cfm?id=539425},
244         year = {1981}
245 }
246
247
248
249 @book{Deitel2003Operating,
250         abstract = {The third edition of \_Operating Systems\_**\_ has been entirely updated to
251 reflect current core operating system concepts and design considerations. To
252 complement the discussion of operating system concepts, the book features two
253 in-depth case studies on Linux and Windows XP. The case studies follow the
254 outline of the book, so readers working through the chapter material can refer
255 to each case study to see how a particular topic is handled in either Linux or
256 Windows XP. Using Java code to illustrate key points, \_Operating Systems\_**\_
257 introduces processes, concurrent programming, deadlock and indefinite
258 postponement, mutual exclusion, physical and virtual memory, file systems,
259 disk performance, distributed systems, security and more. New to this edition
260 are a chapter on multithreading and extensive treatments of distributed
261 computing, multiprocessing, performance, and computer security. An ideal up-
262 to-date book for beginner operating systems readers.},
263         author = {Deitel, Harvey  M.  and Deitel, Paul  J.  and Choffnes, David  R. },
264         citeulike-article-id = {3138498},
265         edition = {3},
266         howpublished = {Hardcover},
267         isbn = {0131828274},
268         month = {December},
269         posted-at = {2008-08-20 05:38:59},
270         priority = {2},
271         publisher = {Prentice Hall},
272         title = {Operating Systems (3rd Edition)},
273         url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0131828274},
274         year = {2003}
275 }
276
277
278
279 @book{Bryant2002Computer,
280         abstract = {This book explains the important and enduring concepts underlying all computer
281 systems, and shows the concrete ways that these ideas affect the correctness,
282 performance, and utility of application programs. The book's concrete and
283 hands-on approach will help readers understand what is going on “under the
284 hood” of a computer system. This book focuses on the key concepts of basic
285 network programming, program structure and execution, running programs on a
286 system, and interaction and communication between programs. For anyone
287 interested in computer organization and architecture as well as computer
288 systems.},
289         author = {Bryant, Randal  E.  and O'Hallaron, David  R. },
290         citeulike-article-id = {3138486},
291         edition = {US Ed},
292         howpublished = {Hardcover},
293         isbn = {013034074X},
294         month = {August},
295         posted-at = {2008-08-20 05:10:24},
296         priority = {2},
297         publisher = {Prentice Hall},
298         title = {Computer Systems: A Programmer's Perspective},
299         url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/013034074X},
300         year = {2002}
301 }
302
303
304
305 @book{HoltConcurrent,
306         author = {Holt, R. C. },
307         citeulike-article-id = {3138475},
308         howpublished = {Paperback},
309         isbn = {0201106949},
310         posted-at = {2008-08-20 04:46:50},
311         priority = {2},
312         publisher = {Addison-Wesley},
313         title = {Concurrent Euclid, the Unix* System, and Tunis (Addison-Wesley series in computer science)},
314         url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0201106949}
315 }
316
317
318
319 @article{Atwood1984Use,
320         address = {New York, NY, USA},
321         author = {Atwood, J. W. },
322         citeulike-article-id = {3138471},
323         doi = {10.1145/850755.850756},
324         issn = {0163-5980},
325         journal = {SIGOPS Oper. Syst. Rev.},
326         month = {April},
327         number = {2},
328         pages = {6--7},
329         posted-at = {2008-08-20 04:43:34},
330         priority = {2},
331         publisher = {ACM},
332         title = {Use of Tunis in an operating systems design course},
333         url = {http://portal.acm.org/citation.cfm?id=850755.850756},
334         volume = {18},
335         year = {1984}
336 }
337
338
339
340 @inproceedings{Christopher1993Nachos,
341         address = {Berkeley, CA, USA},
342         author = {Christopher, Wayne  A.  and Procter, Steven  J.  and Anderson, Thomas  E. },
343         booktitle = {USENIX'93: Proceedings of the USENIX Winter 1993 Conference},
344         citeulike-article-id = {2757938},
345         pages = {4},
346         posted-at = {2008-08-20 04:38:57},
347         priority = {2},
348         publisher = {USENIX Association},
349         title = {The Nachos instructional operating system},
350         url = {http://portal.acm.org/citation.cfm?id=1267307},
351         year = {1993}
352 }
353
354
355
356 @inproceedings{Atkin2002PortOS,
357         address = {New York, NY, USA},
358         author = {Atkin, Benjamin   and Sirer, Emin  G. },
359         booktitle = {SIGCSE '02: Proceedings of the 33rd SIGCSE technical symposium on Computer science education},
360         citeulike-article-id = {3138468},
361         doi = {10.1145/563340.563384},
362         isbn = {1581134738},
363         location = {Cincinnati, Kentucky},
364         pages = {116--120},
365         posted-at = {2008-08-20 04:37:53},
366         priority = {2},
367         publisher = {ACM},
368         title = {PortOS: an educational operating system for the Post-PC environment},
369         url = {http://portal.acm.org/citation.cfm?id=563340.563384},
370         year = {2002}
371 }
372
373
374
375 @inproceedings{Derosa2006Realism,
376         address = {New York, NY, USA},
377         author = {Derosa, Peter   and Shen, Kai   and Stewart, Christopher   and Pearson, Jonathan  },
378         booktitle = {SIGCSE '06: Proceedings of the 37th SIGCSE technical symposium on Computer science education},
379         citeulike-article-id = {3138467},
380         doi = {10.1145/1121341.1121436},
381         isbn = {1595932593},
382         location = {Houston, Texas, USA},
383         pages = {308--312},
384         posted-at = {2008-08-20 04:37:44},
385         priority = {2},
386         publisher = {ACM},
387         title = {Realism and simplicity: disk simulation for instructional OS performance evaluation},
388         url = {http://portal.acm.org/citation.cfm?id=1121341.1121436},
389         year = {2006}
390 }
391
392
393
394 @inproceedings{Nieh2005Experiences,
395         address = {New York, NY, USA},
396         author = {Nieh, Jason   and Vaill, Chris  },
397         booktitle = {SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education},
398         citeulike-article-id = {1557532},
399         doi = {10.1145/1047344.1047508},
400         issn = {0097-8418},
401         pages = {520--524},
402         posted-at = {2008-08-20 04:36:38},
403         priority = {2},
404         publisher = {ACM Press},
405         title = {Experiences teaching operating systems using virtual platforms and linux},
406         url = {http://portal.acm.org/citation.cfm?id=1047508},
407         year = {2005}
408 }
409
410
411
412 @inproceedings{Holland2002New,
413         address = {New York, NY, USA},
414         author = {Holland, David  A.  and Lim, Ada  T.  and Seltzer, Margo  I. },
415         booktitle = {SIGCSE '02: Proceedings of the 33rd SIGCSE technical symposium on Computer science education},
416         citeulike-article-id = {1557559},
417         doi = {10.1145/563340.563383},
418         issn = {0097-8418},
419         pages = {111--115},
420         posted-at = {2008-08-20 04:20:23},
421         priority = {2},
422         publisher = {ACM Press},
423         title = {A new instructional operating system},
424         url = {http://portal.acm.org/citation.cfm?id=563383},
425         year = {2002}
426 }
427
428
429
430 @inproceedings{Hovemeyer2004Running,
431         address = {New York, NY, USA},
432         author = {Hovemeyer, David   and Hollingsworth, Jeffrey  K.  and Bhattacharjee, Bobby  },
433         booktitle = {SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education},
434         citeulike-article-id = {3138451},
435         doi = {10.1145/971300.971411},
436         isbn = {1581137982},
437         location = {Norfolk, Virginia, USA},
438         pages = {315--319},
439         posted-at = {2008-08-20 04:19:33},
440         priority = {2},
441         publisher = {ACM},
442         title = {Running on the bare metal with GeekOS},
443         url = {http://portal.acm.org/citation.cfm?id=971300.971411},
444         year = {2004}
445 }
446
447
448
449