Flash Sheridan’s Home Page

In May 2024, POBox.com’s URL redirection for life is ending, so my web pages are moving to http://flash-sheridan.name.

• My résumé (in PDF format or on LinkedIn).

  I’m looking for remote work in static analysis or compiler testing, for up to roughly forty hours a week.

• “Practical Testing of a C99 Compiler Using Output Comparison,” Software: Practice and Experience, April 2007
  • Preprint at http://arxiv.org/abs/2202.07390
  • Compiler testing bibliography
  • My open source bug reports
  • My apple/swift commits - GitHub (r9634-r24586)
• “Deploying Static Analysis,” cover story, Dr Dobb’s Journal, August 2012
  • Full issue, PDF
  • Unabridged preprint, with references
  • The Dr Dobb’s web site seems to be having problems; here are links to the Internet Achive versions of sections 1, 2, and 3
• “Static Analysis Deployment Pitfalls,” preprint, Supplemental Proceedings of the 21st IEEE International Symposium on Software Reliability Engineering, November 2010
• The Era of “Update Automatically” is Over.
• “A Closer Look at the Russell Paradox,” to appear in Logique et Analyse. Preprint at https://arxiv.org/abs/2103.00090.
• “A Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set” (abridged), in Logique et Analyse, Vol 59, No 233 (2016) pp. 81–131, doi:10.2143/LEA.233.0.3149532. The full version is available at the Centre National de Recherches de Logique, archived at the Wayback Machine.
• “Fixing Frege’s Set Theory,” slides from a talk on Church’s and my set theories with a universal set, delivered remotely at the University of Oxford Mathematical Institute, October 2013, and at the Stanford Mathematics Department, April 2014.
• My Google Scholar page
• Isaac Asimov 100th Birthday Meetup (2020), Guest of Honor Sheila Williams, Editor of Asimov’s Science Fiction Magazine: http://tiny.cc/asimov100/
• PalmHack
• Newton Register: Pay for shareware from your Newton
• EncycloClip, a faceless iPhone app. It worked around a Britannica.com bug and a Safari bug, which mostly got fixed while I was waiting for a code-signing bug fix. It still reduces the tap-count and eliminates an unnecessary http request. Briefly in the iTunes Store Reference Top Twenty.
• The Anglo-Saxon Poetic Records converted to ePub format, with the permission of the transcriber, Dr. Gregory Hidley of UCSD
  • But see now instead http://poppy.nsms.ox.ac.uk/woruldhord/contributions/132 or https://itunes.apple.com/en/book/anglo-saxon-poetic-records/id478722744.
• My LinkedIn Static Code Analysis Group (6000 members)
• Stuff I like: http://flash-sheridan.name/plugs.html
• Some Newton bookmarks (old)
• My bookmarks (live)
• Mail me
• This page

My APIs

• Newton GetURL/FetchURL proposed standard (URLCop)
• Register API sample code
• KwikMenu drop-in sample code

Stanford Handheld User Groups (dormant)

• SPUG, the Stanford PalmPilot User Group (dormant)
• Stanford Newton User Group (dormant)
• Stanford iPhone User Group (dormant)
• SPAM, Stanford Perl Mongers (dormant)
• Swug (Stanford WindowsCE User Group) (defunct)

Errata

• for GCC: The Complete Reference by Arthur Griffith, McGraw-Hill Osborne 2002
• for Fixing Frege by John P. Burgess, Princeton University Press 2005
• for Rome: An Oxford Archaeological Guide by Amanda Claridge, Oxford University Press 1998
• for OpenStax Biology 2e, approximately 17 corrections, most of those from https://openstax.org/confirmation/errata?id=13060 through 13072, 13127 through 13131, and 13191. Several were incorrectly rejected, and not all those marked as fixed were fully corrected.

Non-Errata: Publications Which Incorporated My Corrections

• Mastering Ethereum, by Andreas M. Antonopoulos & Gavin Wood: My pull requests. (The best blockchain book I was able to find, but the second-worst O’Reilly book I’ve read.)
• Ea’s Duplicity in the Gilgamesh Flood Story by Martin Worthington
• Proteomic comparison of platelet-rich plasma and platelet-poor plasma by Olga Miroshnychenko, Robert J. Chalkley, Ryan D. Leib, Peter A. Everts, Jason L. Dragoo, Regenerative Therapy (doi.org/10.1016/j.reth.2020.09.004)
• A low-cost mass spectrometry-based approach for quantifying purines in placental explants by Ruslan Rodriguez, Igor Konovets, Serhii Ralchenko, Maxsim Kharkhota, Andrij Kostyuk, Victoriia Kosach, Irina Voronina, Natalia Filimonova, Maria Obolenskaya, International Journal of Mass Spectrometry, February 2021
• Walter the Whistler Bear by Kathleen Sheridan Russell, The Friesen Press