Papers
  • "Reverse Stack Execution in a Multi-Variant Execution Environment,"
    Babak Salamat, Andreas Gal, and Michael Franz.
    Accepted to the 2008 Workshop on Compiler and Architectural Techniques for Application Reliability and Security (CATARS'08) in conjunction with DSN 2008, June 2008
  • "Multi-Variant Program Execution: Using Multi-Core Systems to Defuse Buffer-Overflow Vulnerabilities,"
    Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, and Michael Franz.
    2008 Internationl Workshop on Multi-Core Computing Systems (MuCoCoS’08) in conjunction with CISIS'08, March 2008.

    (For copyright reasons, the full texts of the above papers are not provided. However, I will gladly send a copy by email upon request.)

  • "Fast Speculative Address Generation and Way Caching for Reducing L1 Data Cache Energy,"
    Dan Nicolaescu, Babak Salamat, Alexander Veidenbaum and Mateo Valero.
    Proceedings of 24th IEEE International Conference on Computer Design (ICCD'06), October 2006
  • "Area-Aware Optimizations for Resource Constrained Branch Predictors Exploited in Embedded Processors,"
    Babak Salamat, Amirali Baniasadi and Kaveh Jokar Deris.
    Proceedings of the International Conference on Embedded Computer Systems: Architectures, MOdeling, and Simulation (IC-SAMOS VI), July 2006
  • "Power-Aware Scoreboard for Multimedia Processors,"
    Amirali Baniasadi and Babak Salamat.
    7th workshop on Media and Streaming Processors (MSP-7) held in conjunction with MICRO-38, November 2005
  • "Area-Aware Pipeline Gating for Embedded Processors,"
    Babak Salamat and Amirali Baniasadi.
    International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'05), September 2005
  • "Design and implementation of a system for microprocessor laboratory,"
    Ghassem Miremadi, Babak Salamat and Amin Firoozshahian.
    Proceedings of Sharif University of Technology, 1998-1999, pp. 157-166
Technical Reports
Theses
  • "Data Consistency Controller for Distributed Shared Memory"
    Babak Salamat, M.Sc Thesis, Department of Computer Engineering, Sharif University of Technology, Jan. 2001
  • "Design and Implementation of an ALU for a DSP on FPGA"
    Babak Salamat, B.Sc Thesis, Department of Computer Engineering, Sharif University of Technology, Sept. 1998