DOCSLIB.ORG

List of Periodicals (PDF)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
List of Periodicals (PDF) Periodicals Received This is the current list of periodicals available for review in Computing Reviews. International standard serial numbers (ISSNs) are provided to facilitate obtaining copies of articles or subscriptions. An electronic version is available online at http://computingreviews.com/masthead/CR periodicals2017.pdf. We welcome suggestions of periodicals that should be considered for systematic review, as well as individual papers or publications that particularly merit review. Please send email with complete information (title, author, name of journal, issue in which paper appears, publisher, and ISSN if possible) to: [email protected]. This list supersedes the one published in the October 2016 issue of Computing Reviews. ACM SIGBED Review ACM SIGMETRICS Performance A ACM Evaluation Review ISSN: 1551-3688 ACM ACM Communications in Computer ISSN: 0163-5999 ACM SIGBioinformatics Record Algebra ACM ACM ACM SIGMIS Database ISSN: 2331-9291 ISSN: 1932-2240 ACM ISSN: 0095-0033 ACM SIGCAS Computers and Society ACM Computing Surveys ACM ACM SIGMOD Record ACM ISSN: 0095-2737 ISSN: 0360-0300 ACM ACM SIGCOMM Computer ISSN: 0163-5808 ACM Inroads Communication Review ACM ACM ACM SIGMultimedia Records ISSN: 2153-2184 ISSN: 0146-4833 ACM ISSN: 1947-4598 ACM Journal on Emerging ACM SIGCSE Bulletin Technologies in Computing Systems ACM ACM SIGOPS Operating Systems ACM ISSN: 0097-8418 Review ISSN: 1550-4832 ACM ACM SIGecom Exchanges ISSN: 0163-5980 ACM SIGACCESS Accessibility and ACM Computing ISSN: 1551-9031 ACM SIGPLAN FORTRAN Forum ACM ACM ACM SIGEVOlution ISSN: 1558-2337 ISSN: 1061-7264 ACM ACM SIGACT News ISSN: 1931-8499 ACM SIGPLAN Notices ACM ACM ACM SIGHPC Connect ISSN: 0362-1340 ISSN: 0163-5700 ACM ISSN: 2168-135X ACM SIGAda Ada Letters ACM SIGSOFT Software ACM ACM SIGIR Forum Engineering Notes ISSN: 1094-3641 ACM ACM ISSN: 0163-5840 ISSN: 0163-5948 ACM SIGAPP Applied Computing Review ACM SIGKDD Explorations ACM SIGWEB Newsletter ACM Newsletter ACM ISSN: 1559-6915 ACM ISSN: 1931-1745 ISSN: 1931-0145 ACM SIGARCH Computer ACM Transactions on Accessible Architecture News ACM SIGLOG News Computing ACM ACM ACM ISSN: 0163-5964 ISSN: 2372-3491 ISSN: 1936-7228 Computing Reviews October 2017 617 • Periodicals Received ACM Transactions on Algorithms ACM Transactions on Design ACM Transactions on Modeling and ACM Automation of Electronic Systems Performance Evaluation of ISSN: 1549-6325 ACM Computing Systems ISSN: 1084-4309 ACM ACM Transactions on Applied ISSN: 2376-3639 Perception ACM Transactions on Economics ACM and Computation ACM Transactions on Multimedia ISSN: 1544-3558 ACM Computing, Communications, and ISSN: 2167-8375 Applications ACM Transactions on Architecture ACM and Code Optimization ACM Transactions on Embedded ISSN: 1551-6857 ACM Computing Systems ISSN: 1544-3566 ACM ACM Transactions on Parallel ISSN: 1539-9087 Computing ACM Transactions on Asian and Low-Resource Language Information ACM ACM Transactions on Graphics ISSN: 2329-4949 Processing ACM ACM ISSN: 0730-0301 ACM Transactions on Privacy and ISSN: 2375-4699 Security ACM Transactions on Information ACM Transactions on Autonomous ACM Systems ISSN: 2471-2566 and Adaptive Systems ACM ACM ISSN: 1046-8188 ACM Transactions on Programming ISSN: 1556-4665 Languages and Systems ACM Transactions on Intelligent ACM Transactions on Computation ACM Systems and Technology Theory ISSN: 0164-0925 ACM ACM ISSN: 2157-6904 ACM Transactions on Reconfigurable ISSN: 1942-3454 Technology and Systems ACM Transactions on Computational ACM Transactions on Interactive ACM Logic Intelligent Systems ISSN: 1936-7406 ACM ACM ISSN: 1529-3785 ISSN: 2160-6455 ACM Transactions on Sensor Networks ACM Transactions on Computer ACM Transactions on Internet ACM Systems Technology ISSN: 1550-4859 ACM ACM ISSN: 0734-2071 ISSN: 1533-5399 ACM Transactions on Software Engineering and Methodology ACM Transactions on ACM Transactions on Knowledge ACM Computer-Human Interaction Discovery from Data ISSN: 1049-331X ACM ACM ISSN: 1073-0516 ISSN: 1556-4681 ACM Transactions on Spatial Algorithms and Systems ACM Transactions on Computing ACM Transactions on Management ACM Education Information Systems ISSN: 2374-0353 ACM ACM ISSN: 1946-6226 ISSN: 2158-656X ACM Transactions on Storage ACM ACM Transactions on ACM Transactions on Mathematical ISSN: 1553-3077 Cyber-Physical Systems Software ACM ACM ACM Transactions on the Web ISSN: 2378-962X ISSN: 0098-3500 ACM ISSN: 1559-1131 ACM Transactions on Database ACM Transactions on Modeling and Systems Computer Simulation Acta Informatica ACM ACM Springer ISSN: 0362-5915 ISSN: 1049-3301 ISSN: 0001-5903 618 Computing Reviews October 2017 • Periodicals Received Ad Hoc Networks Analog Integrated Circuits and Artificial Life Elsevier Signal Processing MIT Press ISSN: 1570-8705 Springer ISSN: 1064-5462 ISSN: 0925-1030 Adaptive Behavior Artificial Life and Robotics Sage Annals of Mathematics and Artificial Springer ISSN: 1059-7123 Intelligence ISSN: 1433-5298 Springer Advanced Engineering Informatics ISSN: 1012-2443 Automated Software Engineering Elsevier Springer ISSN: 1474-0346 Applicable Algebra in Engineering, ISSN: 0928-8910 Communication and Computing Advances in Artificial Intelligence Springer Automatic Documentation and Hindawi ISSN: 0938-1279 Mathematical Linguistics ISSN: 1687-7470 Springer Applied Artificial Intelligence ISSN: 0005-1055 Advances in Data Analysis and Taylor & Francis Classification ISSN: 0883-9514 Automatica Springer Elsevier Applied Computational Intelligence ISSN: 1862-5347 ISSN: 0005-1098 and Soft Computing Advances in Engineering Software Hindawi Automation and Remote Control Elsevier ISSN: 1687-9724 Springer ISSN: 0965-9978 ISSN: 0005-1179 Applied Intelligence Advances in Fuzzy Systems Springer Autonomous Agents and Multi-Agent Hindawi ISSN: 0924-669X Systems ISSN: 1687-7101 Springer Applied Numerical Mathematics ISSN: 1387-2532 Elsevier Advances in Human-Computer ISSN: 0168-9274 Interaction Autonomous Robots Springer Hindawi Applied Soft Computing ISSN: 0929-5593 ISSN: 1687-5893 Elsevier ISSN: 1568-4946 Advances in Multimedia Hindawi Applied Stochastic Models in B ISSN: 1687-5680 Business and Industry Wiley Behaviour and Information AI & Society ISSN: 1524-1904 Technology Springer Taylor & Francis ISSN: 0951-5666 Artificial Intelligence ISSN: 0144-929X Elsevier AI Communications ISSN: 0004-3702 Bioinformatics IOS Press Oxford University Press ISSN: 0921-7126 Artificial Intelligence for Engineering ISSN: 1367-4803 Design, Analysis and Manufacturing AI Magazine (AI EDAM) AAAI Cambridge University Press ISSN: 0738-4602 ISSN: 0890-0604 C AI Matters Artificial Intelligence in Medicine Cluster Computing ACM Elsevier Springer ISSN: 2372-3483 ISSN: 0933-3657 ISSN: 1386-7857 Algorithmica Artificial Intelligence Review Cognitive Systems Research Springer Springer Elsevier ISSN: 0178-4617 ISSN: 0269-2821 ISSN: 1389-0417 Computing Reviews October 2017 619 • Periodicals Received Combinatorica Computational Statistics Computer Standards & Interfaces Springer Springer Elsevier ISSN: 0209-9683 ISSN: 0943-4062 ISSN: 0920-5489 Combinatorics, Probability & Computational Statistics & Data Computer Supported Cooperative Computing Analysis Work Cambridge University Press Elsevier Springer ISSN: 0963-5483 ISSN: 0167-9473 ISSN: 0925-9724 Communication Design Quarterly Computer Computer Vision and Image Review IEEE Computer Society Understanding ACM ISSN: 0018-9162 Elsevier ISSN: 2166-1200 ISSN: 1077-3142 Computer-Aided Design Communications of the ACM Elsevier Computers & Education ACM ISSN: 0010-4485 Elsevier ISSN: 0001-0782 ISSN: 0360-1315 Computer Aided Geometric Design Complexity Elsevier Computers & Electrical Engineering Wiley ISSN: 0167-8396 Elsevier ISSN: 1076-2787 ISSN: 0045-7906 Computer Animation and Virtual Computers and Electronics in Computational and Mathematical Worlds Agriculture Organization Theory Wiley Elsevier Springer ISSN: 1546-427X ISSN: 0168-1699 ISSN: 1381-298X Computer Communications Elsevier Computers & Geosciences Computational Biology and ISSN: 0140-3664 Elsevier Chemistry ISSN: 0098-3004 Elsevier Computer Graphics Forum ISSN: 1476-9271 Wiley Computers & Graphics ISSN: 1467-8659 Elsevier Computational Complexity ISSN: 0097-8493 Springer Computer Languages, Systems & ISSN: 1016-3328 Structures Computers & Industrial Engineering Elsevier Elsevier Computational Geometry: Theory ISSN: 1477-8424 ISSN: 0360-8352 and Applications Elsevier Computer Methods and Programs in Computers & Mathematics with ISSN: 0925-7721 Biomedicine Applications Elsevier Elsevier Computational Intelligence ISSN: 0169-2607 ISSN: 0898-1221 Wiley ISSN: 0824-7935 Computer Music Journal Computers & Operations Research MIT Press Elsevier Computational Intelligence and ISSN: 0148-9267 ISSN: 0305-0548 Neuroscience Hindawi Computer Networks Computers & Structures ISSN: 1687-5265 Elsevier Elsevier ISSN: 1389-1286 ISSN: 0045-7949 Computational Linguistics MIT Press Computer Science Review Computers in Biology and Medicine ISSN: 0891-2017 Elsevier Elsevier ISSN: 1574-0137 ISSN: 0010-4825 Computational Optimization and Applications Computer Speech & Language Computers in Entertainment Springer Elsevier ACM ISSN: 0926-6003 ISSN: 0885-2308 ISSN: 1544-3574 620 Computing Reviews October 2017 • Periodicals Received Computers in Human Behavior Digital Investigation Environmental Modelling and Elsevier Elsevier Software ISSN: 0747-5632 ISSN: 1742-2876 Elsevier ISSN: 1364-8152 Computers in Industry Digital Signal Processing Elsevier Elsevier Ethics and Information Technology ISSN: 0166-3615
Load more

