| Journal Articles |
- Continuous non-differentiable
functions. Pi Mu Epsilon Journal, 6(5): 249-260,
Fall 1976. (First place winner - 1976/77 Pi Mu Epsilon Journal
Manuscript Competition.)
- Modular verification of
computer communication protocols, with Susan Owicki. IEEE
Transactions on Communications, COM-31(1):56-68,
January 1983. (DL)
- A simple protocol whose proof
isn't. IEEE Transactions on Communications, COM-33(4):330-337,
April 1985. (DL)
- ALAN - A (circuit switched)
local area network, with A. Heller, L. Hoevel, and Y. Thefaine.
IEEE Journal on Selected Areas in Communications, SAC-3(3):427-430,
May 1985. Invited paper for special issue on Communications
for Personal Computers. (DL)
- Multiparadigm languages and environments. IEEE Software,
3(1), January 1986. Guest editor of special issue. Guest
editor's introduction, pages 6-9. Multiparadigm research: A
survey of nine projects, page 70. SW2: A multiparadigm shell
for CMS, page 74. (DL)
- Script: A communication abstraction mechanism and its verification,
with Nissim Francez and Gadi Taubenfeld. Science of Computer
Programming, 6:35-88, January 1986. (DL)
- An execution architecture for
FP, with Tien Huynh and Lee W. Hoevel. IBM Journal of
Research and Development, 30(6): 609-616, November
1986.
- Comparing
two functional programming systems, with T. Huynh and G.
Revesz. IEEE Transactions on Software Engineering, 15(5):
532-542, May 1989. Detailed benchmark programs available in
IBM Research Report RC 12598, March 1987 (revised March 1988).
(DL)
- Extending
objects to provide multiple interfaces and access control,
with H. Ossher. IEEE Transactions on Software Engineering,
16(11): 1247-1257, November 1990. (DL)
- An
object-based programming model for shared data, with G.
E. Kaiser. ACM Transactions on Programming Languages and
Systems, 14(2): 201-264, April 1992. (DL)
- SIGPLAN
scope and tutorial needs, with Ron K. Cytron. ACM Computing
Surveys, 27(2): 290-291, June 1995. (DL)
- NetVista:
Growing an Internet solution for schools, with W. A. Kellogg,
J. T. Richards, C. Swart, P. Malkin, M. Laff, V. Hanson. IBM
Systems Journal, 37(1): 19-41, 1998.
- Software
Debugging, Testing and Verification, with P. Santhanam.
IBM Systems Journal, 41(1): 4-12, 2002. (DL)
- Web
Services: Promises and Compromises, with Ali Arsanjani,
Joanne Martin, and Peri Tarr. ACM Queue, 1(1):
48-58, March 2003. (DL)
- Model-driven development: The good, the bad, and the ugly, with Peri Tarr. IBM Systems Journal, 45(3), 2006. (DL)
|
| Books
and Chapters |
- Verifying network protocols using temporal logic, with Susan
Owicki. In Carl Sunshine, editor, Communication Protocol Modeling,
pages 189-199. Artech House, 1981. Reprinted from Proceedings
of the Symposium on Trends and Applications 1980: Computer Network
Protocols (Gaithersburg), pages 18-28. IEEE Computer Society,
May 1980. Selected as outstanding paper of the symposium.
- Verifying Concurrent Processes Using Temporal Logic,
Ph.D. Thesis, Stanford University, 1980. Lecture
Notes in Computer Science,
volume 129. Springer Verlag, 1982.
- Specifying and verifying protocols represented as abstract programs.
In Paul Green, editor, Computer Network Architectures and Protocols,
pages 607-623. Plenum, 1982.
- Keeping a foot on the ground. In Dexter Kozen, editor, Logics
of Programs, pages 122-123. Lecture Notes in Computer Science,
volume 131. Springer Verlag, 1982.
- Concurrent processing. In Sybil Parker, editor, McGraw-Hill
Encyclopedia of Electronics and Computers, pages 163-164.
McGraw-Hill, 1984. Also in Sybil Parker, editor, McGraw-Hill
Concise Encyclopedia of Science and Technology, pages 422-423.
McGraw-Hill, 1984. Also in McGraw-Hill Encyclopedia of Science
and Technology, Sixth Edition, pages 304-305, 1987.
- Script: A Communication Abstraction Mechanism and its Verification,
with Nissim Francez and Gadi Taubenfeld. In K. R. Apt, editor,
Logics and Models of Concurrent Systems, pages 169-212.
NATO ASI Series, volume F13. Springer Verlag, 1985.
- Tools for Verifying Network Protocols. In K. R. Apt, editor,
Logics and Models of Concurrent Systems, pages 57-76. NATO
ASI Series, volume F13. Springer Verlag, 1985.
- A model for object-based inheritance, with V. Nguyen. In Bruce
Shriver and Peter Wegner, editors, Research Directions in Object-Oriented
Programming, pages 147-164. Computer Systems Series.
MIT Press, 1987
|
| Conferences |
- Modular
verification of concurrent programs, with Susan Owicki.
Proceedings of the Ninth ACM Symposium on Principles of Programming
Languages (Albuquerque), pages 322-336. ACM, January 1982.
(DL)
- Script:
A communication abstraction mechanism, with Nissim Francez.
Proceedings of the Second ACM Symposium on Principles of
Distributed Computing (Montreal), pages 213-227. ACM, August
1983. Reprinted in Operating Systems Review, 19(2):53-67,
ACM, April 1985. (DL)
- An experimental distributed database
system, with Henry F. Korth. Proceedings of Databases
for Business and Office Applications (San Jose), pages 2-7.
ACM, May 1983.
- SW2:
An object-based programming environment, with Mark Laff.
Proceedings of ACM SIGPLAN '85 - Language Issues in Programming
Environments (Seattle), pages 1-11. ACM, June 1985. (DL)
- A
generalized object model, with Van Nguyen. Proceedings
of the Object-Oriented Programming Workshop (Yorktown Heights),
pages 78-87. IBM and Brown University, June 1986. Available
as SIGPLAN Notices, 21(10):78-87, ACM, October
1986. (DL)
- An improved DEL-style execution
architecture for FP, with T. Huynh. Proceedings of the
Twentieth Hawaii International Conference on System Sciences
(Kona, Hawaii), volume 1, pages 370-377. Western Publications,
January 1987. Selected as best paper of Architecture Track.
- FPL: A functional parallel language,
with V. Nguyen and A. Demers. Proceedings of the Twentieth
Hawaii International Conference on System Sciences (Kona,
Hawaii), volume 2, pages 191-207. Western Publications, January
1987.
- Design of a multiparadigm
language. Proceedings of the Twentieth Hawaii International
Conference on System Sciences (Kona, Hawaii), volume 2,
pages 239-246. Western Publications, January 1987.
- Modal and temporal logic in computer science. Invited lecture,
1989 International Conference on Computing and Information (Toronto),
May 1989.
- An object model for shared data,
with Gail E. Kaiser. IEEE International Conference on Computer
Languages 90 (New Orleans), pages 136-144. IEEE Computer
Society, March 1990. Expanded version is available as IBM RC
14996, October 1989. (DL)
- Dynamic reconfiguration in an
object-based programming language with shared data, with
Gail E. Kaiser. IEEE Eleventh International Conference on
Distributed Computing Systems (Arlington, TX). IEEE Computer
Society, pages 73-80, May 1991. Expanded version is available
as IBM RC 16232, October 1990. (DL)
- Software
Engineering for Web Services: A Focus on Separation of Concerns,
with Peri Tarr. OOPSLA 2001 Workshop on Object-Oriented Web
Services (Tampa, FL), October 2001. Available as IBM Research
Report RC 22184, September 2001.
- Lack of association between ED crowding and bounceback admissions, with SL Bernstein, K Yadav, S Wall, S Hailpern, PE Bijur, and EJ
Gallagher. 2008 Annual Meeting of the Society
for Academic Emergency Medicine (Washington, DC), May 2008.
- Association between ED crowding and inpatient length of stay, with SL Bernstein, K Yadav, S Wall, S Hailpern, PE Bijur,
and EJ Gallagher. 2008 Annual Meeting of the Society for
Academic Emergency Medicine, (Washington, DC), May 2008.
- Toward governance of emergent processes and adaptive organizations, with Peri Tarr and Clay Williams. SDG '08: Proceedings of the 1st international workshop on Software development governance (Leipzig), 2008.
- Technology and Social Trends in Software Development. Invited lecture, CASCON 2008 (Toronto), October 2008.
- Open Collaborative Research, Invited lecture, CASCON 2008 (Toronto), October 2008.
|
| Technical Reports |
- S-1 Architecture Manual (SMA-3), with Bruce Hitson.
Computer Systems Laboratory Technical Report 161, Stanford University,
January 1979.
- An introduction to Pacal/VS input/output under CMS. IBM Research
Report RC 9354, April 1982.
- An integrated office system,
with C. L. Cesar, K.-C. Chu, G. A. Flurry, E. P. Jensen, R.
P. King, H. F. Korth, M. A. Martin, D. L. Reich, H. b. Reubenstein,
J. L. Rosenfeld, J. J. Shedletsky, M. M. Theimer, B. E. Willner,
and P. P. Wolf. IBM Research Report RC 9659, October 1982.
- PC protocol card: An interface
to the ALAN network switch (user guide), with Y. Thefaine,
L. Hoevel, S. Liles, and K. Perry. IBM Research Report RC 11189,
May 1985.
- An architecture for dynamic reconfiguration
in a distributed object-based programming language, with
Gail E. Kaiser. IBM Research Report RC 18269, September 1992
(revised February 1993).
|
