Sela Mador-Haim

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 2

Top Topics

Communication Protocols

Theoretical Analysis

Long Term Memory

Top Venues

Publications

Ari Hershowitz, Sela Mador-Haim
"Comparative Prints Suite" of the United States House of Representatives: NLP for Tracking Changes in Bills and Laws. JURIX (2023)
Sela Mador-Haim, Ari Hershowitz
Executing United States Bills into Law: A Working Application in the United States House. JURIX (2023)
Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur
TRANSIT: specifying protocols with concolic snippets. PLDI (2013)
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
An Axiomatic Memory Model for POWER Multiprocessors. CAV (2012)
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
Litmus tests for comparing memory consistency models: how long do they need to be? DAC (2011)
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
Generating Litmus Tests for Contrasting Memory Consistency Models. CAV (2010)
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
Formal Verification of Backward Compatibility of Microcode. CAV (2005)
Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. 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, Yael Zbar
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS (2002)
Sela Mador-Haim, Limor Fix
Input Elimination and Abstraction in Model Checking. FMCAD (1998)