HYDRA: The Kernel of a Multiprocessor Operating System. - William A. Wulf; Ellis S. Cohen; William M. Corwin; Anita K. Jones; Roy Levin; C. Pierson; Fred J. Pollack (Commun. ACM, 1974)

Policy/Mechanism Separation in HYDRA. - Roy Levin; Ellis S. Cohen; William M. Corwin; Fred J. Pollack; William A. Wulf (SOSP, 1975)

Overview of the HYDRA Operating System Development. - William A. Wulf; Roy Levin; C. Pierson (SOSP, 1975)

Surveyor's Forum: An Amplification on Hydra's Capabilities. - Roy Levin (ACM Comput. Surv., 1977)

Gravevine: An Exercise in Distributed Computing (summary). - Andrew Birrell; Roy Levin; Roger M. Needham; Michael D. Schroeder (SOSP, 1981)

Grapevine: An Exercise in Distributed Computing. - Andrew Birrell; Roy Levin; Roger M. Needham; Michael D. Schroeder (Commun. ACM, 1982)

An Evaluation of the Ninth SOSP Submissions or: How (and How Not) to Write a Good Systems Paper. - Roy Levin; David D. Redell (ACM SIGOPS Oper. Syst. Rev., 1983)

Report on Work-In-Progress Session of the 9th ACM Symposium on Operating Systems Principles. - Roy Levin; David D. Redell (ACM SIGOPS Oper. Syst. Rev., 1984)

Synchronization Primitives for a Multiprocessor: A Formal Specification. - Andrew Birrell; John V. Guttag; James J. Horning; Roy Levin (SOSP, 1987)

Caching function calls using precise dependencies. - Allan Heydon; Roy Levin; Yuan Yu (PLDI, 2000)

Reducing program image size by extracting frozen code and data. - Daniel Citron; Gadi Haber; Roy Levin (EMSOFT, 2004)

Software Configuration Management Using Vesta - Allan Heydon; Timothy P. Mann; Roy Levin; Yuan Yu (Springer, 2006)

Graceful degradation via versions: specifications and implementations. - Lidong Zhou; Vijayan Prabhakaran; Venugopalan Ramasubramanian; Roy Levin; Chandramohan A. Thekkath (PODC, 2007)

A perspective on computing research management. - Roy Levin (ACM SIGOPS Oper. Syst. Rev., 2007)

Aggressive Function Inlining: Preventing Loop Blockings in the Instruction Cache. - Yosi Ben-Asher; Omer Boehm; Daniel Citron; Gadi Haber; Moshe Klausner; Roy Levin; Yousef Shajrawi (HiPEAC, 2008)

Complementing Missing and Inaccurate Profiling Using a Minimum Cost Circulation Algorithm. - Roy Levin; Ilan Newman; Gadi Haber (HiPEAC, 2008)

An interactive approach to route search. - Yaron Kanza; Roy Levin; Eliyahu Safra; Yehoshua Sagiv (GIS, 2009)

Interactive Route Search in the Presence of Order Constraints. - Roy Levin; Yaron Kanza; Eliyahu Safra; Yehoshua Sagiv (Proc. VLDB Endow., 2010)

TARSIUS: a system for traffic-aware route search under conditions of uncertainty. - Itsik Hefez; Yaron Kanza; Roy Levin (GIS, 2011)

Interactive traffic-aware route search on smartphones. - Roy Levin; Yaron Kanza (MobiGIS, 2012)

Concurrent and robust topological map matching. - Roy Levin; Elad Kravi; Yaron Kanza (SIGSPATIAL/GIS, 2012)

WISER: a web-based interactive route search system for smartphones. - Roi Friedman; Itsik Hefez; Yaron Kanza; Roy Levin; Eliyahu Safra; Yehoshua Sagiv (WWW (Companion Volume), 2012)

Geospatial route search. - Roy Levin (2013)

Stratified-sampling over social networks using mapreduce. - Roy Levin; Yaron Kanza (SIGMOD Conference, 2014)

TARS: traffic-aware route search. - Roy Levin; Yaron Kanza (GeoInformatica, 2014)

Islands in the Stream: A Study of Item Recommendation within an Enterprise Social Stream. - Ido Guy; Roy Levin; Tal Daniel; Ella Bolshinsky (SIGIR, 2015)

Guided Walk: A Scalable Recommendation Algorithm for Complex Heterogeneous Social Networks. - Roy Levin; Hassan Abassi; Uzi Cohen (RecSys, 2016)

Effective Trend Detection within a Dynamic Search Context. - Anat Hashavit; Roy Levin; Ido Guy; Gilad Kutiel (SIGIR, 2016)

Enhanced Probabilistic Classify and Count Methods for Multi-Label Text Quantification. - Roy Levin; Haggai Roitman (ICTIR, 2017)

Learning to Customize Network Security Rules. - Michael Bargury; Roy Levin; Royi Ronen (CoRR, 2017)

Biography. - Roy Levin (Concurrency: the Works of Leslie Lamport, 2019)