3 papers
cs.PL2019
IR2Vec: LLVM IR based Scalable Program Embeddings
S. VenkataKeerthy, Rohit Aggarwal, Shalini Jain +3
We propose IR2Vec, a Concise and Scalable encoding infrastructure to represent programs as a distributed embedding in continuous space. This distributed embedding is obtained by co…
cs.PL2017
Presburger-Definable Parameterized Typestates
Ashish Mishra, Deepak Dsouza, Y. N. Srikant
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typesta…
cs.PL2017
Beyond-Regular Typestate
Ashish Mishra, Y. N. Srikant
We present an extension for regular typestates, called Beyond- Regular Typestate(BR-Typestate), which is expressive enough to model non-regular properties of programs and protocols…