1 citations · 1 across the 2 of their papers we have counts for
3 papers
AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
Shahram Esmaeilsabzali, Arayi Khalatyan, Zhijun Mo +2
Programs written in unsafe languages such as C are prone to memory safety errors, which can lead to program compromises and serious real-world security consequences. Recently, Memo…
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies +1
Programmers using software components have to follow protocols that specify when it is legal to call particular methods with particular arguments. For example, one cannot use an it…
Dynamic Package Interfaces - Extended Version
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies +1
A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a packag…