Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Micah Z. Brodsky

dblp:15/657 · DBLP profile ↗
← Back
6ranked-venue papers
4as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 3 · 2 first-authorArtificial intelligence and machine learning · 2 · 2 first-authorSoftware engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer networks
1 paper
Wireless networking · 100%
Network and information security
1 paper
Systems and software security · 100%
Software engineering, system software, and programming languages
1 paper
Operating systems · 100%

Topics — the 7 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Wireless networking › medium access control
carrier sensing
0.112009
In defense of wireless carrier sense · SIGCOMM 2009
Wireless networking
medium access control
0.112009
In defense of wireless carrier sense · SIGCOMM 2009
Systems and software security › information flow control
decentralized information flow control
0.112007
Information flow control for standard OS abstractions · SOSP 2007
Systems and software security
information flow control
0.112007
Information flow control for standard OS abstractions · SOSP 2007
Systems and software security
operating system security
0.112007
Information flow control for standard OS abstractions · SOSP 2007
Wireless networking
wireless network performance
0.012009
In defense of wireless carrier sense · SIGCOMM 2009
Operating systems › operating system interface › system call
system call interposition
0.012007
Information flow control for standard OS abstractions · SOSP 2007

Methods — techniques the papers use, named apart from their topics

reference monitor · 0.1theoretical modeling · 0.1testbed experimentation · 0.1
YearPublicationVenuePosition
2016 Partial Redundancy and Morphological Homeostasis: Reliable Development through Overlapping Mechanisms
abstract
How might organisms grow into their desired physical forms in spite of environmental and genetic variation? How do they maintain this form in spite of physical insults? This article presents a case study in simulated morphogenesis, using a physics-based model for embryonic epithelial tissue. The challenges of the underlying physics force the introduction of closed-loop controllers for both spatial patterning and geometric structure. Reliable development is achieved not through elaborate control procedures or exact solutions, but through crude layering of independent, overlapping mechanisms. As a consequence, development and regeneration together become one process, morphological homeostasis, which, owing to its internal feedbacks and partially redundant architecture, is remarkably robust to both knockout damage and environmental variation. The incomplete nature of such redundancy furnishes an evolutionary rationale for its preservation, in spite of individual knockout experiments that may suggest it has little purpose.
Micah Z. Brodsky
Artif. Life1
2014 Spatial Patterning with the Rule of Normal Neighbors
abstract
Based on developmental biology’s Rule of Normal Neighbors, we develop a new mechanism for spatial patterning, exhibiting spontaneous symmetry breaking, regeneration, and approximate scale invariance. The desired pattern is represented as a topological adjacency graph, yielding an energy function that cells minimize through local interactions. Combined with a controller manipulating cells ’ mechanical properties, we demonstrate programmable geometric homeostasis for 3D cellular surfaces via simultaneous patterning and deformation.
Micah Z. Brodsky
ALIFE1
2009 WikiDo
Nate Kushman, Micah Z. Brodsky, S. R. K. Branavan, Dina Katabi, Regina Barzilay, Martin C. Rinard
HotNets2
2009 In defense of wireless carrier sense
abstract
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known to be imperfect, and many improved techniques have been proposed. Is the search for a replacement justified? This paper presents a theoretical model for average case two-sender carrier sense based on radio propagation theory and Shannon capacity. Analysis using the model shows that carrier sense performance is surprisingly close to optimal for radios with adaptive bitrate. The model suggests that hidden and exposed terminals usually cause modest reductions in throughput rather than dramatic decreases. Finally, it is possible to choose a fixed sense threshold which performs well across a wide range of scenarios, in large part due to the role of the noise floor. Experimental results from an indoor 802.11 testbed support these claims.
Micah Z. Brodsky, Robert T. Morris
SIGCOMM1
2007 World Wide Web Without Walls
Micah Z. Brodsky, Maxwell N. Krohn, Robert Morris 0005, Michael Walfish, Alexander Yip
HotNets1
2007 Information flow control for standard OS abstractions
abstract
Decentralized Information Flow Control (DIFC) [24] is an ap-proach to security that allows application writers to control how data flows between the pieces of an application and the outside world. As applied to privacy, DIFC allows untrusted software to compute with private data while trusted security code controls the release of that data. As applied to integrity, DIFC allows trusted code to protect untrusted software from unexpected malicious in-puts. In either case, only bugs in the trusted code, which tends to be small and isolated, can lead to security violations. We present Flume, a new DIFC model and system that applies at the granularity of operating system processes and standard OS ab-stractions (e.g., pipes and file descriptors). Flume eases DIFC’s use in existing applications and allows safe interaction between con-ventional and DIFC-aware processes. Flume runs as a user-level reference monitor on Linux. A process confined by Flume cannot perform most system calls directly; instead, an interposition layer replaces system calls with IPC to the reference monitor, which en-forces data flow policies and performs safe operations on the pro-cess’s behalf. We ported a complex Web application (MoinMoin wiki) to Flume, changing only 2 % of the original code. The Flume version is roughly 30–40 % slower due to overheads in our current implementation but supports additional security policies impossible without DIFC.
Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris 0005
SOSP3