BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Italy
1 × The Netherlands
10 × USA
4 × Canada
Collaborated with:
A.R.Bernat Z.Xu N.E.Rosenblum X.Zhu T.W.Reps P.C.Roth A.Tamches J.J.Ordille R.H.B.Netzer J.Choi M.L.Powell K.A.Roundy E.R.Jacobson V.C.Zandy M.Livny O.Naim J.R.Larus J.K.Hollingsworth R.B.Irvin L.A.Call D.L.Cohrs X.Meng W.R.Williams
Talks about:
binari (6) instrument (4) system (4) program (3) process (3) perform (3) code (3) parallel (2) proven (2) machin (2)

Person: Barton P. Miller

DBLP DBLP: Miller:Barton_P=

Contributed to:

ICSM 20132013
WCRE 20122012
ISSTA 20112011
PASTE 20112011
PASTE 20102010
PPoPP 20062006
ESOP 20012001
PLDI 20002000
HPDC 19991999
OSDI 19991999
PPoPP 19991999
PPoPP 19971997
SIGMOD 19931993
PPoPP 19911991
PLDI 19881988
OOPSLA 19871987
SOSP 19831983

Wrote 20 papers:

ICSM-2013-MengMWB #mining #repository
Mining Software Repositories for Accurate Authorship (XM, BPM, WRW, ARB), pp. 250–259.
WCRE-2012-BernatM #algebra #context-free grammar #editing
Structured Binary Editing with a CFG Transformation Algebra (ARB, BPM), pp. 9–18.
ISSTA-2011-BernatRM #performance
Efficient, sensitivity resistant binary instrumentation (ARB, KAR, BPM), pp. 89–99.
Recovering the toolchain provenance of binary code (NER, BPM, XZ), pp. 100–110.
Anywhere, any-time binary instrumentation (ARB, BPM), pp. 9–16.
PASTE-2011-JacobsonRM #library
Labeling library functions in stripped binaries (ERJ, NER, BPM), pp. 1–8.
PASTE-2010-RosenblumMZ #compilation
Extracting compiler provenance from program binaries (NER, BPM, XZ), pp. 21–28.
PPoPP-2006-RothM #automation #online #performance #process
On-line automated performance diagnosis on thousands of processes (PCR, BPM), pp. 69–80.
ESOP-2001-XuRM #type system
Typestate Checking of Machine Code (ZX, TWR, BPM), pp. 335–351.
PLDI-2000-XuMR #safety
Safety checking of machine code (ZX, BPM, TWR), pp. 70–82.
HPDC-1999-ZandyML #process
Process Hijacking (VCZ, BPM, ML), pp. 177–184.
OSDI-1999-TamchesM #fine-grained #kernel #operating system
Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels (AT, BPM), pp. 117–130.
PPoPP-1999-XuMN #thread
Dynamic Instrumentation of Threaded Applications (ZX, BPM, ON), pp. 49–59.
PPoPP-1997-XuLM #memory management #performance #profiling
Shared Memory Performance Profiling (ZX, JRL, BPM), pp. 240–251.
SIGMOD-1993-OrdilleM #challenge #database #information management
Database Challenges in Global Information Systems (JJO, BPM), pp. 403–407.
PPoPP-1991-HollingsworthIM #integration #metric #parallel #performance
The Integration of Application and System Based Metrics in a Parallel Program Performance Tool (JKH, RBI, BPM), pp. 189–200.
PPoPP-1991-NetzerM #concurrent #detection
Improving the Accuracy of Data Race Detection (RHBN, BPM), pp. 133–144.
PLDI-1988-MillerC #debugging #parallel #performance #source code
A Mechanism for Efficient Debugging of Parallel Programs (BPM, JDC), pp. 135–144.
OOPSLA-1987-CallCM #named #user interface #visual notation
CLAM — an Open System for Graphical User Interfaces (LAC, DLC, BPM), pp. 277–286.
SOSP-1983-PresottoM #migration #process
Process Migration in DEMOS/MP (MLP, BPM), pp. 110–119.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.