Tehran Institute for Advanced Studies (TeIAS)

/ Hossein Hojjat

Hossein Hojjat

Assistant Professor 

Bio

He received his Ph.D. from EPFL

Research Interests

  • Formal Methods
  • Software Verification
  • Analysis and Synthesis
  • Automated Reasoning
  • Education
  • Research
  • Teaching
  • Ph.D., EPFL
  • M.S., University Of Tehran
  • B.Sc., University Of Tehran

Conference Papers

  • Hossein Hojjat,Philipp Ru¨Mmer, Ali Shamakhi: “On Strings In Software Model Checking”, Proceedings Of The 17th Asian Symposium On Programming Languages And Systems (APLAS2019)
  • Hossein Hojjat, Philipp Ru¨Mmer: “The Eldarica Horn Solver”, Proceedings Of The 18th In- Ternational Conference On Formal Methods In Computer-Aided Design (FMCAD’18)
  • Hossein Hojjat, Philipp Ru¨Mmer: “Deciding And Interpolating Algebraic Data Types By Reduction”, Proceedings Of The 19th International Symposium On Symbolic And Numeric Algorithms For Scientific Computing (SYNASC’17)
  • Jedidiah McClurg, Hossein Hojjat, Pavol Cerny: “Synchronization Synthesis For Network Programs”, Proceedings Of The 29th International Conference On Computer Aided Verification (CAV’17)
  • Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang: “Life On The Edge: Unraveling Policies Into Configurations”, Proceedings Of The ACM/IEEE Symposium On Architectures For Networking And Communications Systems (ANCS’17)
  • Hossein Hojjat: “The FMCAD 2016 Graduate Student Forum”, Proceedings Of The 16th Inter- National Conference On Formal Methods In Computer-Aided Design (FMCAD’16)
  • Hossein Hojjat, Philipp Ru¨Mmer, Jedidiah McClurg, Pavol Cerny, Nate Foster: “Optimiz- Ing Horn Solvers For Network Repair”, Proceedings Of The 16th International Conference On Formal Methods In Computer-Aided Design (FMCAD’16)
  • Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerny: “Event-Driven Network Pro- Gramming” , Proceedings Of The 37th ACM SIGPLAN Conference On Programming Language Design And Implementation (PLDI’16)
  • Jedidiah McClurg, Hossein Hojjat, Pavol Cˇerny´, Nate Foster: “Efficient Synthesis Of Network Updates”, Proceedings Of The 36th ACM SIGPLAN Conference On Programming Language Design And Implementation (PLDI’15)
  • Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke: “The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis”, Proceedings Of The 2015 ACM SIGMOD International Confer- Ence On Management Of Data (SIGMOD’15)
  • Hossein Hojjat, Jedidiah McClurg, Pavol Cˇerny´, Nate Foster: “Network Updates For The Impatient: Eliminating Unnecessary Waits”, Proceedings Of The First Workshop On Program- Ming Languages And Verification Technology For Networking (PLVNET’15)
  • Hossein Hojjat, Philipp Ru¨Mmer, Pavle Subotic, Wang Yi: “Horn Clauses For Communicating Timed Systems”, Proceedings Of The First Workshop On Horn Clauses For Verification And Synthesis (HCVS’14)
  • Philipp Ru¨Mmer, Hossein Hojjat, Viktor Kuncak: “Classifying And Solving Horn Clauses For Verification”, Proceedings Of The 5th International Conference On Verified Software: Theories, Tools, Experiments (VSTTE’13)
  • Philipp Ru¨Mmer, Hossein Hojjat, Viktor Kuncak: “Disjunctive Interpolants For Horn-Clause Verification”, Proceedings Of The 25th International Conference On Computer Aided Verifica- Tion (CAV’13)
  • Hossein Hojjat, Radu Iosif, Filip Koneˇcny´, Viktor Kuncak And Philipp Ru¨Mmer: “Acceler- Ating Interpolants”, Proceedings Of The 10th International Symposium On Automated Tech- Nology For Verification And Analysis (ATVA’12)
  • Hossein Hojjat, Filip Koneˇcny´, Florent Garnier, Radu Iosif, Viktor Kuncak And Philipp Ru¨Mmer: “Verification Toolkit For Numerical Transition Systems (Tool Paper)”, Proceedings Of The 18th International Symposium On Formal Methods (FM’12)
  • Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat And Farhad Arbab: “Analysis Of Reo Circuits Using Symbolic Execution”, Proceedings Of The 8th International Workshop On The Foundations Of Coordination Languages And Software Architectures (FOCLASA’09)
  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: “Process Algebraic Verification Of SystemC Codes”, Proceedings Of The 8th International Conference On Application Of Con- Currency To System Design (ACSD’08)
  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: “A Framework For Performance Evaluation And Verification In Stochastic Process Algebras”, Proceedings Of The 22nd ACM Symposium On Applied Computing, Software Verification Track (SV’08)
  • Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi And Jan Friso Groote: “Sarir: A Rebeca To MCRL2 Translator”, Proceedings Of The 7th IEEE International Conference On Application Of Concurrency To System Design (ACSD’07)
  • Fahimeh Raja , Hadi Amiri , Samira Tasharofi, Hossein Hojjat And Farhad Oroumchian: “Evaluation Of Part Of Speech Tagging On Persian Text”, Proceedings Of The Second Workshop On Computational Approaches To Arabic Script-Based Languages (CAASL2’07)
  • Hadi Amiri, Hosein Hojjat, Farhad Oroumchian: “Investigation On A Feasible Corpus For Persian POS Tagging” (In Persian), Proceedings Of The 12th International CSI Computer Conference (CSICC’07)
  • Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: “Formal Verification Of The IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca”, Proceedings Of The First IPM International Workshop On Foundations Of Software Engineering (FSEN’05)


