Sela Mador-Haim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
1998–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | JURIX | "Comparative Prints Suite" of the United States House of Representatives: NLP for Tracking Changes in Bills and Laws. | Ari Hershowitz, Sela Mador-Haim |
| 2023 | JURIX | Executing United States Bills into Law: A Working Application in the United States House. | Sela Mador-Haim, Ari Hershowitz |
| 2013 | PLDI | TRANSIT: specifying protocols with concolic snippets. | Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |
| 2012 | CAV | 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 |
| 2011 | DAC | Litmus tests for comparing memory consistency models: how long do they need to be? | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
| 2010 | CAV | Generating Litmus Tests for Contrasting Memory Consistency Models. | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
| 2005 | CAV | 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 |
| 2003 | TACAS | Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. | Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi |
| 2002 | TACAS | 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 |
| 1998 | FMCAD | Input Elimination and Abstraction in Model Checking. | Sela Mador-Haim, Limor Fix |