List of Publications

Sivan Toledo

[1] Haim Avron, Doron Chen, Gil Shklarski, and Sivan Toledo.
Combinatorial preconditioners for scalar elliptic finite-elements problems.
Submitted to SIAM Journal on Scientific Computing, November 2006.
[2] Avraham Ben-Aroya and Sivan Toledo.
Competitive analysis of flash-memory algorithms.
In Proceedings of the 14th Annual European Symposium on Algorithms, Springer Lecture Notes in Computer Science, Volume 4168/2006, pages 100-111, Zurich, September 2006.
[3] Marshall Bern, John R. Gilbert, Bruce Hendrickson, Nhat Nguyen, and Sivan Toledo.
Support-graph preconditioners.
SIAM Journal on Matrix Analysis and Applications, 27:930-951, 2006.
[4] Dror Irony and Sivan Toledo.
The snap-back pivoting method for symmetric indefinite matrices.
SIAM Journal on Matrix Analysis and Applications, 28:398-424, 2006.
[5] Omer Meshar, Dror Irony, and Sivan Toledo.
An out-of-core sparse symmetric indefinite factorization method.
ACM Transactions on Mathematical Software, 32:445-471, 2006.
[6] Gil Shklarski and Sivan Toledo.
Rigidity in finite-element matrices: Sufficient conditions for the rigidity of structures and substructures.
Submitted to SIAM Journal on Matrix Analysis and Applications, January 2006.
[7] Michal Spivak and Sivan Toledo.
Storing a persistent transactional object heap on flash memory.
ACM SIGPLAN Notices, 41(7):22-33, 2006.
Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems.
[8] Eran Bida and Sivan Toledo.
An automatically-tuned sorting library.
To appear in Software: Practice and Experience, November 2005.
[9] Erik G. Boman, Doron Chen, Ojas Parekh, and Sivan Toledo.
On the factor-width and symmetric H-matrices.
Numerical Linear Algebra with Applications, 405:239-248, 2005.
[10] Doron Chen, John R. Gilbert, and Sivan Toledo.
Obtaining bounds on the two norm of a matrix from the splitting lemma.
Electronic Transactions on Numerical Analysis, 21:28-46, 2005.
[11] Eran Gal, Michal Spivak, and Sivan Toledo.
A transactional flash file system for microcontrollers and embedded systems, 2005.
A worldwide patent application filed on December 2005 by Tel-Aviv University (a provisional US patent was filed in December 2004).
[12] Eran Gal and Sivan Toledo.
Algorithms and data structures for flash memories.
ACM Computing Surveys, 37:138-163, 2005.
[13] Eran Gal and Sivan Toledo.
Mapping structures for flash memories: techniques and open problems.
In Proceedings of the IEEE International Conference on Software-Science, Technology and Engineering, pages 83-92, 2005.
[14] Eran Gal and Sivan Toledo.
A transactional flash file system for microcontrollers.
In Proceedings of the USENIX Annual Technical Meeting, pages 89-104, 2005.
[15] Craig Gotsman and Sivan Toledo.
On the computation of null spaces of sparse rectangular matrices.
To appear in SIAM Journal on Matrix Analysis and Applications, August 2005.
[16] Alex Pothen and Sivan Toledo.
Elimination structures in scientific computing.
In Dinesh Mehta and Sartaj Sahni, editors, Handbook of Data Structures and Applications, pages 59-1 to 59-29. Chapman & Hall/CRC Press, 2005.
[17] Elad Rozin and Sivan Toledo.
Locality of reference in sparse Cholesky methods.
Electronic Transactions on Numerical Analysis, 21:81-106, 2005.
[18] Olga Sorkine, Daniel Cohen-Or, Dror Irony, and Sivan Toledo.
Geometry-% aware bases for shape approximation.
IEEE Transactions on Visualization and Computer Graphics, 11:171-180, 2005.
[19] Haim Avron, Gil Shklarski, and Sivan Toledo.
Parallel unsymmetric-pattern multifrontal sparse LU with column preordering.
Submitted for publication in ACM Transactions on Mathematical Software, December 2004.
[20] Erik G. Boman, Doron Chen, Bruce Hendrickson, and Sivan Toledo.
Maximum-weight-basis preconditioners.
Numerical Linear Algebra with Applications, 11:695-721, 2004.
[21] Doron Chen and Sivan Toledo.
Combinatorial characterization of the null spaces of symmetric H-matrices.
Linear Algebra and its Applications, 392:71-90, 2004.
[22] Dror Irony, Gil Shklarski, and Sivan Toledo.
Parallel and fully recursive multifrontal supernodal sparse cholesky.
Future Generation Computer Systems, 20(3):425-440, April 2004.
[23] Dror Irony, Sivan Toledo, and Alexander Tiskin.
Communication lower bounds for distributed-memory matrix multiplication.
Journal of Parallel and Distributed Computing, 64:1017-1026, 2004.
[24] Omer Meshar and Sivan Toledo.
An out-of-core sparse symmetric indefinite factorization method.
In Proceedings of PARA 2004, pages 10 pages on CD-ROM, 2004.
[25] Vladimir Rotkin and Sivan Toledo.
The design and implementation of a new out-of-core sparse Cholesky factorization method.
ACM Transactions on Mathematical Software, 30:19-46, 2004.
[26] Doron Chen and Sivan Toledo.
Vaidya% 's preconditioners: Implementation and experimental study.
Electronic Transactions on Numerical Analysis, 16:30-49, 2003.
[27] Olga Sorkine, Doron Chen, Daniel Cohen-Or, , and Sivan Toledo.
Algebraic analysis of high-pass quantization.
ACM Transactions on Graphics, 34 pages, to appear, September 2003.
[28] Olga Sorkine, Daniel Cohen-Or, and Sivan Toledo.
High-pass quantization for mesh encoding.
In Proceedings of the Eurographics/ACM SIGGRAPH symposium on Geometry processing, pages 42-51,267. Eurographics Association, 2003.
[29] Sivan Toledo and Zvika Rosenberg.
Experience with opentype font production.
TUGBoat, 24(3):557-568, 2003.
[30] Igor Brainman and Sivan Toledo.
Nested-dissection orderings for sparse LU with partial pivoting.
SIAM Journal on Matrix Analysis and Applications, 23:998-112, 2002.
[31] Doron Chen and Sivan Toledo.
Multilevel support-graph preconditioners.
In The Book of Abstracts of Latsis 2002: Iterative Solvers for Large Linear Systems, page 36, Zurich, Switzerland, February 2002.
[32] Michael Galperin, Sivan Toledo, and Abraham Nitzan.
Numerical computation of tunneling fluxes.
Journal of Chemical Physics, 117(23):10817-10826, 2002.
[33] Dror Irony, Gil Shklarski, and Sivan Toledo.
Parallel and fully recursive multifrontal supernodal sparse cholesky.
In Proceedings of the International Conference on Computational Science (ICCS 2002), pages 335-344 of Part II, Amsterdam, April 2002.
[34] Dror Irony and Sivan Toledo.
Trading replication for communication in parallel distributed-memory dense solvers.
Parallel Processing Letters, 12:79-94, 2002.
[35] Yaron Shoham and Sivan Toledo.
Para% llel randomized best-first search.
Artificial Inteligence, 137:165-196, 2002.
[36] Sivan Toledo and Eran Rabani.
Very large electronic structure calculations using an out-of-core filter-diagonalization method.
Journal of Computational Physics, 180:256-269, 2002.
[37] Igor Brainman and Sivan Toledo.
Nested-dissection orderings for sparse LU with partial pivoting.
In Proceedings of the 10th SIAM Conference on Parallel Processing for Scientific Computing, Norfolk, Virginia, March 2001.
10 pages on CDROM.
[38] Doron Chen and Sivan Toledo.
Implementation and evaluation of Vaidya's preconditioners.
Preconditioning 2001, Tahoe, California, 3 pages, 2001.
[39] Dror Irony and Sivan Toledo.
Communication-efficient parallel dense LU using a 3-dimensional approach.
In Proceedings of the 10th SIAM Conference on Parallel Processing for Scientific Computing, Norfolk, Virginia, March 2001.
10 pages on CDROM.
[40] Eran Rabani and Sivan Toledo.
Out-of-core SVD and QR decompositions.
In Proceedings of the 10th SIAM Conference on Parallel Processing for Scientific Computing, Norfolk, Virginia, March 2001.
10 pages on CDROM.
[41] Sivan Toledo.
Operating Systems.
Akademon, Jerusalem, 2001.
209 page, In Hebrew.
[42] Sivan Toledo.
Typesetting Hebrew with LaTeX.
Eutupon, 6:39-56, April 2001.
[43] Sivan Toledo and Lars Knoll.
Font subsetting and downloading in the PostScript printer driver of Qt/X11.
In Proceedings of the XFree86 Technical Conference, Oakland, California, November 2001. USENIX.
[44] Igor Brainman and Sivan Toledo.
Nested-dissection orderings for sparse LU with partial pivoting.
In Lubin Vulkuv, Jerzy Wa'sniewski, and Plamen Yalamov, editors, Proceedings of the 2nd Conference on Numerical Analysis and Applications, volume 1988 of Lecture Notes in Computer Science, pages 125-132, Rousse, Bulgaria, June 2000. Springer.
[45] John R. Gilbert and Sivan Toledo.
An assessment of incomplete-lu preconditioners for nonsymmetric linear systems.
Informatica, 24:409-425, 2000.
[46] Sivan Toledo.
Exploiting rich fonts.
TUGBoat, 21(2):121-129, 2000.
[47] Tzu-Yi Chen, John R. Gilbert, and Sivan Toledo.
Toward an efficient column minimum degree code for symmetric multiprocessors.
In Proceedings of the 9th SIAM Conference on Parallel Processing for Scientific Computing, San-Antonio, Texas, 1999.
11 pages on CDROM.
[48] Alan Edelman, Peter McCorquodale, and Sivan Toledo.
The future fast Fourier transform?.
SIAM Journal on Scientific Computing, 20(3):1094-1114, 1999.
[49] John R. Gilbert and Sivan Toledo.
High-performance out-of-core sparse LU factorization.
In Proceedings of the 9th SIAM Conference on Parallel Processing for Scientific Computing, San-Antonio, Texas, 1999.
10 pages on CDROM.
[50] Sivan Toledo.
A simple technique for typesetting hebrew with vowel points.
TUGBoat, 20(1):15-19, 1999.
[51] Sivan Toledo.
Strategies for designing cache-friendly sparse-matrix codes.
In Book of abstracts of 4th International Congress on Industrial and Applied Mathematics, page 175, Edinburgh, Scotland, 1999.
An abstract.
[52] Sivan Toledo.
A survey of out-of-core algorithms in numerical linear algebra.
In James M. Abello and Jeffrey Scott Vitter, editors, External Memory Algorithms, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 161-179. American Mathematical Society, 1999.
[53] Sivan Toledo.
Theoretical analyses of cache misses in dense-linear algebra algorithms.
In Proceedings of the Workshop on Linear Algebra with Recursive Algorithms, pages 1-page abstract, Lingby, Denmark, December 1999.
An abstract.
[54] Marshall Bern, John R. Gilbert, Bruce Hendrickson, Nhat Nguyen, and Sivan Toledo.
Support-graph preconditioners.
In Proceedings of the Copper Mountain Conference On Iterative Methods, page 7 unnumbered pages, Copper Mountain, Colorado, 1998.
[55] Anshul Gupta, Fred G. Gustavson, Mahesh Joshi, and Sivan Toledo.
The design, implementation, and evaluation of a symmetric banded linear solver for distributed-memory parallel computers.
ACM Transactions on Mathematical Software, 24(1):74-101, 1998.
[56] Alan Edelman, Peter McCorquodale, and Sivan Toledo.
The future fast fourier transform?
In Proceedings of the 8th SIAM Conference on Parallel Processing for Scientific Computing, March 1997.
[57] K. Kedem, M. Sharir, and S. Toledo.
On critical orientations in the Kedem-Sharir motion planning algorithm.
Discrete and Compututational Geometry, 17:227-239, 1997.
[58] Charles E. Leiserson, Satish Rao, and Sivan Toledo.
Efficient out-of-core algorithms for linear relaxation using blocking covers.
Journal of Computer and System Sciences, 54(2):332-344, 1997.
[59] Eran Toledo, Sivan Toledo, Yael Almog, and Solange Akselrod.
A vectorized algorithm for correlation dimension estimation.
Physics Letters A, 229(6):375-378, 1997.
[60] Sivan Toledo.
Improving instruction-level parallelism in sparse matrix-vector multiplication using reordering, blocking, and prefetching.
In Proceedings of the 8th SIAM Conference on Parallel Processing for Scientific Computing, March 1997.
[61] Sivan Toledo.
Improving memory-system performance of sparse matrix-vector multiplication.
IBM Journal of Research and Development, 41(6):771-725, 1997.
[62] Sivan Toledo.
Locality of reference in LU decomposition with partial pivoting.
SIAM Journal on Matrix Analysis and Applications, 18(4):1065-1081, 1997.
[63] Sivan Toledo and Fred G. Gustavson.
The design and implementation of SOLAR, a portable library for scalable out-of-core linear algebra computations.
unpublished, 1997.
[64] Anshul Gupta, Fred G. Gustavson, Mahesh Joshi, and Sivan Toledo.
The design, implementation, and evaluation of a banded linear solver for distributed-memory parallel computers.
In Proceedings of the Third International Workshop on Parallel Computing (PARA '96), Lecture Notes in Computer Science volume 1184, Lyngby, Denmark, August 1996. Springer-Verlag.
[65] Sivan Toledo.
Locality of reference in LU decomposition with partial pivoting.
Technical Report RC20344, IBM T.J. Watson Research Center, Yorktown Heights, NY, January 1996.
[66] Sivan Toledo.
On the communication complexity of the discrete fourier transform.
IEEE Signal Processing Letters, 3:171-172, 1996.
[67] Sivan Toledo.
Performance prediction with benchmaps.
In Proceedings of the 10th International Parallel Processing Symposium, pages 479-484, Honolulu, Hawaii, April 1996.
[68] Sivan Toledo.
Using menus and menu bars in applets.
JavaWorld (an online magazine at http://www.javaworld.com), 1(9), November 1996.
[69] Sivan Toledo and Fred G. Gustavson.
The design and implementation of SOLAR, a portable library for scalable out-of-core linear algebra computations.
In Proceedings of the 4th Annual Workshop on I/O in Parallel and Distributed Systems, pages 28-40, Philadelphia, May 1996.
[70] Sivan Toledo.
Out-of-core krylov-subspace methods.
In Proceedings of the 5th Annual MIT Student Workshop on Scalable Computing, pages 53-0-53-1, 1995.
[71] Sivan Toledo.
Perfsim: A tool for automatic performance analysis of data-parallel fortran programs.
In Proceedings of the 5th Symposium on the Frontiers of Massively Parallel Computation, pages 396-405, 1995.
[72] Sivan Toledo.
Preconditioning with a decoupled rowwise ordering on the CM-5.
In Proceedings of the 7th SIAM Conference on Parallel Processing for Scientific Computing, pages 484-489, San Francisco, California, 1995.
[73] Sivan A. Toledo.
Quantitative Performance Modeling of Scientific Computations and Creating Locality in Numerical Algorithms.
PhD thesis, Massachusetts Institute of Technology, 1995.
Also published as MIT Laboratory for Computer Science Technical Report MIT-LCS-TR-656.
[74] Pankaj K. Agarwal, Micha Sharir, and Sivan Toledo.
Applications of parametric searching in geometric optimization.
Journal of Algorithms, 17:292-318, 1994.
[75] Micha Sharir and Sivan Toledo.
Extremal polygon containment problems.
Computational Geometry Theory and Applications, 4:99-118, 1994.
[76] Pankaj K. Agarwal, Alon Efrat, Micha Sharir, and Sivan Toledo.
Computing a segment-center for a planar point set.
Journal of Algorithms, 15:314-323, 1993.
[77] Pankaj K. Agarwal, Micha Sharir, and Sivan Toledo.
An efficient multi-dimensional searching technique and its applications.
Technical Report CS-1993-20, Duke University, 1993.
[78] Klara Kedem, Micha Sharir, and Sivan Toledo.
On critical orientations in the kedem-sharir motion planning algorithm for a convex polygon in the plane.
In Proceedings of the 5th Canadian Conference on Computational Geometry, pages 204-209, 1993.
[79] Charles E. Leiserson, Satish Rao, and Sivan Toledo.
Efficient out-of-core algorithms for linear relaxation using blocking covers.
In Proceedings of the 34th Symposium on Foundations of Computer Science, pages 704-713, 1993.
[80] Sivan Toledo.
Approximate parametric searching.
Information Processing Letters, 47:1-4, 1993.
[81] Sivan Toledo.
Maximizing non-linear concave functions in fixed dimensions.
In Panos M. Pardalos, editor, Complexity in Numerical Computations, pages 429-447. World Scientific, 1993.
[82] Sivan Toledo.
Space sharing a scan network.
In Proceedings of the 1993 MIT Student Workshop on Supercomputing Technologies, pages 44-0-44-1, 1993.
[83] Pankaj K. Agarwal, Micha Sharir, and Sivan Toledo.
Applications of parametric searching in geometric optimization.
In Proceedings of the 3rd ACM-SIAM Symposium on Discrete Algorithms, pages 72-82, 1992.
[84] Sivan Toledo.
Competitive fault tolerance in area-universal networks.
In Proceedings of the 4th ACM Symposium on Parallel Algorithms and Architectures, pages 236-246, 1992.
[85] Sivan Toledo.
Maximizing non-linear concave functions in fixed dimensions.
In Proceedings of the 33th Symposium on Foundations of Computer Science, pages 676-685, 1992.
[86] Sivan Toledo.
Extremal polygon containment problems.
In Proceedings of the 7th ACM Symposium on Computational Geometry, pages 176-185, 1991.
[87] Sivan Toledo.
Extremal polygon containment problems and other issues in parametric searching.
Master's thesis, School of Mathematical Sciences, Tel-Aviv University, Israel, April 1991.
[88] Dov Sagi and Sivan Toledo.
Combining local difference signals across different spatial filter maps.
In Proceedings of the Annual Meeting of the Association for Research in Vision and Opthalmology, Supplement to Investigative Opthalmology and Visual Science 30(4), page 410, 1990.