Brady J. Garvin
Assistant Professor of PracticeSoftware Engineering Program
Department of Computer Science and Engineering
University of Nebraska—Lincoln
Office: 261 Avery Hall
E-mail: bgarvin@cse.unl.edu
Teaching
I teach or co-teach the following courses at UNL:
- Software Engineering 160: Software Engineering I.
- Software Engineering 161: Software Engineering II.
- Software Engineering 162: Software Engineering Fundamentals.
- Software Engineering 260: Software Engineering III.
- Software Engineering 261: Software Engineering IV.
- Computer Science 493, 486, and 487: Senior Design.
I have also taught the following courses and their labs at Nebraska Wesleyan University:
- Computer Science 1500: Program Design. Spring, 2016.
- Computer Science 1000: Introduction to Computational Problem Solving. Fall, 2015.
- Computer Science 1500: Program Design. Spring, 2015.
- Computer Science 1000: Introduction to Computational Problem Solving. Fall, 2014.
- Computer Science 200: Formal Languages and Automata. Fall, 2012.
- Computer Science 30: Introduction to Computational Problem Solving. Fall, 2012.
- Computer Science 260: Programming Languages. Fall, 2011.
Research
Obligatory legalese: This material is presented to ensure timely dissemination of scholarly and technical work, but the copyright and all rights therein are retained by the authors or by the other copyright holders. Those who copy this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be re-posted without the explicit permission of the copyright holder. Note that the definitive versions of all published papers appearing here are those that actually appeared in print. In some cases, the versions presented here may differ in minor ways. When citing any published papers provided here, please reference the published versions.
Journal Papers
- B. J. Garvin, D. Stolee, R. Tewari, and V. Variyam. ReachFewL = ReachUL. In Computational Complexity. March, 2014.
- B. J. Garvin, M. B. Cohen, and M. B. Dwyer. Failure Avoidance in Configurable Systems through Feature Locality. In Autonomous and Self-Adaptive Systems (ASAS [book]). February, 2012, pp. 266–296.
- B. J. Garvin, M. B. Cohen, and M. B. Dwyer. Evaluating Improvements to a Meta-Heuristic Search for Constrained Interaction Testing. Empirical Software Engineering (EMSE), July 2010, pp. 1–42.
Conference Papers
- J. Swanson, M. B. Cohen, M. B. Dwyer, B. J. Garvin, and J. Firestone. Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems. In the International Symposium on Foundations of Software Engineering (FSE). November, 2014.
- S. Apel, S. Kolesnikov, N. Siegmund, C. Kästner, and B. J. Garvin. Exploring Feature Interactions in the Wild: The New Feature-Interaction Challenge. In the International Workshop on Feature-Oriented Software Development (FOSD). October, 2013.
- B. J. Garvin, M. B. Cohen, and M. B. Dwyer. Failure Avoidance in Configurable Systems Through Feature Locality. In Autonomous and Self-Adaptive Systems (ASAS [book]). February, 2013.
- B. J. Garvin and M. B. Cohen. Feature Interaction Faults Revisited: An Exploratory Study. In the International Symposium on Software Reliability Engineering (ISSRE). November, 2011, pp. 90–99.
- B. J. Garvin, M. B. Cohen, and M. B. Dwyer. Using Feature Locality: Can We Leverage History to Avoid Failures during Reconfiguartion? In the Workshop on Assurances for Self-Adaptive Systems (ASAS [workshop]). September, 2011, pp. 24–33.
- B. J. Garvin, D. Stolee, R. Tewari, and V. Variyam. ReachFewL = ReachUL. In the International Computing and Combinatorics Conference (COCOON). August, 2011.
- E. Sherman, B. J. Garvin, and M. B. Dwyer. A Slice-based Decision Procedure for Type-based Partial Orders. In the International Joint Conference on Automated Reasoning (IJCAR), July 2010, pp. 156–170.
- B. J. Garvin, M. B. Cohen, and M. B. Dwyer. An Improved Meta-Heuristic Search for Constrained Interaction Testing. In the International Symposium on Search-Based Software Engineering (SSBSE), May 2009, pp. 13–22.
Resources
Prospective Student Resources
- Computing Degrees and Careers by the Association for Computing Machinery (ACM)
- The Difference between Software Engineering and Computer Science according to the ACM
Diversity-in-Computing Resources
- The Anita Borg Institute
- The National Center for Women and Information Technology
- LinuxChix
- The Geek Feminism Blog
Software Engineering Resources
Writing Resources
- Technical Writing Resources (courtesy of Dr. Goddard)