DOCSLIB.ORG

ACM JOURNALS S.No. TITLE PUBLICATION RANGE :STARTS PUBLICATION RANGE: LATEST URL 1. ACM Computing Surveys Volume 1 Issue 1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ACM JOURNALS S.No. TITLE PUBLICATION RANGE :STARTS PUBLICATION RANGE: LATEST URL 1. ACM Computing Surveys Volume 1 Issue 1 ACM JOURNALS S.No. TITLE PUBLICATION RANGE :STARTS PUBLICATION RANGE: LATEST URL 1. ACM Computing Surveys Volume 1 Issue 1 (March 1969) Volume 49 Issue 3 (October 2016) http://dl.acm.org/citation.cfm?id=J204 Volume 24 Issue 1 (Feb. 1, 2. ACM Journal of Computer Documentation Volume 26 Issue 4 (November 2002) http://dl.acm.org/citation.cfm?id=J24 2000) ACM Journal on Emerging Technologies in 3. Volume 1 Issue 1 (April 2005) Volume 13 Issue 2 (October 2016) http://dl.acm.org/citation.cfm?id=J967 Computing Systems 4. Journal of Data and Information Quality Volume 1 Issue 1 (June 2009) Volume 8 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J1191 Journal on Educational Resources in Volume 1 Issue 1es (March 5. Volume 16 Issue 2 (March 2016) http://dl.acm.org/citation.cfm?id=J814 Computing 2001) 6. Journal of Experimental Algorithmics Volume 1 (1996) Volume 21 (2016) http://dl.acm.org/citation.cfm?id=J430 7. Journal of the ACM Volume 1 Issue 1 (Jan. 1954) Volume 63 Issue 4 (October 2016) http://dl.acm.org/citation.cfm?id=J401 8. Journal on Computing and Cultural Heritage Volume 1 Issue 1 (June 2008) Volume 9 Issue 3 (October 2016) http://dl.acm.org/citation.cfm?id=J1157 ACM Letters on Programming Languages Volume 2 Issue 1-4 9. Volume 1 Issue 1 (March 1992) http://dl.acm.org/citation.cfm?id=J513 and Systems (March–Dec. 1993) 10. ACM Transactions on Accessible Computing Volume 1 Issue 1 (May 2008) Volume 9 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J1156 11. ACM Transactions on Algorithms Volume 1 Issue 1 (July 2005) Volume 13 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J982 12. ACM Transactions on Applied Perception Volume 1 Issue 1 (July 2004) Volume 14 Issue 2 (October 2016) http://dl.acm.org/citation.cfm?id=J932 ACM Transactions on Architecture and Code 13. Volume 1 Issue 1 (March 2004) Volume 13 Issue 4 (October 2016) http://dl.acm.org/citation.cfm?id=J924 Optimization 14. Volume 1 Issue 1 (March 2002) http://dl.acm.org/citation.cfm?id=J820&picked=prox ACM Transactions on Asian and Low- 15. Volume 1 Issue 1 (March 2002) Volume 16 Issue 2 (October 2016) http://dl.acm.org/citation.cfm?id=J1521 Resource Language Information Processing ACM Transactions on Autonomous and Volume 1 Issue 1 (September 16. Volume 11 Issue 3 (September 2016) http://dl.acm.org/citation.cfm?id=J1010 Adaptive Systems 2006) Volume 1 Issue 1 (February 17. ACM Transactions on Computation Theory Volume 9 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J1190 2009) 18. ACM Transactions on Computational Logic Volume 1 Issue 1 (July 2000) Volume 17 Issue 4 (November 2016) http://dl.acm.org/citation.cfm?id=J773 19. ACM Transactions on Computer Systems Volume 1 Issue 1 (Feb. 1983) Volume 34 Issue 4 (October 2016) http://dl.acm.org/citation.cfm?id=J774 ACM Transactions on Computer-Human 20. Volume 1 Issue 1 (March 1994) Volume 23 Issue 5 (October 2016) http://dl.acm.org/citation.cfm?id=J756 Interaction 21. ACM Transactions on Computing Education Volume 16 Issue 4 (October 2016) 22. ACM Transactions on Database Systems Volume 1 Issue 1 (March 1976) Volume 41 Issue 4 (November 2016) http://dl.acm.org/citation.cfm?id=J777 ACM Transactions on Design Automation of 23. Volume 1 Issue 1 (Jan. 1996) Volume 21 Issue 4 (September 2016) http://dl.acm.org/citation.cfm?id=J776 Electronic Systems 24. ACM Transactions on Economics and Volume 1 Issue 1 (January Volume 5 Issue 2 (October 2016) http://dl.acm.org/citation.cfm?id=J1359 Computation 2013) ACM Transactions on Embedded Computing Volume 1 Issue 1 (November 25. Volume 16 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J840 Systems 2002) 26. ACM Transactions on Graphics Volume 1 Issue 1 (Jan. 1982) Volume 36 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J778 27. ACM Transactions on Information Systems Volume 1 Issue 1 (Jan. 1983) Volume 35 Issue 2 (October 2016) http://dl.acm.org/citation.cfm?id=J779 ACM Transactions on Information and 28. Volume 1 Issue 1 (Nov. 1998) Volume 18 Issue 4 (May 2016) http://dl.acm.org/citation.cfm?id=J789 System Security ACM Transactions on Intelligent Systems Volume 1 Issue 1 (October 29. Volume 8 Issue 2 (November 2016) http://dl.acm.org/citation.cfm?id=J1318 and Technology 2010) Volume 6 Issue 3 (October 2016) - ACM Transactions on Interactive Intelligent Volume 1 Issue 1 (October 30. Regular Articles and Special Issue on http://dl.acm.org/citation.cfm?id=J1341 Systems 2011) Highlights of ICMI 2014 (Part 2 of 2) 31. ACM Transactions on Internet Technology Volume 1 Issue 1 (Aug. 2001) Volume 16 Issue 3 (August 2016) http://dl.acm.org/citation.cfm?id=J780 ACM Transactions on Knowledge Discovery 32. Volume 1 Issue 1 (March 2007) Volume 11 Issue 1 (August 2016) http://dl.acm.org/citation.cfm?id=J1054 from Data ACM Transactions on Management Volume 1 Issue 1 (December 33. Volume 7 Issue 3 (October 2016) http://dl.acm.org/citation.cfm?id=J1320 Information Systems 2010) ACM Transactions on Mathematical 34. Volume 1 Issue 1 (March 1975) Volume 43 Issue 3 (September 2016) http://dl.acm.org/citation.cfm?id=J782 Software ACM Transactions on Modeling and 35. Volume 1 Issue 1 (Jan. 1991) Volume 27 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J781 Computer Simulation ACM Transactions on Modeling and 36. Performance Evaluation of Computing Volume 1 Issue 1 (March 2016) Volume 2 Issue 1 (October 2016) http://dl.acm.org/citation.cfm?id=J1525 Systems ACM Transactions on Multimedia Volume 1 Issue 1 (February 37. Computing, Communications, and Volume 13 Issue 1 (November 2016) http://dl.acm.org/citation.cfm?id=J961 2005) Applications Volume 1 Issue 1 (September 38. ACM Transactions on Parallel Computing Volume 3 Issue 3 (October 2016) http://dl.acm.org/citation.cfm?id=J1496 2014) 39. ACM Transactions on Privacy and Security Volume 1 Issue 1 (Nov. 1998) Volume 19 Issue 3 (October 2016) http://dl.acm.org/citation.cfm?id=J1547 ACM Transactions on Programming 40. Volume 1 Issue 1 (July 1979) Volume 38 Issue 4 (October 2016) http://dl.acm.org/citation.cfm?id=J783 Languages and Systems ACM Transactions on Reconfigurable 41. Volume 1 Issue 1 (March 2008) Volume 10 Issue 1 (September 2016) http://dl.acm.org/citation.cfm?id=J1151 Technology and Systems 42. ACM Transactions on Sensor Networks Volume 1 Issue 1 (August 2005) Volume 12 Issue 4 (October 2016) http://dl.acm.org/citation.cfm?id=J981 ACM Transactions on Software Engineering 43. Volume 1 Issue 1 (Jan. 1992) Volume 25 Issue 4 (October 2016) http://dl.acm.org/citation.cfm?id=J790 and Methodology ACM Transactions on Spatial Algorithms and 44. Volume 1 Issue 1 (August 2015) Volume 2 Issue 4 (November 2016) http://dl.acm.org/citation.cfm?id=J1514 Systems 45. ACM Transactions on Speech and Language Volume 1 (November 2004) Volume 10 Issue 4 (December 2013) http://dl.acm.org/citation.cfm?id=J957 Processing Volume 1 Issue 1 (February 46. ACM Transactions on Storage Volume 12 Issue 4 (August 2016) http://dl.acm.org/citation.cfm?id=J960 2005) 47. ACM Transactions on the Web Volume 1 Issue 1 (May 2007) Volume 10 Issue 3 (August 2016) http://dl.acm.org/citation.cfm?id=J1062 IEEE/ACM Transactions on Audio, Speech Volume 22 Issue 1 (January 48. Volume 24 Issue 9 (September 2016) http://dl.acm.org/citation.cfm?id=J1508 and Language Processing 2014) IEEE/ACM Transactions on Computational Volume 1 Issue 1 (January Volume 13 Issue 4 (JULY/AUGUST 49. http://dl.acm.org/citation.cfm?id=J954 Biology and Bioinformatics 2004) 2016) 50. IEEE/ACM Transactions on Networking Volume 1 Issue 1 (Feb. 1993) Volume 24 Issue 4 (August 2016) http://dl.acm.org/citation.cfm?id=J771 51. 52. Transactions on Cyberphysical Systems Volume 1, Issue 1 (January 2017) ACM MAGAZINES S.No. TITLE PUBLICATION RANGE: START PUBLICATION RANGE: LATEST URL Volume 1 Issue 1 (March 1. ACM Inroads 2010) Volume 7 Issue 3 (September 2016) http://dl.acm.org/citation.cfm?id=J1268 Volume 59 Issue 11 (November 2. Communications of the ACM Volume 1 Issue 1 (Jan. 1958) 2016) http://dl.acm.org/citation.cfm?id=J79 Computers in Entertainment / Theoretical and Practical Computer Volume 12 Issue 3 (Fall 3. Applications in Entertainment 2014) http://dl.acm.org/citation.cfm?id=J912 Volume 1 Issue 1 Volume 22 Issue 4 (Summer 2016) - 4. Crossroads (September 1994) Cultures of Computing http://dl.acm.org/citation.cfm?id=J190 Volume 14 Issue 5 (September- Volume 1 Issue 1 (March October 2016) - Network 5. Queue 2003) Congestion http://dl.acm.org/citation.cfm?id=J882 Volume 1 Issue 1 (Sept. 6. StandardView 1993) Volume 6 Issue 4 (Dec. 1998) http://dl.acm.org/citation.cfm?id=J741 Volume 2000 Issue February (February 1 - February 28, Volume 2016 Issue October 7. Ubiquity 2000) (October 2016) http://dl.acm.org/citation.cfm?id=J793 XRDS: Crossroads, The ACM Magazine Volume 1 Issue 1 8. for Students (September 1994) Volume 23 Issue 1 (Fall 2016) http://dl.acm.org/citation.cfm?id=J1271 Volume 2001 Issue 5 (May Volume 2016 Issue 10 (10-01-2016) 9. eLearn 2001) - October http://dl.acm.org/citation.cfm?id=J815 10. intelligence Issue 24 (October 1970) Volume 12 Issue 4 (Winter 2001) http://dl.acm.org/citation.cfm?id=J372 Volume 23 Issue 6 (November- 11.
Load more

