John Penix

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

Google Publications

Previous 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), IEEE (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

    Springer

  •   

    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, IEEE/ACM (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, ACM (1998), pp. 16-23

  •   

    Declarative Specification of Software Architectures

    John Penix, Perry Alexander, Klaus Havelund

    International Conference on Automated Software Engineering, IEEE (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, IEEE (1995), pp. 131-138