Address:
Department of Computer Engineering
College of Engineering American University of Sharjah
P.O. Box 26666
Sharjah, United Arab Emirates

Room: EL 148
Office: +(971) 6 515 2784
Fax: +(971) 6 515 2979
E-mail: faloul@aus.edu

Research Interests

Computer-aided design, verification, combinatorial optimization and Boolean satisfiability

Biography

Fadi Aloul received the BS degree in electrical engineering summa cum laude from Lawrence Technological University (LTU) in 1997, and the MS and PhD degrees in computer science and engineering from the University of Michigan , Ann Arbor , in 1999 and 2003, respectively. He was a post-doctoral research fellow at the University of Michigan during summer 2003. He was a visiting researcher with the Advanced Technology Group at Synopsys during summer 2005. He is currently an Assistant Professor of Computer Engineering at the American University of Sharjah, UAE.

Prof. Aloul has received a number of awards including the Agere/SRC research fellowship, GANN fellowship, and the LTU presidential scholarship. He served on the technical program committees at the International Workshop on Logic Synthesis (IWLS), the International Conference on Theory and Applications of Satisfiability Testing (SAT), the SIGDA Ph.D. Forum at the Design Automation Conference (DAC), the International Workshop on Soft Constraints (CP-Soft), the International Design and Test Workshop (IDT), the International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon), the International Symposium on Wireless Systems and Networks (ISWSN), and the Innovations in Information Technology Conference (IIT). He was a local organizer of the 2006 IEEE International Conference on Computer Systems and Applications (AICCSA) and the AV chair of the 2003 International Workshop on Logic Synthesis (IWLS). He is a member of the Institute of Electrical and Electronics Engineers (IEEE), Associate of Computing Machinery (ACM), and Tau Beta Pi. He is currently the IEEE GOLD Chair of the UAE Section. Prof. Aloul has 50+ publications in international journals, conferences, and workshops. He has presented several invited talks and tutorials at various Universities and companies such as Intel and Microsoft Research. He developed several tools used in the SAT and BDD domains, such as the 0-1 ILP SAT solver and optimizer, PBS. His current research interests are in the areas of design automation, combinatorial optimization, Boolean satisfiability, and computer security.

Selected Publications

Journals

1. F. Aloul, A. Ramani, I. Markov, and K. Sakallah,"Solution and Optimization of Systems of Pseudo-Boolean Constraints," IEEE Transactions on Computers (TC), 56(10), October 2007.
2. A. Sagahyroon and F. Aloul, "Using SAT-Based Techniques in Power Estimation," Elsevier Microelectronics Journal (MEJ), vol. 38, issues 6-7, 706-715, June-July 2007.
3. F. Aloul, A. Ramani, I. Markov, and K. Sakallah , "Symmetry-Breaking for Pseudo-Boolean Formulas," ACM Journal of Experimental Algorithmics (JEA), vol. 12, article 1.3, 2007.
4. F. Aloul, B. Al-Rawi, M. Aboelaze, "Routing in Optical and Non-Optical Networks using Boolean Satisfiability," Journal of Communications (JCM), Academy Publishers, 2(4), 49-56, June 2007.
5. N. Kandasamy and F. Aloul, "The Synthesis of Dependable Communication Networks for Automotive Systems," SAE Transactions Journal of Passenger Cars - Electronic and Electrical Systems, 2006-01-1333, March 2007.
6. A. Ramani, I. Markov, K. Sakallah, and F. Aloul, "Breaking Instance-Independent Symmetries in Exact Graph Coloring," Journal of Artificial Intelligence Research (JAIR), Volume 26, pp. 289-322, August 2006.
7. F. Aloul, K. Sakallah, and I. Markov, "Efficient Symmetry Breaking for Boolean Satisfiability," IEEE Transactions on Computers, 55(5), pp. 549-558, May 2006.
8. F. Aloul, "Search Techniques for SAT-based Boolean Optimization," Elsevier Journal of the Franklin Institute, Volume 343, Issues 5-6, pp. 436-447, August 2006.
9. F. Aloul, I. Markov, and K. Sakallah, "MINCE: A Static Global Variable-Ordering for SAT Search and BDD Manipulation," Journal of Universal Computer Science (JUCS), 10(12), pp. 1562-1596, December 2004.
10. G. Nam, F. Aloul, K. Sakallah, and R. Rutenbar, "A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints," IEEE Transaction on Computers, 53(6), pp. 688-696, June 2004.
11. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry," IEEE Transactions on Computer Aided Design, 22(9), pp. 1117-1137, Sep. 2003.
12. F. Aloul, B. Sierawski, and K. Sakallah, "Satometer: How Much Have We Searched?" IEEE Transactions on Computer Aided Design, 22(8), pp. 995-1004, Aug. 2003.
    

