Publications

2016

Lightweight Monitoring of Distributed Streams. Arnon leiserson, Daniel Keren and Assaf Schuster. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD). August 2016, San Francisco.

Taking the Blame Game out of Data Centers Operations with NetPoirot. Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred. ACM Conference on Communication and Computer Networks (SIGCOMM), Florianopolis, Brasil.  August 2016. Also, a Highlight paper in the 9th ACM Systems and Storage Conference Systor, June 2016, Haifa.

Ginseng: Market-Driven LLC Allocation. Liran Funaro, Orna Agmon Ben-Yehuda, Assaf Schuster. Usenix Annual Technical Conference (USENIX ATC), June 2016, Denver.

new!!! Check out our SSD Player demo

The Devil is in the Details: Implementing Flash Page Reuse with WOM Codes. Fabio Margaglia, Gala Yadgar, Eitan Yaakobi, Yue Li, Assaf Schuster, Andre Brinkmann. Non-Volatile Memories Workshop (NVMW), March 2016.

Extending Amdahl’s Law for Multicores with Turbo Boost. Uri Verner, Avi Mendelson, Assaf Schuster. IEEE Computer Architecture Letters.

The Devil is in the Details: Implementing Flash Page Reuse with WOM Codes. Fabio Margaglia, Gala Yadgar, Eitan Yaakobi, Yue Li, Assaf Schuster, André Brinkmann. 14th USENIX Conference on File and Storage Technology FAST 2016.

Attacks in the Resource-as-a-Service (RaaS) Cloud Context. Danielle Movsowitz, Orna Agmon Ben-Yehuda and Assaf Schuster. ICDCIT 2016. Bhubaneswar, Odisha, India. January 2016.

 

2015

Virtual CPU Validation.
Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo. The 25th ACM Symposium on Operating Systems Principles (SOSP). October 4-7, 2015, Monterey, California, USA.

Multitask Learning for Laban Movement Analysis. Ran Bernstein, Tal Shafir, Rachelle Tsachor, Assaf Schuster, Karen Studd. 2nd Intl. Workshop on Moving and Computing (MOCO). August 2015, Vancouver.

Monitoring Least Squares Models of Distributed Streams. Mickey Gable, Daniel Keren, and Assaf Schuster. 21st ACM KDD Conference on Knowledge Discovery and Data Mining. August 2015, Sydney.

Write Once, Get 50% Free: Saving SSD Erase Costs Using WOM. Gala Yadgar, Eitan Yaakobi, Assaf Schuster. The 8th ACM International Systems and Storage Conference (SYSTOR ’15), highlight paper. May 2015, Haifa. Gala’s presentation in FAST here.

Lazy Evaluation Methods for Detecting Complex Events. Ilya Kolchinsky, Tsachi Sharfman, and Assaf Schuster. The 9th ACM International Conference on Distributed Event-Based Systems (DEBS). Oslo, July 2015. Best research paper award!

Gala Yadgar, Roman Shor, Eitan Yaakobi, Assaf Schuster. It’s Not Where Your Data Is, It’s How It Got There. The 7th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage). Santa Clara, July 2015.

Moshe Gabel, Kento Sato, Daniel Keren, Satoshi Matsuoka, Assaf Schuster. Latent Fault Detection With Unbalanced Workloads. EPForDM – Event Processing, Forecasting and Decision-Making in the Big Data Era. EDBT 2015 Workshop. Brussels, March 2015.

Ran Bernstein, Tal Shafir, Rachelle Tsachor, Karen Studd, and Assaf Schuster.
Laban Movement Analysis using Kinect.
ICACII International Conference on Affective Computing and Intelligent Interaction.
May 2015, Paris, France.

ELI: Bare-Metal Performance for I/O Virtualization. “Research Highlights” (RH) section of the CACM. Invited paper. Abel Gordon, Nadav Amit, Nadav Har’El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, Dan Tsafrir

Write Once, Get 50% Free: Saving SSD Erase Costs Using WOM. Gala Yadgar, Eitan Yaakobi, Assaf Schuster. Usenix FAST. Santa Clara, CA. February 2015. Gala’s presentation in FAST here.

Monitoring Distributed Streams using Convex Decompositions. Arnon Lazerson, Izchak Sharfman, Daniel Keren, Assaf Schuster, Minos Garofalakis and Vasilis Samoladas. VLDB Hawaii, Aug 2015.

2014

Adaptive Communication Bounds for Distributed Online Learning. Michael Kamp, Mario Boley, Daniel Keren, Assaf Schuster, and Izchak Sharfman. OPT workshop in conjunction with NIPS. December 2014, Montreal.

Communication-Efficient Distributed Online Prediction by Decentralized Variance Monitoring. Michael Kamp, Mario Boley, Daniel Keren, Assaf Schuster, and Izchak Sharfman. ECML/PKDD. September 2014, Nancy, France.

Scalable Proactive Event-Driven Decision-Making. Alexander Artikis, Chris Baber, Pedro Bizarro, Carlos Canudas-de-Wit, Opher Etzion, Fabiana Fournier, Paul Goulart, Andrew Howes, John Lygeros, Georgios Paliouras, Izchak Sharfman, and Assaf Schuster. The IEEE Technology and Society Magazine.

Scheduling Periodic Real-Time Communication in Multi-GPU Systems. Uri Verner, Avi Mendelson, Assaf Schuster. The 23rd International Conference on Computer Communications and Networks (ICCCN). Shanghai, August 2014.

Distributed Geometric Query Monitoring using Prediction Models. Nikos Giatrakos, Antonios Deligiannakis, Minos Garofalakis, Izchak Sharfman, Assaf Schuster. ACM TODS.

Communication-efficient Distributed Variance Monitoring and Outlier Detection for Multivariate Time Series. Mickey (Moshe) Gabel, Danny Keren, Assaf Schuster. 28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 19-23, 2014 Arizona Grand Resort, PHOENIX (Arizona).

Ginseng: Market-Driven Memory Allocation. Orna Agmon Ben-Yehuda, Eyal Posener, Muli Ben-Yehuda, Assaf Schuster, Ahuva Mu’alem. Technion TR CS-2013-07. 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), Salt Lake City, March 2014.

