Sela Mador-Haim

According to our database, Sela Mador-Haim authored at least 10 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Executing United States Bills into Law: A Working Application in the United States House.

Sela Mador-Haim, Ari Hershowitz

Proceedings of the Legal Knowledge and Information Systems, 2023

"Comparative Prints Suite" of the United States House of Representatives: NLP for Tracking Changes in Bills and Laws.

Ari Hershowitz, Sela Mador-Haim

Proceedings of the Legal Knowledge and Information Systems, 2023

2013

TRANSIT: specifying protocols with concolic snippets.

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

An Axiomatic Memory Model for POWER Multiprocessors.

Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Litmus tests for comparing memory consistency models: how long do they need to be?

Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin

Proceedings of the 48th Design Automation Conference, 2011

2010

Generating Litmus Tests for Contrasting Memory Consistency Models.

Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2005

Formal Verification of Backward Compatibility of Microcode.

Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.

Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

1998

Input Elimination and Abstraction in Model Checking.

Sela Mador-Haim, Limor Fix

Proceedings of the Formal Methods in Computer-Aided Design, 1998