Bassem Elkarablieh

About Me

Research

Publications

• Software Engineering
  • S. Abdul Khalek, B. Elkarablieh, Y. Laleye, and S. Khurshid. Query Aware Test Generation using the Alloy Tool-set. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008). L'Aquila, Italy. September 15-19 2008. (to appear)
  • B. Elkarablieh, D. Marinov, and S. Khurshid. Efficient Solving of Structural Constraints. International Symposium on Software Testing and Analysis (ISSTA 2008). Seattle, WA. Jul 2008. (to appear) pdf
  • B. Elkarablieh, S. Khurshid. Juzi: A Tool for Repairing Complex Data Structures. 30th International Conference on Software Engineering (ICSE research demo). Leipzig, Germany. May 2008. pdf
  • B. Elkarablieh, I. Garcia, Y. Suen, and S. Khurshid. Assertion-based Repair of Complex Data Structures. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007). Atlanta, GA. Nov 2007. pdf
  • B. Elkarablieh, S. Khurshid, D. Vu, and K. McKinley. STARC: Static Analysis for Efficient Repair of Complex Data. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2007). Montreal, Canada. Oct 2007. pdf
  • B. Elkarablieh, Y. Zayour, S. Khurshid. Efficiently Generating Structurally Complex Inputs with Thousands of Objects. 21st European Conference on Object-Oriented Programming (ECOOP 2007). Berlin, Germany. Aug 2007. pdf
• VLSI Design
  • B. Elkarablieh and A. Nunez-aldana. Locol: Leakage reduction tool based on transistor reordering and local stacking. 4th International Conference on Electrical and Electronics Engineering (ICEEE 2007). Mexico City. September 2007.
  • B. Elkarablieh and A. Nunez-aldana. A synthesis technique for reducing leakage based on signal controllability. 3rd International Conference on Electrical and Electronics Engineering (ICEEE 2006). Veracruz. September 2006.
  • H. Harmanani and B. Elkarablieh. A hybrid distributed test generation method using deterministic and genetic algorithms. 5th International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005). Banff, Canada. July 2005.

Projects

• Large Data Structure Generation
  
  • Shekoosh
    A tool for constraint based generation of large data structures. A key observation behind Shekoosh is that while the problem of generating an input that satisfies all the given constraints is hard, generating a structure at random is straightforward. Indeed, a structure generated at random is highly unlikely to satisfy any of the desired constraints. However, it can be repaired to transform it so that it satisfies all the desired constraints.
• Data Structure Repair
  
  • Juzi
    A tool for performing automatic data structure repair and error recovery. Juzi implements a search-based algorithm for efficiently repairing structurally complex data. Given an imperative predicate that describes the structural and data constraints, Juzi systematically explores the neighborhood of an error, and mutates the structure to satisfy the structural integrity constraints.

Professional Experience

• Summer 2007 internship at Google Corp.
  • Model Based Testing (with John Thomas)
    We designed and implemented a testing framework that uses model based testing techniques to test web applications modeled as extended finite state machines (EFSM). The framework accepts models written in Java, and generates domain specific test scripts that enable automatic testing of web applications.
• Summer 2006 internship at Intel Corp.
  • Dynamic Power Optimization (with Laurent Chaouat)
    We designed an algorithm that utilizes internal signal logic similarity in order to perform gate substitution to reduce the switching of highly active parts of a circuit. We implemented this algorithm using tcl scripting, and used it to optimize the dynamic power consumption of internal components of Bonell, a mobile Microprocessor from Intel.

Teaching

• University of Texas at Austin
  • Senior Design Project (EE464)
• Syracuse University
  • Object Oriented Design (CSE687)
  • VLSI Design (CSE664)