受强制性开放获取政策约束的文章 - Sriram Rajamani了解详情
可在其他位置公开访问的文章：4 篇
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Future of software engineering proceedings, 167-181, 2014
强制性开放获取政策： Austrian Science Fund, European Commission
P: safe asynchronous event-driven programming
A Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D Zufferey
ACM SIGPLAN Notices 48 (6), 321-332, 2013
强制性开放获取政策： Austrian Science Fund
A design and verification methodology for secure isolated regions
R Sinha, M Costa, A Lal, NP Lopes, S Rajamani, SA Seshia, K Vaswani
ACM SIGPLAN Notices 51 (6), 665-681, 2016
强制性开放获取政策： US National Science Foundation
A compiler and verifier for page access oblivious computation
R Sinha, S Rajamani, SA Seshia
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定