VSwapper: A Memory Swapper for Virtualized Environments. Nadav Amit, Dan Tsafrir, Assaf Schuster. 19th Intl. Conference on Architectural Support for Programing Languages and Operating Systems (ASPLOS). Salt Lake City, March 2014. HiPEAC Paper Award.

Privacy-Preserving Distributed Stream Monitoring, Arik Friedman, Izchak Sharfman, Daniel Keren, Assaf Schuster. Network and Distributed System Security (NDSS) Symposium. San Diego, February 2014.

Monitoring Distributed, Heterogeneous Data Streams: the Emergence of Safe Zones. D. Keren and G. Sagy and A. Abboud and D. Ben-David and A. Schuster and I. Sharfman and A. Deligiannakis. International Conference on Applied Algorithms (ICAA). Kolkata, India. January 2014.

Batch method for efficient resource sharing in real-time multi-GPU systems. Uri Verner, Avi Mendelson, Assaf Schuster. 15th International Conference on Distributed Computing and Networking (ICDCN), January 2014, Coimbatore, India.

Geometric Monitoring of Heterogeneous Streams. D. Keren and G. Sagy and A. Abboud and D. Ben-David and A. Schuster and I. Sharfman and A. Deligiannakis. IEEE TKDE.

2013

Mario Boley, Michael Kamp, Daniel Keren, Assaf Schuster, Izchak Sharfman. Communication-Efficient Distributed Online Prediction using Dynamic Model Synchronizations. BD3 – 1st intl. Workshop on Big Dynamic Distributed Data. August 30th, 2013, Trento, Italy (in conjunction with VLDB 2013).

Safe-Zones for Monitoring Distributed Streams. Daniel Keren, Guy Sagy, Amir Abboud, David Ben-David, Izchak Sharfman, Assaf Schuster. BD3 – 1st intl. Workshop on Big Dynamic Distributed Data. August 30th, 2013, Trento, Italy (in conjunction with VLDB 2013).

Communication-Efficient Outliers for scale-Out Systems. Mickey Gabel, Danny Keren, Assaf Schuster.  BD3 – 1st intl. Workshop on Big Dynamic Distributed Data. August 30th, 2013, Trento, Italy (in conjunction with VLDB 2013).

The rise of RaaS: the Resource as a Service Cloud.
Orna Agmon Ben-Yehuda, Muli Ben-Yehuda, Assaf Schuster, Dan Tsafrir. Communication of the ACM.

Exploiting Graph-theoretic Tools for Matching in Carpooling
Application. Luk Knapen, Ansar Yasar, Sungjin Cho, Daniel Keren, Abed Abu Dbai,
Tom Bellemans, Davy Janssens, Geert Wets, Assaf Schuster,
Izchak Sharfman, Kanishka Bhaduri. Journal of Ambient Intelligence and Humanized Computing.

Cooperative Caching with Return on Investment.
Gala Yadgar, Michael Factor and Assaf Schuster. IEEE Conference on Massive Data Storage (MSST).

2012

Full Body Gait Analysis with Kinect.
Moshe Gabel, Erin Renshaw, Assaf Schuster and Ran Gilad-Bachrach. Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

The Resource-as-a-Service (RaaS) Cloud.
Orna Agmon Ben-Yehuda, Muli Ben-Yehuda, Assaf Schuster, and Dan Tsafrir. HotCloud, Boston, June 2012.

Deconstructing Amazon EC2 Spot Instance Pricing
Orna Agmon Ben-Yehuda, Muli Ben-Yehuda, Assaf Schuster, and Dan Tsafrir. Forthcoming ACM Transactions on Economics and Computation.

Embedding Privacy in Data Mining
Arik Friedman, Ran Wolff, Assaf Schuster. LAMBERT Academic Publishing 2012.

Latent Fault Detection in Large Scale Services.
Moshe Gabel, Ran Gilad-Bachrach, Nikolaj Bjorner, Assaf Schuster. Dependable Systems and Networks (DSN), Boston, June 2012.

Processing of real-time data streams on multi-GPU systems.
Uri Verner, Assaf Schuster, Mark Silberstein, Avi Mendelson. Systor, Haifa, June 2012.

Prediction-Based Geometric Monitoring over Distributed Data Streams.
Antonis Deligiannakis, Minos Garofalakis, Tsachi Sharfman, Assaf Schuster. SIGMOD, Scottsdale, Arizona, May 2012.

ExPERT: Pareto-Efficient Task Replication on Grids and a Cloud.
Orna Ben-Yehuda, Muli Ben-Yehuda, Alex Iosup, Assaf Schuster, Mark Silberstein, Artiom Sharov, and Dan Tsafrir. IPDPS, Shanghai, May 2012.

ELI: Bare-Metal Performance for I/O Virtualization.
Nadav Amit, Muli Ben-Yehuda, Abel Gordon, Nadav HarEl, Alex Landau, Dan Tsafrir, Assaf Schuster. ASPLOS 2012. IBM Research’s 2012 Pat Goldberg Memorial Best Paper Award in Computer Science, Electrical Engineering and Math. HiPEAC Paper Award.

Back to top

2011

Deconstructing Amazon EC2 Spot Instance Pricing.
Orna Ben-Yehuda, Muli Ben-Yehuda, Dan Tsafrir, and Assaf Schuster.
IEEE CloudCom 2011.

vIOMMU: Efficient IOMMU Emulation.
Nadav Amit, Muli Ben-Yehuda, Dan Tsafrir, and Assaf Schuster.
USENIX Annual Technical Conference (USENIX ATC) 2011.

Shape Sensitive Geometric Monitoring.
Daniel Keren, Tsachi Sharfman, Assaf Schuster, and Avishay Livne.
Forthcoming Transactions on Knowledge and Data Engineering (TKDE).

Processing data streams with hard real-time constraints on heterogeneous systems.
Uri Verner, Mark Silberstein, and Assaf Schuster.
International Conference on Supercomputing (ICS) 2011.

