Author:
Tzouros Giannis,Tsenos Michail,Kalogeraki Vana
Publisher
Springer International Publishing
Reference18 articles.
1. Zhao, J., Nagarakatte, S., Martin, M.M., Zdancewic, S.: Formalizing the llVM intermediate representation for verified program transformations. In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 427–440 (2012)
2. Soliman, M.A., Ilyas, I.F., Chang, K.C.C.: Top-k query processing in uncertain databases. In: 2007 IEEE 23rd International Conference on Data Engineering, pp. 896–905. IEEE (2007)
3. Lecture Notes in Computer Science;G Guo,2003
4. Lin, X.C., et al.: Serverless boom or bust? An analysis of economic incentives. In: USENIX (2020)
5. Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: International Symposium on Code Generation and Optimization, 2004. CGO 2004, pp. 75–86. IEEE (2004)