Time-Space Tradeoffs Communication Complexity and Data Streams Verification of Software and Hardware Proof Complexity and Satisfiability Parallel and Distributed Computing Data Structures Circuit and PRAM Lower Bounds Other topics
Programming Language Design
Proposed Final Draft.
ACM SIGPLAN Notices 30(3), March 1995
Revised March 17, 2000
Tutorial at ASE 2005
Revision of first author's Master's thesis
Natural language is a programming language: Applying natural language processing to software development
Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms
Article No. 3
Also published as Texas Instruments Technical Report CSC-SIUL-89-12
Assigned to Microsoft Corporation
The idea from this unpublished term paper was written up by Boolos without Ernst's knowledge, to appear as ``Quotational Ambiguity,'' by George Boolos, in On Quine, (Paulo Leonardi, ed.), pp. 283–296, Cambridge University Press, 1995. Boolos called the idea ``Ernst's Paradox'' but refused Ernst's request for coauthorship.