Sela Mador-Haim's Home Page

Sela Mador-Haim
PhD Student
Computer and Information Science
University of Pennsylvania
Office: 614 Levine Hall, 3330 Walnut Street
Philadelphia, PA
Email: selama@seas.upenn.edu

I am a fifth year PhD student at the University of Pennsylvania. My advisors are Rajeev Alur and Milo Martin.

Research interests

My main scientific interests are formal methods and formal semantics. I am currently studying memory consistency models of multiprocessors.

Bio (the extra-expedited version)

In the past ventures include an MA in Computer Science in the Technion on the topic of Natural Language Interface for GIS (advisor: Yoad Winter), worked as software engineer at Intel, where I developed formal verification tools for verifying Intel's processors, and did a BA in physics (also at the Technion)

Publications

Peer reviewed

S. Mador-Haim, R. Alur, and M.M.K. Martin. Litmus tests for comparing memory consistency models: How long do they need to be?, 47th Design Automation Conference, 2011
S. Mador-Haim, R. Alur, and M.M.K. Martin. Generating litmus tests for contrasting memory consistency models, 22nd International Conference on Computer-Aided Verification, 2010
Sela Mador-Haim, Yoad Winter.Non-Existential Indefinites and Semantic Incorporation of PP Complements. In Semantics and Linguistic Theory, 2007
Sela Mador-Haim, Yoad Winter, Anthony Braun. Controlled Language for Geographical Information System Queries. In Inference in Computational Semantics, 2006
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi and Lenore D. Zuck. Formal Verification of Backward Compatibility of Microcode. In CAV, 2005
Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer and Moshe Y. Vardi. Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. In TACAS, 2003
Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi and Yael Zbar. The ForSpec Temporal Logic: A New Temporal Property-Specification Language. In TACAS, 2002
Sela Mador-Haim and Limor Fix. Input Elimination and Abstraction in Model Checking. In FMCAD 1998

Technical reports

Sela Mador-Haim, Rajeev Alur, Milo M.K Martin. Generating litmus tests for contrasting memory consistency models - extended version, MS-CIS-10-15

Workshop organization

I am a co-chair of REORDER 2012, First International Workshop on Memory Consistency Models, co-located with CAV 2012

Misc unrelated links

Sela Mador-Haim

Last modified: Fri Jan 24 17:01:59 EDT 2011