Management of Multilevel, Multi-Client Cache Hierarchies with Application Hints.
Gala Yadgar, Michael Factor, Kai Li and Assaf Schuster.
to appear ACM Transactions on Computer Systems.

Applying software managed caching and CPU-GPU scheduling for accelerating sum-product computations.
M Silberstein, A Schuster, J Owens.
GPU Computing GEMS, Volume 2, 2011.

Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation.
Guy Sagy, Daniel Keren, Izhak Sharfman, Assaf Schuster.
Proceedings of the VLDB Endowment (and the VLDB conference 2011).

Back to top

2010

Top-k Aggregation Queries in a Distributed Environment.
Guy Sagy, Daniel Keren, Izhak Sharfman, Assaf Schuster.
to appear Journal of Parallel and Distributed Computing.

Data Mining with Differential Privacy.
Arik Friedman and Assaf Schuster.
16th ACM Conference on Knowledge Discovery and Data Mining (SIGKDD). July 2010, Washington DC.

A scheduling framework for large-scale, parallel, and topology-aware applications.
Pavel Bar, David Carmeli, Valentin Kravtsov, Martin Swain, Assaf Schuster.
24th IEEE International Parallel & Distributed Processing Symposium (IPDPS). April 2010, Atlanta, USA.
Full version to appear JPDC 2010.

Back to top

2009

Running parallel applications with topology-aware grid middleware.
Pavel Bar, Camille Coti, Derek Groen, Thomas Herault, Valentin Kravtsov, Martin Swain, Assaf Schuster.
Fifth IEEE International Conference on e-Science, December 2009, Oxford, Oxfordshire, UK.

Hybrid BDD and All-SAT Method for Model Checking.
Avi Yadgar, Orna Grumberg, Assaf Schuster.
Languages: From Formal to Natural. 2009, pages 228-244.

Optimistic concurrency for clusters via speculative locking.
Michael Factor, Assaf Schuster, Konstantin Shagin, Tal Zamir.
SYSTOR 2009: 1

GridBot: Execution of Bags of Tasks in Multiple Grids.
Mark Silberstein, Artyom Sharov, Dan Geiger and Assaf Schuster.
SC. Portland, Oragon, November 2009.

Back to top

2008

Harnessing the world’s computers to hunt for disease-provoking genes.
Mark Silberstein, Dan Geiger and Assaf Schuster.
Microsoft eScience Workshop. Indianapolis, December 2008.

Mining for Misconfigured Machines in Grid Systems. In: Data Mining in Grid Computing Environments. Werner Dubitzky Ed.
N. Palatin, A. Schuster, and R. Wolff.
Wiley, November 2008.

A chapter on Ubiquitous Technologies. In: a book by KD-Ubiq European project: BluePrint in Ubiquitous Knowledge Discovery.
A. Schuster and R. Wolff.
Forthcoming 2008.

Grid-Enabling Complex System Applications with QosCosGrid: An Architectural Perspective.
Valentin Kravtsov, Assaf Schuster, David Carmeli, Krzysztof Kurowski, and Werner Dubitzky.
International Conference on Grid Computing and Applications (GCA). July 2008, Las-Vegas.

Efficient computation of sum-products on GPUs through software-managed cache.
Mark Silberstein, Assaf Schuster, Dan Geiger, Anjul Patney, John D. Owens.
22nd ACM International Conference on Supercomputing (ICS). June 2008, Island of Kos – Aegean Sea – Greece.

Quasi-Opportunistic Supercomputing in Grid Environments.
Valentin Kravtsov, Uri Dubin, Werner Dubitzky, Assaf Schuster.
Intl. Conference on Algorithms and Architectures (ICA3PP). June 2008, Cyprus.

A Fast and Efficient Algorithm for Topology-Aware Coallocation.
Valentin Kravtsov, David Carmeli, Werner Dubitzky, Ariel Orda, Assaf Schuster, Mark Silberstein and Benny Yoshpa.
International Conference on Computational Science (ICCS). Reading, United Kingdom, May 2008.

Shape Sensitive Geometric Monitoring.
Daniel Keren, Assaf Schuster and Tsachi Sharfman.
27th ACM Symposium on Principles of Database Systems (PODS), Vancouver, June 2008.

MC2: Multiple Clients on a Multilevel Cache.
Michael Factor, Kai Li, Assaf Schuster and Gala Yadgar.
ICDCS, Beijing, June 2008.

Distributed system for genetic linkage analysis using EGEE and BOINC.
Dan Geiger, Assaf Schuster, Artyom Sharov and Mark Silberstein.
EGEE 3rd User Forum, Clermont-Ferrand, February 2008.

Providing k-Anonymity in Data Mining.
Arik Friedman, Assaf Schuster, and Ran Wolff.
The International Journal on Very Large Data Bases (VLDBJ).

GWiQ-P: An Efficient Decentralized Grid-Wide Quota Enforcement Protocol.
Kfir Karmon, Liran Liss and Assaf Schuster.
Operating Systems Review (OSR), January 2008.

Digging Deep into the Data Mine with DataMiningGrid.
V. Stankovski, M. Swain, V. Kravtsov, T. Niessen, D. Wegener, M. Rצhm, J. Trnkoczy, M. May, J. Franke, A. Schuster and W. Dubitzky.
IEEE Internet Computing.

Back to top

2007

3-Valued Circuit SAT for STE with Automatic Refinement.
Orna Grumberg, Assaf Schuster, Avi Yadgar.
ATVA 2007: 457-473.

GWiQ-P: An Efficient Decentralized Grid-Wide Quota Enforcement Protocol.
Kfir Karmon, Liran Liss and Assaf Schuster.
Haifa Systems and Storage Conference (SYSTOR), October 2007, IBM Haifa Research Lab.

Quasi-Opportunistic Supercomputing in Grids.
Valentin Kravtsov, David Carmeli, Werner Dubitzky, Assaf Schuster, Mark Silberstein, Benny Yoshpa.
16th IEEE International Symposium on High Performance Distributed Computing (HPDC). Hot Topics. June 2007, Monterey, CA.

