Amnon Barak selected publications

A. Margolin and A. Barak. RDMA-Based Library for Collective Operations in MPI. 2019 IEEE/ACM Workshop on Exascale MPI (ExaMPI), Int'l Conf. for High Performance Computing, Networking, Storage and Analysis (SC19), Denver, Nov. 2019. Also, IEEE Xplore, Jan. 2020.
C. Weinhold, A. Lackorzynski, J. Bierbaum, M. Küttler, M. Planeta, H. Weisbach, M. Hille, H. Härtig, A. Margolin, D. Sharf, E. Levy, P. Gak, A. Barak, M. Gholami, F. Schintke, T. Schütt, A. Reinefeld, M. Lieber and W.E. Nagel. FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. In: H-J. Bungartz, S. Reiz, B. Uekermann, P. Neumann, W.E. Nagel (Eds.), Software for Exascale Computing - SPPEXA 2016-2019, LNCSE, Vol 136. Springer, Chem, July 2020.
A. Margolin and A. Barak. Tree-Based Fault-Tolerant Collective Operations for MPI. Workshop on Exascale MPI (ExaMPI), Int'l Conf. for High Performance Computing, Networking, Storage and Analysis (SC18), Dallas, Nov. 2018. Also, Concurrency and Computation: Practice and Experience, special issue, Wiley, June 2020.
M. Küttler, M. Planeta, J. Bierbaum, C. Weinhold, H. Härtig, A. Barak, T. Hoefler. Corrected Trees for Reliable Group Communication. Proc. Principles and Practice of Parallel Programming (PPoPP'19), Washington, DC, Feb. 2019.
M. Sutton, T. Ben-Nun and A. Barak. Optimizing Parallel Graph Connectivity Computation via Subgraph Sampling. Proc. 32nd IEEE Int'l Parallel & Distributed Processing Symp. (IPDPS'18), Vancouver, May 2018.
T. Hoefler, A. Barak, A. Shiloh and Z. Drezner. Corrected Gossip Algorithms for Fast Reliable Broadcast on Unreliable Systems. Proc. 31st IEEE Int'l Parallel & Distributed Processing Symp. (IPDPS'17), Orlando, May 2017.
C. Weinhold, A. Lackorzynski, J. Bierbaum, M. Küttler, M. Planeta, H. Härtig, A. Shiloh, E. Levy, T. Ben-Nun, A. Barak, T. Steinke, T. Schütt, J. Fajerski, A. Reinefeld, M. Lieber, W.E. Nagel. FFMK: A Fast and Fault-tolerant Microkernel-based System for Exascale Computing. In: H-J. Bungartz, P. Neumann, W.E. Nagel (Eds.), Software for Exascale Computing - SPPEXA 2013 - 2015, LNCSE, Vol. 113:405-426, Springer, Oct. 2016.
T. Ben-Nun, A. Barak and U. Raviv. Spline-Based Parallel Nonlinear Optimization of Function Sequences. J. of Parallel and Distributed Computing, Vol. 93-94:132-145, July 2016.
A. Barak, Z. Drezner, E. Levy, M. Lieber and A. Shiloh. Resilient Gossip Algorithms for Collecting Online Management Information in Exascale Clusters. Concurrency and Computation: Practice and Experience, Vol. 27(17):4797-4818, Dec. 2015.
T. Ben-Nun, E. Levy, A. Barak and E. Rubin. Memory Access Patterns: The Missing Piece of the Multi-GPU Puzzle. Proc. of the Int'l Conf. for High Performance Computing, Networking, Storage and Analysis (SC15), Austin, Nov. 2015.
E. Rubin, E. Levy, A. Barak and T. Ben-Nun. MAPS: Optimizing Massively Parallel Applications Using Device-level Memory Abstraction. ACM Trans. on Architecture and Code Optimization (TACO), Vol. 11(4), Article 44, Dec. 2014. Also, Proc. High Performance and Embedded Architecture and Compilation (HiPEAC 2015), Amsterdam, Jan. 2015.
E. Levy, A. Barak, A. Shiloh, M. Lieber, C. Weinhold and H. Härtig. Overhead of a Decentralized Gossip Algorithm on the Performance of HPC Applications. Proc. Int'l Workshop on Runtime and Operating Systems for Supercomputers (ROSS), Munich, June 2014.
E. Levy, A. Barak, T. Ben-Nun, A. Shiloh and J. Smith. A programming and runtime environment for parallel applications on heterogeneous clusters. Compiler, Architecture and Tools Conf. (CATC), Haifa, Nov. 2012.
A. Barak, A. Margolin and A. Shiloh A. Automatic Resource-Centric Process Migration for OpenMPI. Proc. EuroMPI'12, Springer LNCS Vol. 7490:163-172, Vienna, Sept. 2012.
A. Barak and A. Shiloh. The VCL Cluster Platform. Proc. Intel European Research & Innovation Conf., pp. 196, Leixlip, Oct. 2011.
A. Barak, T. Ben-Nun, E. Levy and A. Shiloh. A Package for OpenCL Based Heterogeneous Computing on Clusters with Many GPU Devices. Proc. Workshop on Parallel Programming and Applications on Accelerator Clusters (PPAAC), IEEE Cluster 2010, Crete, Sept. 2010.
S. Shudler, L. Amar, A. Barak and A. Mu'alem. The Effect of Untruthful Bids on User Utilities and Stability in Computing Markets. Proc. 10^th IEEE/ACM Int'l Symp. on Cluster, Cloud and Grid Computing (CCGrid 2010), Melbourne, May 2010.
L. Amar, A. Barak, Z. Drezner and M. Okun. Randomized Gossip Algorithms for Maintaining a Distributed Bulletin Board with Guaranteed Age Properties. Concurrency and Computation: Practice & Experience, Vol. 21(15):1907-1927, 2009.
T. Maoz, A. Barak and L. Amar. Combining Virtual Machine Migration with Process Migration for HPC on Multi-Clusters and Grids. IEEE Cluster 2008, pp. 89-98, Tsukuba, Sept. 2008.
L. Amar, J. Stosser, E. Levy, A. Shiloh, A. Barak and D. Neumann. Harnessing Migration in Market-based Grid OS. Proc. 9^th IEEE/ACM Int'l Conf. on Grid Computing (Grid 2008), Tsukuba, Sept. 2008.
M. Okun, A. Barak and E. Gafni. Renaming in Synchronous Message Passing Systems with Byzantine Failures. Distributed Computing, Vol. 20(6):403-413, April. 2008.
M. Okun and A. Barak. Efficient Algorithms for Anonymous Byzantine Agreement. Theory of Computing Systems, Vol. 42(2):222-238, Feb. 2008.
E. Meiri and A. Barak. Parallel Compression of Correlated Files. IEEE Cluster 2007, pp.285-292, Austin, Sept. 2007.
L. Amar, J. Stosser, A. Barak and D. Neumann. Economically Enhanced MOSIX for Market-based Scheduling in Grid OS. Proc. Workshop on Economic Models and Algorithms for Grid System (EAMGS 2007), 8^th IEEE/ACM Int'l Conf. on Grid Computing (Grid'07), Austin, Sept. 2007.
L. Amar, A. Barak, E. Levy and M. Okun. An On-line Algorithm for Fair-Share Node Allocations in a Cluster. Proc. 7^th IEEE Int'l Symp. on Cluster Computing and the Grid (CCGrid'07), pp. 83-91, Rio de Janeiro, May 2007.
M. Okun and A. Barak. Renaming in Message Passing Systems with Byzantine Failures. Proc. 20^th Int'l Symp. on Distributed Computing (DISC06), Springer LNCS Vol. 4167:16-30, Stockholm, Sept. 2006.
A. Barak, A. Shiloh and L. Amar. An Organizational Grid of Federated MOSIX Clusters. Proc. 5^th IEEE Int'l Symp. on Cluster Computing and the Grid (CCGrid'05), pp. 350-357, Cardiff, May 2005.
A. Barak and Z. Drezner. Gossip-Based Distributed Algorithms for Estimating the Average Load of Scalable Computing Clusters and Grids. Proc. 2004 Int'l Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'04), Vol. 2:610-612, Las Vegas, June 2004.
M. Okun and A. Barak. Atomic Writes for Data Integrity and Consistency in Shared Storage Devices for Clusters. J. of Future Generation Computer Systems, Vol. 20(4):539-547, May 2004.
L. Amar, A. Barak and A. Shiloh. The MOSIX Direct File System Access Method for Supporting Scalable Cluster File Systems. Cluster Computing, Vol. 7(2):141-150, April 2004.
M. Okun and A. Barak. A New Approach for Approximating Node Deletion Problems. Information Processing Letters, Vol. 88 (5):231-236, Dec. 2003.
D. Abramson, A. Barak and C. Enticott. Job Management in Grids of MOSIX Clusters. Proc. 16^th Int'l Conf. on Parallel and Distributed Computing Systems (PDCS'03), pp 36 - 42, Reno, Aug. 2003.
A. Keren and A. Barak. Opportunity Cost Algorithms for Reduction of I/O and Interprocess Communication Overhead in a Computing Cluster. IEEE Tran. Parallel and Distributed Systems, Vol. 14(1):39-50, Jan. 2003.
L. Amar, A. Barak and A. Shiloh. The MOSIX Parallel I/O System for Scalable I/O Performance. Proc. 14^th Int'l Conf. on Parallel and Distributed Computing and Systems (PDCS'02), pp. 495-500, Cambridge, Nov. 2002.
M. Okun and A. Barak. On Node State Reconstruction for Fault Tolerance Distributed Algorithms. Proc. 21^st IEEE Symp. on Reliable Distributed Systems (SRDS 2002), pp. 160-168, Osaka, Oct. 2002.
R. Lavi and A. Barak. The Home Model and Competitive Algorithms for Load Balancing in a Computing Cluster. Proc. 21^st Int'l Conf. on Distributed Computing Systems (ICDCS'01), pp. 127-136, Mesa, April 2001.
D. Garti, S-T Cohen, A. Barak, A. Keren and R. Szmit. Object Mobility for Performance Improvements of Parallel Java Applications. J. of Parallel Distributed Computing, Special Issue - Java on Clusters, Vol. 60(10):1311-1324, Oct. 2000.
Y. Amir, B. Awerbuch, A. Barak, R.S. Borgstrom and A. Keren. An Opportunity Cost Approach for Job Assignment in a Scalable Computing Cluster. Proc. 10^th Int'l Conf. on Parallel and Distributed Computing and Systems (PDCS'98), pp. 639-645, Las Vegas, Oct. 1998. Selected for publication in IEEE Tran. Parallel and Distributed Systems, Vol. 11(7):760-768, July 2000.
R. Szmit and A. Barak. Evolution Strategies for a Parallel Multi-Objective Genetic Algorithm. Proc. Genetic and Evolutionary Computation Conf. (GECCO-2000), Las Vegas, July 2000.
D. Aharoni and A. Barak. Parallel Iterative Discontinuous Galerkin Finite-Element Methods. Proc. Int'l Symp. on Discontinuous Galerkin Methods, LNCSE Vol. 11:247-254, Springer, 2000.
O. La'adan and A. Barak. Inter Process Communication Optimization in a Scalable Computing Cluster. Annual Review of Scalable Computing, Vol. 1:121-180, World Scientific Pub., 1999.
A. Barak, I. Gilderman and I. Metrik. Performance of the Communication Layers of TCP/IP with the Myrinet Gigabit LAN. Computer Communications, Vol. 22(11):989-997, July 1999.
A. Barak, O. La'adan and A. Shiloh. Scalable Cluster Computing with MOSIX for Linux. Proc. Linux Expo '99, pp. 95-100, Raleigh, May 1999.
R. Lavi and A. Barak. Improving the PVM Daemon Network Performance by Direct Network Access. Proc. EuroPVM/MPI98, Springer-Verlag LNCS Vol. 1497:44-51, Liverpool, Sept. 1998.
D. Aharoni and A. Barak. Asynchronous Parallel Discontinuous Finite Element Method. Proc. Int. Conference on High-Performance Computing and Networking. HPCN Europe 1998. LNCS Vol. 1401:347-357, Springer, 1998.
A. Barak and O. La'adan. The MOSIX Multicomputer Operating System for High Performance Cluster Computing. J. of Future Generation Computer Systems, Vol. 13(4-5):361-372, March 1998.
A. Keren and A. Barak. Adaptive Placement of Parallel Java Agents in a Scalable Computing Cluster. Proc. ACM 1998 Workshop on Java for High-Performance Network Computing, Stanford Univ., Palo Alto, Feb. 1998.
Selected for publication in Concurrency: Practice & Experience, Vol. 10(11-13):971-976, 1998.
A. Barak and A. Braverman. Memory Ushering in a Scalable Computing Cluster. Proc. 3^rd IEEE Int'l Conf. on Algorithms and Architecture for Parallel Processing (ICA3PP '97), pp. 211-224, (best conference papers), Melbourne, Dec. 1997. Selected for publication in Microprocessors and Microsystems, Vol. 22(3-4):175-182, Aug. 1998.
G. Aharoni, A. Barak and A. Ronen. A Competitive Algorithm for Managing Sharing in the Distributed Execution of Functional Programs. J. of Functional Programming, Vol. 7(4):421-440, July 1997.
A. Barak and O. La'adan. Performance of the MOSIX Parallel System for a Cluster of PCs. Proc. Int'l Conf. on High-Performance Computing and Networking (HPCN 97), Springer LNCS Vol. 1225:624-635 (best conference papers), Vienna, April 1997.
A. Barak and O. La'adan. Experience with a Scalable PC Cluster for HPC. Proc. Cluster Computing Conf. (CCC 97), Emory Univ., Atlanta, March 1997.
A. Barak and E. Schenfeld. Embedding Classical Communication Topologies in the scalable OPAM Architecture. IEEE Tran. on Parallel and Distributed Systems, Vol. 7(9):979-992, Sept. 1996.
A. Barak, A. Braverman, I. Gilderman and O. La'adan. Performance of PVM with the MOSIX Preemptive Process Migration Scheme. Proc. 7^th Israeli Conf. on Computer Systems and Software Engineering, pp. 38-45, Herzliya, June 1996.
A. Barak, O. La'adan and Y. Yarom. The NOW MOSIX and its Preemptive Process Migration Scheme. Bull. IEEE Tech. Committee on Operating Systems and Application Environments, Vol. 7(2):5-11, Summer 1995.
J. Maresky, Y. Davidor, D. Gitler, G. Aharoni and A. Barak. Profiling Communication in Distributed Genetic Algorithms. Proc. 14^th Int'l Joint Conf. on Artificial Intelligence, pp. 961-966, Montreal, Aug. 1995.
J. Maresky, Y. Davidor, D. Gitler, G. Aharoni and A. Barak. Selective Destructive Re-start. Proc. KI-94 Workshop on Genetic Algorithms within the Framework of Evolutionary Computation, pp. 50-54, Max-Planck Institute for Informatik, Saarbrucken, Aug. 1994. Selected for publication in Proc. 6^th Int'l Conf. on Genetic Algorithms, Pittsburgh, July 1995.
A. Barak and R. Knighten. Shared Memory Requirements for Distributed Applications. Intel Supercomputer System Division, Beaverton, April 1994.
G. Aharoni, A. Barak and Y. Farber. An Adaptive Granularity Control Algorithm for the Parallel Execution of Functional Programs. J. on Future Generation Computer Systems, Vol. 9(3):163-174, 1993.
A. Barak, S. Guday and R. Wheeler. The MOSIX Distributed Operating System, Load Balancing for UNIX. Springer-Verlag LNCS Vol. 672, May 1993. Available from Amazon.
A. Barak and R. Ben-Natan. Bounded Contractions of Full Trees. J. of Parallel and Distributed Computing, Vol. 17(4):363-369, April 1993.
G. Aharoni, D. Feitelson and A. Barak. A Run-Time Algorithm for Managing the Granularity of Parallel Functional Programs. J. of Functional Programming, Vol. 2(4):387-405, Oct. 1992.
R. Ben-Natan and A. Barak. Parallel Contractions of Grids for Task Assignment to Processor Networks. Networks, An Int'l Journal, Vol. 22(6):539-562, Oct. 1992.
A. Barak, S. Guday and R. Laor. The MPE Toolkit for Supporting Distributed Applications. Concurrency and Computation: Practice & Experience, Vol. 4(6):459-480, Sept. 1992.
A. Barak and R. Ben-Natan. Assignment of Tasks to Parallel Architectures. Proc. Int'l Workshop on Configurable Distributed Systems, pp. 263-273, London, March 1992.
A. Barak and E. Schenfeld. Embedding Classical Communication Topologies in the OPAM Architecture. Proc. 3^rd IEEE Symp. on Parallel and Distributed Processing, pp. 482-485, Dallas, Dec. 1991.
G. Aharoni, Y. Farber and A. Barak. A Strategy for the Run-Time Management of Fine-Grained Parallelism. Proc. Workshop on the Parallel Implementation of Functional Languages, pp. 227-246, Southampton, June 1991.
E. Bahat and A. Barak. Variations on Parallel Control Structures. Proc. 5^th Israel Conf. on Computer Systems and Software Engineering, pp. 173-178, Herzelya, May 1991.
Y. Farber and A. Barak. An Interleaved File System for a Highly Distributed MIMD Architecture. Proc. 5^th Jerusalem Conf. on Information Technology, pp. 22-30, Oct. 1990.
D. Haban, D. Wybranietz and A. Barak. Monitoring and Management-Support of Distributed Systems. Proc. European Workshop on Progress in Distributed Operating Systems and Distributed System Management, pp. 110-137, Berlin, April 1989.
A. Barak, A. Shiloh and R. Wheeler. Flood Prevention in the MOSIX Load-Balancing Scheme. IEEE-TCOS Newsletter, Vol. 3(1):24-27, Winter 1989.
A. Barak and R. Wheeler. MOSIX: An Integrated Multiprocessor UNIX. Proc. Winter 1989 USENIX Conf., pp. 101-112, San Diego, CA, Feb. 1989. Also in D. Milojicic, F. Douglis and R. Wheeler. Mobility: Processes, Computers, and Agents. ACM Press, pp. 41-53, 1999.
A. Barak and D. Malki. Distributed Light Weight Processes in MOS. Proc. Autumn 88 EUUG Conf., pp. 335-343, Cascais, Oct. 1988.
N. Alon, A. Barak and U. Manber. On Disseminating Information Reliably Without Broadcasting. Proc. 7^th Int'l Conf. on Distributed Computing Systems (ICDCS-7), pp. 74-81 (best conference paper), Berlin, Sept. 1987. Also, Computer Science Tech. Report 621, University of Wisconsin, Madison, Dec. 1985,
A. Barak and Y. Kornatzky. Design Principles of Operating Systems for Large Scale Multicomputers. Report RC 13220, IBM T.J. Watson Research Center, Yorktown Heights, Oct. 1987. Also, Proc. Int'l Workshop on Experience with Distributed Systems, pp. 104-123, Kaiserslautern, Sept. 1987.
A. Barak and O.G. Paradise. MOS - a Load Balancing UNIX. Proc. Autumn 86 EUUG Conf., pp. 273-280, Manchester, Sept. 1986.
Z. Drezner and A. Barak. An Asynchronous Algorithm for Scattering Information Between the Active Nodes of a Multicomputer System. J. of Parallel and Distributed Computing, Vol. 3(3):344-351, Sept. 1986.
A. Barak, D. Malki and R. Wheeler. AFS, BFS, CFS ... or Distributed File Systems for UNIX. Proc. Autumn 86 EUUG Conf. on Dist. Systems, pp. 214-222, Manchester, Sept. 1986.
A. Barak, Z. Drezner and Y. Gurevich. On the Number of Active Nodes in a Multicomputer System. Networks, an Int'l Journal, Vol. 16(3):275-282, Fall 1986.
A. Barak and O.G. Paradise. MOS - Scaling Up UNIX. Proc. Summer 1986 USENIX Conf., pp. 414-418, Atlanta, June 1986.
A. Barak and A. Shiloh. A Distributed Load-balancing Policy for a Multicomputer. Software: Practice & Experience, Vol. 15(9):901-913, Sept. 1985.
A. Barak and A. Litman. MOS - A Multicomputer Distributed Operating System. Software: Practice & Experience, Vol. 15(8):725-737, Aug. 1985.
Z. Drezner and A. Barak. Efficient Algorithms for Routing Information in a Multicomputer System, Distributed Algorithms on Graphs. Carleton Univ. Press, pp. 41-48, Ottawa, Aug. 1985.
A.B. Barak and P. Erdös. On the Maximal Number of Strongly Independent Vertices in a Random Acyclic Directed Graph. SIAM J. on Algebraic and Discrete Methods, Vol. 5(4):508-514, Dec. 1984.
A. Barak. Dynamic Process Control for Distributed Computing. Proc. 3^rd Int'l Conf. on Distributed Computing Systems (ICDCS-3), pp. 36-40, Ft. Lauderdale, Oct. 1982.
A.B. Barak and P.J. Downey. Distributed Processor Scheduling and User Countermeasures. SIAM J. on Computing, Vol. 10(4):809-819, Nov. 1981.
A. Barak, A. Shapir, G. Steinberg and A.I. Karshmer. A Modular, Distributed UNIX. Proc. 14^th Hawaii Int'l Conf. on System Science, pp. 740-747, Jan. 1981.
A. Barak and A. Shapir. An Hierarchical Multiple-Processor Distributed Operating System. Proc. 15^th National Conf. on Data Processing, pp. 301-314, Nov. 1980.
A. Barak and A. Shapir. UNIX with satellite Processors. Software: Practice & Experience, Vol. 10(5):383-392, May 1980.
A.B. Barak and M. Melman. The Minimal Configuration of a Flexible Expandable Distributed Processing System. Proc. 3^rd Jerusalem Conf. on Information Technology, pp. 27-31, North-Holland Pub., Aug. 1978.
A.B. Barak and P.J. Downey. Using Task Duplication to Reduce Finishing Time. Trends and Applications: 1978 Distributed Processing, IEEE and NBS Ed., pp. 53-62, May 1978.
A.B. Barak and M. Aharoni. A Study of Machine Level Software Profile. Software: Practice & Experience, Vol. 8(2):131-136, March l978.
M. Snir and A.B. Barak. A Direct Approach to the Parallel Evaluation of Rational Expressions with a Small Number of Processors. IEEE Tran. on Computers, Vol. C-26(10):933-937, Oct. 1977.
A.B. Barak. Multiplicative Algorithms for Ternary Arithmetic using Binary Logic. IEEE Tran. on Computers, Vol. C-26(8):823-826, Aug. 1977.
F.P. Preparata, D.E. Muller and A.B. Barak. Reduction of Depth of Boolean Networks with a Fan-In Constraint. Algorithms and Complexity, New Directions and Recent Results, J.F. Traub (Ed), Academic Press 1976. Also, IEEE Tran. on Computers, Vol. C-26(5):474-479, May 1977.
A. Barak and E. Shamir. On the Parallel Evaluation of Boolean Expressions. SIAM J. on Computing, Vol. 5(4):678-681, Dec. 1976.
A.B. Barak. On the Parallel Evaluation of Division Free Arithmetic Expressions with Fan-In of Three. Information Processing Letters, Vol. 5(1):18-19, May 1976.
A.B. Barak and M. Snir. Near Optimal Algorithm for the Parallel Evaluation of Linear Recurrences. Proc. 13^th Annual Allerton Conf., pp. 867-872, Univ. of Illinois, Urbana, Oct. 1975.
A.B. Barak and E. Aron. On the Efficiency of Ternary Algorithms for Multiplication and Division. Proc. 1975 Int'l Symp. on Multiple-Valued Logic, pp. 331-343, IEEE Computer Society, Indiana Univ., Bloomington, May 1975.
A.B. Barak. A Factorization Procedure for the Solution of Multidimensional Elliptic Partial Differential Equations. SIAM J. on Numerical Analysis, Vol. 11(5):887-893, Oct. 1974.
A.B. Barak. A Method for Solving Polynomial Equations by Continued Fractions. IEEE Tran. on Computers, Vol. C-23(10):1093-1097, Oct. 1974.
A.B. Barak. Application of Continued Fractions for the Fast Evaluation of Certain Functions on a Digital Computer. IEEE Tran. on Computers, Vol. C-23(3):301-309, March 1974.
A.B. Barak. Continued Fractions: A Powerful Tool for Digital Arithmetic. Proc. 11^th Annual Allerton Conf., pp. 782-785, Univ. of Illinois, Urbana, Oct. 1973.
A.B. Barak and P.E. Saylor. A Symmetric Factorization Procedure for the Solution of Elliptic Boundary Value Problems. SIAM J. on Numerical Analysis, Vol. 10(1):190-206, March 1973.