Roy Levin

According to our database, Roy Levin authored at least 31 papers between 1974 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Biography.

Roy Levin

Proceedings of the Concurrency: the Works of Leslie Lamport, 2019

2017

Learning to Customize Network Security Rules.

Michael Bargury, Roy Levin, Royi Ronen

CoRR, 2017

Enhanced Probabilistic Classify and Count Methods for Multi-Label Text Quantification.

Roy Levin, Haggai Roitman

Proceedings of the ACM SIGIR International Conference on Theory of Information Retrieval, 2017

2016

Effective Trend Detection within a Dynamic Search Context.

Anat Hashavit, Roy Levin, Ido Guy, Gilad Kutiel

Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval, 2016

Guided Walk: A Scalable Recommendation Algorithm for Complex Heterogeneous Social Networks.

Roy Levin, Hassan Abassi, Uzi Cohen

Proceedings of the 10th ACM Conference on Recommender Systems, 2016

2015

Islands in the Stream: A Study of Item Recommendation within an Enterprise Social Stream.

Ido Guy, Roy Levin, Tal Daniel, Ella Bolshinsky

Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2015

2014

TARS: traffic-aware route search.

Roy Levin, Yaron Kanza

GeoInformatica, 2014

Stratified-sampling over social networks using mapreduce.

Roy Levin, Yaron Kanza

Proceedings of the International Conference on Management of Data, 2014

2013

Geospatial route search.

Roy Levin

PhD thesis, 2013

2012

WISER: a web-based interactive route search system for smartphones.

Roi Friedman, Itsik Hefez, Yaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the 21st World Wide Web Conference, 2012

Concurrent and robust topological map matching.

Roy Levin, Elad Kravi, Yaron Kanza

Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012

Interactive traffic-aware route search on smartphones.

Roy Levin, Yaron Kanza

Proceedings of the First ACM SIGSPATIAL International Workshop on Mobile Geographic Information Systems, 2012

2011

TARSIUS: a system for traffic-aware route search under conditions of uncertainty.

Itsik Hefez, Yaron Kanza, Roy Levin

Proceedings of the 19th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2011

2010

Interactive Route Search in the Presence of Order Constraints.

Roy Levin, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv

Proc. VLDB Endow., 2010

2009

An interactive approach to route search.

Yaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2009

2008

Complementing Missing and Inaccurate Profiling Using a Minimum Cost Circulation Algorithm.

Roy Levin, Ilan Newman, Gadi Haber

Proceedings of the High Performance Embedded Architectures and Compilers, 2008

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

Proceedings of the High Performance Embedded Architectures and Compilers, 2008

2007

A perspective on computing research management.

Roy Levin

ACM SIGOPS Oper. Syst. Rev., 2007

Graceful degradation via versions: specifications and implementations.

Lidong Zhou, Vijayan Prabhakaran, Venugopalan Ramasubramanian, Roy Levin, Chandramohan A. Thekkath

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2006

Software Configuration Management Using Vesta

Allan Heydon, Timothy P. Mann, Roy Levin, Yuan Yu

Monographs in Computer Science, Springer, ISBN: 978-0-387-30852-4, 2006

2004

Reducing program image size by extracting frozen code and data.

Daniel Citron, Gadi Haber, Roy Levin

Proceedings of the EMSOFT 2004, 2004

2000

Caching function calls using precise dependencies.

Allan Heydon, Roy Levin, Yuan Yu

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1987

Synchronization Primitives for a Multiprocessor: A Formal Specification.

Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin

Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1984

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

1983

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

1982

Grapevine: An Exercise in Distributed Computing.

Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder

Commun. ACM, 1982

1981

Gravevine: An Exercise in Distributed Computing (summary).

Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder

Proceedings of the Eighth Symposium on Operating System Principles, 1981

1977

Surveyor's Forum: An Amplification on Hydra's Capabilities.

Roy Levin

ACM Comput. Surv., 1977

1975

Overview of the HYDRA Operating System Development.

William A. Wulf, Roy Levin, C. Pierson

Proceedings of the Fifth Symposium on Operating System Principles, 1975

Policy/Mechanism Separation in HYDRA.

Roy Levin, Ellis S. Cohen, William M. Corwin, Fred J. Pollack, William A. Wulf

Proceedings of the Fifth Symposium on Operating System Principles, 1975

1974

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