Resume of Flash (K.J.) Sheridan 101 Alma Street #704 Palo Alto, California 94301-1008 650-462-9203 flash@pobox.com http://pobox.com/~flash Employment 2007-2008 Palm, Inc. Static analysis engineer. Maintained and improved Coverity Prevent integration with existing build system; diagnosed and corrected analysis failures; evaluated and improved analysis options to increase relevance and quantity of defect reports. Implemented integration with OpenEmbedded build system. 1998-2007 Palm, Inc./PalmSource, Inc. Test programmer, whitebox testing, C/C++ and Perl. Maintained, debugged, and extended internal test tool for PalmVII server load testing. Senior quality lead for the PalmSource ARM-native compiler and the preview release of the Access Linux Platform Development Suite. 1998 Concept Kitchen. Chief Programmer. WindowsCE, Palm OS, and Perl programming. Maintained and extended Concept Kitchen's main software title, Small Talk, a translation program for business travelers. 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. Tested TCP/IP stack. Maintained and extended test harness for automated API and user testing. Developed test application for Newton Backup Utility data integrity. Designed, implemented, revised, and maintained a variety of Newton test tools. 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; see "Newton Software." 1986-1989 The University of London. Research Assistant, Inference under Uncertainty. Miscellaneous writings on Artificial Intelligence, listed below. Co-system managed a SUN-2 running UNIX BSD 4.2. Refereed four papers on non-standard logics for ECAI 88, the European Conference on Artificial Intelligence. Palm OS Software Small Talk 1.02 & Japanese Language Module (LandWare, Inc.) Added support for Japanese OS extension; supervised and implemented translation of phrase database into Japanese. Pilot Register (Kagi Engineering, Inc.) Port of Newton Register (below) to the Palm Pilot. Pre-alpha. WindowsCE Software (Visual C++) Small Talk (Concept Kitchen.) Translation software for business travelers. Alpha. Newton Software KwikMenu (LandWare, Inc.) Provides 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 Engineering, Inc.) Allows a user to pay for software with a credit card via electronic mail; includes an API and sample code. Supported by approximately 150 third-party packages. URLCop (freeware.) Provides an API to dispatch a URL to the appropriate application. Supported by Newtscape, Newt's Paper, pURL, and Shuffler. MetriGPS (freeware.) Estimates the latitude and longitude of a Metricom wireless modem. Disabler (shareware.) Disables extensions in Newton OS 1.x. Fifteen internally-released Apple tools; details are confidential. Publications "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 1982-1986, 1989-1993 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/CSLI, in a volume which never appeared; see "Publications." 1978-1982 Yale University. B.A., Mathematics and Philosophy. Anthony D. Stanley Award for Excellence in Pure and Applied Mathematics. 1974-1978 Phillips Exeter Academy. Graduated cum laude. Languages Latin, Greek, French (fair), Russian (poor), German (poor, reading only). I have been the publicity director and webmaster of the Stanford Newton User Group since 1994, am president of the Stanford PalmPilot User Group, and was chief judge for the NewtHack III and PalmHack IV-VII programming contests.