Designing an Academic Firewall: Policy, Practice, and Experience with SURF. - Michael B. Greenwald; Sandeep K. Singhal; Jonathan Stone 001; David R. Cheriton (NDSS, 1996)

The Synergy Between Non-Blocking Synchronization and Operating System Structure. - Michael Greenwald; David R. Cheriton (OSDI, 1996)

Practical Algorithms for Self Scaling Histograms or Better than Average Data Collection. - Michael Greenwald (Perform. Evaluation, 1996)

Performance of checksums and CRC's over real data. - Jonathan Stone 001; Michael Greenwald; Craig Partridge; James P. Hughes 001 (IEEE/ACM Trans. Netw., 1998)

Non-blocking synchronization and system design. - Michael B. Greenwald (1999)

Space-Efficient Online Computation of Quantile Summaries. - Michael Greenwald; Sanjeev Khanna (SIGMOD Conference, 2001)

Open Packet Monitoring on FLAME: Safety, Performance, and Applications. - Kostas G. Anagnostakis; Michael Greenwald; Sotiris Ioannidis; Stefan Miltchev (IWAN, 2002)

On the Sensitivity of Network Simulation to Topology. - Kostas G. Anagnostakis; Michael Greenwald; Raphael S. Ryger (MASCOTS, 2002)

Efficient packet monitoring for network management. - Kostas G. Anagnostakis; Sotiris Ioannidis; Stefan Miltchev; Michael Greenwald; Jonathan M. Smith; John Ioannidis (NOMS, 2002)

How to wait when you are not going to block. - Michael Greenwald (PODC, 2002)

Two-handed emulation: how to build non-blocking implementation of complex data-structures using DCAS. - Michael Greenwald (PODC, 2002)

Direct measurement vs. indirect inference for determining network-internal delays. - Kostas G. Anagnostakis; Michael Greenwald (Perform. Evaluation, 2002)

The STRONGMAN Architecture. - Angelos D. Keromytis; Sotiris Ioannidis; Michael B. Greenwald; Jonathan M. Smith (DISCEX (1), 2003)

A cooperative immunization system for an untrusting Internet. - Kostas G. Anagnostakis; Michael B. Greenwald; Sotiris Ioannidis; Angelos D. Keromytis; Dekai Li (ICON, 2003)

cing: Measuring Network-Internal Delays using only Existing Infrastructure. - Kostas G. Anagnostakis; Michael Greenwald; Raphael S. Ryger (INFOCOM, 2003)

Exchange-Based Incentive Mechanisms for Peer-to-Peer File Sharing. - Kostas G. Anagnostakis; Michael Greenwald (ICDCS, 2004)

Power-Conserving Computation of Order-Statistics over Sensor Networks. - Michael Greenwald; Sanjeev Khanna (PODS, 2004)

A hybrid direct-indirect estimator of network internal delays. - Kostas G. Anagnostakis; Michael Greenwald (SIGMETRICS, 2004)

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. - J. Nathan Foster; Michael B. Greenwald; Jonathan T. Moore; Benjamin C. Pierce; Alan Schmitt (POPL, 2005)

Robust Reactions to Potential Day-Zero Worms Through Cooperation and Validation. - Kostas G. Anagnostakis; Sotiris Ioannidis; Angelos D. Keromytis; Michael B. Greenwald (ISC, 2006)

Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. - Michael B. Greenwald; Sanjeev Khanna; Keshav Kunal; Benjamin C. Pierce; Alan Schmitt (DISC, 2006)

Flexible network monitoring with FLAME. - Kostas G. Anagnostakis; Michael B. Greenwald; Sotiris Ioannidis; Dekai Li; Jonathan M. Smith (Comput. Networks, 2006)

COVERAGE: detecting and reacting to worm epidemics using cooperation and validation. - Kostas G. Anagnostakis; Michael B. Greenwald; Sotiris Ioannidis; Angelos D. Keromytis (Int. J. Inf. Sec., 2007)

Exploiting schemas in data synchronization. - J. Nathan Foster; Michael B. Greenwald; Christian Kirkegaard; Benjamin C. Pierce; Alan Schmitt (J. Comput. Syst. Sci., 2007)

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. - J. Nathan Foster; Michael B. Greenwald; Jonathan T. Moore; Benjamin C. Pierce; Alan Schmitt (ACM Trans. Program. Lang. Syst., 2007)

POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem. - J. Nathan Foster; Michael B. Greenwald; Jonathan T. Moore; Benjamin C. Pierce; Alan Schmitt (ACM SIGPLAN Notices, 2015)

Quantiles and Equi-depth Histograms over Streams. - Michael B. Greenwald; Sanjeev Khanna (Data Stream Management, 2016)