S. Kamal Abdali -- Selected Publications

Publications by Topics

See the list of my coauthors.

*-Semirings

• "Solving Linear Systems on Linear Processor Arrays Using a *-Semiring Based Algorithm" (unpublished) (with K.N. Balasubramanya Murthy and Srinivas Aluru), Feb. 1999.
  link to pdf
• "Parallel Computations in *-Semirings" in Computational Algebra, K.G. Fischer, P. Loustaunau, et. al. (eds.), Marcel Dekker, New York, 1994.
  link to pdf
• "A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm" (with B. David Saunders and Hong Lee), ISSAC 89, Portland, Oregon July 1989).
  link to pdf
• "Parallel Algorithms for *-Semirings Problems" Conference honoring Robert F. McNaughton at his retirement, Rensselaer Polytechnic Institute (May 1989).
• "A Symbolic Computation Package for *-Semirings in REDUCE", Exact Computations Minisymposium in 2nd SIAM Conf. Applied Linear Algebra, Raleigh, NC (April 29--May 2, 1985).
• "Transitive Closure and Related Semiring Properties via Eliminants" (with B. David Saunders), Theoretical Computer Science, Vol. 40, No. 2,3 (1985).
  link to pdf
• "Transitive Closure and Related Semiring Properties via Eliminants" (with B. David Saunders), 2nd SIAM Conf. Applied Linear Algebra, Raleigh, NC (April 29--May 2, 1985).

Computer Algebra

• "Spreadsheet Computations in Computer Algebra" (with G.W. Cherry and N. Soiffer), SIGSAM Bulletin, Vol. 26, No. 2 (April 1992).
  link to acm portal.
        Notwithstanding the title, this paper is actually about characterizing the semantics of computer algebra languages.
• "Experiments with Quadtree Representation of Matrices" (with David S.Wise), ISSAC 88, Rome, Italy (June 1988).
• "On the Road to Better Computer Algebra System Interfaces" (with Guy W. Cherry and Neil Soiffer), ROBEX 87 Symposium, Pittsburgh (June 1987).
• "Spreadsheet Computations in Computer Algebra" (with Guy W. Cherry and Neil Soiffer), EUROCAL 87, Leipzig, East Germany (June 1987).
• "The MathScribe Sampler" (with Guy W. Cherry and Neil Soiffer), Tektronix Computer Research Lab Tech Report CR-87-05 (January 1987).
• "A Smalltalk System for Algebraic Manipulation" (with Guy W. Cherry and Neil Soiffer), ACM OOPSLA Conference, Portland (September 1986). Also appears in IEEE Computer Society Tutorial: Object-Oriented Computing, G.E. Peterson (ed.), Order 822, IEEE Computer Society Press (1987).
        This paper describes the design of a category-theoretical computer algebra system, and its implementation using the object-oriented programming methodology.
• "An Object-Oriented Approach to Algebra System Design" (with Guy W. Cherry and Neil Soiffer), ACM SYMSAC Conference, Waterloo, Canada (July 1986).
  link to acm portal.
• "Visual Environments for Symbolic Computation" (with Guy W. Cherry), EUROCAL 85, Linz, Austria (April 1-3, 1985), in EUROCAL 85, Springer-Verlag Lecture Notes in Computer Science #204, B.F. Caviness (ed.), 1985.
• "Modular Polynomial Arithmetic in Partial Fraction Decomposition" (with Bobby F. Caviness and Adir Pridor), Proc. 1977 MACSYMA Conf., Berkeley, California (July 1977).

Theorem Proving

• "Theorem Proving in Geometry via Grassmann Algebra", poster session paper, East Coast Computer Algebra Day, University of Delaware, Newark, Delaware (April 1995).
• "A Proof Method Based on Sequents, Substitution, and Unification" (with Balakrishnan Krishnamurthy and David R. Musser), Tektronix Computer Research Lab Tech Report CR-86-14 (March 1986).
• "Exploiting Workstations and Displays in Verification Systems" (with Ralph L. London), (Position paper at Verification Workshop III, Feb. 1985, Watsonville, CA), ACM SIGSOFT Software Engineering Notes, Vol. 10, #4 (Aug. 1985).
• "Generalization Heuristics for Theorems Related to Recursively Defined Functions" (with Jan Vytopil), Proc. AAAI-84, Austin, Texas (Aug. 1984).
• "Theorem Generalization in Program Verification" (with Jan Vytopil), Tech. Report CS-8102, RPI (June 1981).
• "On Proving Sequential Machine Designs", IEEE Trans. Computers, Vol. C-20, No. 12, (December 1971).
• "Verification of the Associativity of a Binary Operator", Mathematical Gazette, Vol. 54, No. 390, (December 1970).

Lambda-Calculus and Combinatory Logic, Programming Language Semantics

