2 papers
cs.DC2022
Fence Synthesis under the C11 Memory Model
Sanjana Singh, Divyanjali Sharma, Ishita Jaju +1
The C/C++11 (C11) standard offers a spectrum of ordering guarantees on memory access operations. The combinations of such orderings pose a challenge in developing correct and effic…
cs.PL2022
Secure Information Flow Typing in LUSTRE
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Synchronous reactive data flow is a paradigm that provides a high-level abstract programming model for embedded and cyber-physical systems, including the locally synchronous compon…