Barton Miller
Barton Miller
Vilas Distinguished Achievement Professor, University of Wisconsin-Madison
Bestätigte E-Mail-Adresse bei cs.wisc.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
An empirical study of the reliability of UNIX utilities
BP Miller, L Fredriksen, B So
Communications of the ACM 33 (12), 32-44, 1990
12431990
The Paradyn parallel performance measurement tool
BP Miller, MD Callaghan, JM Cargille, JK Hollingsworth, RB Irvin, ...
Computer 28 (11), 37-46, 1995
11341995
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
6181992
Process migration in DEMOS/MP
ML Powell, BP Miller
ACM SIGOPS Operating Systems Review 17 (5), 110-119, 1983
4931983
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
4081995
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
4012000
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
2781988
Optimal tracing and replay for debugging message-passing parallel programs
RHB Netzer, BP Miller
The Journal of Supercomputing 8 (4), 371-388, 1995
2741995
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
2542003
Fine-grained dynamic instrumentation of commodity operating system kernels
A Tamches, BP Miller
University of Wisconsin--Madison, 2001
2522001
Dynamic program instrumentation for scalable performance tools
JK Hollingsworth, BP Miller, J Cargille
Proceedings of IEEE Scalable High Performance Computing Conference, 841-850, 1994
2501994
Efficient Context-Sensitive Intrusion Detection.
JT Giffin, S Jha, BP Miller
NDSS, 2004
2492004
Reliable network connections
VC Zandy, BP Miller
Proceedings of the 8th annual International Conference on Mobile Computing …, 2002
2312002
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
2282004
A mechanism for efficient debugging of parallel programs
BP Miller, JD Choi
ACM SIGPLAN Notices 23 (7), 135-144, 1988
2241988
Hybrid analysis and control of malware
KA Roundy, BP Miller
International Workshop on Recent Advances in Intrusion Detection, 317-338, 2010
2182010
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
2111991
Breakpoints and halting in distributed programs
BP Miller, JD Choi
University of Wisconsin-Madison Department of Computer Sciences, 1986
2081986
Improving the accuracy of data race detection
RHB Netzer, BP Miller
Proceedings of the third ACM SIGPLAN symposium on Principles and practice of …, 1991
1981991
Detecting Manipulated Remote Call Streams.
JT Giffin, S Jha, BP Miller
USENIX Security Symposium, 61-79, 2002
1872002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20