Aquatic Chemistry
- Liat Birnhack, O. Lahav
- Education
- 15 March 2019
Repairing sequential consistency in C/C++11
- O. Lahav, Viktor Vafeiadis, Jeehoon Kang, C. Hur, Derek Dreyer
- Computer ScienceACM-SIGPLAN Symposium on Programming Language…
- 14 June 2017
This paper proposes a model, called RC11 (for Repaired C11), with a better semantics for SC accesses that restores the soundness of the compilation schemes to Power, maintains the DRF-SC guarantee, and provides stronger, more useful, guarantees to SC fences.
A promising semantics for relaxed-memory concurrency
- Jeehoon Kang, C. Hur, O. Lahav, Viktor Vafeiadis, Derek Dreyer
- Computer ScienceACM-SIGACT Symposium on Principles of Programming…
- 1 January 2017
The first relaxed memory model that accounts for a broad spectrum of features from the C++11 concurrency model, is implementable, and defines the semantics of racy programs without relying on undefined behaviors, which is a prerequisite for applicability to type-safe languages like Java is proposed.
Taming release-acquire consistency
- O. Lahav, Nick Giannarakis, Viktor Vafeiadis
- Computer ScienceACM-SIGACT Symposium on Principles of Programming…
- 11 January 2016
We introduce a strengthening of the release-acquire fragment of the C11 memory model that (i) forbids dubious behaviors that are not observed in any implementation; (ii) supports fence instructions…
Control of sulfide in sewer systems by dosage of iron salts: comparison between theoretical and experimental results, and practical implications.
- D. Firer, E. Friedler, O. Lahav
- EngineeringScience of the Total Environment
- 15 March 2008
Verifying Reachability in Networks with Mutable Datapaths
- Aurojit Panda, O. Lahav, K. Argyraki, Shmuel Sagiv, S. Shenker
- Computer ScienceSymposium on Networked Systems Design and…
- 4 July 2016
This work develops and leveraging the concept of slices, which allow network-wide verification to only require analyzing small portions of the network, and shows that with slices the time required to verify an invariant on many production networks is independent of the size of thenetwork itself.
Titration methodologies for monitoring of anaerobic digestion in developing countries: a review
An increase in volatile fatty acids (VFA) concentration (or the proportional decrease in carbonate alkalinity concentration) is the first practical measurable indication that an anaerobic treatment…
Rapid, simple, and accurate method for measurement of VFA and carbonate alkalinity in anaerobic reactors.
- O. Lahav, B. Morgan, R. Loewenthal
- Chemistry, MedicineEnvironmental Science and Technology
- 10 May 2002
It is revealed that VFA measurement is fairly insensitive to phosphate and ammonium concentrations, but is sensitive to H2S loss during titration where the sulfide concentration is higher than approximately 10 mg/Las S.
...
...