Languages

三星(中国)研发中心人员访问中科大-耶鲁高可信软件联合研究中心

三星(中国)研发中心人员于20131230日对中科大-耶鲁高可信软件联合研究中心进行了为期一天访问和交流。研究中心的各位老师,分别介绍了他们各自在指针程序验证,程序并行化加速,程序确定性等方面的工作。三星的研发人员也提出了他们的需求和面临的问题,涉及到GPU加速机器学习算法,JavaScript引擎加速,网页高效提取等方面的问题。期间,大家对各自感兴趣的问题做了进一步地讨论和交流。