Conferences and Workshops

1. F. Aloul, Ines Lynce, Steven Prestwich, "Symmetry Breaking in Local Search for Unsatisability," 7th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon), Providence, RI, September 2007.
2. A. Kalbasi, O. Alomar, M. Hajipour, F. Aloul, "Wireless Security in UAE: A Survey Paper," 4th IEEE GCC Conference, Bahrain, November 2007.
3. A.Wasfy and F. Aloul, "Solving the University Class Scheduling Problem Using Advanced ILP Techniques," 4th IEEE GCC Conference, Bahrain, November 2007.
4. F. Aloul and N. Kandasamy, "Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach," Tenth International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal, May 2007.
5. F. Aloul, B. Al-Rawi, A. Al-Farra, and B. Al-Roh, "Solving Employee Timetabling Problems Using Boolean Satisfiability," IEEE Innovations in Information Technology Conference (IIT), Dubai, UAE, November 2006.
6. M. AbuJayyab, S. Al Ahdab, M. Taji, Z. Al Hamdani, and F. Aloul, "PolluMap: A Pollution Mapper for Cities," IEEE Innovations in Information Technology Conference (IIT), Dubai, UAE, November 2006. Won the first place in the Gulf Research Center (GRC) Environmental Competition, 2006.
7. F. Aloul, B. Al-Rawi, and M. Aboelaze, "Identifying the Shortest Path in Large Networks Using Boolean Satisfiability," IEEE International Conference on Electrical and Electronics Engineering (ICEEE), Mexico, September 2006.
8. N. Kandasamy, F. Aloul, and J. Koo, "Sensor Selection and Placement for Failure Diagnosis in Wireless Sensor Networks: Application to Unmanned Aerial Vehicle Networks," IEEE International Conference on Robotics and Automation (ICRA), Orlando, Florida, pp.2182-2187, May 2006.
9. F. Aloul and A. Sagahyroon, "Estimation of the Weighted Maximum Switching Activity in Combinational CMOS Circuits," IEEE International Symposium on Circuits and Systems (ISCAS), Kos, Greece, pp. 2929-2932, May 2006.
10. A. Sagahyroon and F. Aloul, "Maximum Power-Up Current Estimation in Combinational CMOS Circuits," IEEE Mediterranean Electro-technical conference (MELECON), Malaga, Spain, pp. 70-73, May 2006.
11. N. Kandasamy and F. Aloul, "The Synthesis of Dependable Communication Networks for Automotive Systems," SAE World Congress (SAE), Detroit, Michigan, Paper No. 2006-01-1333, April 2006.
12. F. Aloul, A. Sagahyroon, and B. Al-Rawi, "Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques," IEEE International Conference on Computer Systems and Applications (AICCSA), Sharjah, UAE, pp. 409-414, March 2006.
13. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Dynamic Symmetry-Breaking for Improved Boolean Optimization," Asia South Pacific Design Automation Conference (ASPDAC), Shanghai, China, pp. 445-450, 2005.
14. F. Aloul, "On Solving Optimization Problems Using Boolean Satisfiability," International Conference on Modeling, Simulation, and Applied Optimization, (ICMSAO), Sharjah, UAE, 2005.
15. M. Aboelaze and F. Aloul, "A Call Admission Protocol for Cellular Multimedia Networks," World Wireless Congress (WWC), San Francisco, USA, 2005.
16. M. Aboelaze and F. Aloul, "Current and Future Trends in Sensor Networks: A Survey," IEEE International Conference on Wireless and Optical Communications Networks (WOCN), Dubai, UAE, pp. 551-555, March 2005.
17. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "ShatterPB: Symmetry-Breaking for Pseudo-Boolean Formulas," Asia South Pacific Design Automation Conference (ASPDAC), Yokohama, Japan, pp. 884-887, 2004.
18. A. Ramani, F. Aloul, I. Markov, and K. Sakallah, "Breaking Instance-Independent Symmetries in Exact Graph Coloring," Design, Automation and Test in Europe Conference (DATE), Paris, France, pp. 324-329, 2004.
19. F. Aloul, I. Markov, and K. Sakallah, "Efficient Symmetry-Breaking for Boolean Satisfiability," International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, pp. 271-282, 2003.
20. F. Aloul, I. Markov, and K. Sakallah, "Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability," Design Automation Conference (DAC), Anaheim, CA, pp. 836-839, 2003.
21. F. Aloul, I. Markov, and K. Sakallah, "FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic," Great Lakes Symposium on VLSI (GLSVLSI), Washington, D.C., pp. 116-119, 2003.
22. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Symmetry-Breaking for Pseudo-Boolean Formulas," International Workshop on Symmetry on Constraint Satisfaction Problems (SymCon), County Cork, Ireland, pp. 1-12, 2003.
23. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Generic ILP versus Specialized 0-1 ILP: an Update," International Conference on Computer Aided Design (ICCAD), San Jose, California, pp. 450-457, 2002.
24. F. Aloul, I. Markov, and K. Sakallah, "Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering," International Conference on Computer Design (ICCD), Freiburg, Germany, pp. 64-69, 2002.
25. F. Aloul, S. Hassoun, K. Sakallah, and D. Blaauw, "Robust SAT-Based Search Algorithm for Leakage Power Reduction," International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), Sevilla, Spain, 2002.
26. F. Aloul, B. Sierawski, and K. Sakallah, "Satometer: How Much Have We Searched?" Design Automation Conference (DAC), New Orleans, Louisiana, pp. 737-742, 2002.
27. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Solving Difficult SAT Instances in the Presence of Symmetry," Design Automation Conference (DAC), New Orleans, Louisiana, pp. 731-736, 2002.
28. F. Aloul, M. Mneimneh, and K. Sakallah, "Search-Based SAT Using Zero-Suppressed BDDs," Design, Automation and Test in Europe Conf. (DATE), Paris, France, pp. 1082, 2002.
29. F. Aloul, I. Markov, and K. Sakallah, "Symmetry-Breaking for Boolean Satisfiability: The Mysteries of Logic Minimization," International Workshop on Symmetry on Constraint Satisfaction Problems (SymCon), Ithaca, New York, pp. 37-46, 2002.
30. F. Aloul, M. Mneimneh, and K. Sakallah, "ZBDD-Based Backtrack Search SAT Solver," International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, pp. 131-136, 2002.
31. F. Aloul, I. Markov, and K. Sakallah, "Efficient Gate and Input Ordering for Circuit-to-BDD Conversion," International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, pp. 137-142, 2002.
32. F. Aloul, A. Ramani, I. Markov, and K. Sakallah , "PBS: A Backtrack Search Pseudo-Boolean Solver," Symposium on the Theory and Applications of Satisfiability Testing (SAT), Cincinnati, Ohio, pp. 346-353, 2002.
33. F. Aloul, B. Sierawski, and K. Sakallah, "A Tool for Measuring Progress of Backtrack Search Solvers," Symposium on the Theory and Applications of Satisfiability Testing (SAT), Cincinnati, Ohio, pp. 98-105, 2002.
34. F. Aloul, A. Ramani, I. Markov, and K. Sakallah, "Solving Difficult SAT Instances in the Presence of Symmetry," Symposium on the Theory and Applications of Satisfiability Testing (SAT), Cincinnati, Ohio, pp. 338-345, 2002.
35. F. Aloul, I. Markov, and K. Sakallah, "Faster SAT and Smaller BDDs via Common Function Structure," International Conference on Computer Aided Design (ICCAD), San Jose, California, pp. 443-448, 2001.
36. M. Mneimneh, F. Aloul, C. Weaver, S. Chatterjee, K. Sakallah, and T. Austin, "Scalable Hybrid Verification of Complex Microprocessors," Design Automation Conference (DAC), Las Vegas, Nevada, pp. 41-46, 2001.
37. G. Nam, F. Aloul, K. Sakallah, and R. Rutenbar, "A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints," International Symposium on Physical Design (ISPD), Sonoma Wine County, California, pp. 222-227, 2001.
38. F. Aloul, M. Mneimneh, and K. Sakallah, "Backtrack Search Using ZBDDs," International Workshop on Logic Synthesis (IWLS), Lake Tahoe, California, pp. 293-297, 2001.
39. F. Aloul, I. Markov, and K. Sakallah, "MINCE: A Static Global Variable-Ordering for SAT and BDD," International Workshop on Logic Synthesis (IWLS), Lake Tahoe, California, pp. 281-286, 2001.
40. F. Aloul, J. Silva, and K. Sakallah, "An Experimental Study of Satisfiability Search Heuristics," Design, Automation and Test in Europe Conference (DATE), Paris, France, pp. 745, 2000.
41. F. Aloul and K. Sakallah, "An Experimental Evaluation of Conflict Diagnosis and Recursive Learning in Boolean Satisfiability," International Workshop on Logic Synthesis (IWLS), Dana Point, California, pp. 117-122, 2000.
42. F. Aloul and K. Sakallah, "Efficient Verification of the PCI Local Bus using Boolean Satisfiability," International Workshop on Logic Synthesis (IWLS), Dana Point, California, pp. 131-136, 2000