Benjamin H. Sigelman is an author at Carnegie Mellon University specializing in software maintenance, formal verification, and system software.
Top concepts
EngineeringFormal MethodsCloud ComputingData ManagementSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisDistributed SystemsFormal Verification
Publications per year
2003–2016
3
3
Dapper, a Large-Scale Distributed Systems Tracing Infrastructure
Benjamin H. Sigelman, Luiz André Barroso, Mike Burrows et al. · 2010 · 470 citations
Attractive People: Assembling Loose-Limbed Models using Non-parametric Belief Propagation
Leonid Sigal, Michael Isard, Benjamin H. Sigelman et al. · 2003 · 111 citations
Principled workflow-centric tracing of distributed systems
Raja R. Sambasivan, Ilari Shafer, Jonathan Mace et al. · 2016 · 44 citations · Full text
Software Maintenance, Engineering, Workflow-centric Tracing +19
Rows per page
1–3 of 3