Donald Nguyen

Research Interests

• Formal methods
• Software verification
• Program optimization
• Advanced hardware architectures
• Galois project for parallelizing irregular algorithms
• PLLunch

Publications

Education/Employment

• Summer Intern. Google. Seattle, WA (Summer 2008).
• Ph.D. in Computer Science. The University of Texas at Austin. Austin, TX (2007-present).
• Engineer. Reservoir Labs. New York, NY (2004-2007).
• B.S. in Computer Science. Yale University. New Haven, CT (2000-2004).

Teaching

• TA for CS375: Compilers (Fall 2008)

General Interests

• Building
• Other
• Alamaya

Exploiting the commutativity lattice

Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali
ACM SIGPLAN Notices - PLDI '11, 2011

The tao of parallelism in algorithms

Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, M. Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui
ACM SIGPLAN Notices - PLDI '11, 2011

Synthesizing concurrent schedulers for irregular algorithms

Donald Nguyen, Keshav Pingali
ASPLOS '11 Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems, 2011

Structure-driven optimizations for amorphous data-parallel programs

Mario Méndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, M. Amber Hassaan, Milind Kulkarni, Martin Burtscher, Keshav Pingali
PPoPP '10 Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming, 2010

Machine learning-based prefetch optimization for data center applications

Shih-wei Liao, Tzu-Han Hung, Donald Nguyen, Chinyen Chou, Chiaheng Tu, Hucheng Zhou
SC '09 Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2009

Prefetch optimizations on large-scale applications via parameter value prediction

Shih-wei Liao, Tzu-Han Hung, Donald Nguyen, Hucheng Zhou, Chinyen Chou, Chiaheng Tu
ICS '09 Proceedings of the 23rd international conference on Supercomputing, 2009