 |
| Education |
|
| |
UC
Berkeley |
Ph.D. Computer Science
(in progress)
Advisor: Ras
Bodik
Thesis: Programming by Sketching |
8/2003 - 5/2008 |
Berkeley, CA |
| |
Texas
A&M University |
B.S. Computer Science,
B.S. Mathematics |
8/2000
- 5/2003
GPA at Graduation 3.85
|
College Station, TX |
|
| Refereed
Publications |
|
|
Armando Solar-Lezama, Christopher G. Jones, Gilad
Arnold, Rastislav Bodik, "Sketching Concurrent Datastructures", to
appear in PLDI 08 |
PLDI 08 |
| |
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau,
Rastislav Bodik,
Vijay Saraswat, Sanjit Seshia, "Sketching
Stencils" in ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI '07) |
PLDI 07 |
| |
Armando Solar-Lezama, Liviu Tancau, Rastislav
Bodik,
Vijay Saraswat, Sanjit A. Seshia, "Combinatorial
Sketching for Finite
Programs", Proceedings of ASPLOS 2006. |
ASPLOS 06 |
| |
Armando Solar-Lezama, Rodric Rabbah, Rastislav
Bodik, and Kemal Ebcioglu, "Programming
by
Sketching for Bitstreaming Programs", PLDI 2005, Best paper award. |
PLDI 05 |
| |
Armando Solar-Lezama, and
Rastislav Bodik, "Templating Transformations for Bitstream Programs,"
in HPCA Workshop on Productivity and Performance in High-End Computing
(P-PHEC 2004, held in conjunction with HPCA 2004), Madrid, Spain. |
P-PHEC 2004 |
|
| Awards |
|
| |
IBM Graduate Fellowship 2007-2008 |
2007 - 2008 |
|
IBM Graduate Fellowship 2006-2007 |
2006 - 2007 |
|
Best Paper Award PLDI 2005 |
PLDI 2005 |
|
Finalist in the HPC
Software Challenge at SC2004, Pittsburgh, USA, with the following contribution:
Armando Solar-Lezama, Rastislav Bodik, Kemal
Ebcioglu, Rodric Rabbah, Vivek Sarkar, "Highly Productive
Collaborations in Bit-Streaming Applications" |
SC 2004 |
|
As an undergraduate |
|
|
Recipient of the Stinson Scholarship 2000 from
the Department of Nuclear
Engineering, the Chevron Texaco Scholarship and Lockheed Martin
Scholarship in 2002 from the Computer Science Department. |
2000 - 2003 |
|
| Internships |
|
| |
Microsoft
Research
under Trishul Chilimbi |
Worked on "Sparse Reexecution"
a
dynamic analysis technique that helps in debugging and validation of
small program changes. |
5/2007 - 8/2007 |
|
IBM T.J. Watson Research Center
under Vijay Saraswat |
Worked on
Sketching Stencils |
6/2006-8/2006 |
|
IBM T.J. Watson Research Center
under Vijay Saraswat |
Worked to design a framework
for understanding determinate concurrent computation in the context of
the X10 language.
|
6/2005-8/2005 |
|
IBM T.J. Watson Research Center
under Kemal Ebcioglu |
Continued work on StreamBit, a
tool to allow developers to sketch high-performance implementations of
bitstream programs written in StreamIt.
|
6/2004-8/2004 |
|
| Past
collaborations |
|
| |
Kathy
Yelick at UC berkeley |
Worked with Ed Givelberg on
distributed-memory implementation of the Peskin-McQueen heart model
based on the immersed boundary method using Titanium |
7/2003-2004 |
|
L.
Rauchwerger and
M.L.
Adams (Nuclear Engineering)
at Texas A&M |
Worked on massively parallel
neutron transport simulation code using STAPL |
12/2000 - 5/2003 |
|
|
|
|
|
| Grants: |
|
|
I
contributed significantly to writing the following grant proposals. |
|
| |
Programmign by Sketching, NSF (Science of Design,
HCER), 0613997, (coPIs
were Ras Bodik and Sanjit Seshia) |
2006 |
|
Implementing Provably Correct High-Performance
Ciphers with Sketching, NSF (CyberTrust), CNS–0524815, (PI was Ras Bodik) |
2005 |
|
| Other Activities: |
|
| |
Teaching assistant for upper-division course ``Programming Languages and
Compilers'' (cs164), UC-Berkeley |
Fall 2004 |
|
Member of graduate admissions committee, computer science
division, UC-Berkeley |
Spring 2007 |
|
President of the Association of Mexican Students at Cal (MexCal) |
8/2005 - 7/2006 |
|
|
