-
Notifications
You must be signed in to change notification settings - Fork 10
/
other.bib
1273 lines (1035 loc) · 40.7 KB
/
other.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
% -*- BibTeX -*-
%
% Miscellaneous computer science bibliography entries.
% These should likely be better organized.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Development tools
%%%
@Misc{idea,
key = "IDEA",
title = "{JetBrains IntelliJ IDEA}",
howpublished = "\url{http://www.intellij.com/idea/}",
URL = "http://www.intellij.com/idea/"
}
@Misc{eclipse,
key = "Eclipse",
title = "Eclipse Project",
howpublished = "\url{http://www.eclipse.org/}",
URL = "http://www.eclipse.org/"
}
@Misc{codeguide,
key = "CodeGuide",
title = "{OmniCore} {CodeGuide}",
howpublished = "\url{http://www.omnicore.com/codeguide.htm}",
URL = "http://www.omnicore.com/codeguide.htm"
}
@Misc{Agitar,
title = "Agitar Software",
key = "Agitar",
note = "\url{http://www.agitar.com/}",
}
% See http://research.microsoft.com/~akenn/units/index.html
@PhdThesis{Kennedy96,
author = {Andrew Kennedy},
title = {Programming Languages and Dimensions},
school = {University of Cambridge},
year = 1996,
month = {April}
}
@Misc{RNAfoldVienna,
author = {Ivo Hofacker},
title = {Vienna {RNA} Package},
howpublished = {\url{http://www.tbi.univie.ac.at/~ivo/RNA/}}
}
@InCollection{299104,
author = {Thorsten Joachims},
title = {Making large-scale support vector machine learning practical},
booktitle = {Advances in kernel methods: support vector learning},
year = {1999},
isbn = {0-262-19416-3},
pages = {169--184},
publisher = {MIT Press},
address = {Cambridge, MA, USA},
}
@Manual{CC01a,
author = {Chih-Chung Chang and Chih-Jen Lin},
title = {{LIBSVM}: a library for support vector machines},
year = {2001},
note = {Software available at \url{http://www.csie.ntu.edu.tw/~cjlin/libsvm}}
}
@Book{Meyer97,
author = "Bertrand Meyer",
title = "Object-Oriented Software Construction",
publisher = "Prentice Hall",
year = 1997,
edition = "second",
}
@Book{EiffelIsoStandard2006,
editor = "{ECMA Technical Group TG49-TG4 (Eiffel) of ECMA Technical Committee 49 (Programming Languages)}",
title = "Standard ECMA-367 and ISO/IEC 25436:2006, Eiffel Analysis, Design and Programming Language",
publisher = "ECMA International and International Standards Organization",
year = 2006,
address = "Geneva",
month = jun,
}
@book{klabnik2018rust,
title={The Rust Programming Language},
author={Steve Klabnik and Carol Nichols},
year={2018},
url={https://doc.rust-lang.org/stable/book/},
publisher = "No Starch Press",
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Other tools
%%%
@misc{codeql,
key = {{CodeQL}},
title={{CodeQL}},
author="Microsoft",
year="accessed 2023",
howpublished = {\url{https://codeql.github.com}},
}
@misc{lucene,
title={{Lucene.NET} is a high performance search library for {.NET}},
key={{Lucene.NET}},
howpublished = {\url{https://lucenenet.apache.org/}},
year="accessed 2023",
}
@misc{efcore,
key = {{EF Core}},
title={{Entity Framework Core}},
howpublished = {\url{https://github.com/dotnet/efcore\#entity-framework-core}},
year="accessed 2023",
}
@misc{ecj-resource-leak,
howpublished={\url{hhttps://help.eclipse.org/2023-03/index.jsp?topic=\%2Forg.eclipse.jdt.doc.user\%2Ftasks\%2Ftask-avoiding_resource_leaks.htm}},
author = {{Eclipse developers}},
year = {2023},
title = {Avoiding resource leaks},
note = {Accessed 24 March 2023},
}
@misc{infer-sharp,
howpublished={\url{https://github.com/microsoft/infersharp/wiki/InferSharp:-A-Scalable-Code-Analytics-Tool-for-.NET}},
author = {{InferSharp developers}},
year = {2023},
title = {InferSharp},
note = {Accessed 24 March 2023},
}
@misc{pmd-resource-leak,
howpublished={\url{https://pmd.sourceforge.io/pmd-6.55.0/pmd_rules_java_errorprone.html\#closeresource}},
author = {{PMD developers}},
year = {2023},
title = {CloseResource},
note = {Accessed 24 March 2023},
}
@misc{optional-checker-manual,
key = {Optional Checker},
title = {{Optional Checker} for possibly-present data},
howpublished = {\url{https://checkerframework.org/manual/\#optional-checker}},
note = {Accessed 2018-03-01},
year = 2018,
}
@misc{cf-wpi,
key = {{CheckerWPI}},
title = {{Checker Framework Whole-Program Inference}},
howpublished = {\url{https://checkerframework.org/manual/\#whole-program-inference}},
note = {Accessed 28 March 2023},
year = 2023,
}
@misc{rlc-manual,
key = {{CheckerRLC}},
title = {{Resource Leak Checker for must-call obligations}},
howpublished = {\url{https://checkerframework.org/manual/\#resource-leak-checker}},
note = {Accessed 29 July 2023},
year = 2023,
}
@misc{codeql-csharp-dataflow,
key = {{CodeQLCSharpDataflow}},
title = {{Analyzing data flow in C\#}},
howpublished = {\url{https://codeql.github.com/docs/codeql-language-guides/analyzing-data-flow-in-csharp/}},
note = {Accessed 28 March 2023},
year = 2023,
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Program synthesis
%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Uncategorized
%%%
@Book{Knuth68,
Key={Knuth, B* tree},
Author={Donald E. Knuth},
Publisher={Addison-Wesley},
Title={The Art of Computer Programming, Volume 3},
Year=1968,
Address={Reading, Mass.}
}
@InCollection{KaehlerK83,
Key={Kaehler, Krasner},
Author={Ted Kaehler and Glenn Krasner},
Booktitle={Smalltalk-80 --- Bits of History, Words of Advice},
Publisher={Addison-Wesley},
Title={LOOM --- Large Object-Oriented Memory for Smalltalk-80 Systems},
Year=1983,
Chapter=14,
Editor={G. Krasner},
Pages={251--270}
}
@Article{Parberry89,
author = "Ian Parberry",
title = "A guide for new referees in theoretical computer science",
journal = "SIGACT News",
year = 1989,
month = Nov
}
@Unpublished{Parberry90,
author = "Ian Parberry",
title = "A guide for new referees in theoretical computer science",
note = "Available via anonymous ftp from ftp.unt.edu:/pub/ian;
previously appeared in SIGACT News and Bulletin of the EATCS",
year = 1990,
month = apr
}
@Unpublished{Parberry93,
author = "Ian Parberry",
title = "How to present a paper in theoretical computer science:
a speaker's guide for students",
note = "Available via anonymous ftp from ftp.unt.edu:/pub/ian;
previously appeared in SIGACT News and Bulletin of the EATCS",
OPTcrossref = "",
OPTkey = "",
OPTyear = "",
OPTmonth = "",
OPTannote = ""
}
@Article{BlumFPRT73,
author = "Manuel Blum and Robert W. Floyd and Vaughan Pratt and
Ronald L. Rivest and Robert E. Tarjan",
title = "Time bounds for selection",
journal = JCSS,
year = 1973,
volume = 7,
number = 4,
pages = "448--461"
}
@Book{CormenLR90,
author = "Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest",
title = "Introduction to Algorithms",
publisher = "MIT Press and McGraw-Hill",
year = 1990,
series = "MIT Electrical Engineering and Computer Science Series",
address = "Cambridge, Massachusetts and New York, New York"
}
@InProceedings{AjtaiKS83,
author = "M. Ajtai and J. Koml\'os and E. Szemer\'edi",
title = "An {$O(n \log n)$} sorting network",
booktitle = "Proceedings of the Fifteenth Annual ACM Symposium on
Theory of Computing",
pages = "1--9",
year = 1983
}
@Book{Siebert86,
author = "William McC. Siebert",
title = "Circuits, Signals, and Systems",
publisher = "MIT Press and McGraw-Hill",
year = 1986,
series = "MIT Electrical Engineering and Computer Science Series",
address = "Cambridge, Massachusetts and New York, New York"
}
@Book{SenturiaW75,
author = "Stephen D. Senturia and Bruce D. Wedlock",
title = "Electronic Circuits and Applications",
publisher = "John Wiley \& Sons",
year = 1975,
address = "New York, New York"
}
@Book{KernighanR88,
author = "Brian W. Kernighan and Dennis M. Ritchie",
title = "The {C} Programming Language",
publisher = "Prentice Hall",
year = 1988,
series = "Software Series",
address = "Englewood Cliffs, New Jersey",
edition = "Second"
}
@Manual{Tansy89,
title = "{SPARC}station1 {Sun} System User's Guide",
author = "Barbara Tansy",
organization = "Sun Microsystems",
year = 1989
}
@TechReport{Stephen92,
author = "Graham A Stephen",
title = "String Search",
institution = "University College of North Wales",
year = 1992,
number = "TR-92-gas-01",
address = "Bangor, Gwynedd, UK",
month = Oct
}
@TechReport{Spertus91,
author = "Ellen Spertus",
title = "Why are there so few female computer scientists?",
institution = "MIT AI Laboratory",
year = 1991,
number = 1315,
address = "Cambridge, MA",
month = aug
}
@TechReport{DeHonEKM93,
author = "Andr\'e DeHon and Ian Eslick and Thomas Knight and John Mallery",
title = "Prospects for a smart compiler",
institution = mit,
year = 1993,
type = "Transit Note",
number = 87,
address = "Cambridge, MA",
month = Jun # "~27,"
}
@Book{LewisC81,
author = "Harry R. Lewis and Christos H. Papadimitriou",
title = "Elements of the Theory of Computation",
publisher = "Prentice-Hall",
year = 1981,
series = "Prentice-Hall Software Series",
address = "Englewood Cliffs, New Jersey"
}
@Manual{CoreyMJF87,
title = "Explorer Coding Style Standards",
author = "Stephen M. Corey and Penny Muncaster-Jewell and Bob Faulkner",
organization = "Texas Instruments Computer Science Center",
year = 1987,
month = Jul # "~28,",
note = "TI Internal Data"
}
% The braces around {Kant <...>} help BibTeX understand that the author's
% last name is not an email address.
@Unpublished{Kant91,
author = "Elaine {Kant {\tt <kant@slcs.slb.com>}}",
title = "Finding a Good Job",
note = "Electronic mail to {\tt systers@pa.dec.com} regarding
techniques for (female) PhD graduates searching for a
first academic or corporate position."
}
@Misc{Simonyi:HungarianNotation,
author = "Charles Simonyi",
title = "Hungarian Notation",
howpublished = "\url{https://msdn.microsoft.com/en-us/library/aa260976\%28VS.60%29.aspx}",
}
@Unpublished{Klunder88,
author = "Doug Klunder",
title = "Naming Conventions ({Hungarian})",
note = "Internal Microsoft document",
year = 1988,
month = Jan # "~18,"
}
@Article{Zloof77,
author = "Mosh{\'e} M. Zloof",
title = "Query-by-{Example}: a data base language",
journal = "IBM Systems Journal",
year = 1977,
volume = 16,
number = 4,
pages = "324--343"
}
% Not sure about this reference.
@InProceedings{Zloof79,
author = "M. M. Zloof",
title = "Query-by-{Example} --- language design considerations",
booktitle = "Man/Computer Communication",
pages = "355--363",
year = 1979
}
@TechReport{WrightC93,
author = "Andrew K. Wright and Robert Cartwright",
title = "A practical soft type system for {Scheme}",
institution = "Rice University Department of Computer Science",
year = 1993,
number = "TR93-218",
address = "Houston, TX",
month = Dec # "~6,"
}
@Misc{DesJardins94,
author = "Marie desJardins",
title = "How to be a good (graduate student / advisor)",
year = 1994,
month = Mar,
note = "marie@erg.sri.com"
}
@Manual{MITScheme7.3,
title = "{MIT} {Scheme} Reference Manual",
author = "Chris Hanson",
organization = "MIT Scheme Team",
address = "Cambridge, MA",
edition = "1.41 beta for Scheme release 7.3",
year = 1993,
month = Dec # "~6,"
}
@Manual{GNUEmacs19.26,
title = "{GNU} {Emacs} Manual",
author = "Richard Stallman",
organization = "Free Software Foundation",
address = "Cambridge, MA",
edition = "Tenth",
year = 1994,
month = Jul,
note = "ISBN 1-882114-03-5"
}
@Misc{emacs,
key = "Emacs",
title = "Emacs",
howpublished = "\url{http://www.emacs.org}",
URL = "http://www.emacs.org"
}
@Misc{Kenner95,
author = "Richard Kenner",
title = "Targetting and retargetting the {GNU} {C} compiler",
howpublished = "POPL '95 tutorial notes",
year = 1995,
month = jan # "~16,"
}
@InProceedings{KautzS96,
author = "Henry Kautz and Bart Selman",
title = "Pushing the envelope: planning, propositional logic, and
stochastic search",
booktitle = "Proc.\ AAAI-96",
year = 1996,
address = "Portland, OR",
pages = "1194--1201"
}
@InProceedings{KautzSM96,
author = "Henry Kautz and David McAllester and Bart Selman",
title= "Encoding plans in propositional logic",
booktitle = "Proc. KR-96",
year = 1996
}
@InProceedings{Pattis88,
author = "Richard E. Pattis",
title = "Textbook errors in binary search",
booktitle = "{ACM} {SIGCSE} Technical Symposium on Computer Science Education",
pages = "190--194",
year = 1988,
OPTaddress = "",
OPTmonth = "",
OPTorganization = "",
OPTpublisher = ""
}
@Article{Lebeck:1994:CPS,
author = "Alvin R. Lebeck and David A. Wood",
title = "Cache Profiling and the {SPEC} Benchmarks: {A} Case
Study",
journal = "Computer",
volume = "27",
number = "10",
pages = "15--26",
month = oct,
year = "1994",
coden = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Mon Feb 3 07:28:57 MST 1997",
abstract = "A vital tool-box component, the CProf cache profiling
system lets programmers identify hot spots by providing
cache performance information at the source-line and
data-structure level.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Wisconsin Univ., Madison, WI,
USA",
affiliationaddress = "Madison, WI, USA",
classification = "722.1; 722.4; 723.1; 723.1.1; 723.2; 921.6; C5470
(Performance evaluation and testing); C6115
(Programming support); C6150G (Diagnostic, testing,
debugging and evaluating systems)",
journalabr = "Computer",
keywords = "Algorithms; Cache mappings; Cache performance
information; Cache performance profiling; Code
converters; Computer systems programming; Computer
workstations; CProf cache profiling system; Cycle time
gap; Data transfer; Data-structure; Digital arithmetic;
Execution time profiling tools; Fortran (programming
language); Main memory; Mathematical models; Memory
reference patterns; Parallel processing systems;
Problematic code sections; Program compilers; Program
processors; Program transformations; Software package
CProf; Source-line; Spatial locality; SPEC benchmarks;
Storage allocation (computer); Systems analysis;
Traversing versions",
thesaurus = "Buffer storage; Performance evaluation; Software
tools; System monitoring",
}
@Article{Lampson:1984:HCS,
author = "Butler W. Lampson",
title = "Hints for Computer System Design",
journal = IEEESoftware,
volume = "1",
number = "1",
pages = "11--28",
month = jan,
year = "1984",
coden = "IESOEG",
ISSN = "0740-7459",
bibdate = "Sat Jan 25 07:35:26 MST 1997",
acknowledgement = ack-nhfb,
classification = "722; 723",
journalabr = "IEEE Software",
keywords = "computer programming --- Computer Interfaces; computer
systems, digital; prototypes; system speed",
}
@Article{Bamberger:1995:SPP,
author = "Judy Bamberger and James Hook",
title = "Software Process Practicum: Lessons in Software
Quality and Leadership",
journal = "Ada User Journal",
volume = "16",
number = "4",
pages = "205--211",
month = dec,
year = "1995",
coden = "AUJOET",
ISSN = "0268-652X",
bibdate = "Mon Sep 8 18:43:50 MDT 1997",
abstract = "This paper describes a Software Process Practicum
covering Software Quality and Leadership topics taught
at the Oregon Graduate Institute during the Fall term,
1994. The Practicum is a result of a partnership
between industry and academia, quality practitioner and
theoretically oriented professor. It is structured to
meet both short-term training and long-term education
needs. The Software Process Practicum is a unique and
highly effective course covering the `hard' issues
(quality processes), the `soft' issues (social
processes), and specific techniques that require
merging the two. The students who took the first
offering of the Software Process Practicum have used in
their work environment the concepts and techniques we
taught in the classroom. They are continuing to
demonstrate objective evidence of improvement on
personal and organizational processes, which is visible
to many of their managers and Vice Presidents.",
acknowledgement = ack-nhfb,
affiliation = "RESULTS - Partners in Process Improvement",
affiliationaddress = "Portland, OR, USA",
classification = "723.1; 723.5; 901.1.1; 901.2; 903.2; 912.4; C0220
(Computing education and training); C6110B (Software
engineering techniques)",
corpsource = "Partners in Process Improvement, Portland, OR, USA",
journalabr = "Ada User J",
keywords = "computer science education; Computer software;
Education; education; educational course; educational
courses; human factors; leadership; Models;
organizational process; personal process; Personnel
training; Professional aspects; social processes;
Societies and institutions; Software engineering;
Software process practicum; Software Process Practicum;
software quality; Software quality and leadership;
Supervisory personnel; Technical presentations;
training",
pubcountry = "Netherlands",
treatment = "P Practical",
}
@TechReport{ncstrl.ogi_cse//CSE-97-006,
number = "CSE-97-006",
institution = "Oregon Graduate Institute of Science and Technology",
title = "Teaching Software Quality and Leadership: Experiences
and Successes",
month = sep # " 11,",
year = "1997",
bibdate = "September 13, 97",
url = "ftp://cse.ogi.edu/pub/tech-reports/1997/97-006.ps.gz",
author = "Judy Bamberger and James Hook",
abstract = "Is it possible to teach software quality and
leadership concepts and skills at the graduate level?
Can this be done simultaneously within the nurturing
environment of the classroom and the risky world of
industry? Is it possible to provide students with
enough skills and techniques to demonstrate immediate
results and, at the same time, provide them with enough
background and concepts that they become intelligent
consumers and decision makers when it comes to software
quality issues? The Software Process Practicum: Lessons
in Software Quality and Leader-ship, taught at the
Oregon Graduate Institute fall term 1994 - 1996,
provides a clear demonstration that the answer is an
emphatic, {"}YES!{"} The Software Process Practicum won
the 1996 Software Quality Excellence Award offered by
the Pacific Northwest Software Quality Conference,
confirming that it is not only possible, but that it
can be done well, and that a university course can
provide significant opportunities to its students to
make a difference in the professional community. This
paper covers the following areas: * The background of
the Software Process Practicum and the premises on
which it is designed * The overall Practicum framework
and modules taught * An overview of the Software Skills
and Competency Model on which the Practicum is based *
The impact the course has had on some of our students
and the results that they, and the organizations for
which they work, are seeing * Future directions",
}
@Article{ChoiCytronFerrante94,
key = "Choi et al.",
author = "J.-D. Choi and R. Cytron and J. Ferrante",
title = "On the Efficient Engineering of Ambitious Program
Analysis",
journal = "IEEE Transactions on Software Engineering",
pages = "105--114",
volume = "20",
number = "2",
month = feb,
year = "1994",
}
@Unpublished{PittsS93,
author = "Andrew Pitts and Ian Stark",
title = "Observable properties of higher order functions that
dynamically create local names, or: What's {\em new}?",
note = "Distributed electronically",
year = 1993,
month = May
}
@Book{Winston92:AI,
author = "Patrick Henry Winston",
title = "Artificial Intelligence",
publisher = "Addison-Wesley",
year = 1992,
OPTaddress = "",
edition = "third"
}
@InProceedings{PaiDZ99,
author = "Vivek S. Pai and Peter Druschel and Willy Zwaenepoel",
title = "Flash: An efficient and portable {Web} server",
crossref = "USENIX99",
pages = "199--212",
}
@article{schapire90strength,
author = "Robert E. Schapire",
title = "The strength of weak learnability",
journal = "Machine Learning",
volume = "5",
pages = "197--227",
year = "1990",
url = "citeseer.nj.nec.com/schapire90strength.html"
}
@InProceedings{BagnellS2001,
author = "J. Andrew Bagnell and Jeff Schneider",
title = "Autonomous helicopter control using reinforcement
learning policy search methods",
booktitle = "International Conference on Robotics and Automation",
pages = "1615--1620",
year = 2001,
address = "Seoul, Korea",
month = may # "~21--26,"
}
@Article{KaelblingLM96,
author = "Leslie Pack Kaelbling and Michael L. Littman and Andrew
W. Moore",
title = "Reinforcement learning: A survey",
journal = "Journal of Artificial Intelligence Research",
year = 1996,
volume = 4,
pages = "237--285",
abstract =
"This paper surveys the field of reinforcement learning from a
computer-science perspective. It is written to be accessible to researchers
familiar with machine learning. Both the historical basis of the field and
a broad selection of current work are summarized. Reinforcement learning is
the problem faced by an agent that learns behavior through trial-and-error
interactions with a dynamic environment. The work described here has a
resemblance to work in psychology, but differs considerably in the details
and in the use of the word ``reinforcement.'' The paper discusses central
issues of reinforcement learning, including trading off exploration and
exploitation, establishing the foundations of the field via Markov decision
theory, learning from delayed reinforcement, constructing empirical models
to accelerate learning, making use of generalization and hierarchy, and
coping with hidden state. It concludes with a survey of some implemented
systems and an assessment of the practical utility of current methods for
reinforcement learning."
}
@Book{SuttonB98,
author = "Richard S. Sutton and Andrew G. Barto",
title = "Reinforcement Learning: An Introduction",
publisher = "MIT Press",
year = 1998,
address = "Cambridge, MA, USA"
}
@article{HastieT96,
author = {Trevor Hastie and Robert Tibshirani},
title = {Discriminant adaptive nearest neighbor classification},
journal = {IEEE Trans. Pattern Anal. Mach. Intell.},
volume = {18},
number = {6},
year = {1996},
issn = {0162-8828},
pages = {607--616},
doi = {http://dx.doi.org/10.1109/34.506411},
publisher = {IEEE Computer Society},
}
@Book{Josuttis1999,
editor = "Nicolai M. Josuttis",
title = "The C++ Standard Library: A Tutorial and Reference",
publisher = "Addison-Wesley Professional",
year = 1999,
NEEDaddress = ""
}
@Book{PlaugerSLM2000,
author = "P.J. Plauger and Alexander A. Stepanov and Meng Lee and
David R. Musser",
title = "The C++ Standard Template Library",
publisher = "Prentice Hall PTR",
year = 2000,
NEEDaddress = ""
}
@InProceedings{AllenCLMS2004,
author = "Eric Allen and David Chase and Victor Luchangco and
Jan-Willem Maessen and Guy L. {Steele Jr.}",
title = "Object-oriented units of measurement",
crossref = "OOPSLA2004",
pages = "384--403",
abstract =
"Programs that manipulate physical quantities typically represent these
quantities as raw numbers corresponding to the quantities' measurements in
particular units (e.g., a length represented as a number of meters). This
approach eliminates the possibility of catching errors resulting from
adding or comparing quantities expressed in different units (as in the Mars
Climate Orbiter error [11]), and does not support the safe comparison and
addition of quantities of the same dimension. We show how to formulate
dimensions and units as classes in a nominally typed object-oriented
language through the use of statically typed metaclasses. Our formulation
allows both parametric and inheritance polymorphism with respect to both
dimension and unit types. It also allows for integration of encapsulated
measurement systems, dynamic conversion factors, declarations of scales
(including nonlinear scales) with defined zeros, and nonconstant exponents
on dimension types. We also show how to encapsulate most of the ``magic
machinery'' that handles the algebraic nature of dimensions and units in a
single meta-class that allows us to treat select static types as generators
of a free abelian group.",
}
@InProceedings{XieA2005,
author = "Yichen Xie and Alex Aiken",
title = "Scalable error detection using boolean satisfiability",
crossref = "POPL2005",
pages = "351--363",
}
@InProceedings{AikenBDDHH2007,
author = "Aiken, Alex and Bugrara, Suhabe and Dillig, Isil and Dillig, Thomas and Hackett, Brian and Hawkins, Peter",
title = "An Overview of the {Saturn} Project",
crossref = "PASTE2007",
pages = "43--48",
}
@InProceedings{CobbeF2005,
author = "Richard Cobbe and Matthias Felleisen",
title = "Environmental acquisition revisited",
crossref = "POPL2005",
pages = "14--25",
}
@Article{SleatorT85,
author = "Daniel Dominic Sleator and Robert Endre Tarjan",
title = "Self-adjusting binary search trees",
journal = JACM,
year = 1985,
volume = 32,
number = 3,
pages = "652--686",
month = jul
}
@InProceedings{BallL96,
author = "Thomas Ball and James R. Larus",
title = "Efficient path profiling",
booktitle = "MICRO 29: Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture",
pages = "46--57",
year = 1996,
address = "Paris, France",
month = dec # "~2--4,",
abstract =
"A path profile determines how many times each acyclic path in a routine
executes. This type of profiling subsumes the more common basic block and
edge profiling, which only approximate path frequencies. Path profiles have
many potential uses in program performance tuning, profile-directed
compilation, and software test coverage. This paper describes a new
algorithm for path profiling. This simple, fast algorithm selects and
places profile instrumentation to minimize run-time overhead. Instrumented
programs run with overhead comparable to the best previous profiling
techniques. On the SPEC95 benchmarks, path profiling overhead averaged 31\%,
as compared to 16\% for efficient edge profiling. Path profiling also
identifies longer paths than a previous technique, which predicted paths
from edge profiles (average of 88, versus 34 instructions). Moreover,
profiling shows that the SPEC95 train input datasets covered most of the
paths executed in the ref datasets.",
}
@Misc{CTAS,
title = "Center-{TRACON} automation system",
key = "CTAS",
note = "\url{http://www.ctas.arc.nasa.gov}",
}
@InProceedings{ByteCode,
author = {Don Lance and Roland H. Untch and Nancy J. Wahl},
title = {Bytecode-based {Java} program analysis},
booktitle = {ACM-SE 37: Proceedings of the 37th annual Southeast regional conference (CD-ROM)},
year = {1999},
isbn = {1-58113-128-3},
pages = {14},
doi = {https://doi.acm.org/10.1145/306363.306382},
}
@InProceedings{TanM2007,
author = "Gang Tan and Greg Morrisett",
title = "{ILEA}: Inter-Language Analysis across {Java} and {C}",
crossref = "OOPSLA2007",
pages = "39-56"
}
@article{Wilhelm96,
author = {Reinhard Wilhelm},
title = {Program analysis---a toolmaker's perspective},
journal = {ACM Comput. Surv.},
year = {1996},
issn = {0360-0300},
pages = {177},
doi = {https://doi.acm.org/10.1145/242224.242454},
}
@Book{BrooksSutherlandReport,
ALTauthor = {},
editor = {National Research Council},
title = {Evolving the High Performance Computing and Communications Initiative to Support the Nation's Information Infrastructure},
publisher = {National Academy Press},
year = {1995},
OPTkey = {},
OPTvolume = {},
OPTnumber = {},
series = {Computer Science and Telecommunication Board (CSTB)},
OPTaddress = {},
OPTedition = {},
OPTmonth = {},
OPTnote = {},
OPTannote = {}
}
@InCollection{BasiliCR94,
author = "Victor R. Basili and Gianluigi Caldiera and H. Dieter Rombach",
title = "Goal Question Metric Paradigm",
booktitle = "Encyclopedia of Software Engineering",
pages = "528--532",
publisher = "Wiley",
year = 1994,
}
@InProceedings{SrivastavaGF2010,
author = "Srivastava, Saurabh and Gulwani, Sumit and Foster, Jeffrey S.",
title = "From program verification to program synthesis",
crossref = "POPL2010",
pages = "313--326",
doi = {https://doi.acm.org/10.1145/1706299.1706337},
}
@InProceedings{ShachamVY2009,
author = "Shacham, Ohad and Vechev, Martin and Yahav, Eran",
title = "Chameleon: adaptive selection of collections",
crossref = "PLDI2009",
pages = "408--418",
abstract =
"Languages such as Java and C#, as well as scripting languages like Python,
and Ruby, make extensive use of Collection classes.
\par