Journal Papers

  • Philipp Ru¨Mmer, Hossein Hojjat, Viktor Kuncak: “On Recursion-Free Horn Clauses And Craig Interpolation”, Formal Methods In System Design, V.47, N. 1, Pp. 1-25, 2015.
  • Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat And Farhad Arbab: “Symbolic Execution Of Reo Circuits Using Constraint Automata”, Science Of Computer Programming, Elsevier, V.77, N. 7-8, Pp. 848-869, 2012.
  • Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: “Formal Analysis Of SystemC Designs In Process Algebra”, Fundamenta Informaticae, V. 107, N. 1, Pp. 19-42, 2011.
  • Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: “Integrating Module Checking And Deduc- Tion In A Formal Proof For The Perlman Spanning Tree Protocol (STP)”, J.UCS Journal Of Universal Computer Science, V. 13, N. 13, Pp. 2076-2104, 2007.

Technical Reports

  • Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cˇerny´: “Specification And Compilation Of Event-Driven SDN Programs”, CoRR Abs/1507.07049, 2015.
  • Hossein Hojjat, Philipp Ru¨Mmer, Pavle Subotic, Wang Yi: “Uniform Analysis For Commu- Nicating Timed Systems (Extended Technical Report)”, EPFL-REPORT-190680, 2013.
  • Hossein Hojjat, Mohammad Reza Mousavi Mousavi, Marjan Sirjani: “Application Of Pro- Cess Algebraic Verification And Reduction Techniques To SystemC Designs”, Computer Science Report No. 08-15, Technische Universiteit Eindhoven, 2008.
  • Farhad Oroumchian, Samira Tasharofi, Hadi Amiri, Hossein Hojjat, Fahimeh Raja: “Creating A Feasible Corpus For Persian POS Tagging”, Technical Report Number TR 3/2006, University Of Wollongong In Dubai, 2006.

Undergraduate

  • Programming Languages And Compilers: Fall 2018, Spring 2019, University Of Tehran.
  • Programming Language Concepts (CSCI-344): Fall 2016, Rochester Institute Of Technology.
  • Theory Of Computation: Fall 2019, University Of Tehran.


Graduate

  • Compiler Construction (CSCI-742): Spring 2017, Spring 2018, Rochester Institute Of Technology.
  • Programming Language Theory (CSCI-740): Fall 2017, Rochester Institute Of Technology.
  • Introduction To Formal Methods (With Fatemeh Ghassemi): Fall 2018, Fall 2019, University Of Tehran.
  • Software Synthesis: Spring 2019, University Of Tehran.