# Oded Margalit

## contact information

CTO

CCoE, Beer Sheva, Israel

+972747375143

CCoE, Beer Sheva, Israel

+972747375143

## links

### more information

**More information:**CCoE | On demand Community Award 2008 | IEEE 2009 MGA achievement award | COLT2010 | CodeGuru | CodeGuru story on W3 | External CodeGuru story | Ponder This | Ponder This lecture at Tel-Aviv University CS Colloquium

**2017**

Cluster-Based Load Balancing for Better Network Security

Frishman, Gal and Ben-Itzhak, Yaniv and Margalit, Oded

Abstract

Frishman, Gal and Ben-Itzhak, Yaniv and Margalit, Oded

*Proceedings of the Workshop on Big Data Analytics and Machine Learning for Data Communication Networks*,*pp. 7--12*, 2017Abstract

**2016**

Using Computer Programming Competition for Cyber Education

Oded Margalit

Oded Margalit

*2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)*,*pp. 104--107*, IEEE**2014**

Pareto Landscapes Analyses via Graph-Based Modeling for Interactive Decision-Making

Ofer M Shir, Shahar Chen, David Amid, Oded Margalit, Michael Masin, Ateret Anaby-Tavor, David Boaz

Ofer M Shir, Shahar Chen, David Amid, Oded Margalit, Michael Masin, Ateret Anaby-Tavor, David Boaz

*EVOLVE-A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V*,*pp. 97--113*, Springer, 2014
Generating Modulo-2 Linear Invariants for Hardware Model Checking

Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin

Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin

*Hardware and Software: Verification and Testing*,*pp. 54--67*, Springer, 2014**2013**

To Zip or not to Zip: effective resource usage for real-time compression.

Harnik, Danny and Kat, Ronen I and Margalit, Oded and Sotnikov, Dmitry and Traeger, Avishay

Abstract

Harnik, Danny and Kat, Ronen I and Margalit, Oded and Sotnikov, Dmitry and Traeger, Avishay

*FAST*,*pp. 229--242*, 2013Abstract

Better Bounds for Event Sequencing Testing

Oded Margalit

Oded Margalit

*The 2nd International Workshop on Combinatorial Testing (IWCT 2013) at Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on*,*pp. 281--284*
To Zip or not to Zip: Effective Resource Usage for Real-Time Compression

Danny Harnik, Ronen Kat, Oded Margalit, Dmitry Sotnikov, Avishay Traeger

Danny Harnik, Ronen Kat, Oded Margalit, Dmitry Sotnikov, Avishay Traeger

*FAST 2013*,*pp. 229--242***2012**

Mage-the CDCL SAT solver developed and used by IBM for formal verificati on http://ibm. co

Margalit, Oded and Matsliah, Ari{\"e}

Margalit, Oded and Matsliah, Ari{\"e}

*P7qNpC. personal communication*, 2012
Mage-the CDCL SAT solver developed and used by IBM for formal verification http://ibm. co

Margalit, Oded and Matsliah, Ari{"e}

Margalit, Oded and Matsliah, Ari{"e}

*P7qNpC. personal communication*, 2012
Mage-the CDCL SAT solver developed and used by IBM for formal verificati on http://ibm. co

Margalit, Oded and Matsliah, Ari{\"e}

Margalit, Oded and Matsliah, Ari{\"e}

*P7qNpC. personal communication*, 2012
Mage-the CDCL SAT solver developed and used by IBM for formal verification http://ibm. co

Oded Margalit, Ari{"e} Matsliah

Oded Margalit, Ari{"e} Matsliah

*P7qNpC. personal communication*, 2012
Estimation of Deduplication Ratios in Large Data Sets

Danny Harnik, Oded Margalit, Dalit Naor, Dmitry Sotnikov, Gil Vernik

Danny Harnik, Oded Margalit, Dalit Naor, Dmitry Sotnikov, Gil Vernik

*The 28th Conference on Mass Storage Systems and Technologies (MSST12)*,*pp. 1--11*, 2012
Perfect hashing and cnf encodings of cardinality constraints

Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah

Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah

*Theory and Applications of Satisfiability Testing--SAT 2012*,*pp. 397--409*, Springer**2011**

Smarter log analysis

E Aharoni, S Fine, Y Goldschmidt, O Lavi, O Margalit, M Rosen-Zvi, L Shpigelman

E Aharoni, S Fine, Y Goldschmidt, O Lavi, O Margalit, M Rosen-Zvi, L Shpigelman

*IBM Journal of Research and Development**55*(*5*), 10:1 - 10:10 , IBM, 2011**2008**

Semi-Automatic Detection of Tool Variability

Oded Margalit, Adam Ticknor, Robert J. Baseman

Oded Margalit, Adam Ticknor, Robert J. Baseman

*9th European AEC/APC Conferenc*, 2008**1997**

All pairs shortest distances for graphs with small integer length edges

Z Galil, O Margalit

Z Galil, O Margalit

*Information and Computation**134*(*2*), 103--139, Elsevier, 1997
All pairs shortest paths for graphs with small integer length edges

Z Galil, O Margalit

Z Galil, O Margalit

*Journal of Computer and System Sciences**54*(*2*), 243--254, Elsevier, 1997
On the exponent of the all pairs shortest path problem

N Alon, Z Galil, O Margalit

N Alon, Z Galil, O Margalit

*Journal of Computer and System Sciences**54*(*2*), 255--262, Elsevier, 1997**1993**

Witnesses for Boolean matrix multiplication and shortest paths

Z Galil, O Margalit

Z Galil, O Margalit

*Journal of Complexity*, 417--426, 1993
Witnesses for boolean matrix multiplication

Z Galil, O Margalit

Z Galil, O Margalit

*Journal of Complexity**9*, 201--221, 1993
Witnesses for Boolean matrix multiplication and for transitive closure

Z Galil, O Margalit

Z Galil, O Margalit

*Journal of Complexity**9*(*2*), 201--221, Academic Press, Inc. Orlando, FL, USA, 1993**1992**

Approximate max flow on small depth acyclic networks

E Cohen, N Alon, Z Galil, O Margalit, M Naor, J Friedman, D Eppstein, Z Galil, G F Italiano, A Nissenzweig, others

E Cohen, N Alon, Z Galil, O Margalit, M Naor, J Friedman, D Eppstein, Z Galil, G F Italiano, A Nissenzweig, others

*Manuscript*, 1992
All pairs shortest distances for graphs with integer length edges

Z Galil, O Margalit

Z Galil, O Margalit

*Submitted for publication*, 1992
Witnesses for boolean matrix multiplication and for shortest paths

Noga Alon, Zvi Galil, Oded Margalit, Moni Naor

Noga Alon, Zvi Galil, Oded Margalit, Moni Naor

*Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on*,*pp. 417--426***1991**

A faster algorithm for the All Pairs Shortest Path problem for undirected graphs

Z Galil, O Margalit

Z Galil, O Margalit

*Manuscript, August*, 1991
An almost linear-time algorithm for the dense subset-sum problem

Z Galil, O Margalit

Z Galil, O Margalit

*SIAM Journal on Computing**20*, 1157, 1991