Publication On Concurrent Reading and Writing Leslie Lamport Communications of the ACM 20 | November 1977, Vol 11: pp. 806-811
Publication Proving the Correctness of Multiprocess Programs Leslie Lamport IEEE Transactions on Software Engineering SE-3 | March 1977, Vol 2: pp. 125-143
Publication How to Tell a Program from an Automobile Leslie Lamport In A Dynamic and Quick Intellect, John Tromp editor (1996)–a Liber Amicorum issued by the CWI in honor of Paul Vitanyi’s 25-year jubilee. | January 1977
Publication On the Glitch Phenomenon Leslie Lamport, Richard Palais November 1976 | Rejected by IEEE Transactions on Computers (November 1976). edition edition Rejected by IEEE Transactions on Computers (November 1976).
Publication Texture and Reflection in Computer Generated Images Jim Blinn Communications of the ACM | October 1976, Vol 19(10)
Publication Multiple Byte Processing with Full-Word Instructions Leslie Lamport Communications of the ACM | August 1975, Vol 18(8): pp. 471-475
Publication A New Solution of Dijkstra’s Concurrent Programming Problem Leslie Lamport Communications of the ACM 17 | August 1974
Publication Comment on Bell’s Quadratic Quotient Algorithm Leslie Lamport Communications of the ACM | September 1970, Vol 13(9)
Publication Towards Lightweight, Model-Agnostic and Diversity-Aware Active Anomaly Detection Xu Zhang, Yuan Zhao, Ziang Cui, Liqun Li, Shilin He, Qingwei Lin 林庆维, Yingnong Dang, S. Rajmohan, Dongmei Zhang ICLR’23 | December 1969