• "Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by-Name" (with David S. Wise), Mathematical Foundations of Programming Semantics, Lecture Notes in Comp. Sci. #239, Austin Melton (ed.), Springer-Verlag Berlin 1986.
• "A Lambda-Calculus Model for Generating Verification Conditions" (with Franz Winkler), Tech. Report CS-8104, RPI (June 1981).
• "An Attributed LL(1) Compilation of Pascal into the Lambda-Calculus" (with Erich Kaltofen), Tech. Report CS-8103, RPI (June 1981).
• "Synthesis of Invariant Assertions for Arithmetical Programs" (with Jan Vytopil), Tech. Report CS- 8101, RPI (June 1981).
• "A Lambda-Calculus Model of Programming Languages, Part I: Simple Constructs", J. Computer Languages, Vol. 1, (1976).
  link to pdf
• "A Lambda-Calculus Model of Programming Languages, Part II: Jumps and Procedures", J. Computer Languages, Vol. 1, (1976).
  link to pdf
• "An Abstraction Algorithm for Combinatory Logic", J. Symbolic Logic, Vol. 40, (March 1976).
  link to pdf
• "A Lambda Calculus Approach to Proving Program Correctness", SIAM 1975 Natl Mtg., Troy, New York (June 1975).
• A Combinatory Logic Model of Programming Languages, Ph.D. thesis, Computer Sciences Department, University of Wisconsin, Madison (May 1974).
  Thesis Supervisor: Professor George Petznick.
       I've scanned and OCRed the typewritten original, and corrected the OCR errors and omissions (perhaps introducig a few typos of my own). Here is the
  link to pdf.
• "A Combinatory Calculus Model of Programming Languages", Computer Sci. Conf., Columbus, Ohio (February 1973).
• "A Simple Lambda-Calculus Model of Programming Languages", AEC R&D Report C00-3077-28, Courant Institute, NYU (July 1973).
  link to pdf    (Courtesy: the wonderful Internet Archive)
        This report is credited (e.g., by John Reynolds and Ravi Sethi) with codiscovery of the powerful programming language concept of continuation. In my papers, the term used was program remainder.

Algorithms

• "Complexity of Tensor Rank Computations" (with Y. Zalcstein), unpublished manuscript (1993).
  link to pdf
• "Special Series Summation with Arbitrary Precision", Comm. ACM, Vol. 13, No. 9, (September 1970).
  link to pdf
  link to journal page
        This is the original Spigot Algorithm. Under this name, such algorithms were popularized (25 years later!) by Rabinowitz and Wagonin. ("A Spigot Algorithm for the Digits of Pi", American Mathematical Monthly, Vol. 102, No. 3. (Mar., 1995), pp. 195-203)

Pattern Recognition

• "Feature Extraction Algorithms", J. of Pattern Recognition, Vol. 3, (April 1971).
• "Feature Extraction Algorithms" (preliminary version), Comp. Sci. Tech. Report, University of Wisconsin March 1970).
• Algorithm for Feature Extraction and Applications to Handprinted Character Recognition, Master's thesis, Computer Science Department, University of Montreal (June 1968).
  Thesis Supervisor: Professor George Nagy (now at Rennselaer).
• "Experiments in Binary Feature Extraction" (with George Nagy and Ng Tuong), Pattern Recognition Workshop, Delft, The Netherlands (Summer 1968).

Astronomy

• "The Correct Qibla", Web-disseminated article, widely linked and quoted, (Sep. 1997).
  link to pdf
• "The Special Declination Problem", unpublished note, (May 1997).
  link to pdf
• "On the Crescent's Visibility", Al-Ittihad, Vol. 16, Nos. 1-2 (1979).
  link to pdf

Java/CGI

• "CGI Programming in Java", (with Gary Cornell), ZD Internet Magazine, 2-part article, Sep. & Oct. 1997.
• "Macintosh-specific Issues", in Core Java, (by Gary Cornell and Cay S. Horstmann), Prentice-Hall, 1997.

Miscellaneous

• "The Duplicate Detection Problem", unpublished note, (Dec. 2003).
  link to pdf
• "High-Performance Computing Research at NSF" in Proc. Workshop in Wide Area Networks and High Performance Computing, G. Cooperman, G. Michler and E. Jessen (eds.), Lecture notes in control and information sciences No. 249, Springer-Verlag Berlin, 1999.
  link to pdf
• "High Performance Computing Research at NSF", in Proc. Workshop on High Performance Computation and Gigabit Local Area Networks, G. Cooperman, G. Michler and H. Vinck (eds.), Lecture notes in control and information sciences # 226, Springer-Verlag Berlin, 1997.
  link to pdf
• "Computer Generation of Korean Script" (with John Ahn), 1981 ACM Comp. Sci. Conference, St. Louis, Mo. (February 1981).
• "An Urdu Document Production Facility at RPI" (with G. Molholt), 8th South Asia Conference, University of Wisconsin, Madison, Wisconsin (November 1979).
• "Computer Generation of Urdu Script" (with G. Molholt), Asia Society & Columbia University Pakistan Center, Conference on Development in Pakistan, New York (June 1979).
• "The Universities' Business", Guest editorial, SIAM News, Vol. 7, (December 1974).
• "Logic in Aristotle", Search: J. Philos. Soc, University of Karachi (1973).

My Coauthors