Kevin J. Sullivan
Encyclopedia
Kevin J. Sullivan is an American
associate professor of computer science
at the University of Virginia
in Charlottesville, Virginia
, United States
. He also holds the title of Virginia Engineering Foundation (VEF) Endowed Faculty Fellow in computer science at the University of Virginia. He is best known for his work with ultra-large-scale (ULS) systems.
He received a bachelor's degree from Tufts University
in 1987, and received MS and PhD degrees in Computer Science and Engineering from the University of Washington
in 1994. He has been at the University of Virginia since 1994.
His best known work is on Mediator-based Design Style with David Notkin, on the Galileo: Fault Tree Analysis Tool with Joanne Bechta Dugan. He has also contributed to the design of the Eos (programming language) along with Hridesh Rajan, and is one of many co-authors of the report Ultra-Large-Scale (ULS) Systems: The Software Challenge of the Future
His most cited papers as shown in Scopus
are:
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
associate professor of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Virginia
University of Virginia
The University of Virginia is a public research university located in Charlottesville, Virginia, United States, founded by Thomas Jefferson...
in Charlottesville, Virginia
Charlottesville, Virginia
Charlottesville is an independent city geographically surrounded by but separate from Albemarle County in the Commonwealth of Virginia, United States, and named after Charlotte of Mecklenburg-Strelitz, the queen consort of King George III of the United Kingdom.The official population estimate for...
, United States
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
. He also holds the title of Virginia Engineering Foundation (VEF) Endowed Faculty Fellow in computer science at the University of Virginia. He is best known for his work with ultra-large-scale (ULS) systems.
He received a bachelor's degree from Tufts University
Tufts University
Tufts University is a private research university located in Medford/Somerville, near Boston, Massachusetts. It is organized into ten schools, including two undergraduate programs and eight graduate divisions, on four campuses in Massachusetts and on the eastern border of France...
in 1987, and received MS and PhD degrees in Computer Science and Engineering from the University of Washington
University of Washington
University of Washington is a public research university, founded in 1861 in Seattle, Washington, United States. The UW is the largest university in the Northwest and the oldest public university on the West Coast. The university has three campuses, with its largest campus in the University...
in 1994. He has been at the University of Virginia since 1994.
His best known work is on Mediator-based Design Style with David Notkin, on the Galileo: Fault Tree Analysis Tool with Joanne Bechta Dugan. He has also contributed to the design of the Eos (programming language) along with Hridesh Rajan, and is one of many co-authors of the report Ultra-Large-Scale (ULS) Systems: The Software Challenge of the Future
His most cited papers as shown in Scopus
Scopus
Scopus, officially named SciVerse Scopus, is a bibliographic database containing abstracts and citations for academic journal articles. It covers nearly 18,000 titles from over 5,000 international publishers, including coverage of 16,500 peer-reviewed journals in the scientific, technical, medical,...
are:
- "Software reflexion models: Bridging the gap between source and high-level models ",by Murphy, Gail C., Notkin, David, Sullivan, Kevin, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering 1995 , pp. 18–27., cited 105 times
- "Software reflexion models: Bridging the gap between design and implementation " by Murphy, G.C., Notkin, D., Sullivan, K.J. IEEE Transactions on Software Engineering.. 27 (4), 2001, pp. 364–380, cited 99 times.
- "Modular software design with crosscutting interfaces " by Griswold, W.G., Shonle, M., Sullivan, K., Song, Y., Tewari, N., Cai, Y., Rajan, H IEEE Software 23 (1), pp. 51–60, 2006, cited 66 times.