Jim Horning, Selected
Publications and Talks
- “The Case for Software Infrastructure Maintenance,” Computer Science Colloquium, Sonoma State University, November 2008.
- “Risks of Neglecting Infrastructure,” Inside Risks column, Communications of the ACM, 51, 6, June 2008.
- “Words Matter: Privacy, Security, and Related Terms,” Workshop on Interdisciplinary
Studies in Information Privacy and Security, New Brunswick, NJ, May 12, 2008.
- “Risks of Virtual Professionalism,” Inside Risks column, Communications of the ACM, 50, 4, April 2007.
- “Wikipedia Risks,” with Peter Denning, David Parnas and Lauren Weinstein, Inside Risks column, Communications of the ACM, 48, 12, December 2005.
- “Risks of Technology-Oblivious Policy,” with Barbara Simons, Inside Risks column, Communications of the ACM, 47, 9, September 2004.
- “Coincidental
Risks,” Inside Risks column, Communications of the ACM, 47, 4, April 2004.
- "Risks of Linear
Thinking," with Peter J. Denning, Inside Risks column, Communications of the ACM, 45,
3, p. 120, March 2002.
- "Learning from
Experience," Inside Risks column, Communications of the ACM, 44,
7, p. 112, July 2001.
- "InterTrust's STAR Lab,"
Computing Research
News, 12, 2, pp. 1, 13-14, March 2000.
- "Happenings:
Dagstuhl Conference," Thomas J. Bergin and James Jay Horning, IEEE Annals of the History of
Computing, Vol. 19, No.3, pp. 74-76, 1997. Report on Dagstuhl Seminar
9635, The History of Software Engineering.
- The
Vesta-2 Software Description Language, Allan Heydon, Jim Horning, Roy Levin, Tim Mann, and Yuan Yu,
Digital Equipment Corporation, Systems Research Center, Technical Note
1997-005, June 24, 1997.
- "The
Larch Shared Language: Some Open Problems," James J. Horning, in Recent Trends in
Data Type Specification, Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl (Eds.), Springer
Lecture Notes in Computer Science 1130, 1996, ISSN 0302-9743, ISBN
3-540-61629-2.
- "LCLint:
A Tool For Using Specifications to Check Code," David Evans, John Guttag,
James Horning, and Yang Meng Tan. Paper presented at the ACM SIGSoft Symposium on
the Foundations of Software Engineering, Dec. 1994.
- Larch: Languages and
Tools for Formal Specification, John V. Guttag and James J. Horning,
with S.J. Garland, K.D.
Jones, A. Modet, and J.M.
Wing, Springer-Verlag Texts and Monographs in Computer Science, 1993, ISBN
0-387-94006-5, ISBN 3-540-94006-5. (Available from MIT as a 677KB PostScript
file, and from CMU as an Acrobat .pdf file.)
[ Jim Horning Home ]
Page created by: home@horning.net
Changes last made
on: June 3, 2008