Code Compilation for an Explicitely Parallel Register-Sharing Architecture
Alex Gontmakher, Gregory Shklover, Vladimir Zdorov, Assaf Schuster, and Avi Mendelson.
Intl. Conference on Parallel Processing (ICPP). September 2007, XiAn, China.

Scaling Model Checking of Dataraces Using Dynamic Information.
M. Sagiv, A. Schuster, and O. Shacham.
Journal of Parallel and Distributed Computing (JPDC). Volume 67, 537–550, 2007.

MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs.
E. Pozniansky and A. Schuster.
Concurrency and Computation: Practice and Experience. Volume 19, pp. 327–340, 2007.

Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.
L. Fix, O. Grumberg, T. Heiman, A. Schuster.
International Journal of Foundations of Computer Science (IJFCS). Special Issue, ATVA 2005. Volume 18, No. 1, February 2007, pp. 45–62.

A Geometric Approach to Monitoring Threshold Functions Over Distributed Data Streams.
Danny Keren, Tsachi Scharfman, and Assaf Schuster.
Forthcoming ACM Transactions on Database Systems (TODS).

Aggregate Threshold Queries in Sensor Networks.
Tsachi Sharfman, Daniel Keren and Assaf Schuster.
21st IEEE International Parallel & Distributed Processing Symposium (IPDPS). March 2007, Long Beach.

Karma: Know-It-All Replacement for a Multilevel Cache.
Gala Yadgar, Michael Factor, and Assaf Schuster.
5th USENIX Conference on File and Storage Technologies (FAST). February 2007, San Jose.

Using Fine Grain Multithreading for Energy Efficient Computing.
Alex Gontmakher, Avi Mendelson, and Assaf Schuster.
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). March 14-17, 2007, San Jose, CA

A Distributed System for Genetic Linkage Analysis
Marc Silberstein, Dan Geiger and Assaf Schuster.
Intl. Workshop on Distributed, High-Performance and Grid Computing in Computational Biology (GCCB). Eilat, January 2007

Back to top

2006

Want Scalable Computing? Speculate!
Idit Keidar and Assaf Schuster.
SIGACT News Distributed Computing Column. Volume 37, Number 3, (Whole Number 140), September 2006.

k-Anonymous Decision Tree Induction.
Arik Friedman, Assaf Schuster, and Ran Wolff.
The 10th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD). Berlin, September 2006.
Best Student Paper Award.

Efficient Dynamic Aggregation.
Tsachi Birk, Idit Keidar, Liran Liss, Assaf Schuster.
20th International Symposium on Distributed Computing (DISC). Stockholm, September 2006.

Mining for Misconfigured Machines in Grid Systems.
Noam Palatin, Assaf Schuster, Ran Wolff.
Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD). Philadelphia, August 2006.

Veracity Radius – Capturing the Locality of Distributed Computations.
Tsachi Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff.
Twenty-Fifth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Denver, July 2006.

Service-based Resource Brokering for Grid-based Data Mining.
Valentin Kravtsov, Thomas Niessen, Vlado Stankovski and Assaf Schuster.
International Conference on Grid Computing and Applications (GCA). Las Vegas, June 2006.

Materializing Highly Available Grids. (Hot Topics)
Gabi Kliot, Miron Livny, Assaf Schuster, Mark Silberstein, Artyom Sharov.
15th IEEE International Symposium on High Performance Distributed Computing (HPDC). Paris, june 2006.

Scheduling Mixed Workloads In Multi-grid Environments.
Dan Geiger, Miron Livny, Assaf Schuster, Mark Silberstein.
15th IEEE International Symposium on High Performance Distributed Computing (HPDC). Paris, june 2006.

A Local Facility Location Algorithm for Large-Scale Distributed Systems.
D. Krivitski, A. Schuster and R. Wolff.
Forthcoming: Journal of Grid Computing.

A Transparent Distributed Runtime for Java.
Michael Factor, Kfir Karmon, Assaf Schuster, Konstantin Shagin, and Tal Zamir.
Forthcoming: Parallel Computing: Models, Algorithms, and Applications. CRC Press, John Reif and Sanguthevar Rajasekaran Ed’s. Computer and Information Science Series, Sartaj Sahni chief-editor.

A Programming Model and Architectural Extensions for Fine-Grain Parallelism.
Alex Gontmakher, avi Mendelson, and Assaf Schuster.
Forthcoming: Parallel Computing: Models, Algorithms, and Applications. CRC Press, John Reif and Sanguthevar Rajasekaran Ed’s. Computer and Information Science Series, Sartaj Sahni chief-editor.

A Geometric Approach to Monitoring Threshold Functions Over Distributed Data Streams.
Danny Keren, Tsachi Scharfman, and Assaf Schuster.
ACM Intl. Conf. on Management of Data (SIGMOD). Chicago, June 2006
Honorable Mention (contender for best paper).

On-line System for Faster Linkage Analysis via Parallel Execution on Thousands of Personal Computers.
Silberstein M., Tzemach A., Dovgolevsky N., Fishelson M., Schuster A., Geiger D.
Forthcoming in The American Journal of Human Genetics.

Register Allocation for Lightweight Shared-Context Parallel Architectures.
Alex Gontmakher, Gregory Kovriga, Avi Mendelson, Assaf Schuster.
12th International Symposium on High-Performance Computer Architecture (HPCA), Austin, Texas, February 2006

Speculative Synchronization and Thread Management for Low Granularity Threads.
Alex Gontmakher, Gregory Kovriga, Avi Mendelson, Assaf Schuster.
The 10th IEEE Annual Workshop on Interaction between Compilers and Computer Architectures (INTERACT). Austin, Texas, February 2006

Back to top

2005

Efficient Exploitation of Kernel Access to Infiniband: a Software DSM Example. (pdf)
Tsachi Birk, Liran Liss and Assaf Schuster.
IEEE Trans. on Parallel and Distributed Systems, vol. 16 (9), pp. 830-840, Sep. 2005.

Verification of the Java Causality Requirements
Sergey Polyakov and Assaf Schuster
IBM verification conference (3rd PADTAD track — Parallel and Distributed Systems: Testing and Debugging). November 2005, Haifa.

