Papers by Subfield

All papers in this list have a female-identifying (at time of publication) first or corresponding author.

Algorithms / Theory

Machine Learning / Artificial Intelligence

Systems / Networks

Databases

Programming Languages

Robotics

Security

Uncategorized

Algorithms / Theory

On a theory of computation over the real numbers; NP completeness, recursive functions and universal machines. L. Blum, M. Shub, and S. Smale.

Proceedings of the 29th Annual Symposium on Foundations of Computer Science, 1988.

A Simple Unpredictable Pseudo-Random Number Generator. L. Blum, M. Blum, and M.Shub.

SIAM J. Computing. 15 (2): 364-383. 1986.

The Knowledge Complexity of Interactive Proof Systems. S. Goldwasser, S. Micali, and C. Rackoff.

SIAM J. Computing. 18 (1): 186–208. 1989.Description: This paper introduced the concept of zero knowledge.

Machine Learning / Artificial Intelligence

Imagenet: A Large-scale Hierarchical Image Database. J. Deng, W. Dong, R. Socher, J. Li, K. Li, Kai, and L. Fei-Fei.

IEEE Conference on Computer Vision and Pattern Recognition. 2009.

Learning Curves: Asymptotic Values and Rate of Convergence. C. Cortes, L. D. Jackel, S. A. Solla, V. Vapnik, and J. S. Denker.

Advances in Neural Information Processing Systems. 1994.

Learning probabilistic models of relational structure. L. Getoor, N. Friedman, D. Koller, B. Taskar

ICML, 2001.

Support vector machine active learning with applications to text classification. S. Tong, D. Koller.

Journal of Machine Learning Research, 2001.

Systems / Networks

An algorithm for distributed computation of a spanning tree in an extended LAN. R. Perlman.

ACM SIGCOMM Computer Communication Review. 1985

An Implementation of a Log-Structured File System for UNIX. M.I. Seltzer, K. Bostic, M.K. McKusick, C. Staelin.

Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter. 1993.

Generalized FLP impossibility result for t-resilient asynchronous computations. E. Borowsky, E.Gafni

Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing. 1993.

Practical Byzantine Fault Tolerance. M. Castro and B. Liskov.

Proceedings of the Third Symposium on Operating Systems Design and Implementation. 1999.

Continuous profiling: where have all the cycles gone?. J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M. Henzinger, S.A. Leung, Shun-Tak A, R.L Sites, M.T. Vandevoorde, C. Waldspurger, W.E. Weihl.

ACM Transactions on Computer Systems (TOCS). 1997.

Databases

SimRank: a measure of structural-context similarity. G. Jeh, J. Widom.

Proceedings of the 8th ACM SIGKDD international conference on Knowledge discovery and data mining. 2002.

DisC Diversity: Result Diversification based on Dissimilarity and Coverage. M. Drosou, E. Pitoura.

Proceedings of the VLDB Endowment, 2012.

Weaving Relations for Cache Performance. A. Ailamaki, D.J. DeWitt, M.D. Hill, M. Skounakis.

VLDB, 2001.

Programming Languages

Programming with abstract data types. B. Liskov, S. Ziles.

ACM SIGPLAN Notices, 1974.

An Axiomatic Proof Technique for Parallel Programs I. S. Owicki, D. Gries.

Acta informatica, 1976. Winner of the 1977 ACM Award for best paper in programming languages and systems.

Finding Patterns Common to a Set of Strings. D. Angluin.

Proceedings of the eleventh annual ACM symposium on Theory of computing, 1979

Inductive Inference of Formal Languages from Positive Data. D. Angluin.

Information and Control, 1980.

Control flow analysis. F.E. Allen.

ACM SIGPLAN Notices, 1970

gprof: A Call Graph Execution Profiler. S.L. Graham, P.B. Kessler, M. K. McKusick.

Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, 1982.

Robotics

Programmable Self-Assembly Using Biologically-Inspired Multiagent Control. R. Nagpal.

Intl. Conf. on Autonomous Agents and Multi-Agent Systems, July 2002.

Collective Construction Using Lego Robots. C. Schuil, M. Valente, J. Werfel, R. Nagpal.

National Conference on Artificial Intelligence (AAAI), 2006. Received Technical Innovation Award for "elegant connection of theory and design".

Security

Differential Privacy. C. Dwork.

International Colloquium on Automata, Languages, and Programming, 2006.

Uncategorized

Concepts and experiments in computational reflection