谈谈我在牛津大学报告厅的讲台上发言人用的公共计算机里输入Xiaohui Zou之后第一个跳出来的就是这一组论文(当时我的感受真的是有点惊喜)。因为,我那几天正在嘀咕英国伦敦会议的论文什么时候可在网上直接查询到。没想到:结果竟然会是这样,在牛津大学圣Hugh’College主楼会议室讲台上竟然被我一键谷歌出的就是Xiaohui Zou 在ACM(美国计算机学会)发表的这一组论文 https://dl.acm.org/citation.cfm?id=3323932
2017年 ACM Journal Latex 新模板(Zip下载) 从2017年春天起,投稿ACM Journal类的模板将进行更换,原来的2014-2015年的Latex templates将停止使用,转而使用2017年版最新刊物模板。新模板比原来的排版更加美观,尤其是文献索引和IEEE一样,开始采用数字索引,比原来的使用名字索引方便好用多了。不过,这个数字索引还是在原来的基础上,按照姓名排序,无非加了额外的数字序号,这样好查找。另外,如果你引用了同样一个人的多篇文章,他们的序号是连续排序的,并且挨着一起。这样方便了解研究者的相关论文和研究连续性情况。 具体信息见投稿网站: http://www.acm.org/publications/authors/submissions Notice to authors : The 2014- 2015 ACM Journals article templates will cease to be supported as of Spring 2017. All ACM authors submitting articles now should use the new template for your next submission. 因为要投稿,从网上找了半天,不太好找,还需要自己转换产生acmart.cls,费周折。 我做一个现成的,方便大家下载使用。 acmart.zip 当然,你可以选择单独下载acmart.cls acmart.cls 详细的说明文档: acmart-new-latex-manual.pdf
Citation For foundational compilation algorithms and programming tools; research and discipline leadership; and exceptional mentoring. Susan L. Graham Pehong Chen Distinguished Professor Computer Science Division Department of Electrical Engineering and Computer Sciences University of California at Berkeley Short Biography Susan L. Graham is the Pehong Chen Distinguished Professor of Electrical Engineering and Computer Science Emerita and a Professor in the Graduate School at the University of California , Berkeley . Her research spans many aspects of programming language implementation, software tools, software development environments, and high-performance computing. As a participant in the Berkeley Unix project, she and her students built the Berkeley Pascal system and the widely used program profiling tool gprof . Their paper on that tool was selected for the list of best papers from twenty years of the Conference on Programming Language Design and Implementation (1979-1999). She has done seminal research in compiler code generation and optimization. She and her students have built several interactive programming environments, yielding a variety of incremental analysis algorithms. Her most recent projects are the Titanium system for language and compiler support of explicitly parallel programs and the Harmonia framework for high-level interactive software development. Professor Graham received an A.B. in mathematics from Harvard University and M.S. and Ph.D. degrees in Computer Science from Stanford University . She is a member of the National Academy of Engineering and a fellow of the Association for Computing Machinery, the American Association for the Advancement of Science, and the American Academy of Arts and Sciences. She was the founding editor-in-chief of the ACM Transactions on Programming Languages and Systems. Among her awards are the ACM SIGPLAN Career Programming Language Achievement Award (2000), the ACM Distinguished Service Award (2006) , the Harvard Medal (2008), the IEEE von Neumann Medal (2009), and the Berkeley Citation (2009). She has served on numerous advisory committees; among them, the U.S. President’s Information Technology Advisory Committee (PITAC). She served as the Chief Computer Scientist for the NSF-sponsored National Partnership for Advanced Computational Infrastructure (NPACI) from 1997 to 2005. She co-chaired a National Research Council study on the Future of Supercomputing. She was a member of the Harvard Board of Overseers from 2001 to 2007and was President in 2006-2007. She currently serves as Vice-chair of the Council of the NSF-sponsored Computing Community Consortium, and as the Vice-chair and Treasurer of the Board of Trustees of Cal Performances. 信息来自ACM与作者主页
偶然发现武大计算机学院的 ACM 赛,取得那么好的成绩,曾经拿到亚洲地区的总决赛的机会! 然后我来看看华工,没想到,历史上 cs.hust.edu.cn 计算机学院有过全球第 20 名的荣誉! 想来,大中国里,有多少能人志士,在全球青年竞赛中获得佳绩! 如果从这个角度,去看看世界的诺贝尔奖,也就不奇怪了! 从目前我申请的那些学校来看,如果 PSU(Pennsylvania University) 、 CMU 、 GMU 、 Harvard 、 Stanford 、 USC(University of Southern California) 等学校,无不以自己学校的诺贝尔奖获得者的数量为傲!无怪乎,国内专家学者在诺奖前,无不失色! 从这个意义上看,更要把基础学科学好,而且必须在青年竞赛中获得好的名次,然后才能在日后的事务中发挥自己的影响力! 积极关注这些年牛 B 的留学者 ( 想李开复、 ) 李开复: 在位于匹茨堡的卡耐基梅隆大学任助教期间,他开创性地运用统计学原理开发出世界上第一个 非特定人连续语音识别系统 , 1988 年被 商业周刊 授予当年 最重要科学创新奖 。 在校期间,李开复还开发了 奥赛罗 人机对弈系统,因为 1988 年击败了人类的黑白棋世界冠军而名噪一时。李开复同时还是美国电气电子工程协会的院士。 担任 SGI 公司的多媒体软件子公司 Cosmo Software 的总裁,负责多平台、互联网三维图形和多媒体软件的研发工作。 在加盟 Google 之前,李开复博士任微软公司自然交互式软件及服务部门副总裁,负责研发各种先进的技术和服务使得人机界面更加简便和自然。该部门负责开发的技术和产品包括语音、自然语言、全新的搜索和在线服务等技术。自然交互式软件及服务部门的使命就是要让所有这些技术能够更好地服务于微软的客户。 1998 年 7 月加盟微软公司,并于 11 月出任微软中国研究院(现微软亚洲研究院)院长。李开复在语音识别、人工智能、三维图形及网络多媒体等领域享有很高的声誉。在他的带领下,微软中国研究院以新一代多媒体、新一代用户界面和新一代信息处理技术为主要方向开展基础研究。 乐鹏: 2006 IEEE 国际服务计算大会服务计算竞赛( The 2006 IEEE International Services Computing Contest, 2006 IEEE International Conference on Services Computing )三等奖 2006 年全球语义网年会的语义网挑战竞赛 Doctor Zhe Wu Zhe Wu received his PhD in computer science from the University of Illinois at Urbana-Champaign in 2001. He received his BE from the Special Class for Gifted Young, University of Science Technology of China in 1996. He is currently a Consultant Member of Technical Staff working on semantic technologies in New England Development Center , Oracle. As an Oracle representative, he participates the W3C OWL (OWL 2) working group. And he served on UDDI standard specification technical committee from August 2003 to September 2005. His work and research interests are in Semantic Web technologies, logical inferencing, database, web services, nonlinear optimization, computer security, and computer networks 武大计科院在历史上是出了很多人才的,在 W3C 、 ACM 、 TopCoder 等,都能看到他们的身影。 难怪这个地方,真是人才辈出啊!数学建模竞赛一等奖,根本不算什么! http://topcoder.com/home/ http://www.topcoder.com/tc?module=MemberProfilecr=286907 http://acm.whu.edu.cn/blog/index.php http://acm.pku.edu.cn/pku2009/ http://www.608088.com/show-7-1.html WishingBone 李开复对程序员有过这样的要求: 一个优秀的程序员,必须有良好的数学基础,这是为了保证他的算法高效 ( 这也是为什么,顶级的 ACM 赛事,到了最后都是谈论数学问题。 ) ; 知晓计算机的组成原理,计算机结构 算法设计技巧 以及大量的编程实践! 还要一个最核心的东西,那就是兴趣! 一切落实到代码! 是任何优秀程序员必须首先要领悟到的内涵! 把计算机学好,基础数学、数据结构、算法等基础课,将来能去美国的话,也要能参加计算性能挑战赛! 把眼光放远点,唯有如此,才能不与周围的人冲突! 同时,只有这样,才会积极地争取同盟者! 去最好的地方,见证最美丽的时刻!时刻准备着,尤其是看到这些想李开复、乐鹏式的先生,作我的指导者! http://blog.sina.com.cn/s/blog_5071eb880100gj2m.html http://blog.sina.com.cn/s/blog_5071eb880100gjul.html
2007 年创刊的 ACM Transactions on the Web 《美国计算机学会网络汇刊》, ISSN:1559-1131 ,季刊,美国计算机学会( ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 )出版, 2009 年入选 Web of Science 的 Science Citation Index Expanded ,目前在 SCI 数据库可以检索到该期刊 2007 年的第 1 卷到 2009 年的第 3 卷共 43 篇论文。 ACM Transactions on the Web 网址: http://tweb.acm.org/ 2005 年创刊的 ACM Journal on Emerging Technologies in Computing Systems 《美国计算机学会计算系统新兴技术杂志》, ISSN:1550-4832 ,季刊,美国计算机学会( ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 )出版, 2009 年入选 Web of Science 的 Science Citation Index Expanded ,目前在 SCI 数据库可以检索到该期刊 2007 年的第 3 卷到 2009 年的第 5 卷共 44 篇论文。 ACM Journal on Emerging Technologies in Computing Systems 网址: http://www.acm.org/pubs/jetc/ 2005 年创刊的 ACM Transactions on Algorithms 《美国计算机学会算法汇刊》, ISSN:1549-6325 ,季刊,美国计算机学会( ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 )出版, 2009 年入选 Web of Science 的 Science Citation Index Expanded ,目前在 SCI 数据库可以检索到该期刊 2008 年的第 4 卷到 2009 年的第 5 卷共 85 篇论文。 ACM Transactions on Algorithms 网址: http://www.acm.org/talg/ 2004 年创刊的 ACM Transactions on Applied Perception 《美国计算机学会应用感知汇刊》, ISSN:1544-3558 ,季刊,美国计算机学会( ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 )出版, 2009 年入选 Web of Science 的 Science Citation Index Expanded ,目前在 SCI 数据库可以检索到该期刊 2007 年的第 4 卷到 2009 年的第 5 卷共 57 篇论文。 ACM Transactions on Applied Perception 网址: http://tap.acm.org/ 2006 年创刊的 ACM Transactions on Autonomous and Adaptive Systems 《美国计算机学会自控适应系统汇刊》, ISSN:1556-4665 ,季刊,美国计算机学会( ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 )出版, 2009 年入选 Web of Science 的 Web of Science 的 Science Citation Index Expanded ,目前在 SCI 数据库可以检索到该期刊 2006 年的第 1 卷到 2009 年的第 4 卷共 59 篇论文。 ACM Transactions on Autonomous and Adaptive Systems 网址: http://taas.acm.org/
信息来源于: The Computer Laboratory is the University of Cambridge's Computer Science department. Larry Paulson is made a Fellow of the ACM (2008) Larry Paulson has been made a Fellow of the ACM for his contributions to theorem provers and verification techniques. The ACM Fellows Program was established in 1993 to recognize and honour outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM. The ACM Fellows serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of information technology evolves. Larry is one of 44 distinguished computer scientists who will be inducted as Fellows of the ACM this year. The complete list can be found at http://fellows.acm.org/homepage.cfm . His research concerns mechanical theorem proving and its applications: continued development of the interactive theorem prover Isabelle applying automated theorem provers to verification problems applying set theory to specification and verification mechanizing selected areas of mathematics MetiTarski , an automatic prover for the elementary functions
Many Innovations Made in Areas Critical to Global Competitiveness New York, NY, January 15, 2009 -- ACM has recognized 44 of its members for their contributions to computing technology that have generated a broad range of innovations for industry, commerce, entertainment, and education. The 2008 ACM Fellows , from the worlds leading universities, industries, and research labs, created advances in computer theory as well as practice. These technology developments have consistently demonstrated their crucial role in forming the foundation for sustained economic growth in an information-based society. These men and women are the inventors of technology that impact the way people live and work throughout the world, said ACM President, Professor Dame Wendy Hall. Their selection as 2008 ACM Fellows offers us an opportunity to recognize their dedicated leadership in this dynamic field, and to honor their contributions to solving complex problems, expanding the impact of technology, and advancing the quality of life for people everywhere. The complete list of 2008 ACM Fellows is appended at the end of this announcement and at http://fellows.acm.org . Within the corporate sector, the 2008 ACM Fellows named from Microsoft Research were cited for contributions ranging from computer security and verification to human-computer interaction, computational photography and distributed computing. IBM Almaden and Thomas J. Watson Research Centers each had Fellows, who were recognized for query-processing language and computational geometry, which is often used in the development of computer graphics, computer-aided design, robotics, and other applications. Other corporate entities with 2008 Fellows were Intel Corp. , Hewlett-Packard Laboratories, and Palo Alto Research Center. Their respective contributions include compiler technology and computer performance enhancement tools, database management and computer communications protocols. Among the universities with 2008 ACM Fellows was Stanford University , whose Fellows were recognized for achievements in programming language theory, rendering theory for use in computer graphics, software engineering process discipline, and reinventing virtual machines for more efficient operating system functioning. Fellows from Massachusetts Institute of Technology (MIT) were honored for achievements in computer networking and distributed systems, theory of mathematical programming, development of the Macsyma system for symbolic mathematics, and algorithms and complexity theory. Princeton University s Fellows were acknowledged for advances in probabilistically checkable proofs and optimization problems, computer music as well as physics-based sound synthesis, and network control and management systems. Carnegie Mellon Universitys Fellows were recognized for contributions to computer-aided design tools, for combinatorial auctions and mechanism design, often used in game theory, and for software engineering process discipline. Fellows from the University of Toronto were cited for contributions to the theory of computational complexity, and for computer-aided design of semiconductor devices known as field-programmable gate arrays. Other North American universities with 2008 ACM Fellows include Georgia Institute of Technology; the University of Virginia; the University of Minnesota; the University of Texas at Austin; the University of Waterloo; the University of North Carolina at Chapel Hill; Rice University; and the University of California at Santa Cruz, Los Angeles, Berkeley, and Irvine. ACM Fellows from these institutions were cited for achievements in ubiquitous computing research, emphasizing applications for education, home, and health; compiler design and implementation; human-computer interaction; compilers and memory management; algorithms and data structures; fault-tolerant distributed computing; technologies for parallel computing; computer security; computer communications protocols; electronic design automation; computer vision; and computer-supported cooperative work. Outside of North America, the universities with 2008 ACM Fellows include City University of Hong Kong in China; ETH (the Swiss Federal Institute of Technology) Zurich in Switzerland ; the University of Cambridge and Newcastle University in the UK; and Chalmers University of Technology in Sweden. Fellows from these universities were recognized for contributions to the interface of algorithmic methodology and game theory; software engineering and programming languages; theorem provers and verification techniques; dependable computing and computer history; and design of high performance memory systems. ACM also named a 2008 Fellow from Viewpoints Research Institute , a nonprofit research organization, who has made fundamental contributions to personal computing and object-oriented programming. ACM will formally recognize the 2008 Fellows at its annual Awards Banquet on June 27, 2009, in San Diego, CA. Additional information about the ACM 2008 Fellows, the awards event, as well as previous ACM Fellows and award winners is available at www.acm.org/awards . 2008 ACM Fellows Martn Abadi Microsoft Research Silicon Valley / University of California, Santa Cruz For contributions to computer security and verification of computer systems Gregory D. Abowd Georgia Institute of Technology For contributions to ubiquitous computing research, with emphasis on applications for education, home and health Alexander S. Aiken Stanford University For contributions to programming language theory and systems Sanjeev Arora Princeton University For foundational work on probabilistically checkable proofs and approximate solutions to NP-hard optimization problems Hari Balakrishnan Massachusetts Institute of Technology F or contributions to computer networking and distributed systems William Buxton Microsoft Research For contributions to the field of human-computer interaction Kenneth Clarkson IBM Almaden Research Center For contributions to computational geometry Jason (Jingsheng) Cong University of California at Los Angeles For contributions to electronic design automation Perry R. Cook Princeton University For contributions to computer music, physics-based sound synthesis and voice analysis/synthesis Stephen A. Cook University of Toronto For fundamental contributions to the theory of computational complexity Jack W. Davidson University of Virginia For contributions in compiler design and implementation Umeshwar Dayal Hewlett-Packard Laboratories For contributions to managing federated, active, and heterogeneous databases Xiaotie Deng City University of Hong Kong For contributions to the interface of algorithmic methodology and game theory Jose Joaquin Garcia-Luna-Aceves University of California, Santa Cruz / Palo Alto Research Center For contributions to the theory and design of computer communication protocols Michel X. Goemans Massachusetts Institute of T echnology For contributions to the theory of approximation algorithms and mathematical programming Patrick Hanrahan Stanford University For contributions to rendering theory and systems Charles H. House Stanford University MediaX Program For distinguished service and contributions to ACM and the computing community Watts S. Humphrey Carnegie Mellon University For contributions to software engineering process discipline Alan C. Kay Viewpoints Research Institute For fundamental contributions to personal computing and object-oriented programming Joseph A. Konstan University of Minnesota For contributions to human-computer interaction Roy Levin Microsoft Research Silicon Valley For contributions to software and systems P. Geoffrey Lowney Intel Corp. For contributions to compiler technology and performance enhancement tools Jitendra Malik University of California, Berkeley For contributions to computer vision Kathryn S. McKinley University of Texas at Austin For contributions to compilers and memory management Bertrand Meyer ETH (Swiss Federal Institute of Technology) Zurich For contributions to software engineering and programming languages John C. Mitchell Stanford University For contributions to the theory of programming language Joel Moses Massachusetts Institute of Technology For developing the Macsyma computer system for formula manipulation J. Ian Munro University of Waterloo For contributions to algorithms and data structures Judith S. Olson University of California at Irvine For contributions to human-computer interaction and computer-supported cooperative work Lawrence C. Paulson University of Cambridge, Computer Laboratory For contributions to theorem provers and verification techniques Hamid Pirahesh IBM Almaden Research Center For contributions to query processing and query languages Brian Randell Newcastle University For contributions to dependable computing and computer history Michael K. Reiter University of North Carolina at Chapel Hill For contributions to computer security and fault-tolerant distributed computing Jennifer Rexford Princeton University For contributions to network control and management systems Jonathan S. Rose University of Toronto For contributions to the architecture and computer-aided design of field-programmable gate arrays Mendel Rosenblum Stanford University For contributions to reinventing virtual machines Rob A. Rutenbar Carnegie Mellon University For contributions to computer-aided design tools for mixed-signal integrated circuits Tuomas Sandholm Carnegie Mellon University For contributions to combinatorial auctions and mechanism design Vivek Sarkar Rice University For contributions to technologies for parallel computing Mark S. Squillante IBM Thomas J. Watson Research Center For contributions to the theory and practice of stochastic modeling Per Stenstrom Chalmers University of Technology For contributions to the design of high-performance memory systems Madhu Sudan Massachusetts Institute of Technology For contributions to algorithms and complexity theory Richard Szeliski Microsoft Research For contributions to computational photography Douglas Terry Microsoft Research Silicon Valley For contributions to distributed computing About ACM ACM, the Association for Computing Machinery http://www.acm.org , is an educational and scientific society uniting the worlds computing educators, researchers and professionals to inspire dialogue, share resources and address the fields challenges. ACM strengthens the professions collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking. About the ACM Fellows Program The ACM Fellows Program, initiated in 1993, celebrates the exceptional contributions of the leading members in the computing field. These individuals have helped to enlighten researchers, developers, practitioners and end-users of information technology throughout the world. The new ACM Fellows join a distinguished list of colleagues to whom ACM and its members look for guidance and leadership in computing and information technology.