A Work-Efficient Distributed Algorithm for Reachability Analysis
T. Heyman, O. Grumberg, and A. Schuster
Forthcoming Formal Methods in Systems Design. Special issue on parallel and distributed methods in verification.
Prelim. version proc. Conference on Computer Aided Verification (CAV), July 2003, Boulder, Colorado.

Verifying Very Large Industrial Circuits Using 100 Processes and Beyond .
Limor Fix, Orna Grumberg, Tamir Heiman, Assaf Schuster.
Third International Symposium on Automated Technology for Verification and Analysis (ATVA). Taipei, Taiwan, October 4–7, 2005.
Best Paper Award.

Superlink online: distributed system for linkage analysis of large inbred pedigrees. (POSTER).
Mark Silberstein, Anna Tzemach, Nikolay Dovgolevsky, Maayan Fishelson, Assaf Schuster, Dan Geiger.
Israel Bioinformatics Symposium. Tel Aviv, May 2005.

Achieving Speedups in Distributed Symbolic Reachability Analysis through Asynchronous Computation.
Nili Ifergan, Tamir Heiman, Orna Grumberg, Assaf Schuster.
The 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME). Saarbrcken, Germany, October 2005.

Distributed Model Checking for mu-Calculus.
O. Grumberg, T. Heyman, and A. Schuster
Formal Methods in Systems Design. Vol. 26, No. 2, March 2005.
Prelim. Version in Proc. CAV, Paris, july 2001.

GWiQ-P: An Efficient Decentralized Grid-Wide Quota Enforcement Protocol.
Kfir Karmon, Liran Liss and Assaf Schuster.
The 14th IEEE Intl Symposium on High Performance Distributed Computing (HPDC). Research Triangle Park, NC, July 2005.

A Local Facility Location Algorithm for Sensor Networks.
Denis Krivitski, Assaf Schuster, and Ran Wolff.
International Conference on Distributed Computing in Sensor Systems (DCOSS). Marina del Rey, June 2005.

Hierarchical Decision Tree Induction in Distributed Genomic Databases.
A. Bar-Or, D. Keren, A. Schuster, and R. Wolff.
Forthcoming in Transactions on Knowledge Discovery and Engineering.

Local Hill Climbing in Sensor Networks.
Denis Krivitski, Assaf Schuster, and Ran Wolff.
Workshop on Data Mining in Sensor Netowrks. Newport Beach, April 2005.

Scaling Model Checking of Dataraces Using Dynamic Information.
Ohad Shacham, Mooly Sagiv and Assaf Schuster.
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). Chicago, June 2005.

Decision Tree Induction in High Dimensional, Hierarchically Distributed Databases.
A. Bar-Or, D. Keren, A. Schuster and R. Wolff.
SIAM Conference on Data Mining (SDM). Newport Beach, CA. April 2005

Back to top

2004

A Platform-Independent Distributed Runtime for Standard Multithreaded Java.
M. Factor, A. Schuster and K. Shagin.
International Journal of Parallel Programming. Special issue on Systems and Storage.

Hierarchical Decision Tree Induction in Distributed Genomic Databases. (pdf)
Amir Bar-Or, Danny Keren, Assaf Schuster, and Ran Wolff.
1st workshop on Grid Data Mining (in conjunction with ICDM). Brighton, November, 2004.

A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion. (pdf)
Tzachi Birk, Liran Liss, Assaf Schuster, and Ran Wolff.
18th International Symposium on Distributed Computing (DISC). Amsterdam, October, 2004.

A Comparison of Sequential Consistency with Home-Based Lazy Release Consistency for Software Distributed Shared Memory. (pdf)
Vadim Iosevitch and Assaf Schuster.
To appear in the journal of Software, Practice and Experience.

Association Rule Mining in Peer-to-Peer Systems (PDF)
Assaf Schuster and Ran Wolff
Special Issue on Distributed and Mobile Data Mining, IEEE Transactions on System, Man, Cybernetics, Part B.
Prelim. version in IEEE International Conference on Data Mining (ICDM), November 2003, Melbourne, Florida.

Memory Efficient All-Solutions SAT Solver and its Application for Reachability Analysis (pdf)
Orna Grumberg, Assaf Schuster, and Avi Yadgar.
5th Intl. Conf. on Formal Methods in Computer-Aided Design (FMCAD). Austin, Texas, November 2004.

A New Privacy Model and Association-Rule Mining Algorithm for Large-Scale Distributed Environments (pdf)
Bobi Gilburd, Assaf Schuster, and Ran Wolff.
10th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), Seattle, WA, August 2004.

A Service-Centric Perspective for Data Mining in Complex Problem Solving Environments (pdf)
Vlado Stankovski1, Michael May, Jrgen Franke, Assaf Schuster, Damian McCourt, and Werner Dubitzky.
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), Las Vegas, Nevada, June 2004.

Communication Efficient Distributed Mining of Association Rules. (pdf)
A. Schuster and R. Wolff.
Data Mining and Knowledge Discovery, 8, 171–196, 2004.
Preliminary version in Proc. ACM SIGMOD, Santa Barbara, April 2001.

Alias-based Instrumentation of Standard Class Libraries in Object-Oriented Languages Michael Factor, Assaf Schuster, and Konstantin Shagin.
OOPSLA, Vancouver, BC, Canada, October 2004.

Distributed Shared Memory: To Relax or not to Relax?
Vadim Iosevitch and Assaf Schuster.
EuroPar, Pisa, Italy, August 2004.

A Comparison of Sequential Consistency with Home-Based Lazy Release Consistency for Software Distributed Shared Memory. (PDF)
Vadim Iosevitch and Assaf Schuster.
Intl. Conf. on Supercomputing (ICS), St. Malo, June 2004.

Privacy-Preserving Data Mining on Data Grids in the Presence of Malicious Participants. (PDF)
Bobi Gilburd, Assaf Schuster, and Ran Wolff.
13th Symposium on High Performance Distributed Computing (HPDC), June 2004, Hawaii.

A Distributed Runtime for Java: Yesterday and Today (PDF)
Michael Factor, Assaf Schuster, Konstantin Shagin
6th Java for Parallel and Distributed Computing Workshop, Santa Fe, April 2004

