Barton Miller

引用先

	すべて	2016 年以来
引用	13483	2858
h 指標	57	26
i10 指標	133	61

660

330

165

495

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202151 89 75 114 168 136 187 252 247 254 208 284 197 277 291 256 384 431 500 563 647 579 554 535 575 614 651 571 560 537 625 486 582 586 42

共著者

Jeffrey HollingsworthProfessor of Computer Science, University of Maryland確認したメールアドレス: umd.edu
Somesh JhaLubar Chair of Computer Science, University of Wisconsin確認したメールアドレス: cs.wisc.edu
Dorian ArnoldEmory University確認したメールアドレス: emory.edu
Robert H.B. Netzer確認したメールアドレス: bolabs.com
R. Bruce IrvinSenior Instructor, Portland State University確認したメールアドレス: pdx.edu
Jong-Deok ChoiSoftware R&D Center, Samsung Electronics確認したメールアドレス: samsung.com
Xiaozhu MengRice University確認したメールアドレス: rice.edu
Xiaojin ZhuProfessor in Computer Science at University of Wisconsin-Madison確認したメールアドレス: cs.wisc.edu
Benjamin WeltonUniversity of Wisconsin確認したメールアドレス: cs.wisc.edu
Kevin A. RoundyNortonLifeLock Research Group (NRG) - Previously known as Symantec Research Labs確認したメールアドレス: nortonlifelock.com
Allen D. MalonyUniversity of Oregon確認したメールアドレス: cs.uoregon.edu
Ben LiblitUniversity of Wisconsin–Madison確認したメールアドレス: cs.wisc.edu
Joann OrdilleAssistant Professor of Computer Science, Lafayette College確認したメールアドレス: lafayette.edu
Eduardo CesarAssociate Professor, Universitat Autònoma de Barcelona確認したメールアドレス: uab.cat
Michael J. BrimOak Ridge National Laboratory確認したメールアドレス: ornl.gov
Wenke LeeProfessor of Computer Science at Georgia Tech確認したメールアドレス: cc.gatech.edu
Mark D. HillProfessor of Computer Sciences and ECE, University of Wisconsin-Madison確認したメールアドレス: cs.wisc.edu
Miron LivnyProfessor of Computer Science, University of wisconsin-Madison確認したメールアドレス: cs.wisc.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of Wisconsin確認したメールアドレス: cs.wisc.edu
Emily R. Gember-JacobsonUniversity of Wisconsin-Madison確認したメールアドレス: cs.wisc.edu

Barton Miller

Vilas Distinguished Achievement Professor, University of Wisconsin-Madison

確認したメールアドレス: cs.wisc.edu - ホームページ

Security binady code analysis high performance computing testing


タイトル引用回数順公開年順タイトル順	引用先引用先	年
An empirical study of the reliability of UNIX utilities BP Miller, L Fredriksen, B So Communications of the ACM 33 (12), 32-44, 1990	1236	1990
The Paradyn parallel performance measurement tool BP Miller, MD Callaghan, JM Cargille, JK Hollingsworth, RB Irvin, ... Computer 28 (11), 37-46, 1995	1133	1995
What are race conditions? Some issues and formalizations RHB Netzer, BP Miller ACM Letters on Programming Languages and Systems (LOPLAS) 1 (1), 74-88, 1992	617	1992
Process migration in DEMOS/MP ML Powell, BP Miller ACM SIGOPS Operating Systems Review 17 (5), 110-119, 1983	493	1983
Fuzz revisited: A re-examination of the reliability of UNIX utilities and services BP Miller, D Koski, CP Lee, V Maganty, R Murthy, A Natarajan, J Steidl University of Wisconsin-Madison Department of Computer Sciences, 1995	408	1995
An empirical study of the robustness of Windows NT applications using random testing JE Forrester, BP Miller Proceedings of the 4th USENIX Windows System Symposium 4, 59-68, 2000	400	2000
IPS-2: The second generation of a parallel program measurement system BP Miller, M Clark, S Kierstead, ASS Lim, T Torzewski University of Wisconsin-Madison Department of Computer Sciences, 1988	278	1988
Optimal tracing and replay for debugging message-passing parallel programs RHB Netzer, BP Miller The Journal of Supercomputing 8 (4), 371-388, 1995	274	1995
MRNet: A software-based multicast/reduction network for scalable tools PC Roth, DC Arnold, BP Miller SC'03: Proceedings of the 2003 ACM/IEEE conference on Supercomputing, 21-21, 2003	254	2003
Fine-grained dynamic instrumentation of commodity operating system kernels A Tamches, BP Miller University of Wisconsin--Madison, 2001	251	2001
Dynamic program instrumentation for scalable performance tools JK Hollingsworth, BP Miller, J Cargille Proceedings of IEEE Scalable High Performance Computing Conference, 841-850, 1994	249	1994
Efficient Context-Sensitive Intrusion Detection. JT Giffin, S Jha, BP Miller NDSS, 2004	248	2004
Reliable network connections VC Zandy, BP Miller Proceedings of the 8th annual International Conference on Mobile Computing …, 2002	231	2002
Formalizing sensitivity in static analysis for intrusion detection HH Feng, JT Giffin, Y Huang, S Jha, W Lee, BP Miller IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004, 194-208, 2004	228	2004
A mechanism for efficient debugging of parallel programs BP Miller, JD Choi ACM SIGPLAN Notices 23 (7), 135-144, 1988	224	1988
Hybrid analysis and control of malware KA Roundy, BP Miller International Workshop on Recent Advances in Intrusion Detection, 317-338, 2010	212	2010
Techniques for debugging parallel programs with flowback analysis JD Choi, BP Miller, RHB Netzer ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (4), 491-530, 1991	211	1991
Breakpoints and halting in distributed programs BP Miller, JD Choi University of Wisconsin-Madison Department of Computer Sciences, 1986	208	1986
Improving the accuracy of data race detection RHB Netzer, BP Miller Proceedings of the third ACM SIGPLAN symposium on Principles and practice of …, 1991	197	1991
Detecting Manipulated Remote Call Streams. JT Giffin, S Jha, BP Miller USENIX Security Symposium, 61-79, 2002	186	2002

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

PDF のアップロード

この著者をフォローする

引用先

共著者