Barton Miller
Barton Miller
Vilas Distinguished Achievement Professor, University of Wisconsin-Madison
Email verificata su cs.wisc.edu - Home page
TitoloCitata daAnno
The Paradyn parallel performance measurement tool
BP Miller, MD Callaghan, JM Cargille, JK Hollingsworth, RB Irvin, ...
Computer 28 (11), 37-46, 1995
10791995
An empirical study of the reliability of UNIX utilities
BP Miller, L Fredriksen, B So
Communications of the ACM 33 (12), 32-44, 1990
10391990
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
5531992
Process migration in DEMOS/MP
ML Powell, BP Miller
ACM SIGOPS Operating Systems Review 17 (5), 110-119, 1983
4851983
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
3791995
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
3612000
IPS-2: The second generation of a parallel program measurement system
BP Miller, M Clark, J Hollingsworth, S Kierstead, SS Lim, T Torzewski
IEEE Transactions on Parallel & Distributed Systems, 206-217, 1990
2771990
Optimal tracing and replay for debugging message-passing parallel programs
RHB Netzer, BP Miller
The Journal of Supercomputing 8 (4), 371-388, 1995
2531995
Fine-grained dynamic instrumentation of commodity operating system kernels
A Tamches, BP Miller
University of Wisconsin--Madison, 2001
2352001
Dynamic program instrumentation for scalable performance tools
JK Hollingsworth, BP Miller, J Cargille
Proceedings of IEEE Scalable High Performance Computing Conference, 841-850, 1994
2351994
Efficient Context-Sensitive Intrusion Detection.
JT Giffin, S Jha, BP Miller
NDSS, 2004
2302004
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
2302003
Reliable network connections
VC Zandy, BP Miller
Proceedings of the 8th annual international conference on Mobile computing …, 2002
2212002
A mechanism for efficient debugging of parallel programs
BP Miller, JD Choi
ACM SIGPLAN Notices 23 (7), 135-144, 1988
2201988
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
2142004
Techniques for debugging parallel programs with flowback analysis
JD Choi, BP Miller, R Netzer
University of Wisconsin-Madison Department of Computer Sciences, 1988
2051988
Breakpoints and halting in distributed programs
BP Miller, JD Choi
University of Wisconsin-Madison Department of Computer Sciences, 1986
2011986
Improving the accuracy of data race detection
RHB Netzer, BP Miller
University of Wisconsin-Madison Department of Computer Sciences, 1991
1851991
Detecting Manipulated Remote Call Streams.
JT Giffin, S Jha, BP Miller
USENIX Security Symposium, 61-79, 2002
1742002
Critical path analysis for the execution of parallel and distributed programs
CQ Yang, BP Miller
[1988] Proceedings. The 8th International Conference on Distributed, 366-373, 1988
1701988
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20