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 and Compilers

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. Kit Barton won the 2007 Student of the Year Award from the IBM Center for Advanced Studies in Toronto. Stephen Curial received an Alberta Ingenuity Industry Research and Development Associates Competition Award 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. 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. Kit Barton received the 2006 Department of Computing Science Outstanding Research Achievement Award. 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)		Adam Jocksch (M.Sc. - IBM CAS) Thesis: Data Mining Flow Graphs in a Dynamic Compiler
	Rahul Garg (M.Sc.)		Rei Thiessen (M.Sc. - NSERC - CGSM)
	Ricardo Nabinger-Sanchez (M.Sc. - IBM CAS)		Xunhao Li (M.Sc.)
	Jeeva Paudel (Ph.D. )

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

Service
Compiler Construction 2008 Program Committee	2007 and 2008 Program Committee	21st Languages and Compilers for Parallel Computing (LCPC) General/Program Chair (2008) Program Committee Member (2007)
Standard Performance Evaluation Corporation Workshop Chair (2008), Program Committee Member (2009)	Co-Chair of 5th Workshop on Compiler-Driven Performance - 2006	Associate Chair - Graduate Studies (2004-2008)
Euro-Par 2008 - Global Chair for Topic 9 Parallel and Distributed Programming	17th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing 2009 Program Committee	18th Int. Conf. on Parallel Architectures and Compilation Techniques (PACT) 2009 Program Committee Member

Alumni
	Kit Barton (Ph.D.) Thesis: Improving Access to Shared Data in a Partitioned Global Address Space Programming Model Employment: IBM Software Laboratory - Toronto
	Stephen Curial (M.Sc.) Thesis: Automatic Data Structure Splitting in a Production Compiler Employment: Xymbiant Systems Inc. - Edmonton		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: Intel Corporation - Santa Clara

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