A High-Performance Distributed Algorithm for Mining Association Rules (PDF)
Assaf Schuster, Dan Trock and Ran Wolff
Knowledge and Information Systems
Preliminary version in IEEE International Conference on Data Mining (ICDM), November 2003, Melbourne, Florida.

Privacy-Preserving Association Rule Mining in Large-Scale Distributed Systems. (PDF)
Bobi Gilburd, Assaf Schuster, and Ran Wolff.
4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID), April 2004, Chicago.

Multithreaded Home-based Lazy Release Consistency over VIA (PDF)
Vadim Iosevitch and Assaf Schuster
Intl. Parallel and Distributed Processing Symp. (IPDPS), Santa Fe, April 2004

Back to top

2003

Complexity of Verifying Java Shared Memory Executions. (pdf)
Alex Gontmakher, Sergey Polyakov, and Assaf Schuster
Parallel Processing Letters. Vol. 13, No. 4, pp. 721–733, December 2003.

JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogenous Collections of Comodity Workstations (PDF)
Michael Factor, Assaf Schuster and Konstantin Shagin
IEEE Intl. Conference on Cluster Computing, December 2003, Hong Kong.

Efficient Exploitation of Kernel Access to Infiniband: a Software DSM Example (PDF)
Tzachi Birk, Liran Liss and Assaf Schuster
Hot Interconnects, August 2003, Stanford, CA.

A Transparent Software Distributed Shared Memory (Postscript)
Emil Cohn-Dan and Assaf Schuster
Proc. Intl. Conf. on Parallel and Distributed Computing (EuroPar), August 2003, Flagenfurt, Austria.

Scalable Distributed On-The-Fly Symbolic Model Checking (Postscript)
S. Ben-David, T. Heyman, O. Grumberg, and A. Schuster
Software Tools for Technology Transfer. Vol 4, No. 4, pp. 496-504, November 2003.
Prelim. version in Proc. Conference on Formal Methods in Computer-Aided Design, Austin, Texas, November 2000, pp. 20–34.

MultiRace: Efficient On-The-Fly Detection of Data-Races in C++ Programs (pdf)
E. Pozniansky and A. Schuster
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), June 2003, San Diego.
Also invited talk: workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), In conjusnction with IPDPS, April 2003, Nice

Back to top

2002

Execution of Monolithic Java Programs on Large Non-Dedicated Collections of Commodity Workstations (pdf)
M. Factor, A. Schuster and K. Shagin
Java Grande/ISCOPE poster, November 2002, Seattle

Intrathreads: Techniques for Parallelizing Sequential Code. (pdf)
A. Gontmakher and A. Schuster.
6th Workshop on Multithreaded Execution, Architecture, and Compilation (MTEAC-6), November, Istanbul (in conjunction with Micro 35)

Java Consistency: A Real-Life Exercise in Non-Operational Specification (Postscript)
Alex Gontmakher, Sergey Polyakov, and Assaf Schuster

A Scalabile Parallel Algorithm for Reachability Analysis of Very Large Circuits (Postscript)
T. Heyman, D. Geist, O. Grumberg, and A. Schuster
Formal Methods in Systems Design. Vol. 21, pp. 317-338, 2002.
Preliminary version in proc. Conference on Computer Aided Verification, Chicago, July 2000.

Back to top

2001

Transparent Adaptation of Sharing Granularity in MultiView-Based DSM Systems. (Postscript)
N. Nitzann and A. Schuster.
Intl. Conf. on Parallel and Distributed Processing Symposium (IPDPS01), San Francisco, April 2001.
Software: Practice & Experience. Vol. 31, pp. 1439 — 1459, October 2001.
Best Paper Award

Symphony: An Infrastructure for Managing Virtual Servers (Postscript)
R. Friedman, E. Biham, A. Itzkovitz, and A. Schuster
Cluster Computing, Vol. 4, pp. 221 — 233, 2001.
Prelim. version in proc. Euro-Par, August 1999, Toulouse.

Back to top

2000

Non-Operational Characterizations for Java Memory Model. (revised (revised (revised version))) (Postscript)
A. Gontmaker and A. Schuster
A complete proof with the Prescient Stores Optimization!
ACM Transactions On Computer Systems (TOCS), vol. 18, No. 4 (Nov. 2000), pages 333–386
Prelim. versions in Workshop on Java for High-Performance Computing, June 1999, Rhodes;
and in Proc. IPPS/SPDP, Pages 682-686, March 1998, Orlando.

Parallel Progressive Rendering of Animation Sequences at Interactive Rates on Distributed-Memory Machines (Gzipped Postscript)
C. Gotsman, A. Reisman, and A. Schuster.
Journal of Parallel and Distributed Computing. Volume 60, pp. 1074–1102, 2000. Preliminary version in Parallel Rendering, Phoenics, October 1997.

Dynamic Adaptation of Sharing Granularity in DSM Systems. (Postscript)
A. Itzkovitz, N. Niv, and A. Schuster.
Journal of Systems and Software. Volume 55, pp. 19–32, 2000.
Preliminary Version in Proc. 28th Intl. Conf. on Parallel Processing (ICPP), pp. 220–227, September 1999, Aizu, Japan.

Remote Reference Counting: Distributed Garbage Collection with Low Communication and Computation Overhead Revised Version (Postscript)
D. Kogan and A. Schuster.
Journal of Parallel and Distributed Computing. Special Issue — Java on Clusters (E. Dekel Ed.).
Prelim. version appeared in 5th European Symp. on Algorithms, Graz, September 1997, pp. 308–325.

Self-Simulation for the Passive Optical Star. (Postscript)
P. Berthome, T. Hagerup, I. Neuman, and A. Schuster.
Journal of Algorithms, vol 34, 128-147, 2000.
Preliminary version in proc. 3rd European Symp. on Algorithms, Corfu, September 1995, pp. 369–380.

