Hong Diep Nguyen

(Nguyễn Hồng Diệp)

I'm a postdoctoral scholar at UC Berkeley under the supervision of Prof. Jim Demmel

I'm currently working on "The Reproducibility of Parallel Floating-Point Computations", for which I join the working group BeBop at ParLab.

I did my PhD at the Ecole Normale Superieure de Lyon, France under the supervision of Gilles Villard and Nathalie Revol. I defended on Jan 2011. My thesis entitled "Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic" (script ).

Contact

517 Soda Hall
University of California at Berkeley
Berkeley CA 94720
Email: hdnguyen@eecs.berkeley.edu

Softwares

ReproBLAS: Reproducible Basic Linear Algebra Subprograms (Latest version: 1.0)

Publications

International journals

  • J. Demmel and H. D. Nguyen
    Parallel Reproducible Summation
    Computers, IEEE Transactions, Volume: PP Issue 99, 2014
  • H. D. Nguyen and N. Revol
    Solving and Certifying the Solution of a Linear System
    Reliable Computing, vol. 15, issue 2, pp 120-131, 2011
  • H. D. Nguyen, J. Lamotte and S. Graillat
    Extended precision with a rounding mode toward zero environment. Application on the Cell processor
    Int. J. Reliability and Safety 3 (2009), no. 1/2/3, 153--173 (special issue on "Reliable Engineering Computing")

Conferences with referees and proceedings

  • J. Demmel and H. D. Nguyen
    Reproducible Tall-Skinny QR
    ARITH 22, Lyon, France, June 22-24, 2015.
  • Grey Ballard, James Demmel, Laura Grigori, Mathias Jacquelin, Hong Diep Nguyen, and Edgar Solomonik
    Reconstructing Householder Vectors from Tall-Skinny QR (paper )
    IEEE International Parallel and Distributed Processing Symposium (IPDPS), Phoenix, AZ, May 2014
  • C. Rubio-Gonzalez, C. Nguyen, H. D. Nguyen, J. Demmel, W. Kahan, K. Sen, D. H. Bailey, C. Iancu, D. Hough
    Precimonious: Tuning Assistant for Floating-Point Precision
    International Conference for High Performance Computing, Networking, Storage and Analysis (SC'13), Denver, Colorado, November 2013
  • J. Demmel and H. D. Nguyen
    Numerical Accuracy and Reproducibility at ExaScale [invited Paper] (slides ) (Special Session on ExaScale Compputing: Managing Computation, Precision, Accuracy, and Performance on ExaScale Systems)
    ARITH 21, Austin, Texas, April 7-10, 2013
  • J. Demmel and H. D. Nguyen
    Fast Reproducible Floating-Point Summation (slides )
    ARITH 21, Austin, Texas, April 7-10, 2013
  • H. D. Nguyen and N. Revol
    Refining and verifying the solution of a linear system
    SNC 2011 - Symbolic-Numeric Computation, San Jose, California, June 7-9, 2011
  • Hong Diep Nguyen, Bogdan Pasca, Thomas B. Preuβer
    FPGA-Specific Arithmetic Optimizations of Short-Latency Adders
    Field Programmable Logic and Applications, Crete, Greece, 2011
  • H. D. Nguyen and N. Revol
    High performance linear algebra using interval arithmetic
    PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Grenoble, France
  • Hong Diep Nguyen
    Efficient Implementation of Interval Matrix Multiplication
    Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
  • Florent de Dinechin, Hong Diep Nguyen, Bogdan Pasca
    Pipelined FPGA Adders
    Field Programmable Logic and Applications, Milano, Italy, 2010
  • S. Graillat, J. Lamotte, and H. D. Nguyen
    Error-Free Transformation in rounding mode toward zero
    Lecture Notes in Computer Science (LNCS), volume 5492/2009, Numerical Validation in Current Hardware Architectures, 2009, p.217-229

Conferences / Workshops

  • H. D. Nguyen and J. Demmel
    Reproducibile Parallel Floating-Point Computations (abstract , slides )
    9th International Workshop on Accurate Solution of Eigenvalue Problems, Napa Valley, June 4 - 7, 2012
  • H. D. Nguyen and N. Revol
    Verified Numerical Linear Algebra: Linear System Solving
    SIAM Conference on Applied Algebraic Geometry, Raleigh, North Carolina, USA, 6-9 October 2011
  • H. D. Nguyen and N. Revol
    Accuracy issues in linear algebra using interval arithmetic
    SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Lyon, France, 2010
  • H. D. Nguyen and N. Revol
    Solving and Certifying the Solution of a Linear System
    SCAN 2008, El Paso, Texas, USA, Sept. 29 - Oct. 3, 2008
  • H. D. Nguyen, J. Lamotte and S. Graillat
    Precise and effective scientific calculation on the Cell processor
    Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008, p.333-350
Last modified: Oct 14, 2013