io-port.net

io-port 70668550 Shacham, Ohad; Bronson, Nathan Grasso; Aiken, Alex; Sagiv, Mooly; Vechev, Martin T.; Yahav, Eran

Testing atomicity of composed concurrent operations (English)

OOPSLA, 51-64 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50152148 Shacham, Ofer; Azizi, Omid; Wachs, Megan; Richardson, Stephen; Horowitz, Mark

Rethinking digital design: why design must change (English)

IEEE Micro 30, No. 6, 9-24 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05546341 Bar-Ilan, Omer; Fuhrmann, Oded; Hoory, Shlomo; Shacham, Ohad; Strichman, Ofer

Linear-time reductions of resolution proofs. (English)

Chockler, Hana (ed.) et al., Hardware and software: Verification and testing. 4th international Haifa verification conference, HVC 2008, Haifa, Israel, October 27‒30, 2008. Proceedings. Berlin: Springer (ISBN 978-3-642-01701-8/pbk). Lecture Notes in Computer Science 5394, 114-128 (2009).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70059103 Shacham, Ohad; Vechev, Martin T.; Yahav, Eran

Chameleon: adaptive selection of collections (English)

PLDI, 408-418 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70081264 Firoozshahian, Amin; Solomatnikov, Alex; Shacham, Ofer; Asgar, Zain; Richardson, Stephen; Kozyrakis, Christos; Horowitz, Mark

A memory system design framework: creating smart memories (English)

ISCA, 406-417 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70329921 Solomatnikov, Alex; Firoozshahian, Amin; Shacham, Ofer; Asgar, Zain; Wachs, Megan; Qadeer, Wajahat; Richardson, Stephen; Horowitz, Mark

Using a configurable processor generator for computer architecture prototyping (English)

MICRO, 358-369 (2009).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70330474 Shacham, Ofer; Wachs, Megan; Solomatnikov, Alex; Firoozshahian, Amin; Richardson, Stephen; Horowitz, Mark

Verification of chip multiprocessor memory systems using a relaxed scoreboard (English)

MICRO, 294-305 (2008).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70834212 Bar-Ilan, Omer; Fuhrmann, Oded; Hoory, Shlomo; Shacham, Ohad; Strichman, Ofer

Linear-time reductions of resolution proofs (English)

Haifa Verification Conference, 114-128 (2008).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05156511 Shacham, Ohad; Sagiv, Mooly; Schuster, Assaf

Scaling model checking of dataraces using dynamic information. (English)

J. Parallel Distrib. Comput. 67, No. 5, 536-550 (2007).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70389253 Solomatnikov, Alex; Firoozshahian, Amin; Qadeer, Wajahat; Shacham, Ofer; Kelley, Kyle; Asgar, Zain; Wachs, Megan; Hameed, Rehan; Horowitz, Mark

Chip multi-processor generator (English)

DAC, 262-263 (2007).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70391004 Shacham, Ohad; Yorav, Karen

On-the-fly resolve trace minimization (English)

DAC, 594-599 (2007).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05416813 Shacham, Ohad; Yorav, Karen

Adaptive application of SAT solving techniques. (English)

Electron. Notes Theor. Comput. Sci. 144, No. 1, 35-50 (2006).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05415442 Geist, Daniel; Ginzburg, Mark; Lustig, Yoad; Rabinovitz, Ishai; Shacham, Ohad; Tzoref, Rachel

Supporting SAT based BMC on finite path models. (English)

Electron. Notes Theor. Comput. Sci. 144, No. 1, 67-77 (2006).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71029571 Shacham, Ohad; Sagiv, Mooly; Schuster, Assaf

Scaling model checking of dataraces using dynamic information (English)

PPOPP, 107-118 (2005).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70808818 Shacham, Ohad; Zarpas, Emmanuel

Tuning the VSIDS decision heuristic for bounded model checking (English)

MTV, 75- (2003).

15

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 01106208 Shacham, Orit; Shacham, Mordechai

Finding boundaries of the domain of definition for functions along a one-dimensional ray. (English)

ACM Trans. Math. Softw. 16, No.3, 258-268 (1990).

16

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 50257448 Shacham, Orit; Schacham, Mordechai

Finding boundaries of the domain of definition for functions along a one-dimensional ray (English)

ACM Trans. Math. Softw. 16, No. 3, 258-268 (1990).

17

PDF XML AMS-TeX TEXT BIBTeX DOI