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

Talk How did this get published? Pitfalls in experimental evaluation of computing systems (.pptx) (.pdf) at the Languages, Compilers, Tools and Theory for Embedded Systems June 12, 2012, Beijing. unPython: unwrapping python to C. unPython is a Python-to-C open source compiler that is currently mainly developed by my M.Sc. student Rahul Garg.

Awards and Recognitions

I am a Distinguished Association for Computing Machinery (ACM) Speaker. I received the 2012 IBM Center for Advanced Studies (CAS) Resarch Faculty Fellow of the Year award. Our paper "Evaluation of Blue Gene/Q Hardware Support for Transactional Memories" with my M.Sc. student Matthew Gaudet and colleagues from the IBM Blue Gene team (Amy Wang, Peng Wu, Martin Ohmacht, Christopher Barton, Raul Silvera, and Maged Michael) has been selected as the winner of the Best Paper Award at the International Conference on Parallel Architectures and Compilation Techniques (PACT) 2012. M.Sc. student Matthew Gaudet received the Gold Medal at the Association for Computing Machinery (ACM) Student Research Competition at the International Conference on Parallel Architecturs and Compilation Techniques (PACT) 2012 in Minneapolis, MN, in September 2012.. M.Sc. student Carolina Simoes Gomes received the Silver Medal at the Association for Computing Machinery (ACM) Student Research Competition at the International Symposium on Code Generation and Optimization in San Jose, CA, in April 2012. Keynote for the University of Alberta Computing Science Graduate Banquet, April, 2012, Edmonton, AB, Canada Teaching Excellence Appreciation Award - Delta Chi Fraternity, April, 2012, Edmonton, AB, Canada. Ph.D. student Kit Barton won the 2007 Student of the Year Award from the IBM Center for Advanced Studies in Toronto. M. Sc. student Stephen Curial received an Alberta Ingenuity Industry Research and Development Associates Competition Award Ph.D. student Kit Barton received the University of Alberta Alumni Association Horizon Award in 2007. I received, thanks to a nomination started by my current and past graduate students, a Graduate Students' Association (GSA) Award for Excellence in Graduate Student Supervision in 2007. Ph.D. student Paul Berube received the Kaivalya Dixit Award at the 2007 SPEC Workshop in Austin, TX. Our team received the Project Team of the Year Award in October 2006 from the IBM Center for Advanced Studies in Toronto. This award recognizes the team that epitomizes the mission of CAS which focuses on building strong relationships between IBM and academia. Ph.D. student Kit Barton received the 2006 Department of Computing Science Outstanding Research Achievement Award. Ph.D. student Kit Barton participated in an IBM team that took first place in the HPC Challenge Class 2 Award in November 2005. I received an IBM Corporation Faculty Award in 2004, 2005, and 2006.

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
Programming Languages Design and Implementation 2013 External Review Committee	University of Alberta Senator	Member of General Faculty Council
Standard Performance Evaluation Corporation Research Group Steering Committee	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)	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
	Center for Advanced Studies	Open Research Compiler Group
Research Excellence Envelope (REE)	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

• Visitor's Talks:
  
  • Kevin Stoodley, IBM Toronto Research Lab
    
    • Compilers: Still going strong after ~50 years
    • IBM Java Technology
  • Bob Blainey, IBM Toronto Research Lab
    • Java: Is it viable for High Performance Computing
    • Performance Programming with IBM pSeries Compilers
    • An (incomplete) Survey of Compiler Technology at the IBM Toronto Laboratory
• Picture Gallery:
  • A picture of the Software System Seminar Bunch (March 28 2001).
  • Distinguished Visitor: Guang R. Gao (April 09 2001).
  • Distinguished Visitor: Rajiv Gupta (June 04 2001)

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