John Penix

Google Research

• Home
• Publications
• Tech Talks
• University Relations
• About Google Research
• Work at Google

Other Google Resources

• Google Code
• Google Labs
• Google Scholar

Works on deploying automated tools into developer workflows. On the Steering Committee of the IEEE/ACM International Conference on Automated Software Engineering. Worked in the Automated Software Engineering R&D group at NASA's Ames Research Center before joining Google. Ph.D. in Computer Engineering from the University of Cincinnati.

Publications

• Experiences Using Static Analysis to Find Bugs, Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh, IEEE Software, vol. 25 (2008), pp. 22-29.

• Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach, Joseph Ruthruff, John Penix, J. David Morgenthaler, Sebastian Elbaum, Gregg Rothermel, Proceedings of the International Conference on Software Engineering, 2008, pp. 341-350.

• Evaluating Static Analysis Defect Warnings on Production Software, Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou, Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2007, pp. 1-8.

• Using FindBugs on Production Software, Nathaniel Ayewah, J. David Morgenthaler, John Penix, William Pugh, YuQian Zhou, Proc. OOPSLA'07, 2007.

Prior Publications

• Guest Editors' Introduction, John Penix, John C. Grundy, Autom. Softw. Eng., vol. 13 (2006), pp. 343-344.

• Verifying Time Partitioning in the DEOS Scheduling Kernel, John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger, Formal Methods in System Design, vol. 26 (2005), pp. 103-135.

• Management of Interdependencies in Collaborative Software Development, Cleidson R. B. de Souza, David F. Redmiles, Gloria Mark, John Penix, Maarten Sierhuis, International Symposium on Empirical Software Engineering (ISESE), 2003, pp. 294-303.

• Amphion/NAV: Deductive Synthesis of State Estimation Software, Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat, International Conference on Automated Software Engineering, 2001, pp. 395-399.

• Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000), Nigel Tracey, John Penix, Willem Visser, Softw. Test., Verif. Reliab., vol. 11 (2001), pp. 63-64.

• Formal Analysis of a Space-Craft Controller Using SPIN, Klaus Havelund, Michael R. Lowry, John Penix, IEEE Trans. Software Eng., vol. 27 (2001), pp. 749-765.

• The Second International Workshop on Automated Program Analysis, Testing and Verification, Nigel Tracey, John Penix, Willem Visser, Proceedings of the International Conference on Software Engineering, 2001, pp. 755-755.

• SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings, Klaus Havelund, John Penix, Willem Visser, SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings.

• The First International Workshop on Automated Program Analysis, Testing and Verification, Nigel Tracey, John Penix, Willem Visser, Proceedings of the International Conference on Software Engineering, 2000, pp. 796.

• Using predicate abstraction to reduce object-oriented programs for model checking, Willem Visser, Seungjoon Park, John Penix, Proceedings of the ACM Workshop on Formal Methods in Software Practice, 2000, pp. 3-182.

• Verification of time partitioning in the DEOS scheduler kernel, John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger, ICSE, 2000, pp. 488-497.

• Deductive Synthesis of Event-Based Software Architectures, John Penix, International Conference on Automated Software Engineering, 1999, pp. 311-314.

• Efficient Specification-Based Component Retrieval, John Penix, Perry Alexander, Autom. Softw. Eng., vol. 6 (1999), pp. 139-170.

• Experiences in verifying parallel simulation algorithms, John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey, Proceedings of the ACM Workshop on Formal Methods in Software Practice, 1998, pp. 16-23.

• Declarative Specification of Software Architectures, John Penix, Perry Alexander, Klaus Havelund, International Conference on Automated Software Engineering, 1997, pp. 201-.

• Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration, Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey, Annual Simulation Symposium, 1997, pp. 24-30.

• Verification and Validation of AI Systems that Control Deep-Space Spacecraft, Michael R. Lowry, Klaus Havelund, John Penix, ISMIS, 1997, pp. 35-47.

• Classification and Retrieval of Reusable Components Using Semantic Features, John Penix, Phillip Baraona, Perry Alexander, Knowledge-Based Software Engineering Conference, 1995, pp. 131-138.