Recommended publications
  • Daniel D. Garcia
    DANIEL D. GARCIA [email protected] http://www.cs.berkeley.edu/~ddgarcia/ 777 Soda Hall #1776 UC Berkeley Berkeley, CA 94720-1776 (510) 517-4041 ______________________________________________________ EDUCATION MASSACHUSETTS INSTITUTE OF TECHNOLOGY Cambridge, MA B.S. in Computer Science, 1990 B.S. in Electrical Engineering, 1990 UNIVERSITY OF CALIFORNIA, BERKELEY Berkeley, CA M.S. in Computer Science, 1995 Ph.D. in Computer Science, 2000. Area: computer graphics and scientific visualization. Brian Barsky, advisor. TEACHING AWARDS • Outstanding Graduate Student Instructor in Computer Science (1992) • Electrical Engineering and Computer Science Outstanding Graduate Student Instructor (1997) • Computer Science Division Diane S. McEntyre Award for Excellence in Teaching (2002) • Computer Science Division IT Faculty Award for Excellence in Undergraduate Teaching (2005) • UC Berkeley “Everyday Hero” Award (2005) • Highest “teaching effectiveness” rating for any EECS lower division instructor, ever (6.7, since tied) (2006) • CS10: The Beauty and Joy of Computing chosen as 1 of 5 national pilots for AP CS: Principles course (2010) • CS10: The Beauty and Joy of Computing chosen as a University of California Online Course Pilot (2011) • Association of Computing Machinery (ACM) Distinguished Educator (2012) • Top 5 Professors to Take Classes with at UC Berkeley, The Black Sheep Online (2013) • CS10 becomes first introductory computing class at UC Berkeley with > 50% women (2013,2014) • Ten Most Popular MOOCs Starting in September 2015 and January 2016, Class Central (2015, 2016) • LPFI's Lux Award for being “Tech Diversity Champion” (2015) • NCWIT’s Undergraduate Research Mentoring (URM) Award (2016) • NCWIT’s Extension Services Transformation Award, Honorable Mention (2016) • CS10 becomes first introductory computing class at UC Berkeley with > 60% women (2017) • SAP Visionary Member Award (2017) • Google CS4HS Ambassador (2017) • CS10 becomes first introductory computing class at UC Berkeley with > 65% women (2018) Updated through 2018-07-01 1 / 28 Daniel D.
    [Show full text]
  • Eakta Jain A. Professional Preparation: B. Appointments: C. Publications
    Eakta Jain Department of Computer and Information Science and Engineering University of Florida Phone: (352) 562-3979 E-mail: [email protected] Webpage: jainlab.cise.ufl.edu A. Professional Preparation: Indian Institute of Technology Kanpur, India B.Tech. (Electrical Engineering) 2006 Carnegie Mellon University M.S. (Robotics) 2010 Carnegie Mellon University Ph.D. (Robotics) 2012 B. Appointments: 02/14 – present Assistant Professor, Department of Computer and Information Science and Engi- neering, University of Florida, Gainesville, FL 12/12-02/14 Member of Technical Staff, Texas Instruments Embedded Signal Processing Lab, Computer Vision Branch, Dallas, TX 07/12-12/12 Systems Software Engineer, Natural User Interfaces Team, Texas Instruments, Dallas, TX 09/11-01/12 Lab Associate, Disney Research Pittsburgh, PA 06/10-08/10 Lab Associate, Disney Research Pittsburgh, PA 06/08-08/08 Lab Associate, Disney Research Pittsburgh, PA 06/07-08/07 Walt Disney Animation Studios, Burbank, CA C. Publications: Is the Motion of a Child Perceivably Different from the Motion of an Adult? Jain, E., Anthony, L., Aloba, A., Castonguay, A., Cuba, I., Shaw, A. and Woodward, J. (2016). ACM Transactions on Applied Percep- tion (TAP), 13(4), Article 22. DOI: 10.1145/2947616 Decoupling Light Reflex from Pupillary Dilation to Measure Emotional Arousal in Videos, Rai- turkar, P., Kleinsmith, A., Keil, A., Banerjee, A., and Jain, E. (2016), ACM Symposium on Ap- plied Perception (SAP), 89-96. Gaze-driven Video Re-editing, Jain, E., Sheikh, Y., Shamir, A. and Hodgins, J., (2015), ACM Transac- tions on Graphics (TOG) (34, p21:1-p21:12). DOI: 10.1145/2699644 3D Saliency from Eye Tracking with Tomography, Ma, B., Jain, E., and Entezari, A.
    [Show full text]
  • Reducing Redundancy in Data Organization and Arithmetic Calculation for Stencil Computations
    Reducing Redundancy in Data Organization and Arithmetic Calculation for Stencil Computations Kun Li Liang Yuan Yunquan Zhang Institute of Computing Technology, Institute of Computing Technology, Institute of Computing Technology, Chinese Academy of Sciences Chinese Academy of Sciences Chinese Academy of Sciences University of Chinese Academy of Beijing, China Beijing, China Sciences [email protected] [email protected] Beijing, China [email protected] Yue Yue Hang Cao Pengqi Lu Institute of Computing Technology, Institute of Computing Technology, Institute of Computing Technology, Chinese Academy of Sciences Chinese Academy of Sciences Chinese Academy of Sciences University of Chinese Academy of University of Chinese Academy of University of Chinese Academy of Sciences Sciences Sciences Beijing, China Beijing, China Beijing, China [email protected] [email protected] [email protected] Abstract ACM Reference Format: Stencil computation is one of the most important kernels Kun Li, Liang Yuan, Yunquan Zhang, Yue Yue, Hang Cao, and Pengqi in various scientific and engineering applications. A variety Lu. 2021. Reducing Redundancy in Data Organization and Arith- metic Calculation for Stencil Computations. In Proceedings of ACM of work has focused on vectorization techniques, aiming at Conference (Conference’21). ACM, Seoul, South Korea, 12 pages. exploiting the in-core data parallelism. Briefly, they either https://doi.org/10.1145/nnnnnnn.nnnnnnn incur data alignment conflicts or hurt the data locality when integrated with tiling. In this paper, a novel transpose lay- out is devised to preserve the data locality for tiling in the 1 Introduction data space and reduce the data reorganization overhead for Stencil is one of the most important kernels widely used vectorization simultaneously.
    [Show full text]
  • ACM Student Membership
    student membership application and order form INSTRUCTIONS Name Please print clearly Member Number Carefully complete this application and Mailing Address return with payment by mail or fax to ACM. You must be a full-time student City/State/Province Postal Code/Zip to qualify for student rates. Country q Please do not release my postal address to third parties Area Code & Daytime Phone CONTACT ACM Email Address q Yes, please send me ACM Announcements via email q No, please do not send me ACM Announcements via email phone: 1-800-342-6626 (US & Canada) +1-212-626-0500 (Global) MEMBERSHIP OPTIONS AND ADD-ONS Check the appropriate box(es) hours: 8:30AM - 4:30PM (US EST) fax: +1-212-944-1318 q ACM Student Membership: $19 USD email: [email protected] q ACM Student Membership PLUS ACM Digital Library: $42 USD mail: ACM, Member Services q ACM Student Membership PLUS Print CACM Magazine: $42 USD General Post Offi ce q ACM Student Membership with ACM Digital Library PLUS Print CACM Magazine: $62 USD P.O. Box 30777 MEMBERSHIP ADD-ONS: New York, NY 10087-0777 q ACM Books Subscription: $10 USD USA q Additional Print Publications and/or Special Interest Groups For immediate processing, FAX this application to +1-212-944-1318. PUBLICATIONS Check the appropriate box and calculate amount due on reverse. PLEASE CHECK ONE WHAT’S NEW Issues per year Code Member Rate Air Rate * • ACM Inroads 4 178 $41 q $69 q ACM Learning Webinars keep you at the • Communications of the ACM 12 101 $50 q $69 q q q cutting edge of the latest technical and • Computing Reviews 12 104 $80 $46 • Computing Surveys 4 103 $61 q $39 q technological developments.
    [Show full text]
  • The Abcs of Petri Net Reachability Relaxations
    The ABCs of Petri net reachability relaxations Michael Blondin, Universite´ de Sherbrooke, Canada Petri nets form a widespread model of concurrency well suited for the verification of systems with infinitely many configurations. Deciding configuration reachability in Petri nets, which plays a central role in their formal analysis, suffers from a nonelementary time complexity lower bound. We survey relaxations that alleviate this tremendous complexity, both for classical Petri nets and for extensions with affine transformations, branching rules and colored tokens. 1. INTRODUCTION Petri nets are a widespread formalism to model and analyze concurrent systems with possibly infinite configuration spaces over nonnegative counters, i.e. Nk. They offer a great tradeoff between graphical modeling and amenability to algorithmic analysis. In particular, they find applications ranging from program verification (e.g. [German and Sistla 1992; Kaiser et al. 2014; Atig et al. 2011; Delzanno et al. 2002]) to the for- mal analysis of chemical, biological and business processes (e.g. [Esparza et al. 2017; Heiner et al. 2008; van der Aalst 1998]). One of the central questions in Petri net the- ory consists in determining whether a given target configuration, typically an error of a system, is reachable from an initial configuration. This reachability problem, which we will shortly define formally, has been extensively studied over several decades. For a long time, the computational complexity of the problem lay between EXPSPACE- hardness [Lipton 1976] and decidability [Mayr 1981; Kosaraju 1982; Lambert 1992; Leroux 2012]. However, it was recently narrowed down between TOWER-hardness [Cz- erwinski´ et al. 2019], i.e. a tower of exponentials, and Ackermaniann time [Leroux and Schmitz 2019].
    [Show full text]
  • Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
    Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks Shengjian Guo Meng Wu Chao Wang Virginia Tech Virginia Tech University of Southern California Blacksburg, VA, USA Blacksburg, VA, USA Los Angeles, CA, USA ABSTRACT The timing characteristics of cache, a high-speed storage between Program P Adversarial the fast CPU and the slow memory, may reveal sensitive information (Thread T1) Thread Schedule of a program, thus allowing an adversary to conduct side-channel attacks. Existing methods for detecting timing leaks either ignore Concurrent Pro- Symbolic Cache-timing ′′ SMT Solving cache all together or focus only on passive leaks generated by the gram P Execution Leakage program itself, without considering leaks that are made possible by concurrently running some other threads. In this work, we show Program P′ Adversarial Cache that timing-leak-freedom is not a compositional property: a program (Thread T2) Cache Modeling Configuration that is not leaky when running alone may become leaky when inter- leaved with other threads. Thus, we develop a new method, named Figure 1: Flow of our cache timing leak detector SymSC. adversarial symbolic execution, to detect such leaks. It systematically explores both the feasible program paths and their interleavings while modeling the cache, and leverages an SMT solver to decide if are caused by differences in the number and type of instructions there are timing leaks. We have implemented our method in LLVM executed along different paths: unless the differences are indepen- and evaluated it on a set of real-world ciphers with 14,455 lines of dent of the sensitive data, they may be exploited by an adversary.
    [Show full text]
  • SIGOPS Annual Report 2012
    SIGOPS Annual Report 2012 Fiscal Year July 2012-June 2013 Submitted by Jeanna Matthews, SIGOPS Chair Overview SIGOPS is a vibrant community of people with interests in “operatinG systems” in the broadest sense, includinG topics such as distributed computing, storaGe systems, security, concurrency, middleware, mobility, virtualization, networkinG, cloud computinG, datacenter software, and Internet services. We sponsor a number of top conferences, provide travel Grants to students, present yearly awards, disseminate information to members electronically, and collaborate with other SIGs on important programs for computing professionals. Officers It was the second year for officers: Jeanna Matthews (Clarkson University) as Chair, GeorGe Candea (EPFL) as Vice Chair, Dilma da Silva (Qualcomm) as Treasurer and Muli Ben-Yehuda (Technion) as Information Director. As has been typical, elected officers agreed to continue for a second and final two- year term beginning July 2013. Shan Lu (University of Wisconsin) will replace Muli Ben-Yehuda as Information Director as of AuGust 2013. Awards We have an excitinG new award to announce – the SIGOPS Dennis M. Ritchie Doctoral Dissertation Award. SIGOPS has lonG been lackinG a doctoral dissertation award, such as those offered by SIGCOMM, Eurosys, SIGPLAN, and SIGMOD. This new award fills this Gap and also honors the contributions to computer science that Dennis Ritchie made durinG his life. With this award, ACM SIGOPS will encouraGe the creativity that Ritchie embodied and provide a reminder of Ritchie's leGacy and what a difference a person can make in the field of software systems research. The award is funded by AT&T Research and Alcatel-Lucent Bell Labs, companies that both have a strong connection to AT&T Bell Laboratories where Dennis Ritchie did his seminal work.
    [Show full text]
  • 1 Employment 2 Education 3 Grants
    STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences email: [email protected] 101 Smith Hall web: http://vsl.cis.udel.edu/siegel.html University of Delaware tel: (302) 831{0083, fax: (302) 831{8458 Newark, DE 19716 skype: sfsiegel 1 Employment Associate Professor, Department of Computer and Information Sciences and Department of Math- ematical Sciences, University of Delaware, September 2012 to present Assistant Professor, Department of Computer and Information Sciences and Department of Math- ematical Sciences, University of Delaware, September 2006 to August 2012 Senior Research Scientist, Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts Amherst, August 2001 to August 2006 Senior Software Engineer, Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts Amherst, August 1998 to July 2001 Visiting Assistant Professor, Department of Mathematics, University of Massachusetts Amherst, September 1996 to August 1998 Visiting Assistant Professor, Department of Mathematics, Northwestern University, September 1993 to June 1996 2 Education Ph.D., Mathematics, University of Chicago, August 1993 (Advisor: Prof. Jonathan L. Alperin) M.Sc., Mathematics, Oxford University, June 1989 B.A., Mathematics, University of Chicago, June 1988 3 Grants Awarded • Principal Investigator, Subcontract 4000159498, Oak Ridge National Laboratory, Extend and Improve the CIVL Software Verification Platform. January 31, 2018 { September 30, 2020. Award amount: $245,963 (sole PI). Subcontract under Department of Energy award RAPIDS: A SciDAC Institute for Computer Science and Data. • Principal Investigator, Department of Energy Award DE-SC0012566, Program Verification for Extreme- Scale Applications, September 1, 2014 { August 31, 2018. Award amount: $510,000. (Sole PI) • Principal Investigator, National Science Foundation Award NSF CCF-1319571, SHF: Small: Con- tracts for Message-Passing Parallel Programs, September 1, 2013 { August 31, 2018.
    [Show full text]
  • ACM Education Board and Education Council FY2017-2018 Executive
    ACM Education Board and Education Council FY2017-2018 Executive Summary This report summarizes the activities of the ACM Education Board and the Education Council1 in FY 2017-18 and outlines priorities for the coming year. Major accomplishments for this past year include the following: Curricular Volumes: Joint Taskforce on Cybersecurity Education CC2020 Completed: Computer Engineering Curricular Guidelines 2016 (CE2016) Enterprise Information Technology Body of Knowledge (EITBOK) Information Technology 2017 (IT2017) Masters of Science in Information Systems 2016 (MSIS2016) International Efforts: Educational efforts in China Educational efforts in Europe/Informatics for All Taskforces and Other Projects: Retention taskforce Learning at Scale Informatics for All Committee International Education Taskforce Global Awareness Taskforce Data Science Taskforce Education Policy Committee NDC Study Activities and Engagements with ACM SIGs and Other Groups: CCECC Code.org CSTA 1 The ACM Education Council was re-named in fall 2018 to the ACM Education Advisory Committee. For historical accuracy, the EAC will be called the Education Council for this report. 1 SIGCAS SIGCHI SIGCSE SIGHPC SIGGRAPH SIGITE Other Items: Education Board Rotation Education Council Rotation Future Initiatives Global Awareness Taskforce International Education Framework Highlights This is a very short list of the many accomplishments of the year. For full view of the work to date, please see Section One: Summary of FY 2017-2018 Activities. Diversity Taskforce: The Taskforce expects to complete its work by early 2019. Their goals of Exploring the data challenges Identifying factors contributing to the leaky pipeline Recommending potential interventions to improve retention Learning at Scale: The Fifth Annual ACM Conference on Learning @ Scale (L@S) was held in London, UK on June 26-28, 2018.
    [Show full text]
  • Department of Computer Science and Engineering
    Department of Computer Science and Engineering Journals SJR Title ISSN SJR Quartile Country Molecular Systems Biology ISSN 17444292 8.87 Q1 United Kingdom IEEE Transactions on Pattern Analysis and Machine Intelligence ISSN 01628828 7.653 Q1 United States MIS Quarterly: Management Information Systems ISSN 02767783 6.984 Q1 United States Wiley Interdisciplinary Reviews: Computational Molecular Science ISSN 17590884, 17590876 6.715 Q1 United States Foundations and Trends in Machine Learning ISSN 19358237 6.194 Q1 United States IEEE Transactions on Fuzzy Systems ISSN 10636706 5.8 Q1 United States International Journal of Computer Vision ISSN 09205691 5.633 Q1 Netherlands Journal of Supply Chain Management ISSN 15232409 5.343 Q1 United Kingdom Journal of Operations Management ISSN 02726963 5.052 Q1 Netherlands IEEE Transactions on Smart Grid ISSN 19493053 4.784 Q1 United States Bioinformatics ISSN 13674811, 13674803 4.643 Q1 United Kingdom Information Systems Research ISSN 15265536, 10477047 4.397 Q1 United States IEEE Transactions on Evolutionary Computation ISSN 1089778X 4.308 Q1 United States IEEE Transactions on Automatic Control ISSN 00189286 4.238 Q1 United States International Journal of Robotics Research ISSN 02783649 4.184 Q1 United States Briefings in Bioinformatics ISSN 14774054, 14675463 4.086 Q1 United Kingdom SIAM Journal on Optimization ISSN 10526234, 10957189 3.943 Q1 United States IEEE Transactions on Systems, Man and Cybernetics Part B: Cybernetics ISSN 10834419 3.921 Q1 United States Internet and Higher Education ISSN 10967516
    [Show full text]
  • Candidate for Chair Jeffrey K. Hollingsworth University Of
    Candidate for Chair Jeffrey K. Hollingsworth University of Maryland, College Park, MD, USA BIOGRAPHY Academic Background: Ph.D., University of Wisconsin, 1994, Computer Sciences. Professional Experience: Professor, University of Maryland, College Park, MD, 2006 – Present; Associate /Assistant Professor, University of Maryland, College Park, MD, 1994 – 2006; Visiting Scientist, IBM, TJ Watson Research Center, 2000 – 2001. Professional Interest: Parallel Computing; Performance Measurement Tools; Auto-tuning; Binary Instrumentation; Computer Security. ACM Activities: Vice Chair, SIGHPC, 2011 – Present; Member, ACM Committee on Future of SIGs, 2014 – 2015; General Chair, SC Conference, 2012; Steering Committee Member (and Chair '13), SC Conference, 2009 – 2014. Membership and Offices in Related Organizations: Editor in Chief, PARCO, 2009 – Present; Program Chair, IPDPS, 2016; Board Member, Computing Research Association (CRA), 2008 – 2010. Awards Received: IPDPS, Best Paper - Software, 2011; SC, Best Paper - Student lead Author, 2005; IPDPS, Best Paper - Software, 2000. STATEMENT There is a critical need for a strong SIGHPC. Until SIGHPC was founded five years ago, the members of the HPC community lacked a home within ACM. While the SC conference provides a nexus for HPC activity in the fall, we needed a full-time community. Now that the initial transition of the SC conference from SIGARCH to SIGHPC is nearly complete, the time is right to start considering what other meetings and activities SIGHPC should undertake. We need to carefully identify meetings to sponsor or co-sponsor. Also, SIGHPC needs to continue and expand its role as a voice for the HPC community. This includes mentoring young professionals, actively identifying and nominating members for society wide awards, and speaking for the HPC community within both the scientific community and society at large.
    [Show full text]
  • I. Personal Information (1/11/2021) I.A. UID, Last Name, First Name, Middle Name, Contact Information UID: 101001302 Last
    I. Personal Information (1/11/2021) I.A. UID, Last Name, First Name, Middle Name, Contact Information UID: 101001302 Last Name: Shneiderman First Name: Ben Mailing Address: Brendan Iribe Building, Dept. of Computer Science, University of Maryland, College Park, MD 20742 Email: [email protected] Personal URL: http://www.cs.umd.edu/~ben HCIL URL: http://www.cs.umd.edu/hcil Wikipedia: https://en.wikipedia.org/wiki/Ben_Shneiderman Google Scholar: https://scholar.google.com/citations?user=h4i4fh8AAAAJ&hl=en ORCID: orcid.org/0000-0002-8298-1097 I.B. Academic Appointments at UMD 2017- Emeritus Distinguished University Professor 2013- Distinguished University Professor 2013- Affiliate Professor, Glenn L. Martin Professor of Engineering 2005- Affiliate Professor, College of Information Studies 2005- Affiliate Professor, College of Engineering 1991- 2005 Member, Institute for Systems Research 1989- Professor, Department of Computer Science 1987- Member, Institute for Advanced Computer Studies 1980- 1989 Associate Professor, Department of Computer Science 1976- 1980 Assistant Professor, Department of Information Systems Management I.C. Administrative Appointments at UMD 1983- 2000 Founding Director, Human-Computer Interaction Lab, Institute for Advanced Computer Studies I.D. Other Employment 1973- 1976 Indiana University Assistant Professor, Department of Computer Science 1972- 1973 State University of NY Instructor, Department of Computer Science at Stony Brook 1968- 1972 State University of NY Instructor, Department of Data Processing at Farmingdale
    [Show full text]