Resume of Flash (K.J.) Sheridan 101 Alma Street #704 Palo Alto, California 94301-1008 1-650-462-9203 flash@pobox.com http://pobox.com/~flash Summary: Twelve years experience in software quality assurance; two years experience in software development. Skilled at finding, reporting, and tracking software bugs, via whitebox testing, test harness development, user-level testing, load testing, and static analysis. Published authority on compiler testing. Technologies: C/C++, Perl, sh/tcsh/bash, HTML, TCP/IP, Linux, Macintosh, Windows, Palm OS, static analysis, embedded systems. Employment 2009- Code Integrity Solutions. Senior Consultant. Static analysis using Klocwork and PC-lint. 2007-2009 Palm, Inc.* Static analysis engineer. Corrected Coverity integration with existing build system to improve automated detection of software defects; diagnosed analysis failures; adjusted analysis options to increase relevance and quantity of defect reports. Implemented integration with OpenEmbedded build system. Implemented reporting system to track responsibility for detected defects, which resulted in hundreds of bugs being fixed. 1998-2007 Palm, Inc./PalmSource, Inc.* Test programmer. Whitebox testing, C/C++ and Perl. Maintained, debugged, and extended internal test tool for Palm VII server load testing; no unanticipated failures under load in production by components for which I was responsible. Senior Quality Lead for the PalmSource ARM-native compiler; no bugs in the compiler were reported after its release, and an account of my testing methodology was published by one of the leading academic computer science journals; see "Publications." 1998 Concept Kitchen. Chief programmer. Windows CE, Palm OS, and Perl programming. Maintained and extended Concept Kitchen's main software title, Small Talk, a business translation program, later acquired by LandWare. 1995-1997 Apple Computer.* Test programmer. Low-level Quality Lead, Newton MessagePad 2100. API Quality Lead, eMate 300. Low-level Quality Lead for an unreleased POP/SMTP client. Maintained and extended test harness for automated API and user-level testing. Developed test program for Newton Backup Utility data integrity. As semi-official Usenet representative, handled third-party bug reports, user data collection, rumor management, and spin control. 1993-1994 Pocket Science. Freelance Newton programmer. Developed KwikMenu, later acquired by LandWare; see "Newton Software." 1986-1989 The University of London. Research Assistant, Inference under Uncertainty. Writings on Artificial Intelligence, listed below. Palm OS Software (CodeWarrior C) Small Talk 1.02 & Japanese Language Module (LandWare). Added support for Japanese OS extension; supervised and implemented translation of phrase database into Japanese. Pilot Register (Kagi). Port of Newton Register (below) to Palm OS. Pre-alpha. Windows CE Software (Visual C++) Small Talk (Concept Kitchen). Translation software for business travelers. Alpha. Newton Software (NewtonScript) KwikMenu (LandWare). Provided immediate, universal menu access to a variety of common tasks. Reviewed in NewtNews 2/20/96, Gecko 4/96, and Pen Computing 5/96. Gecko rating: 4 1/2 out of 5. Register (Kagi). Allowed a user to pay for software with a credit card via electronic mail; provided an API supported by approximately 150 third-party packages. URLCop (freeware). Provided an API to dispatch a URL to the appropriate application. Supported by Newtscape, Newt's Paper, pURL, and Shuffler. Writing "Static Analysis in a Fallen World," talk at Stanford University Computer Science Department, 2010. "Practical Testing of a C99 Compiler Using Output Comparison," Software: Practice and Experience, 2007 [37] pp. 1475-1488. "Access Linux Platform for Linux Geeks: an Introduction," PalmSource Developer Newsletter #25. "Status Bar Buttons Made Cheap and Easy," accepted by Personal Interactive Electronics Developers Journal, shortly before it ceased publication. "Generalizing Church's j-Equivalence while Preserving Extensionality," accepted for Alonzo Church's ninetieth birthday Festschrift, University of Chicago Press/Stanford Center for the Study of Language and Information. The publication of this book was cancelled after a long editorial delay. "A Survey of Techniques for Inference under Uncertainty," Artificial Intelligence Review, 1991 [5] pp. 89-119. Three articles in Non-Standard Logics for Automated Reasoning, Academic Press, 1988, edited by Phillipe Smets, E.H. Mamdani, and Didier Dubois. Education Balliol College, University of Oxford. Thesis for a doctorate in mathematical logic mostly complete. The results are summarized in sections 4.1 and 4.3 of Set Theories with a Universal Set, by T.E. Forster (Oxford Logic Guides 20, Clarendon Press, Oxford, 1992). The main result was accepted for publication by the University of Chicago Press, in a volume which never appeared; see "Publications." Yale University. B.A., Mathematics and Philosophy. Anthony D. Stanley Award for Excellence in Pure and Applied Mathematics. Phillips Exeter Academy. Graduated cum laude. Languages Latin, Greek, French (fair), Russian (poor), German (poor). User and Developer Groups I have been the publicity director and webmaster of the Stanford Newton User Group since 1994, am president of the Stanford PalmPilot User Group, was chief judge for the PalmHack IV-VII programming contests, and founded the LinkedIn Static Code Analysis Group. ________________________ * Contractor to employee