Barton Miller
Barton Miller
Vilas Distinguished Achievement Professor, University of Wisconsin-Madison
Verified email at cs.wisc.edu - Homepage
Title
Cited by
Cited by
Year
An empirical study of the reliability of UNIX utilities
BP Miller, L Fredriksen, B So
Communications of the ACM 33 (12), 32-44, 1990
11411990
The Paradyn parallel performance measurement tool
BP Miller, MD Callaghan, JM Cargille, JK Hollingsworth, RB Irvin, ...
Computer 28 (11), 37-46, 1995
11051995
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
5831992
Process migration in DEMOS/MP
ML Powell, BP Miller
ACM SIGOPS Operating Systems Review 17 (5), 110-119, 1983
5051983
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
3772000
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
3761995
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
2761988
Optimal tracing and replay for debugging message-passing parallel programs
RHB Netzer, BP Miller
The Journal of Supercomputing 8 (4), 371-388, 1995
2681995
Fine-grained dynamic instrumentation of commodity operating system kernels
A Tamches, BP Miller
University of Wisconsin--Madison, 2001
2432001
Dynamic program instrumentation for scalable performance tools
JK Hollingsworth, BP Miller, J Cargille
Proceedings of IEEE Scalable High Performance Computing Conference, 841-850, 1994
2421994
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
2362003
Efficient Context-Sensitive Intrusion Detection.
JT Giffin, S Jha, BP Miller
NDSS, 2004
2352004
A mechanism for efficient debugging of parallel programs
BP Miller, JD Choi
ACM SIGPLAN Notices 23 (7), 135-144, 1988
2291988
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
2242004
Reliable network connections
VC Zandy, BP Miller
Proceedings of the 8th annual international conference on Mobile computing†…, 2002
2242002
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
2051991
Breakpoints and halting in distributed programs
BP Miller, JD Choi
University of Wisconsin-Madison Department of Computer Sciences, 1986
2031986
Improving the accuracy of data race detection
RHB Netzer, BP Miller
Proceedings of the third ACM SIGPLAN symposium on Principles and practice of†…, 1991
1931991
Hybrid analysis and control of malware
KA Roundy, BP Miller
International Workshop on Recent Advances in Intrusion Detection, 317-338, 2010
1882010
Detecting Manipulated Remote Call Streams.
JT Giffin, S Jha, BP Miller
USENIX Security Symposium, 61-79, 2002
1772002
The system can't perform the operation now. Try again later.
Articles 1–20