Transparently Obtaining Scalability for a Cluster Java Virtual Machine. (Postscript)
Y. Aridor, T. Eilam, M. Factor, A. Schuster and A. Teperman.
Journal of Parallel and Distributed Computing. Special Issue — Java on Clusters (E. Dekel Ed.).
Proc. ACM Java Grande Conference, pp. 168-177, June 2000, San Francisco.
Selected as one of the three Best IBM Computer Science Papers published in 2000.

Back to top

1999

Optimal Bounds on Tail Probabilities: A Study of an Approach(Postscript)
A. Cohen, Y. Rabinovich, A. Schuster and H. Shachnai.
Proc. Workshop on Randomized Parallel Computing, April 1998, Orlando.
Full version: Advances in Randomized Parallel Computing, Kluwer Academic Publishers, 1999, Pardalos and Rajasekaran Ed’s.

Self-Simulation for the Passive Optical Star. (revised version)(Postscript)
Journal of Algorithms.
Preliminary version in proc. 3rd European Symp. on Algorithms, Corfu, September 1995, pp. 369–380.

Towards Integration of Data-Race Detection in DSM Systems.(Postscript)
Journal of Parallel and Distributed Computing, Special issue on Software Support for Distributed Computing. I. Ahmad and F. Lau Ed’s.
Vol. 59, No. 2, Nov 1999, pp 180–203.

Dynamic Adaptation of Sharing Granularity in DSM Systems.(Postscript)
Proc. 28th Intl. Conf. on Parallel Processing (ICPP), September 1999, Aizu, Japan.

Harnessing the Power of Fast Low-Latency Networks for Software DSMs.(Postscript)
1st Workshop on Software Distributed Shared Memory (WSDSM), June 1999, Rhodes.

Distributed Shared Memory: Bridging the Granularity Gap (Position paper).(Postscript)
1st Workshop on Software Distributed Shared Memory (WSDSM), June 1999, Rhodes.

MultiView and MilliPage — Fine-Grain Sharing in Page-Based DSMs.(Postscript)
In Proc. 3rd Symposium on Operating Systems Design and Implementation (OSDI), pp. 215–228, New Orleans, Feb. 1999
US patent pending. Application No. 09/161,810.

Back to top

1998

A Lower Bound for Nearly Minimal Adaptive and Hot Potato Algorithms.(Postscript)
I. Ben-Aroya, D. Chinn and A. Schuster.
Algorithmica, vol. 21, pp. 347–376, 1998.
Prelim. vers. in proc. 4th European Symp. on Algorithms, Barcelona, September 1996, pp. 471–485.

Parallel BDDs on DSM Systems(gzipped word)
A. Basonov and A. Schuster.
Technion Technical Report CS0944, August 1998.

Load Balancing in Distributed Shared Memory Systems(Word doc)
A. Dubrovski, R. Friedman and A. Schuster.
International Journal of Applied Software Technology, Vol. 3, March 1998, pp. 167-202.

Broadcasting on a Budget in the Multi-Service Communication Model(Gzipped postscript)
G. Itkis, I. Newman, and A. Schuster
Technion TR-#0932, May 1998.
Proc. HiPC, December 1998.

Thread Scheduling in Distributed Shared Memory Systems(Gzipped rtf/word document)
A. Itskovitz, A. Schuster, and L. Shalev.
Part of this work (the migration and load-balancing infrastructure) appeared in the Journal of Systems and Software, vol. 42, no. 1, pp. 71–87, 1998.
The other part (locality optimization) appeared in proc. 12th Intl. Symp. on Distributed Computing (DISC98), Andros, September 1998, pp. 347–362. (Also TR LPCR-9701, CS Technion, Jan –> –1997). Revised version:
Using Remote Access Histories for Thread Scheduling in Distributed Shared Memory Systems(postscript)

Parallel Progressive Rendering of Animation Sequences at Interactive Rates on Distributed-Memory Machines(Gzipped Postscript)
C. Gotsman, A. Reisman, and A. Schuster.
Preliminary version in Parallel Rendering, Phoenics, October 1997.

Vertex-To-Vertex Parallel Radiosity on a Distributed Shared Memory System(Gzipped Postscript)
A. Bar-Lev, A. Itzkovitz, A. Raviv and A. Schuster.
Proc. 5th Intl. Symp. on Solving Irregularly Structured Problems in Parallel (Irregular98), Berkeley, August 1998.

Parallel Programming in Java: A Tutorial(Gzipped Word97 doc)
Arik Baratz, Dror Birkman, Ofir Carny, Shy Cohen and Assaf Schuster.
Technion\LPCR TR 9605, August 1996

Potential Function Analysis of Greedy Hot Potato Routing.(Postscript)
A. Ben-Dor, S. Halevi and A. Schuster.
Theory of Computing Systems, Vol. 31, pp. 41–62, 1998.
Preliminary version 13th ACM Symp. on Principles of Distributed Computing, August 1994, pp. 225–234.

Back to top

1997

Parallel Progressive Rendering of Animation Sequences at Interactive Rates on Distributed-Memory Machines(Postscript)
C. Gotsman, A. Reisman, and A. Schuster.
Parallel Rendering, Phoenics, October 1997.

Thread Migration and its Applications in Distributed Shared Memory Systems.(Postscript)
A. Itzkovitz, A. Schuster, and L. Wolfovich.
The Journal of Systems and Software, vol. 42, No. 1, pp. 71–87, 1998.

Supporting Multiple Programming Paradigms for Distributed Clusters on top of a Single Virtual Parallel Machine — The MILLIPEDE Concept(Postscript)
A. Itzkovitz, A. Schuster, and L. Wolfovich
2nd Intl. Workshop on High Level Parallel Programming Models and Supportive Environments, Geneva, April 1997, pp. 25–34.

Collecting Garbage Pages in a Distributed Shared Memory System.(Postscript)
D. Kogan and A. Schuster.
5th European Symp. on Algorithms, Graz, September 1997, pp. 308–325.

Optimal Point-to-Point Broadcast Algorithms via Lopsided Trees(Postscript)
M. Golin and A. Schuster.
5th Israeli Symposium on the Theory of Computing and Systems, Ramat-Gan, June 1997, pp. 63–73.

