Manager Assistant
Resume:
Shadi Khalek
The University of Texas at Austin
Electrical and Computer Engineering
**.*****@*****.***
Education The University of Texas at Austin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Austin, TX
08/09 05/11 Ph.D. candidate in Software Engineering, Software Verification and Testing Group,
Advisor: Dr. Sarfraz Khurshid
08/07 05/09 The University of Texas at Austin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Austin, TX
Master of Science, Electrical and Computer Engineering, December 2009
GPA: 3.85/4.0
Master s Thesis: Query-Aware Test Generation Using a Relational Constraint Solver
09/03 06/06 American University of Beirut. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Beirut, Lebanon
Bachelor of Science, Department of Computer Science
Faculty of Arts and Sciences Dean s Honor List for all semesters attended
Minor in Mathematics
Overall GPA: 3.80/4.0 Major GPA: 4.00
Experience Google . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . Mountain View, CA
Summer 2010 Summer internship with GMail front-end testing team.
Agnostic Layout Testing for GMail: My project was focused on providing a framework
for writing and verifying layout properties in GMail. The framework would give the
developer the ability to describe different layout properties and verify their consistencies
in different languages and especially in bidi languages where the layout is flipped
symmetric to English left-to-right layout.
05/09 08/09 Yahoo! Inc. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sunnyvale, CA
Summer internship with the Hadoop team a part of Grid Computing.
Automating SQL-PIG Testing (Manager: Nigel Daley). My project included SQL query
generation used for testing SQL component of the PIG project. I used a random query
generator to generate queries based on specific input domain and incorporated it into the
testing harness. In addition, I contributed in designing a test plan to be used for test
coverage.
05/08 08/08 National Instruments. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Austin, TX
Summer internship with Measurement Studio team.
DAQ code-generation using WPF (Manager: David Rohacek). My project included
researching for solutions to migrate components using windows forms into windows
platform foundation (WPF). I provided solutions and limitations for approaches available.
In addition, I incorporated some changes to available components to verify possible
solutions helping the team in taking similar approaches for other components in the
migration process.
Teaching The University of Texas at Austin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Austin, TX
08/09 present Research Assistant supervised by Prof. Sarfraz Khurshid
2007-2009 Teaching Assistant for EE 322C Data Structures
Teaching Assistant for EE 360C Algorithms
Teaching Assistant for EE 312 Introduction to Programming
Awards
2003 2006 Faculty of Arts and Sciences Dean s Honor List at the American University of Beirut
2003 2006 Merit Undergraduate Scholarship at the American University of Beirut
Research The University of Texas at Austin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Austin, TX
08/07 present Member of the Software Verification And Testing group supervised by Dr. Sarfraz
Khurshid.
Research: Automated Database Engine Testing for Correctness
This is an ongoing research project to automate black-box database engine testing.
The research includes automatic generation of data, SQL queries, expected results and test
results using a declarative language like Alloy which provides the enabling technology to
check the correctness of output for queries using SAT solvers. The research has showed
interesting results, finding and reproducing bugs in Oracle 11g, MySql and HSQLDB. A
poster about this research has been presented in ISSTA 08 and a full paper has been
published in ASE 2008 conference. A reference to the paper can be found on ieee.org
website titled Query-Aware Test Generation Using a Relational Constraint Solver .
[1] S. Khalek, S. Khurshid. Automated SQL Query Generation for Systematic Testing of
Publications
Database Engines. International Conference on Automated Software Engineering (ASE)
Sept. 2010. To appear.
[2] S. Khalek, B. Elkarablieh, O. Laleye, S. Khurshid. Query-Aware Test Generation
Using a Relational Constraint Solver. In Proc. 23th IEEE International Conference on
Automated Software Engineering (ASE), Sept. 2008.
[3] S. Khalek, B. Elkarablieh, O. Laleye, S. Khurshid. Black-box DBMS Testing Using
Alloy. In Proc. ACM/SIGSOFT International Symposium on Software Testing and
Analysis,( ISSTA) July 2008. Poster Paper.
Java, C, Javascript, SQL, Alloy.
Skills
Evaluation from Yahoo! 2009 (Snippet): Shadi was resourceful and is strong
Evaluations
technically, he worked with minimal supervision. He took initiative, performed research
with confidence and proposed solutions. He was able to effectively communicate the
benefits and disadvantages of a particular tool. Shadi enjoys evaluating the requirements
and contributing to the big picture, he likes to anticipate problems and find solutions.
Complete evaluations and recommendations are available upon request.
Student F1 visa.
Employment
Status
Contact this candidate