日前,美国电气电子工程师学会(the Institute of Electrical and Electronics Engineers, IEEE)公布了2015年度新当选的会士(IEEE fellow)名单(//www.ieee.org/2015_updated_fellows.pdf),其中包括14位中...
近日,软件研究所谢冰教授课题组题为“Summary-based context-sensitive data-dependence analysis in presence of callbacks”的学术论文被第42届程序语言原理会议(ACM SIGPLAN-SIGACT Symposium on Principles of...