Recommended publications
  • Communication of Design Quarterly
    Volume 1 Issue 2 January 2013 Communication of Design Quarterly Published by the Association for Computing Machinery Special Interest Group for Design of Communication ISSN: 2166-1642 Contents....................................................................................................................................................................................1 Editorial.....................................................................................................................................................................................3 Notes from the Chair............................................................................................................................................................5 SIGDOC 2013 conference...................................................................................................................................................7 Uncovering Analogness and Digitalness in Interactive Media.............................................................................8 Development Framework Components as Commonplaces..............................................................................37 I See You’re Talking #HPV: Communication Pattersn in the #HPV Stream on Twitter...............................50 Communication Design Quarterly ACM SIGDOC (Special Interest Group Design of Communication) seeks to be the premier information source for industry, management, and academia in the multidisciplinary field of the design and communication of information. It contains a
    [Show full text]
  • Clarisse Sieckenius De Souza Academic Degrees Positions
    Clarisse de Souza’s Short CV (as of December 2014) Clarisse Sieckenius de Souza Born 23.09.57 in Bento Gonçalves, State of Rio Grande do Sul, Brazil Academic degrees PhD, Applied Linguistics – Computational Linguistics, PUC‐Rio, 1988. MA, Portuguese Language, PUC‐Rio, 1982. BA, Written, Consecutive and Simultaneous Translation (Portuguese, English, French), PUC‐Rio, 1979. Positions 1982-1988 Head of Natural Language Database Querying Systems Design Group at EMBRATEL (Brazilian Telecommunications Company) 1987-1988 Visiting Professor at the Department of Informatics, PUC-Rio 1988-2006 Assistant/Associate Professor at the Department of Informatics, PUC-Rio 1989 Visiting Researcher at Philips Research Labs, Surrey UK (2 months) – with Donia Scott Visiting Scholar at CSLI (Center for the Study of Language and Information), Stanford 1991-1992 University (6 months) – with Terry Winograd Visiting Researcher (for short Winter visits, 1-2 months) at the Computer Science 1998…2001 Department, University of Waterloo (Canada), as part of collaboration with Tom Carey Visiting Professor at the Information Systems Department, University of Maryland Baltimore County (4 months) – with Jenny Preece 2002 Full Professor at the Department of Informatics, PUC-Rio. 2006-to date Research areas Human‐computer interaction. Semiotics and HCI. HCI theories. End User Development. Computer‐Mediated Communication. Cultural Dimensions in HCI. Awards and Distinctions 2010: ACM SIGDOC Rigo Award, “for extraordinary contributions to the field of communication design”. (http://sigdoc.acm.org/awards/rigo‐award/) 2013: Inducted to ACM SIGCHI CHI Academy. (http://www.sigchi.org/about/awards/2013‐ sigchi‐awards‐1) 2014: IFIP TC13 Pioneer in Human‐Computer Interaction (award to be handed over at INTERACT 2015 in Bamberg, September 2015 http://interact2015.org/) PhD supervising Currently principal supervisor of 4 PhD projects and co-supervisor of 2 PhD projects.
    [Show full text]
  • 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]
  • 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]