Single Step Undirected Reconfigurable Networks.(Postscript)
Y. Ben-Asher and A. Schuster.
VLSI DESIGN, special issue on High Performance Bus-Based Architectures. S. Olariu Ed.
Also in proc. Intl. Conf. on High Performance Computing, December 1997, Bangalore.

Millipede: Easy Parallel Programming in Available Distributed Environments.(Postscript)
R. Friedman, M. Goldin, A. Itzkovitz and A. Schuster.
Software: Practice \& Experience. Vol. 27, No. 8, pp. 929–965, August 1997.
Preliminary version in Euro–Par (Vol. 1 of proceedings), Lyon, August 1996, pp. 84–87.

Bounds and Analysis Techniques for Greedy Hot-Potato Routing.(Postscript)
A. Schuster.
Chapter 11 (pp. 283–354) in “Optical Interconnections and Parallel –> –Processing: The Interface”.
Kluwer Academic Publishers (ISBN 0-7923-4817-6). P. Berthom\’e and A. Ferreira Ed’s.

Randomized Single-Target Hot-Potato Routing.(Postscript)
I. Ben-Aroya, I. Newman and A. Schuster.
Journal of Algorithms, Vol. 23, pp. 101–120, 1997.
Preliminary version 3rd Israeli Symp. on Theory of Computing and Systems, Jan 1995, pp. 20–29.

Back to top

1996

Fast, Efficient Mutual and Self Simulations for Shared Memory and Reconfigurable Mesh.(Postscript)
Y. Matias and A. Schuster.
Parallel Algorithms and Architectures, Vol. 8, pp. 195–221, 1996. Special Issue on Enhanced Mesh Architectures. S. Olariu Ed.
Preliminary version 7th Symp. on Parallel and Distributed Processing, San Antonio, October 1995, pp. 239–246.

Low Crosstalk Address Encodings for Optical Message Switching Systems.
Y. Ben-Asher and A. Schuster,
Parallel Processing Letters, Vol. 6, No. 1, Feb. 1996, pp. 87–100.
Prelim. ver. 7th Intl. Parallel Processing Symp., April 1993.

Time — Size Tradeoffs for Reconfigurable Meshes.
Y. Ben-Asher and A. Schuster.
Parallel Processing Letters, Vol. 6, No. 2, pp. 231–245, June 1996.
Prelim. ver. Reconfigurable Architecture Workshop, April 1995, pp. 1–13.

Back to top

1995

2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks.
Intl. Journal of Parallel Programming, Vol. 23, No. 5, October 1995, pp. 389–422. (Preliminary version in Intl. Conf. on Compiler Construction, 1994.)

Hot-Potato Algorithms for Permutation Routing.
I. Newman and A. Schuster.
IEEE Trans. on Parallel and Distributed Systems, Vol. 6, No. 11, November 1995, pp. 1168–1176.

Efficient Self Simulation Algorithms in Reconfigurable Arrays.
Y. Ben-Asher, D. Gordon and A. Schuster.
Journal of Parallel and Distributed Computing, Vol. 30, pp. 1–22, 1995.
Prelim ver. 1st European Symp. on Algorithms, September 1993.

Hot-Potato Worm Routing via Store-and-Forward Packet Routing.
I. Newman and A. Schuster.
Journal of Parallel and Distributed Computing, Vol. 30, pp. 76–84, 1995.
Prelim. ver. 2nd Israeli Symp. on Theory of Computing and Systems, June 1993.

The Complexity of Reconfiguring Network Models.
Y. Ben-Asher, K.-J. Lange, D. Peleg and A. Schuster,
Information and Computation, Vol. 121, No. 1, pp. 41–58, August 1995.
Prelim. ver. 1st Israeli Symp. on Theory of Computing and Systems, May 1992.

Greedy Hot-Potato Routing on the Two-Dimensional Mesh.
I. Ben-Aroya, T. Eilam and A. Schuster.
Distributed Computing, pp. 3–19, Vol. 9, No. 1, 1995.
Prelim. ver. 2nd European Symp. on Algorithms, September 1994.

Load Balancing: A Programmer’s Approach or The Impact of Task-Length Parameters on the Performance of the Random Load-Balancing Algorithm.
Y. Ben-Asher, A. Schuster and J.F. Sibeyn.
International Journal of High Speed Computing, pp. 303–325, Vol. 7, No. 2, 1995.
Prelim. ver. 6th Intl. Parallel Processing Symp., March 1992.

The Complexity of Data-Reduction on the Reconfigurable Linear Array.
Y. Ben-Asher and A. Schuster.
Journal of Algorithms, Vol. 18, pp. 322–357, 1995.
Prelim. ver. 6th Intl. Parallel Processing Symp., March 1992.

Back to top

1992

2-D SIMD Algorithms for Perfect Shuffle Networks.
Y. Ben-Asher, D. Egosi and A. Schuster.
Journal of Parallel and Distributed Computation, Vol. 16, pp. 250–257, 1992.
Prelim. ver. 16th Symp. on Computer Architecture, May 1989.

Back to top

1991

Improved Memory Utilization in Deterministic PRAM Simulation.
Y. Aumann and A. Schuster.
Journal of Parallel and Distributed Computing, Special Issue on Shared-Memory Multiprocessors, Vol. 12, pp. 146–151, 1991.
Prelim. ver. 3rd Symp. on the Frontiers of Massively Parallel Computation, October 1990.

The Power of Reconfiguration.
Y. Ben-Asher, D. Peleg, R. Ramaswami and A. Schuster.
Journal of Parallel and Distributed Computing, Special issue on Massively Parallel Computation, Vol. 13, pp. 139–153, 1991.
Prelim. ver. 18th Intl. Colloquium on Automata, Languages, and Programming (ICALP), July 1991.

Ranking on Reconfigurable Networks.
Y. Ben-Asher and A. Schuster.
Parallel Processing Letters, Vol. 1, No. 2, pp. 149–156, December 1991.

Back to top

1989

Communication Aspects of Networks Based on Geometric Incidence Relations.
E. Shamir and A. Schuster.
Theoretical Computer Science, Vol. 64, No. 1, pp. 83–96, April 1989.