DOCSLIB.ORG

A ACM Transactions on Trans. 1553 TITLE ABBR ISSN ACM Computing Surveys ACM Comput. Surv. 0360‐0300 ACM Journal

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A ACM Transactions on Trans. 1553 TITLE ABBR ISSN ACM Computing Surveys ACM Comput. Surv. 0360‐0300 ACM Journal ACM - zoznam titulov (2016 - 2019) CONTENT TYPE TITLE ABBR ISSN Journals ACM Computing Surveys ACM Comput. Surv. 0360‐0300 Journals ACM Journal of Computer Documentation ACM J. Comput. Doc. 1527‐6805 Journals ACM Journal on Emerging Technologies in Computing Systems J. Emerg. Technol. Comput. Syst. 1550‐4832 Journals Journal of Data and Information Quality J. Data and Information Quality 1936‐1955 Journals Journal of Experimental Algorithmics J. Exp. Algorithmics 1084‐6654 Journals Journal of the ACM J. ACM 0004‐5411 Journals Journal on Computing and Cultural Heritage J. Comput. Cult. Herit. 1556‐4673 Journals Journal on Educational Resources in Computing J. Educ. Resour. Comput. 1531‐4278 Transactions ACM Letters on Programming Languages and Systems ACM Lett. Program. Lang. Syst. 1057‐4514 Transactions ACM Transactions on Accessible Computing ACM Trans. Access. Comput. 1936‐7228 Transactions ACM Transactions on Algorithms ACM Trans. Algorithms 1549‐6325 Transactions ACM Transactions on Applied Perception ACM Trans. Appl. Percept. 1544‐3558 Transactions ACM Transactions on Architecture and Code Optimization ACM Trans. Archit. Code Optim. 1544‐3566 Transactions ACM Transactions on Asian Language Information Processing 1530‐0226 Transactions ACM Transactions on Asian and Low‐Resource Language Information Proce ACM Trans. Asian Low‐Resour. Lang. Inf. Process. 2375‐4699 Transactions ACM Transactions on Autonomous and Adaptive Systems ACM Trans. Auton. Adapt. Syst. 1556‐4665 Transactions ACM Transactions on Computation Theory ACM Trans. Comput. Theory 1942‐3454 Transactions ACM Transactions on Computational Logic ACM Trans. Comput. Logic 1529‐3785 Transactions ACM Transactions on Computer Systems ACM Trans. Comput. Syst. 0734‐2071 Transactions ACM Transactions on Computer‐Human Interaction ACM Trans. Comput.‐Hum. Interact. 1073‐0516 Transactions ACM Transactions on Computing Education Trans. Comput. Educ. Transactions ACM Transactions on Cyber‐Physical Systems ACM Trans. Cyber‐Phys. Syst. 2378‐962X Transactions ACM Transactions on Database Systems ACM Trans. Database Syst. 0362‐5915 Transactions ACM Transactions on Design Automation of Electronic Systems ACM Trans. Des. Autom. Electron. Syst. 1084‐4309 Transactions ACM Transactions on Economics and Computation ACM Trans. Econ. Comput. 2167‐8375 Transactions ACM Transactions on Embedded Computing Systems ACM Trans. Embed. Comput. Syst. 1539‐9087 Transactions ACM Transactions on Graphics ACM Trans. Graph. 0730‐0301 Transactions ACM Transactions on Information Systems ACM Trans. Inf. Syst. 1046‐8188 Transactions ACM Transactions on Information and System Security ACM Trans. Inf. Syst. Secur. 1094‐9224 Transactions ACM Transactions on Intelligent Systems and Technology ACM Trans. Intell. Syst. Technol. 2157‐6904 Transactions ACM Transactions on Interactive Intelligent Systems ACM Trans. Interact. Intell. Syst. 2160‐6455 Transactions ACM Transactions on Internet Technology ACM Trans. Internet Technol. 1533‐5399 Transactions ACM Transactions on Knowledge Discovery from Data ACM Trans. Knowl. Discov. Data 1556‐4681 Transactions ACM Transactions on Management Information Systems ACM Trans. Manage. Inf. Syst. 2158‐656X Transactions ACM Transactions on Mathematical Software ACM Trans. Math. Softw. 0098‐3500 Transactions ACM Transactions on Modeling and Computer Simulation ACM Trans. Model. Comput. Simul. 1049‐3301 Transactions ACM Transactions on Modeling and Performance Evaluation of Computing ACM Trans. Model. Perform. Eval. Comput. Syst. 2376‐3639 Transactions ACM Transactions on Multimedia Computing, Communications, and ApplicaACM Trans. Multimedia Comput. Commun. Appl. 1551‐6857 Transactions ACM Transactions on Parallel Computing ACM Trans. Parallel Comput. 2329‐4949 Transactions ACM Transactions on Privacy and Security ACM Trans. Priv. Secur. 2471‐2566 Transactions ACM Transactions on Programming Languages and Systems ACM Trans. Program. Lang. Syst. 0164‐0925 Transactions ACM Transactions on Reconfigurable Technology and Systems ACM Trans. Reconfigurable Technol. Syst. 1936‐7406 Transactions ACM Transactions on Sensor Networks ACM Trans. Sen. Netw. 1550‐4859 Transactions ACM Transactions on Software Engineering and Methodology ACM Trans. Softw. Eng. Methodol. 1049‐331X Transactions ACM Transactions on Spatial Algorithms and Systems ACM Trans. Spatial Algorithms Syst. 2374‐0353 Transactions ACM Transactions on Speech and Language Processing ACM Trans. Speech Lang. Process. 1550‐4875 Transactions ACMACM Transactions on Stora Transactions on Storagege Trans.Trans. Stora Storagege 15531553‐30730777 Transactions ACM Transactions on the Web ACM Trans. Web 1559‐1131 Transactions IEEE/ACM Transactions on Audio, Speech and Language Processing IEEE/ACM Trans. Audio, Speech and Lang. Proc. 2329‐9290 Transactions IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. Bioinformatics 1545‐5963 Transactions IEEE/ACM Transactions on Networking IEEE/ACM Trans. Netw. 1063‐6692 Magazines ACM Inroads ACM Inroads 2153‐2184 Magazines Communications of the ACM Commun. ACM 0001‐0782 Magazines Computers in Entertainment Comput. Entertain. Magazines Crossroads Crossroads 1528‐4972 Magazines Queue Queue 1542‐7730 Magazines StandardView StandardView 1067‐9936 Magazines Ubiquity Ubiquity Magazines XRDS: Crossroads, The ACM Magazine for Students XRDS 1528‐4972 Magazines eLearn eLearn Magazines intelligence Intelligence 1523‐8822 Magazines interactions interactions 1072‐5520 Magazines netWorker netWorker 1091‐3556 Publications within Hosted Content ALGOL Bulletin ALGOL Bull. 0084‐6198 Publications within Hosted Content Computational Linguistics Comput. Linguist. 0891‐2017 Publications within Hosted Content Evolutionary Computation Evol. Comput. 1063‐6560 Publications within Hosted Content Journal of Computing Sciences in Colleges J. Comput. Sci. Coll. 1937‐4771 Publications within Hosted Content Journal of Usability Studies J. Usability Studies 1931‐3357 Publications within Hosted Content Linux Journal Linux J. 1075‐3583 Publications within Hosted Content Personal and Ubiquitous Computing Personal Ubiquitous Comput. 1617‐4909 Publications within Hosted Content Proceedings of the VLDB Endowment Proc. VLDB Endow. 2150‐8097 Publications within Hosted Content The Journal of Machine Learning Research J. Mach. Learn. Res. 1532‐4435 Publications within Hosted Content The VLDB Journal &#8212; The International Journal on Very Large Data Ba The VLDB Journal 1066‐8888 SIG Newsletters 3C ON‐LINE 3C ON‐LINE 1078‐2192 SIG Newsletters ACM Communications in Computer Algebra ACM Commun. Comput. Algebra 1932‐2240 SIG Newsletters ACM Lisp Bulletin Lisp Bull. SIG Newsletters ACM SIGACCESS Accessibility and Computing SIGACCESS Access. Comput. 1558‐2337 SIG Newsletters ACM SIGACT News SIGACT News 0163‐5700 SIG Newsletters ACM SIGAPL APL Quote Quad SIGAPL APL Quote Quad 0163‐6006 SIG Newsletters ACM SIGAPP Applied Computing Review SIGAPP Appl. Comput. Rev. 1559‐6915 SIG Newsletters ACM SIGARCH Computer Architecture News SIGARCH Comput. Archit. News 0163‐5964 SIG Newsletters ACM SIGART Bulletin SIGART Bull. 0163‐5719 SIG Newsletters ACM SIGAda Ada Letters Ada Lett. 1094‐3641 SIG Newsletters ACM SIGBED Review SIGBED Rev. SIG Newsletters ACM SIGBIO Newsletter SIGBIO Newsl. 0163‐5697 SIG Newsletters ACM SIGBioinformatics Record ACM SIGBioinformatics Rec. 2331‐9291 SIG Newsletters ACM SIGCAPH Computers and the Physically Handicapped SIGCAPH Comput. Phys. Handicap. 0163‐5727 SIG Newsletters ACM SIGCAS Computers and Society SIGCAS Comput. Soc. 0095‐2737 SIG Newsletters ACM SIGCHI Bulletin SIGCHI Bull. 0736‐6906 SIG Newsletters ACM SIGCHI Bulletin ‐ a supplement to <i>interactions</i> SIGCHI Bull.: suppl. <i>interactions</i> 0736‐6906 SIG Newsletters ACM SIGCOMM Computer Communication Review SIGCOMM Comput. Commun. Rev. 0146‐4833 SIG Newsletters ACM SIGCPR Computer Personnel SIGCPR Comput. Pers. 0160‐2497 SIG Newsletters ACM SIGCSE Bulletin SIGCSE Bull. 0097‐8418 SIG Newsletters ACM SIGCSIM Installation Management Review Install Manag. Rev. 0163‐5972 SIG Newsletters ACM SIGCUE Outlook SIGCUE Outlook 0163‐5735 SIG Newsletters ACM SIGDA Newsletter SIGDA Newsl. 0163‐5743 SIG Newsletters ACM SIGDOC Asterisk Journal of Computer Documentation SIGDOC Asterisk J. Comput. Doc. 0731‐1001 SIG Newsletters ACM SIGEVOlution SIGEVOlution SIG Newsletters ACM SIGFORTH Newsletter SIGFORTH Newsl. 1047‐4544 SIG Newsletters ACM SIGGRAPH Computer Graphics SIGGRAPH Comput. Graph. 0097‐8930 SIG Newsletters ACM SIGGROUP Bulletin SIGGROUP Bull. 2372‐7403 SIG Newsletters ACM SIGHIT Record SIGHIT Rec. SIG Newsletters ACM SIGHPC Connect ACM SIGHPC Connect SIG Newsletters ACM SIGICE Bulletin SIGICE Bull. 0893‐2875 SIG Newsletters ACM SIGIR Forum SIGIR Forum 0163‐5840 SIG Newsletters ACM SIGITE Newsletter SIGITE Newsl. 2166‐1685 SIG Newsletters ACM SIGITE Research in IT SIGITERes. IT SIG Newsletters ACM SIGKDD Explorations Newsletter SIGKDD Explor. Newsl. 1931‐0145 SIG Newsletters ACM SIGLASH Newsletter SIGLASH Newsl. 0036‐147X SIG Newsletters ACM SIGLOG News ACM SIGLOG News SIG Newsletters ACM SIGMAP Bulletin SIGMAP Bull. 0163‐5786 SIG Newsletters ACM SIGMETRICS Performance Evaluation Review SIGMETRICS Perform. Eval. Rev. 0163‐5999 SIG Newsletters ACM SIGMICRO Newsletter SIGMICRO Newsl. 1050‐916X SIG Newsletters ACM SIGMINI Newsletter SIGMINI Newsl. 0163‐576X SIG Newsletters ACM SIGMIS Database: the DATABASE for Advances in Information SystemsSIGMIS Database 0095‐0033 SIG Newsletters ACM SIGMOBILE Mobile Computing and Communications
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]
  • 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]
  • SIGLOG: Special Interest Group on Logic and Computation a Proposal
    SIGLOG: Special Interest Group on Logic and Computation A Proposal Natarajan Shankar Computer Science Laboratory SRI International Menlo Park, CA Mar 21, 2014 SIGLOG: Executive Summary Logic is, and will continue to be, a central topic in computing. ACM has a core constituency with an interest in Logic and Computation (L&C), witnessed by 1 The many Turing Awards for work centrally in L&C 2 The ACM journal Transactions on Computational Logic 3 Several long-running conferences like LICS, CADE, CAV, ICLP, RTA, CSL, TACAS, and MFPS, and super-conferences like FLoC and ETAPS SIGLOG explores the connections between logic and computing covering theory, semantics, analysis, and synthesis. SIGLOG delivers value to its membership through the coordination of conferences, journals, newsletters, awards, and educational programs. SIGLOG enjoys significant synergies with several existing SIGs. Natarajan Shankar SIGLOG 2/9 Logic and Computation: Early Foundations Logicians like Alonzo Church, Kurt G¨odel, Alan Turing, John von Neumann, and Stephen Kleene have played a pioneering role in laying the foundation of computing. In the last 65 years, logic has become the calculus of computing underpinning the foundations of many diverse sub-fields. Natarajan Shankar SIGLOG 3/9 Logic and Computation: Turing Awardees Turing awardees for logic-related work include John McCarthy, Edsger Dijkstra, Dana Scott Michael Rabin, Tony Hoare Steve Cook, Robin Milner Amir Pnueli, Ed Clarke Allen Emerson Joseph Sifakis Leslie Lamport Natarajan Shankar SIGLOG 4/9 Interaction between SIGLOG and other SIGs Logic interacts in a significant way with AI (SIGAI), theory of computation (SIGACT), databases (SIGMOD) and knowledge bases (SIGKDD), programming languages (SIGPLAN), software engineering (SIGSOFT), computational biology (SIGBio), symbolic computing (SIGSAM), semantic web (SIGWEB), and hardware design (SIGDA and SIGARCH).
    [Show full text]
  • 2017 ALCF Operational Assessment Report
    ANL/ALCF-20/04 2017 Operational Assessment Report ARGONNE LEADERSHIP COMPUTING FACILITY On the cover: This visualization shows a small portion of a cosmology simulation tracing structure formation in the universe. The gold-colored clumps are high-density regions of dark matter that host galaxies in the real universe. This BorgCube simulation was carried out on Argonne National Laboratory’s Theta supercomputer as part of the Theta Early Science Program. Image: Joseph A. Insley, Silvio Rizzi, and the HACC team, Argonne National Laboratory Contents Executive Summary ................................................................................................ ES-1 Section 1. User Support Results .............................................................................. 1-1 ALCF Response ........................................................................................................................... 1-1 Survey Approach ................................................................................................................ 1-2 1.1 User Support Metrics .......................................................................................................... 1-3 1.2 Problem Resolution Metrics ............................................................................................... 1-4 1.3 User Support and Outreach ................................................................................................. 1-5 1.3.1 Tier 1 Support ........................................................................................................
    [Show full text]