José Nelson Amaral

Professor
Department of Computing Science
University of Alberta
Athabasca Hall (ATH) 342
Edmonton, Alberta, Canada, T6G 2E8
Telephone: (780) 492-5411
Fax: (780) 492-1071
Email: amaral AT cs DOT ualberta DOT ca

Alberta Tools, Compilers, and Talks

Awards and Recognitions

Teaching
CMPUT 229
Computer Organization and Architecture I
CMPUT 329
Computer Organization and Architecture II
CMPUT 429
Computer Systems and Architecture
CMPUT 603
Teaching and Research Methods
CMPUT 680
Compiler Design and Optimization
CMPUT 605-JiT
Advanced Topics in Compilers: Dynamic Re-Compilation

Student Advising

Paul Berube (Ph.D. - NSERC - PGD)
Thesis: Methodologies for May-Input Feedback-Directed Optimization
Employment: TBD
Iain Ireland (M.Sc. - AIF)
Jeeva Paudel (Ph.D. - AIF) Carolina Simões Gomes (M.Sc. - IBM CAS)
Matthew Gaudet (M.Sc. - IBM CAS) Arnamoy Bhattacharyya (M.Sc. )

Publications
Compiler Design and Implementation Multi-Threaded Architectures and Programming Models High-Performance Computing
Parallel Architectures for Symbolic Processing Combinatorial Optimization Problems Theory and Applications of Artificial Neural Networks
Engineering and Computing Science Education Design for Testability Cache-Conscious Algorithms
Internet Protocol Routing Caches

Current Service
PLDI 2013
Programming Languages Design and Implementation
2013 External Review Committee
University of Alberta Senate
University of Alberta Senator
University of Alberta
Member of General Faculty Council
SPEC 2008
Standard Performance Evaluation Corporation
Research Group Steering Committee
5th Workshop on Compiler-Driven Performance
Co-Chair of 10th Workshop on
Compiler-Driven Performance - 2011
ICPE 2013
International Conference on
Performance Engineering (ICPE)
Program Committee Co-Chair (2013)
Steering Committee (2013)
PDP 2012
International Conference on
Parallel, Distributed and
Network-based Processing
Program Committee (2012)
ISPA
10th IEEE International Symposium on Parallel and
Distributed Processing with Applications
Program Committee Co-Chair

Alumni
Rei Thiessen (M.Sc. - NSERC - CGSM)
Thesis: Expression Data Flow Graph: Precise Flow-Sensitive Pointer Analysis for C Programs
Employment: University of Waterloo (Ph.D. candidate)
Co-Supervisor: Ondrej Lhotak
Ricardo Nabinger-Sanchez (M.Sc. - IBM CAS)
Thesis: Applying Support Vector Machines to Discover Just-In-Time Method-Specific Compilation Strategies
Employment:Taghos Tecnologia Co-Supervisor: Duane Szafron
Xunhao Li (M.Sc.)
Thesis: Jit4OpenCL: A Compiler from Python to OpenCL
Employment: IBM Toronto Laboratory, Markham, ON, Canada
Adam Jocksch (M.Sc. - IBM CAS)
Thesis: Data Mining Flow Graphs in a Dynamic Compiler
Employment: Research in Motion (RiM) - Waterloo, ON, Canada
Paul Berube (M.Sc. - NSERC)
Thesis: Aestimo: A Feedback-Directed Optimization Evaluation Tool
Employment: Ph.D. Student - University of Alberta
Kit Barton (Ph.D.)
Ph.D. Thesis: Improving Access to Shared Data in a Partitioned Global Address Space Programming Model
M.Sc. Thesis: Code Transformations to Augment the Scope of Loop Fusion in a Production Compiler
Employment: IBM Software Laboratory - Toronto, ON, Canada
Rahul Garg (M.Sc.)
Thesis: A Compiler for Parallel Exeuction of Numerical Python Programs on Graphics Processing Units
Current Status: Ph.D. student at McGill University - Montreal - Canada
Stephen Curial (M.Sc.)
Thesis: Automatic Data Structure Splitting in a Production Compiler
Employment: Amazon Inc. - Seattle, WA, USA
Johnny Huynh (M.Sc.)
Thesis: Minimizing Address-Computation Overhead
Employment: IBM Software Laboratory - Toronto
Soraya Kasnavi (M.Sc.)
Thesis: Content Addressable Memory-Based Circuits for Internet Protocol Routers: A Cache and Lookup Table
Co-Supervisor: Vincent Gaudet
Shane Brewer (M.Sc.)
Thesis: Applicability of Method Specialization Techniques to Java
Angela French (M.Sc.)
Thesis: A Study of Later Phase Static Single Assignment in the Open Research Compiler
Employment: Consilient Technologies Corp. - St. John's, NL.
Peng Zhao (Ph.D.)
Thesis: Code and Data Outlining
Employment: Ericsson - San Jose, CA, USA

Sponsors
NSERC IBM
Center for Advanced Studies
Intel
Open Research Compiler Group
Alberta Government
Research Excellence Envelope (REE)
Xilinx
Xilinx University Program

Canadian Foundation for Innovation

Distinguished Visits to Alberta
Guang R. Gao
University of Delaware
April 09, 2002
Rajiv Gupta
University of Arizona
June 03, 2002
Laurie Hendren
McGill University
January 28, 2002
Susan Horwitz
University of Wiscosin
April 28, 2002
Bob Blainey
IBM Toronto Laboratory
March 26, 2002
Sun Chan
Intel Corporation
April 22, 2002
Mike Barnett
Microsoft Research
January 25, 2002
Yale Patt
The University of Texas at Austin
October 21, 2002
Kevin Stoodley
IBM Toronto Laboratory
April 01 2003
Barbara Ryder
Rutgers University
March 02, 2004
Sandhya Dwarkadas
University of Rochester
March 19, 2004
David Padua
University of Illinois at Urbana-Champaign
April 15, 2005
Saman Amarasinghe
Massachusetts Institute of Technology
November 20, 2006
Sid Chatterjee
IBM Austin Research Laboratory
April 21, 2008
Jens Palsberg
University of California at Los Angeles (UCLA)
September 24, 2008

I am from the Gaucho land in the State of Rio Grande do Sul in the South of Brazil . My native language is Portuguese