-
Notifications
You must be signed in to change notification settings - Fork 0
/
Document.bib
executable file
·903 lines (820 loc) · 41.7 KB
/
Document.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
@inproceedings{ART_ARTP,
author = "{L. J.} Zhang and S. Pierre and L. Marchand",
title = "{Optimization of Handover Performance for FMIPv6}",
booktitle = "Intelligence in Communication Systems",
pages = {169--178},
year = 2005
}
@article{ART_HMRSVP,
author = "C. Tseng and G. Lee and R. Liu and T. Wang",
title = "{HMRSVP: a Hierarchical Mobile RSVP Protocol}",
journal = "{Wireless Networks}",
volume = {9},
number = {2},
month = mar,
pages = {95--102},
year = 2003
}
@article{Bao2013,
author = {Bao, Tao and Zhang, Xiangyu},
title = {On-the-fly Detection of Instability Problems in Floating-point Program Execution},
journal = {SIGPLAN Not.},
issue_date = {October 2013},
volume = {48},
number = {10},
month = oct,
year = {2013},
issn = {0362-1340},
pages = {817--832},
numpages = {16},
url = {http://doi.acm.org/10.1145/2544173.2509526},
doi = {10.1145/2544173.2509526},
acmid = {2509526},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {continuity, discrete factors, floating point errors, floating point representation, instability, sampling},
}
@INPROCEEDINGS{Benz2012,
author = {Benz, Florian and Hildebrandt, Andreas and Hack, Sebastian},
title = {A dynamic program analysis to find floating-point accuracy problems},
booktitle = {ACM SIGPLAN Notices},
year = {2012},
volume = {47},
month = jun,
issn = {0362-1340},
pages = {453 - 462},
abstract = {Programs using floating-point arithmetic are prone to accuracy problems caused by rounding and catastrophic cancellation. These phenomena provoke bugs that are notoriously hard to track down: the program does not necessarily crash and the results are not necessarily obviously wrong, but often subtly inaccurate. Further use of these values can lead to catastrophic errors. In this paper, we present a dynamic program analysis that supports the programmer in finding accuracy problems. Our analysis uses binary translation to perform every floating-point computation side by side in higher precision. Furthermore, we use a lightweight slicing approach to track the evolution of errors. We evaluate our analysis by demonstrating that it catches wellknown floating-point accuracy problems and by analyzing the Spec CFP2006 floating-point benchmark. In the latter, we show how our tool tracks down a catastrophic cancellation that causes a complete loss of accuracy leading to a meaningless program result. Finally, we apply our program to a complex, real-world bioinformatics application in which our program detected a serious cancellation. Correcting the instability led not only to improved quality of the result, but also to an improvement of the program's run time.},
}
@INCOLLECTION{DSilva2012,
author = {D'Silva, Vijay and Haller, Leopold and Kroening, Daniel and Tautschnig, Michael},
title = {Numeric Bounds Analysis with Conflict-Driven Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
publisher = {Springer Berlin Heidelberg},
year = {2012},
editor = {Flanagan, Cormac and König, Barbara},
volume = {7214},
series = {Lecture Notes in Computer Science},
pages = {48-63},
abstract = {This paper presents a sound and complete analysis for determining the range of floating-point variables in control software. Existing approaches to bounds analysis either use convex abstract domains and are efficient but imprecise, or use floating-point decision procedures, and are precise but do not scale. We present a new analysis that elevates the architecture of a modern SAT solver to operate over floating-point intervals. In experiments, our analyser is consistently more precise than a state-of-the-art static analyser and significantly outperforms floating-point decision procedures.},
doi = {10.1007/978-3-642-28756-5\_5},
isbn = {978-3-642-28755-8},
}
@INPROCEEDINGS{Dabrowski2011,
author = {Dabrowski, Adam and Pawowski, Pawe and Stankiewicz, Mateusz and Misiorek, Filip},
title = {Quasi-maximum accuracy floating-point computations with {GPGPU} for applications in digital signal processing},
booktitle = {SPA 2011 - Signal Processing: Algorithms, Architectures, Arrangements, and Applications - Conference Proceedings},
year = {2011},
pages = {144 - 148},
address = {Poznan, Poland},
abstract = {An idea of the use of two accumulators for improvement of the precision of floating-point computations with graphic processing units (GPUs) is presented in this paper for applications in digital signal processing. The increase of the precision of computations does not need any increase of the length of the data words. This is particularly important if hardware limits for the precision of computations exist, which is just the case for graphic processors. A history of development of the cores of graphic cards is analyzed together with the idea of general purpose computing using GPU's (GPGPU). Special attention has been paid to efficiency and precision of computations. The so-called maximum accuracy property has been analyzed and technically realized with no additional costs in hardware and computation time. The proposed approach has been tested with illustrative frequency modulated sine waveform generators.},
}
@ARTICLE{DeDinechin2011,
author = {De Dinechin, Florent and Lauter, Christoph and Melquiond, Guillaume},
title = {Certifying the floating-point implementation of an elementary function using {G}appa},
journal = {IEEE Transactions on Computers},
year = {2011},
volume = {60},
pages = {242 - 253},
number = {2},
abstract = {High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, or that the error relative to some ideal value is well bounded. This certification may require a time-consuming proof for each line of code, and it is usually broken by the smallest change to the code, e.g., for maintenance or optimization purpose. Certifying floating-point programs by hand is, therefore, very tedious and error-prone. The Gappa proof assistant is designed to make this task both easier and more secure, due to the following novel features: It automates the evaluation and propagation of rounding errors using interval arithmetic. Its input format is very close to the actual code to validate. It can be used incrementally to prove complex mathematical properties pertaining to the code. It generates a formal proof of the results, which can be checked independently by a lower level proof assistant like Coq. Yet it does not require any specific knowledge about automatic theorem proving, and thus, is accessible to a wide community. This paper demonstrates the practical use of this tool for a widely used class of floating-point programs: implementations of elementary functions in a mathematical library.},
doi = {10.1109/TC.2010.128},
}
@article{DeFigueiredo2004,
year = {2004},
issn = {1017-1398},
journal = {Numerical {A}lgorithms},
volume = {37},
number = {1-4},
doi = {10.1023/B:NUMA.0000049462.70970.b6},
title = {Affine Arithmetic: Concepts and Applications},
publisher = {Kluwer Academic Publishers},
keywords = {interval arithmetic; range analysis; dependency problem},
author = {de Figueiredo, LuizHenrique and Stolfi, Jorge},
pages = {147-158},
language = {English}
}
@incollection{Filliatre2007,
year = {2007},
isbn = {978-3-540-73367-6},
booktitle = {Computer Aided Verification},
volume = {4590},
series = {Lecture Notes in Computer Science},
editor = {Damm, Werner and Hermanns, Holger},
doi = {10.1007/978-3-540-73368-3\_21},
title = {The {W}hy/{K}rakatoa/{C}aduceus Platform for Deductive Program Verification},
publisher = {Springer Berlin Heidelberg},
author = {Filliâtre, Jean-Christophe and Marché, Claude},
pages = {173-177},
language = {English}
}
@ARTICLE{Fousse2007,
author = {Laurent Fousse and Guillaume Hanrot and Vincent Lefèvre and Patrick Pélissier and Paul Zimmermann},
title = {{MPFR}: {A} multiple-precision binary floating-point library with correct rounding},
journal = {ACM Transactions on Mathematical Software},
year = {2007},
volume = {33},
pages = {1-14},
number = {2},
month = jun,
abstract = {This article presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP library. Its particularity is to extend to arbitrary-precision, ideas from the IEEE 754 standard, by providing correct rounding and exceptions. We demonstrate how these strong semantics are achieved - -with no significant slowdown with respect to other arbitrary-precision tools - -and discuss a few applications where such a library can be useful.},
doi = {10.1145/1236463.1236468},
}
@ARTICLE{Goldberg1991,
author = {David Goldberg},
title = {What Every Computer Scientist Should Know About Floating-Point Arithmetic},
journal = {Computing Surveys},
year = {1991},
volume = {23},
pages = {5-48},
number = {1},
month = mar,
abstract = {Floating-point arithmetic is considered an esoteric subject by many people. This is rather surprising because floating-point is ubiquitous in computer systems. Almost every language has a floating-point datatype; computers from PCs to supercomputers have floating-point accelerators; most compilers will be called upon to compile floating-point algorithms from time to time; and virtually every operating system must respond to floating-point exceptions such as overflow. This paper presents a tutorial on those aspects of floating-point that have a direct impact on designers of computer systems. It begins with background on floating-point representation and rounding error, continues with a discussion of the IEEE floating-point standard, and concludes with numerous examples of how computer builders can better support floating-point.},
url = {http://docs.oracle.com/cd/E19957-01/806-3568/ncg\_goldberg.html}
}
@inproceedings{Foucault,
author = {Foucault, Matthieu and Palyart, Marc and Blanc, Xavier and Murphy, Gail C. and Falleri, Jean-R{\'e}my},
title = {Impact of Developer Turnover on Quality in Open-source Software},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering},
series = {ESEC/FSE 2015},
year = {2015},
isbn = {978-1-4503-3675-8},
location = {Bergamo, Italy},
pages = {829--841},
numpages = {13},
url = {http://doi.acm.org/10.1145/2786805.2786870},
doi = {10.1145/2786805.2786870},
acmid = {2786870},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {mining software repositories, qualitative analysis, software metrics},
}
@inproceedings{Izquierdo-Cortazar,
title = {Using Software Archaeology to Measure Knowledge Loss in Software Projects Due to Developer Turnover},
author = {Daniel Izquierdo-Cortazar, Gregorio Robles, Felipe Ortega and Jesus M. Gonzalez-Barahona},
booktitle = {Proceedings of the 42Nd Hawaii International Conference on System Sciences},
series = {HICSS '09},
year = {2009},
isbn = {978-0-7695-3450-3},
pages = {1--10},
numpages = {10},
url = {http://dx.doi.org/10.1109/HICSS.2009.498},
doi = {10.1109/HICSS.2009.498},
acmid = {1490055},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
key = {{$\!\!$}} ,
}
@inproceedings{Torchiano:2011:MPT:1985374.1985379,
author = {Torchiano, Marco and Ricca, Filippo and Marchetto, Alessandro},
title = {Is My Project's Truck Factor Low?: Theoretical and Empirical Considerations About the Truck Factor Threshold},
booktitle = {Proceedings of the 2Nd International Workshop on Emerging Trends in Software Metrics},
series = {WETSoM '11},
year = {2011},
isbn = {978-1-4503-0593-8},
location = {Waikiki, Honolulu, HI, USA},
pages = {12--18},
numpages = {7},
url = {http://doi.acm.org/10.1145/1985374.1985379},
doi = {10.1145/1985374.1985379},
acmid = {1985379},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {code ownership, oss, truck factor},
}
@inproceedings{Ricca:2011:DCT:2022348.2022383,
author = {Ricca, Filippo and Marchetto, Alessandro and Torchiano, Marco},
title = {On the Difficulty of Computing the Truck Factor},
booktitle = {Proceedings of the 12th International Conference on Product-focused Software Process Improvement},
series = {PROFES'11},
year = {2011},
isbn = {978-3-642-21842-2},
location = {Torre Canne, Italy},
pages = {337--351},
numpages = {15},
url = {http://dl.acm.org/citation.cfm?id=2022348.2022383},
acmid = {2022383},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
keywords = {collective code ownership, exploratory study, truck factor},
}
@inproceedings{Mockus:2010,
author = {Mockus, Audris},
title = {Organizational Volatility and Its Effects on Software Defects},
booktitle = {Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering},
series = {FSE '10},
year = {2010},
isbn = {978-1-60558-791-2},
location = {Santa Fe, New Mexico, USA},
pages = {117--126},
numpages = {10},
url = {http://doi.acm.org/10.1145/1882291.1882311},
doi = {10.1145/1882291.1882311},
acmid = {1882311},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {organizational volatility, software defects},
}
@INPROCEEDINGS{Goubault2001,
author = {Goubault, Eric},
title = {Static analysis of the precision of floating-point operations},
booktitle = {Static Analysis. 8th International Symposium, SAS 2001. Proceedings},
year = {2001},
pages = {234 - 59},
address = {Berlin, Germany},
abstract = {Computers manipulate approximations of real numbers, called floating-point numbers. The calculations they make are accurate enough for most applications. Unfortunately, in some (catastrophic) situations, the floating-point operations lose so much precision that they quickly become irrelevant. In this article, we review some of the problems one can encounter, focussing on the IEEE754-1985 norm. We give a (sketch of a) semantics of its basic operations then abstract them (in the sense of abstract interpretation) to extract information about the possible loss of precision. The expected application is abstract debugging of software ranging from simple on-board systems (which use more and,more on-the-shelf micro-processors with floating-point units) to scientific codes. The abstract analysis is demonstrated on simple examples and compared with related work},
}
@INPROCEEDINGS{Goubault2008,
author = {Goubault, Eric and Putot, Sylvie and Baufreton, Philippe and Gassino, Jean},
title = {Static analysis of the accuracy in control systems: {P}rinciples and experiments},
booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year = {2008},
volume = {4916 LNCS},
pages = {3 - 20},
address = {Berlin, Germany},
abstract = {Finite precision computations can severely affect the accuracy of computed solutions. We present a complete survey of a static analysis based on abstract interpretation, and a prototype implementing this analysis for C code, for studying the propagation of rounding errors occurring at every intermediary step in floating-point computations. In the first part of this paper, we briefly present the domains and techniques used in the implemented analyzer, called FLUCTUAT. We describe in the second part, the experiments made on real industrial codes, at Institut de Radioprotection et de Suˆrete´ Nucle´aire and at Hispano-Suiza, respectively coming from the nuclear industry and from aeronautics industry. This paper aims at filling in the gaps between some theoretical aspects of the static analysis of floating-point computations that have been described in [13,14,21], and the necessary choices of algorithms and implementation, in accordance with practical motivations drawn from real industrial cases.},
doi = {10.1007/978-3-540-79707-4\_3},
}
@MANUAL{Harder,
title = {Numerical Analysis for Engineering},
author = {Douglas Wilhelm Harder and Richard Khoury},
organization = {University of Waterloo},
year = {2005},
address = {200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1},
url = {https://ece.uwaterloo.ca/~dwharder/NumericalAnalysis/}
}
@BOOK{Higham2002,
title = {Accuracy and Stability of Numerical Algorithms},
publisher = {SIAM},
year = {2002},
author = {Nicholas J. Higham},
}
@phdthesis{PHD_HPMRSVP,
author = "C. Abondo",
title = "{Gestion de la Qualité de Service dans les systèmes mobiles de prochaine génération}",
school = "{École Polytechnique de Montréal}",
year = 2005,
month = jun
}
@manual{RFC_IPv4,
author = "J. Postel",
title = "{RFC791}: {Internet Protocol}",
month = sep,
year = 1981,
organization = "{IETF}"
}
@book{Tanenbaum,
author = "A. Tanenbaum",
title = "Computer Networks (fourth edition)",
publisher = "Prentice-Hall International, Inc.",
year = 2002,
isbn = "0-13-066102-3."
}
@MISC{Whitehead2011,
author = {Nathan Whitehead and Alex Fit-Florea},
title = {Precision \& Performance: Floating Point and {IEEE} 754 Compliance for {NVIDIA} {GPUs}},
year = {2011},
abstract = {A number of issues related to floating point accuracy and compliance are a frequent source of confusion on both CPUs and GPUs. The purpose of this white paper is to discuss the most common issues related to NVIDIA GPUs and to supplement the documentation in the CUDA C Programming Guide.},
url = {https://developer.nvidia.com/sites/default/files/akamai/cuda/files/NVIDIA-CUDA-Floating-Point.pdf}
}
@manual{mpmath,
key = {mpmath},
author = {Fredrik Johansson and others},
title = {mpmath: a {P}ython library for arbitrary-precision floating-point arithmetic (version 0.18)},
month = dec,
year = {2013},
url = {http://mpmath.org/},
}
@article{nichols2010,
author = {Eric Nichols and L. J. McDaid and N. H. Siddique},
title = {CASE STUDY ON A SELF-ORGANIZING SPIKING NEURAL NETWORK FOR ROBOT NAVIGATION},
journal = {International Journal of Neural Systems},
volume = {20},
number = {6},
pages = {501-508},
year = {2010},
}
@manual{nvidia2012,
title = {{CUDA} {C} {P}rogramming {G}uide},
author = {{NVIDIA}},
organization = {{NVIDIA}},
edition = {5},
year = {2012},
url = {http://docs.nvidia.com/cuda/cuda-c-programming-guide/index.html}
}
^^^^^^^^^ From template ^^^^^^^^^
==================================================================================================
From paper >>>>>
@InProceedings{msr13jojo,
author = {Yujuan Jiang and Bram Adams and Daniel M. German},
title = {Will My Patch Make It? And How Fast? -- Case Study on the Linux Kernel},
booktitle = {Proceedings of the 10th IEEE Working Conference on Mining Software Repositories (MSR)},
year = {2013},
address = {San Francisco, CA, US},
month = {May},
pages={101--110}
}
@article{turnover,
author = {Joseph, Damien and Ng, Kok-Yee and Koh, Christine and Ang, Soon},
title = {Turnover of Information Technology Professionals: A Narrative Review, Meta-analytic Structural Equation Modeling, and Model Development},
journal = {MIS Q.},
issue_date = {September 2007},
volume = {31},
number = {3},
month = sep,
year = {2007},
issn = {0276-7783},
pages = {547--577},
numpages = {31},
url = {http://dl.acm.org/citation.cfm?id=2017336.2017343},
acmid = {2017343},
publisher = {Society for Information Management and The Management Information Systems Research Center},
address = {Minneapolis, MN, USA},
keywords = {IT professionals, MASEM, meta-analysis, review, structural equation modeling, turnover, turnover intention},
}
@Misc{economist5988,
title = {Employee Turnover, Labor Lost},
booktitle = {The Economist},
author = {The Economist},
address = {Torino, Italy},
month = {July},
year = {2000},
}
@InProceedings{jiang14,
author = {Yujuan Jiang and Bram Adams and Foutse Khomh and Daniel M. German},
title = {Tracing Back the History of Commits in Low-tech Reviewing Environments},
booktitle = {Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement (ESEM)},
year = {2014},
address = {Torino, Italy},
month = {September},
notes={article 51},
}
@InProceedings{mockus02,
author = {Mockus, Audris and Herbsleb, James D.},
title = {Expertise Browser: A Quantitative Approach to Identifying Expertise},
booktitle = {Proceedings of the 24th International Conference on Software Engineering},
series = {ICSE '02},
year = {2002},
isbn = {1-58113-472-X},
location = {Orlando, Florida},
pages = {503--512},
numpages = {10},
url = {http://doi.acm.org/10.1145/581339.581401},
doi = {10.1145/581339.581401},
acmid = {581401},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Wu-oss,
author = {Wu, Chorng-Guang and Gerlach, James H. and Young, Clifford E.},
title = {An Empirical Analysis of Open Source Software Developers' Motivations and Continuance Intentions},
journal = {Inf. Manage.},
issue_date = {April, 2007},
volume = {44},
number = {3},
month = apr,
year = {2007},
issn = {0378-7206},
pages = {253--262},
numpages = {10},
url = {http://dx.doi.org/10.1016/j.im.2006.12.006},
doi = {10.1016/j.im.2006.12.006},
acmid = {1243851},
publisher = {Elsevier Science Publishers B. V.},
address = {Amsterdam, The Netherlands, The Netherlands},
keywords = {Continuance, Expectancy, Expectancy-value theory, Open source software, Satisfaction, Valence},
}
@article{Wu,
author = {Wu, Chorng-Guang and Gerlach, James H. and Young, Clifford E.},
title = {An Empirical Analysis of Open Source Software Developers' Motivations and Continuance Intentions},
journal = {Inf. Manage.},
issue_date = {April, 2007},
volume = {44},
number = {3},
month = apr,
year = {2007},
issn = {0378-7206},
pages = {253--262},
numpages = {10},
url = {http://dx.doi.org/10.1016/j.im.2006.12.006},
doi = {10.1016/j.im.2006.12.006},
acmid = {1243851},
publisher = {Elsevier Science Publishers B. V.},
address = {Amsterdam, The Netherlands, The Netherlands},
keywords = {Continuance, Expectancy, Expectancy-value theory, Open source software, Satisfaction, Valence},
}
@article{Zhou,
author = {Zhou, Minghui and Mockus, Audris},
year = {2015},
month = {01},
pages = {82-99},
title = {Who Will Stay in the FLOSS Community? Modeling Participant's Initial Behavior},
volume = {41},
journal = {Software Engineering, IEEE Transactions on}
}
@inproceedings{Zhou-fse,
author = {Zhou, Minghui and Chen, Qingying and Mockus, Audris and Wu, Fengguang},
title = {On the Scalability of Linux Kernel Maintainers' Work},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
series = {ESEC/FSE 2017},
year = {2017},
isbn = {978-1-4503-5105-8},
location = {Paderborn, Germany},
pages = {27--37},
numpages = {11},
url = {http://doi.acm.org/10.1145/3106237.3106287},
doi = {10.1145/3106237.3106287},
acmid = {3106287},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Linux kernel, Maintainer\&\#039;s workload, maintainer scalability, open source ecosystem, software evolution, work distribution},
}
@inproceedings{Rigby,
author = {Rigby, Peter C. and Zhu, Yue Cai and Donadelli, Samuel M. and Mockus, Audris},
title = {Quantifying and Mitigating Turnover-induced Knowledge Loss: Case Studies of Chrome and a Project at Avaya},
booktitle = {Proceedings of the 38th International Conference on Software Engineering},
series = {ICSE '16},
year = {2016},
isbn = {978-1-4503-3900-1},
location = {Austin, Texas},
pages = {1006--1016},
numpages = {11},
url = {http://doi.acm.org/10.1145/2884781.2884851},
doi = {10.1145/2884781.2884851},
acmid = {2884851},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {knowledge distribution, mining software repositories, quantitative risk management, successors, truck factor, turnover},
}
@inproceedings{Ihara,
author = {Ihara, Akinori and Kamei, Yasutaka and Ohira, Masao and Hassan, Ahmed E. and Ubayashi, Naoyasu and Matsumoto, Ken-ichi},
title = {Early Identification of Future Committers in Open Source Software Projects},
booktitle = {Proceedings of the 2014 14th International Conference on Quality Software},
series = {QSIC '14},
year = {2014},
isbn = {978-1-4799-7198-5},
pages = {47--56},
numpages = {10},
url = {http://dx.doi.org/10.1109/QSIC.2014.30},
doi = {10.1109/QSIC.2014.30},
acmid = {2707987},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@inproceedings{Ye-icse-2003,
author = {Ye, Yunwen and Kishida, Kouichi},
title = {Toward an Understanding of the Motivation Open Source Software Developers},
booktitle = {Proceedings of the 25th International Conference on Software Engineering},
series = {ICSE '03},
year = {2003},
isbn = {0-7695-1877-X},
location = {Portland, Oregon},
pages = {419--429},
numpages = {11},
url = {http://dl.acm.org/citation.cfm?id=776816.776867},
acmid = {776867},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@INPROCEEDINGS{Bhattacharya,
author={P. Bhattacharya and I. Neamtiu and M. Faloutsos},
booktitle={2014 IEEE International Conference on Software Maintenance and Evolution},
title={Determining Developers' Expertise and Role: A Graph Hierarchy-Based Approach},
year={2014},
volume={},
number={},
pages={11-20},
keywords={graph theory;public domain software;software development management;software metrics;Eclipse;Firefox;clearly-defined contributor roles;contributor collaborations;contributor community;developer expertise;expertise metrics;graph hierarchy-based approach;multiple project facets;open-source projects;software projects;Collaboration;Computer bugs;Control systems;Correlation;Data collection;Measurement;Software;Developer expertise;Empirical studies;Software network analysis},
doi={10.1109/ICSME.2014.23},
ISSN={1063-6773},
month={Sept},}
@inproceedings{McDonald,
author = {McDonald, David W. and Ackerman, Mark S.},
title = {Expertise Recommender: A Flexible Recommendation System and Architecture},
booktitle = {Proceedings of the 2000 ACM Conference on Computer Supported Cooperative Work},
series = {CSCW '00},
year = {2000},
isbn = {1-58113-222-0},
location = {Philadelphia, Pennsylvania, USA},
pages = {231--240},
numpages = {10},
url = {http://doi.acm.org/10.1145/358916.358994},
doi = {10.1145/358916.358994},
acmid = {358994},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {CSCW, collaborative filtering, computer-supported cooperative work, expert locators, expertise finding, expertise location, information seeking, recommendation systems},
}
@inproceedings{Minto-2007,
author = {Minto, Shawn and Murphy, Gail C.},
title = {Recommending Emergent Teams},
booktitle = {Proceedings of the Fourth International Workshop on Mining Software Repositories},
series = {MSR '07},
year = {2007},
isbn = {0-7695-2950-X},
pages = {5--},
url = {http://dx.doi.org/10.1109/MSR.2007.27},
doi = {10.1109/MSR.2007.27},
acmid = {1269021},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@inproceedings{Anvik-2006,
author = {Anvik, John and Hiew, Lyndon and Murphy, Gail C.},
title = {Who Should Fix This Bug?},
booktitle = {Proceedings of the 28th International Conference on Software Engineering},
series = {ICSE '06},
year = {2006},
isbn = {1-59593-375-1},
location = {Shanghai, China},
pages = {361--370},
numpages = {10},
url = {http://doi.acm.org/10.1145/1134285.1134336},
doi = {10.1145/1134285.1134336},
acmid = {1134336},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {bug report assignment, bug triage, issue tracking, machine learning, problem tracking},
}
Export Formats
BibTeX | EndNote | ACM Ref
@inproceedings{Thongtanunam-2016,
author = {Thongtanunam, Patanamon and McIntosh, Shane and Hassan, Ahmed E. and Iida, Hajimu},
title = {Revisiting Code Ownership and Its Relationship with Software Quality in the Scope of Modern Code Review},
booktitle = {Proceedings of the 38th International Conference on Software Engineering},
series = {ICSE '16},
year = {2016},
isbn = {978-1-4503-3900-1},
location = {Austin, Texas},
pages = {1039--1050},
numpages = {12},
url = {http://doi.acm.org/10.1145/2884781.2884852},
doi = {10.1145/2884781.2884852},
acmid = {2884852},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {expertise, ownership, software quality},
}
@inproceedings{Rahman-2011,
author = {Rahman, Foyzur and Devanbu, Premkumar},
title = {Ownership, Experience and Defects: A Fine-grained Study of Authorship},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering},
series = {ICSE '11},
year = {2011},
isbn = {978-1-4503-0445-0},
location = {Waikiki, Honolulu, HI, USA},
pages = {491--500},
numpages = {10},
url = {http://doi.acm.org/10.1145/1985793.1985860},
doi = {10.1145/1985793.1985860},
acmid = {1985860},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {collaboration, experience, ownership, software quality},
}
@INPROCEEDINGS{icst17,
author = {Foundjem Tita Armstrong and Foutse Khomh and Bram Adams},
title = {Broadcast vs. Unicast Review Technology: Does it Matter?},
booktitle = {Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST)},
year = {2017},
month = {March},
address = {Tokyo, Japan},
notes={To appear},
}
@inproceedings{Bird-2009,
author = {Bird, Christian and Rigby, Peter C. and Barr, Earl T. and Hamilton, David J. and German, Daniel M. and Devanbu, Prem},
title = {The Promises and Perils of Mining Git},
booktitle = {Proceedings of the 2009 6th IEEE International Working Conference on Mining Software Repositories},
series = {MSR '09},
year = {2009},
isbn = {978-1-4244-3493-0},
pages = {1--10},
numpages = {10},
url = {http://dx.doi.org/10.1109/MSR.2009.5069475},
doi = {10.1109/MSR.2009.5069475},
acmid = {1591132},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@TechReport{corbet17,
author = {Jonathan Corbet and Greg Kroah-Hartman},
title = {2017 Linux Kernel Development Report},
institution = {The Linux Foundation},
year = {2017},
}
@inproceedings{Fritz-2007,
author = {Fritz, Thomas and Murphy, Gail C. and Hill, Emily},
title = {Does a Programmer's Activity Indicate Knowledge of Code?},
booktitle = {Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering},
series = {ESEC-FSE '07},
year = {2007},
isbn = {978-1-59593-811-4},
location = {Dubrovnik, Croatia},
pages = {341--350},
numpages = {10},
url = {http://doi.acm.org/10.1145/1287624.1287673},
doi = {10.1145/1287624.1287673},
acmid = {1287673},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {degree-of-interest, interaction, program structure, structural knowledge},
}
@Inbook{Mens2014,
author="Mens, Tom
and Claes, Maelick
and Grosjean, Philippe
and Serebrenik, Alexander",
editor="Mens, Tom
and Serebrenik, Alexander
and Cleve, Anthony",
title="Studying Evolving Software Ecosystems based on Ecological Models",
bookTitle="Evolving Software Systems",
year="2014",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="297--326",
abstract="Research on software evolution is very active, but evolutionary principles, models and theories that properly explain why and how software systems evolve over time are still lacking. Similarly, more empirical research is needed to understand how different software projects co-exist and co-evolve, and how contributors collaborate within their encompassing software ecosystem.",
isbn="978-3-642-45398-4",
doi="10.1007/978-3-642-45398-4\_10",
url="https://doi.org/10.1007/978-3-642-45398-4\_10"
}
@article{Bederson-2002,
author = {Bederson, Benjamin B. and Shneiderman, Ben and Wattenberg, Martin},
title = {Ordered and Quantum Treemaps: Making Effective Use of 2D Space to Display Hierarchies},
journal = {ACM Trans. Graph.},
issue_date = {October 2002},
volume = {21},
number = {4},
month = oct,
year = {2002},
issn = {0730-0301},
pages = {833--854},
numpages = {22},
url = {http://doi.acm.org/10.1145/571647.571649},
doi = {10.1145/571647.571649},
acmid = {571649},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Hierarchies, human-computer interaction, image browsers, information visualization, jazz, ordered treemaps, treemaps, trees, zoomable user interfaces (ZUIs).},
}
@INPROCEEDINGS{armstrong,
author={F. Armstrong and F. Khomh and B. Adams},
booktitle={2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)},
title={Broadcast vs. Unicast Review Technology: Does It Matter?},
year={2017},
volume={},
number={},
pages={219-229},
keywords={software quality;Apache projects;broadcast review technology;code review;software organizations;software system;unicast review technology;Broadcast technology;Electronic mail;Switches;Unicast;Apache;Bug-inducing Changes;Code Review;Empirical Study;Medium;Patches;Quality Assurance},
doi={10.1109/ICST.2017.27},
ISSN={},
month={March},}
@inproceedings{Hemmati:2013:MCM:2487085.2487150,
author = {Hemmati, Hadi and Nadi, Sarah and Baysal, Olga and Kononenko, Oleksii and Wang, Wei and Holmes, Reid and Godfrey, Michael W.},
title = {The MSR Cookbook: Mining a Decade of Research},
booktitle = {Proceedings of the 10th Working Conference on Mining Software Repositories},
series = {MSR '13},
year = {2013},
isbn = {978-1-4673-2936-1},
location = {San Francisco, CA, USA},
pages = {343--352},
numpages = {10},
url = {http://dl.acm.org/citation.cfm?id=2487085.2487150},
acmid = {2487150},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
}
@conference{Romano:2006,
added-at = {2010-05-13T11:34:37.000+0200},
author = {Romano, J. and Kromrey, J.D. and Coraggio, J. and Skowronek, J.},
bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RAkQAAAAAAkQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMcr3C9IKwAAAGDpmx9BcHByb3ByaWF0ZSBzdGF0aXN0aSM1RjQwMUIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAX0Abx0vUwAAAAAAAAAAAAAIABQAACSAAAAAAAAAAAAAAAAAAAAAEMjAwNgAQAAgAAMcrzh8AAAARAAgAAMdLxrAAAAABACAAYOmbAGDoXABg5K4AYOSsABOujgAICHQACAhnAACRjQACAGNNYWNpbnRvc2ggSEQ6VXNlcnM6a2F3OkRvY3VtZW50czp3b3JrOm1hdGVyaWFsOmFydGljbGVzOlJvbWFubzoyMDA2OkFwcHJvcHJpYXRlIHN0YXRpc3RpIzVGNDAxQi5wZGYAAA4AZAAxAEEAcABwAHIAbwBwAHIAaQBhAHQAZQAgAHMAdABhAHQAaQBzAHQAaQBjAHMAIABmAG8AcgAgAG8AcgBkAGkAbgBhAGwAIABsAGUAdgBlAGwAIABkAGEAdABhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBoVXNlcnMva2F3L0RvY3VtZW50cy93b3JrL21hdGVyaWFsL2FydGljbGVzL1JvbWFuby8yMDA2L0FwcHJvcHJpYXRlIHN0YXRpc3RpY3MgZm9yIG9yZGluYWwgbGV2ZWwgZGF0YS5wZGYAEwABLwAAFQACAAr//wAAgAXSHB0eH1gkY2xhc3Nlc1okY2xhc3NuYW1lox8gIV1OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QVS4uLy4uL21hdGVyaWFsL2FydGljbGVzL1JvbWFuby8yMDA2L0FwcHJvcHJpYXRlIHN0YXRpc3RpY3MgZm9yIG9yZGluYWwgbGV2ZWwgZGF0YS5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKAC6ALqAu8C+AMDAwcDFQMcAyUDfQOCA4UDkgOXAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA6k=},
biburl = {https://www.bibsonomy.org/bibtex/216a5c27e770147e5796719fc6b68547d/kweiand},
booktitle = {annual meeting of the Florida Association of Institutional Research},
date-modified = {2010-05-12 16:32:57 +0200},
interhash = {040942465797dca02d5527fd876088dc},
intrahash = {16a5c27e770147e5796719fc6b68547d},
keywords = {imported},
nocites = {-1},
pages = {1--3},
timestamp = {2010-05-13T11:34:46.000+0200},
title = {{Appropriate statistics for ordinal level data: Should we really be using t-test and Cohen'sd for evaluating group differences on the NSSE and other surveys?}},
year = 2006
}
@article{Hattori:2012:RCO:2318097.2318145,
author = {Hattori, Lile Palma and Lanza, Michele and Robbes, Romain},
title = {Refining Code Ownership with Synchronous Changes},
journal = {Empirical Softw. Engg.},
issue_date = {August 2012},
volume = {17},
number = {4-5},
month = aug,
year = {2012},
issn = {1382-3256},
pages = {467--499},
numpages = {33},
url = {http://dx.doi.org/10.1007/s10664-010-9145-5},
doi = {10.1007/s10664-010-9145-5},
acmid = {2318145},
publisher = {Kluwer Academic Publishers},
address = {Hingham, MA, USA},
keywords = {Code ownership, Fine-grained changes, Mining software repositories, Software visualization},
}
@INPROCEEDINGS{Girba:1572315,
author={T. Girba and A. Kuhn and M. Seeberger and S. Ducasse},
booktitle={Eighth International Workshop on Principles of Software Evolution (IWPSE'05)},
title={How developers drive software evolution},
year={2005},
volume={},
number={},
pages={113-122},
keywords={program visualisation;reverse engineering;software maintenance;software prototyping;code ownership;ownership map visualization;software evolution;versioning repositories;Conferences;Documentation;History;Reverse engineering;Shape;Software systems;Visualization;development process;reverse engineering;software evolution;software visualization},
doi={10.1109/IWPSE.2005.21},
ISSN={1550-4077},
month={Sept},}
@inproceedings{Meng:2013:MSR:2550526.2550579,
author = {Meng, Xiaozhu and Miller, Barton P. and Williams, William R. and Bernat, Andrew R.},
title = {Mining Software Repositories for Accurate Authorship},
booktitle = {Proceedings of the 2013 IEEE International Conference on Software Maintenance},
series = {ICSM '13},
year = {2013},
isbn = {978-0-7695-4981-1},
pages = {250--259},
numpages = {10},
url = {http://dx.doi.org/10.1109/ICSM.2013.36},
doi = {10.1109/ICSM.2013.36},
acmid = {2550579},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
keywords = {Software quality, Version control system, Author contribution, Line-level bug prediction},
}
@INPROCEEDINGS{1572315,
author={T. Girba and A. Kuhn and M. Seeberger and S. Ducasse},
booktitle={Eighth International Workshop on Principles of Software Evolution (IWPSE'05)},
title={How developers drive software evolution},
year={2005},
volume={},
number={},
pages={113-122},
keywords={program visualisation;reverse engineering;software maintenance;software prototyping;code ownership;ownership map visualization;software evolution;versioning repositories;Conferences;Documentation;History;Reverse engineering;Shape;Software systems;Visualization;development process;reverse engineering;software evolution;software visualization},
doi={10.1109/IWPSE.2005.21},
ISSN={1550-4077},
month={Sept},}
@inproceedings{Anvik:2007:DIE:1268983.1269018,
author = {Anvik, John and Murphy, Gail C.},
title = {Determining Implementation Expertise from Bug Reports},
booktitle = {Proceedings of the Fourth International Workshop on Mining Software Repositories},
series = {MSR '07},
year = {2007},
isbn = {0-7695-2950-X},
pages = {2--},
url = {http://dx.doi.org/10.1109/MSR.2007.7},
doi = {10.1109/MSR.2007.7},
acmid = {1269018},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@inproceedings{Schuler:2008:MUE:1370750.1370779,
author = {Schuler, David and Zimmermann, Thomas},
title = {Mining Usage Expertise from Version Archives},
booktitle = {Proceedings of the 2008 International Working Conference on Mining Software Repositories},
series = {MSR '08},
year = {2008},
isbn = {978-1-60558-024-1},
location = {Leipzig, Germany},
pages = {121--124},
numpages = {4},
url = {http://doi.acm.org/10.1145/1370750.1370779},
doi = {10.1145/1370750.1370779},
acmid = {1370779},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {computer-supported cooperative work, expertise recommendation, software repository},
}
@INPROCEEDINGS{5306386,
author={D. Ma and D. Schuler and T. Zimmermann and J. Sillito},
booktitle={2009 IEEE International Conference on Software Maintenance},
title={Expert recommendation with usage expertise},
year={2009},
volume={},
number={},
pages={535-538},
keywords={information filters;software engineering;user interfaces;ASPECTJ project;ECLIPSE project;distributed software development;expert recommendation;recommendation systems;usage expertise;Aggregates;Automatic control;Control systems;Frequency;History;Libraries;Programming;Recommender systems;Vocabulary;Writing},
doi={10.1109/ICSM.2009.5306386},
ISSN={1063-6773},
month={Sept},}
@inproceedings{Fritz:2010:DMC:1806799.1806856,
author = {Fritz, Thomas and Ou, Jingwen and Murphy, Gail C. and Murphy-Hill, Emerson},
title = {A Degree-of-knowledge Model to Capture Source Code Familiarity},
booktitle = {Proceedings of the 32Nd ACM/IEEE International Conference on Software Engineering - Volume 1},
series = {ICSE '10},
year = {2010},
isbn = {978-1-60558-719-6},
location = {Cape Town, South Africa},
pages = {385--394},
numpages = {10},
url = {http://doi.acm.org/10.1145/1806799.1806856},
doi = {10.1145/1806799.1806856},
acmid = {1806856},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {authorship, degree-of-interest, degree-of-knowledge, expertise, interaction, onboarding, recommendation},
}