yusuke1997/dblp-id-title huggingface dataset:
Birth of a Cruncher
Tightening access policy: the hidden trade-off
System Development Woes
Risks of cryptocurrencies
Grand Challenges in Trustworthy Computing at 20: A Retrospective Look at the Second CRA Grand Challenges Conference
Successful strategies for IPv6 rollouts.: Really
Supercomputing Policy Links Science and the 'C' World
The online research "bubble"
Reflections on black in computing
The strategic pursuit of artificial intelligence in the United Arab Emirates
Comment on Cheney's List-Compaction Algorithm
An Experimental Laboratory for Pattern Recognition and Signal Processing
What are you trying to pull?
Distributed Dynamic Systems - Introduction
Near-optimal hashing algorithms for approximate nearest neighbor in high dimensions
Remark on algorithm 272: Procedure for the normal distribution functions
Remark on algorithm 201 [M1]: shellsort
Computer Professionals Whose Scientific Freedom and Human Rights Have Been Violated - 1982
Manipulating word representations, and preparing students for coding jobs?
The problem with hands-free dashboard cellphones
Arabic Word Processing
Is the law ready for driverless cars?
Quantifying eventual consistency with PBS
Triform Programs
Intranet model and metrics
Representations for space planning
ACM Algorithm 149: Complete Elliptic Integral
Comments on a paper by Lowe
A Software Design Method for Real-Time Systems
Computational biology in the 21st century: scaling with compressive algorithms
Diffusion in Computing Networks: The Case of BITNET
Trouble at the source
PDEL - a language for partial differential equations
A Risks-related Bookshelf
Introduction to the Special Section on Next-Generation Database Systems
Technical Perspective: Toward Building a Differentially Private DBMS
Notes on the constructions of rational approximations for the eerror function and for similar functions
PetaFLOPS computing
The Myth of the Awesome Thinking Machine
Roots of 'program' revisited
The science of better science
A card format for reference files in information processing
Spyware: a view from the (online) street
Perceived health risks of 3G cell phones: do users care?
Further remarks on sampling a tape file - III
The tangible user interface and its evolution
Information cartography
Certification of Algorithm 67: Cram
Experiences Using Cooperative Interactive Storyboard Prototyping
Enabling highly scalable remote memory access programming with MPI-3 one sided
Why LINQ matters: cloud composability guaranteed
Why computer scientists should care about cyber conflict and U.S. national security policy
Surrounded by machines
Toward Megaprogramming
Using insurance to create trust on the Internet
Finland: The Unknown Soldier on the IT Front
ACM Europe
Simulation of traffic flows in a network
Additional comments on a problem in concurrent programming control
From science to engineering
Insights for AI from the human mind
Computer/communication systems for business
The Privacy Hoax
Parallel programming with transactional memory
When snipers become predators: can mechanism design save online auctions?
Software transparency and purity
Visual Cues for Local and Global Coherence in the WWW
The value of mobile applications: a utility company study
Extended Use of Null Productions in LR(1) Parser Applications
Using Technology to Address Old Problems in New Ways
Five deep questions in computing
Cutting the wait for CS advice
Technical perspective - Highly concurrent data structures
A model for a multifunctional teaching system
The System for Business Automation (SBA): Programming Language
Can more code mean fewer bugs?
Certification of algorithm 165 [S21]: complete elliptic integrals
Statistical computations based upon algebraically specified models
Toward a map interface not inherently related to geography
Profiling Computer Science Master's Programs
The (gradually) changing face of state IT jobs
Illustrating how mechanical assemblies work
YFCC100M: the new data in multimedia research
Multi-device digital assistance
Making ethical decisions
Telecommunications Using a Front-End Minicomputer
In School or Out: Technology, Equity, and the Future of Our Kids
Algorithm 316: Solution of simultaneous non-linear equations
Shared Leadership in the Apache Project
An Empirical Study of Insertion an Deletion in Binary Search Trees
A Proposal for a Generalized Card Code for 256 Characters
Liability risks in reusing third-party software
Personalized and adaptive systems for medical consumer applications
Spontaneous marriages of mobile devices and interactive spaces
Portals: toward an application framework for interoperability
Reading and Writing in the 21st Century
Pictorial Pattern Recognition and the Phase Problem of X-ray Crystallography
Piecing Together Complexity
Employment Characteristics of Doctoral Level Computer Scientists
A High Security Log-in Procedure
The structure of programming languages
Go big!
A programming package for some general modes of arithmetic
A deja-vu look at software engineering researchers who care about practice
Building Safer and Interoperable AI systems
Is that social bot behaving unethically?
A Rewarding Line of Work
Sir, please step away from the ASR-33!
The software architect
The social life of innovation
Algorithm 36: tchebycheff
A language for modeling and simulating dynamic systems
Algorithm 26: rootfinder III
On the Present and Future of Scientific Computation
Some Theorems to Aid in Solving the File Allocation Problem
Cartwheeling Through CamMotion
John H. Holland 1929-2015
Questioning lawful access to traffic data
A closer look at GPUs
Retrieval-Update Speed Tradeoffs Using Combined Indices
Totem: A Fault-Tolerant Multicast Group Communication System
The MG Retrieval System: Compressing for Space and Speed
DRM and public policy
Incomplete Beta Ratio (Remark on Algorithm 179)
Missing links: building critical social ties for global collaborative teamwork
Arithmetic Overa Finite Field [A1] (Algorithm 469)
Certification of algorithm 153: GOMORY
Grooming the leaders of tomorrow
Algorithm 139: Solutions of the diophantine equation
Five nonobvious remote work techniques
Technological responses to COVID-19
Toward the eco-grid: a harmoniously evolved interconnection environment
Apps and the web
Length of strings for a merge sort
NeXTstep: Putting JPEG to Multiple Uses
The patchwork nature of government computing support
Algorithm 385: Exponential integral Ei(x)
NewsInEssence: summarizing online news topics
backus normal form vs. Backus Naur form
Knowledge Abstraction
A Generalized Control Structure and Its Formal Definition
Eigenvalues of a Real, Symmetric, Tridiagonal Matrix [F2] (Algorithm 464)
Update On National Science Foundation Funding Of The "Collaboratory"
Is a privacy crisis experienced, a privacy crisis avoided?
Proof of a Program: FIND
The essence of software engineering: the SEMAT kernel
The IITRAN programming language
Welcome to the China region special section
Can a Course Be Taught Entirely Via Email?
Standards: Accommodating standards and identification of programming languages
Japan's View of EC '92
Getting what you measure
Letters to the editor: a program rack
Technical Perspective: Can We Uncover Private Backbone Infrastructures?
Automatic derivation of microsentences
Algorithms: Remark on algorithm 248: Netflow
Open, closed, or clopen access?
ACM Press Database and Electronic Products - New Services for the Information Age
COBOL: a sample problem
USACM and U.S. legislation
Remarks on the Practical Solution of Characteristic Value Problems
Spelling Correction in User Interfaces
Data brokers are watching you
Computational thinking should just be good thinking
An algorithm for deriving the equations of mathematical physics by symbolic manipulation
An interview with Dave Parnas
Discovering Shared Interests Using Graph Analysis
Top 10 downloads from ACM's Digital Library
Technology strategy and management: The legacy of Bill Gates
Aestetics and Human Factor in Programming
NEBULA: a digital computer using a 20Mc glass delay line memory
Simulation of computer logic by Fortran arithmetic
Computational Linguistics Finds its Voice
Symbol manipulation in FORTRAN: SASP I subroutines
Significance arithmetic on a digital computer
Evolutionary Computation for Discovery
Thinking Fast and Slow in Human and Machine Intelligence
The Internet electorate
Introducing computing to smaller colleges and universities - a progress report
The Object-Oriented Hypermedia Design Model
Authentication of Signature Using Public Key Encryption
Information science in a Ph.D. computer science program
Novice Mistakes: Are the Folk Wisdoms Correct?
A Succotash of Projections and Insights
Evolving the Scope of User-Centered Design
An Integer Programming Problem (Remark on Algorithm 397)
Role of word of mouth in online store loyalty
Code extension procedures for information interchange
Adaptive Web sites
Smart-Its: computers for artifacts in the physical world
Neurosymbolic AI
What is a code?
There is no getting around it: you are building a distributed system
Agent-based systems for disaster management
Special Section on Architectures for Knowledge-Based Systems - Introduction
Unlocking the Potential of Fully Homomorphic Encryption
Metadata-private communication for the 99%
Reviewing peer review
Orchestrating coordination in pluralistic networks
How Xday Figures in the Y2K Countdown
Security Mismatch
The Search for Performance in Scientific Processors (Turing Award Lecture)
Coding at a crossroads
Recursion Analysis for Compiler Optimization
Perturbations of Eigenvalues of Non-normal Matrices
Process mining
Master of tickets
An Insertion Algorithm for a Minimal Internal Path Length Binary Search Tree
Variations2: retrieving and using music in an academic setting
Remark on algorithm 178 [E4]: direct search
Algorithm 334: Normal random deviates
Manned simulation research in complex control systems
Viewing WISs as Database Applications
How secure is secure Web browsing?
Unknowns of the gig-economy
Trust in the preservation of digital information
Algorithm 35: Sieve
Computer-drawn flowcharts
A Proposed Solution to the Problem of Levels in Error-Message Generation
Technical Perspective: Linking form, function, and fabrication
Expert Finding for Collaborative Virtual Environments
Collaborative adhocracies and mix-and-match technologies in emergency management
Has the innovation cup run dry?
Celebrating excellence
Tape splitting in an iterative program
Cyber warfare: steganography vs. steganalysis
Data-driven algorithm design
Beyond diversity
In CS education, educate the educators first
Using the thread-fabric perspective to analyze industry dynamics
Letters to the editor: Avoiding bit manipulation in FORTRAN
Looking back and looking forward: power, performance, and upheaval
Why concurrent objects are recurrently complicated
Why virtual reality will transform a workplace near you
Copying List Structures Using Bounded Workspace
Formal analysis of MPI-based parallel programs
Algorithm 64: Quicksort
The conservation of uncertainty
A Further View of the First Quarter Century, Introduction to the April 1984 Special Section
Certification of algorithm 246: graycode
A Method for Incrementally Compiling Languages with Nested Statement Structure
Information and communication technology for managing supply chain risks
A proposal for definitions in ALGOL
Remarks on computer program for the construction of school timetables
Mobile computing and political transformation
Some New Methods of Detecting Step Edges in Digital Pictures
A survey of robotic musicianship
Metadata lessons from the iLumina digital library
Thinking clearly about performance, part 2
A Technique for Isolating Differences Between Files
Praises Come With a Hitch
Ontology Applications and Design - Introduction
Learning through games
When software engineering meets quantum computing
Aspect-oriented programming using reflection and metaobject protocols
Aligning undergraduate IS curricula with industry needs
Algorithm 356: a prime number generator using the treesort principle [A1]
Disk Scheduling: FCFS vs. SSTF Revisited
Symbolic Modeling in Practice - Introduction
Kode vicious: Pride and prejudice (the Vasa )
CMU's Andrew Project: A Retrospective
Certificates in AI: Learn but Verify
The battle of the covers
RFID and the perception of control: the consumer's view
Living in a digital world
Finding Circles by an Array of Accumulators
Thoughtless programming
Technical Perspective: Building knowledge bases from messy data
ACM Algorithm 236: Bessel Functions of the First Kind
On lethal autonomous weapons
Continuum computer architecture for exaflops computation
Confidential Container Groups
Viewpoint: Developing IT skills internationally: who's developing whom?
Uncloneable Cryptography
Bursting a few balloons regarding the famous DARPA red balloon challenge
Passwords and the evolution of imperfect authentication
A simple automatic derivative evaluation program
Keeping bits safe: how hard can it be?
Windows, DOS and the Mac
Implementing A Tenth Strand in the CS Curriculum
Protecting Digital Media Content
A phonological rule tester
ATM Virtual Private Networks
A Preliminary System for the Design of DBTG Data Structures
Closing out a print tape
The best place to build a subway
A short method for measuring error in a least-squares power series
Multicast over wireless networks
Software Cultures
The metadata enigma
Space/Time Trade-offs in Hash Coding with Allowable Errors
The Denotational Semantics of Programming Languages
Data-driven evolution of data mining algorithms
The SEED: a peer-to-peer environment for genome annotation
Computer Assisted Instruction: Current Trends
Intelligent Agents - Introduction to the Special Issue
DATA-DIAL: two-way communication with computers from ordinary dial telphones
The mindset of dependability
Changing the nature of AI research
Gary Chapman, technologist: 1952-2010
Q&A: Securing the Risk
Learning for the new digital age
Technical Perspective: Tapping the Link between Algorithmic Model Counting and Streaming
Algorithm 161: combinatorial of M things taken one at a time, two at a time, up to N at a time
Web science: a provocative invitation to computer science
Scatter Storage Techniques (Reprint)
What to know about risks
Algorithm 269: determinant evaluation [F3]
Prutor: an intelligent learning and management system for programming courses
FedStats Promotes Statistical Literacy
To Draw Is Human: Toward No-Code Subgraph Search
Digging into big provenance (with SPADE)
Technical Perspective: IronFleet simplifies proving safety and liveness properties
Technical perspective - Data stream processing: when you only get one look
Software dataplane verification
A system is not a product
Essential Business Object Design
Reimagining chess with AlphaZero
Companies proactively seek out internal threats
Why Are Case Tools Not Used?
On turbocharged, heat-seeking, robotic fishing poles
An Axiomatic Basis for Computer Programming (Reprint)
Algorithm 167: calculation of confluent divided differences
An interactive display for approximation by linear programming
Updating the Copyright Look and Feel Lawsuits
Human Communications Issues in Advanced UIs
Algorithm 148: Term of magic square
Opensocial: an enabler for social applications on the web
Principles and Applications of Chaotic Systems
"For all" in "computer science for all"
CS and biology's growing pains
Navigating in Hyperspace: Designing a Structure-Based Toolbox
Will supercomputers be super-data and super-AI machines?
Partnerships in the U.S. Telecommunications Industry
U.S. Copyright Office's Questions about Generative AI
Gaining Benefit from Artificial Intelligence and Data Science: A Three-Part Framework
Forked over
Attuning notification design to user goals and attention costs
Ethics of technology needs more political philosophy
Breadth and depth
XML fever
The Vulnerability-Adaptive Protection Paradigm
Measured Performance of an Ethernet Local Network
Technology-driven changes in work and employment
Has China caught up in IT?
Certification of algorithm 41: evaluation of determinant and algorithm 269: determinant evaluation
The P² Algorithm for Dynamic Calculation of Quantiiles and Histograms Without Storing Observations
Metaphors we compute by
Extreme programming compared with Microsoft-style iterative development
Multidisciplinary research on the datapath of the computing disciplines
The digital library for earth system education: building community, building the library
Algorithm 169: Newton interpolation with forward divided differences
The Evolution of the DECsystem 10
On risk, convenience, and Internet shopping behavior
A VM 'Engine' that makes a difference: technical perspective
Self-Organizing Search Lists Using Probabilistic Back-Pointers
Experiments on Evolving Software Models of Analog Circuits
Cyberaccess: web accessibility and corporate America
A Note on Chaos and Halley's Method
Abstract Class Hierarchies, Factories, and Stable Designs
Factors Incluencing Requirements Traceability Practice
On-skin computing
Security Without Identification: Transaction Systems to Make Big Brother Obsolete
Q&A - The networker
The Internet Gains Acceptance in the Persian Gulf
Out-of-this-world additive manufacturing
Certification of Algorithm 31: Gamma function
The Espirt ATLAS Project
Scan Line Methods for Displaying Parametrically Defined Surfaces
A quality-based cost estimation model for the product line life cycle
The heat method for distance computation
Etiquette equality: exhibitions and expectations of computer politeness
High-Confidence Design for Security: Don't Trust - Verify
PERT time calculations without topological ordering
The role of conference publications in CS
Systematic generation of Hamiltonian circuits
A Genealogy of Control Structures
Software project scope alignment: an outcome-based approach
Letters to the editor: On selecting the sites for IFIP congresses
Introduce rigorous controls into Perlis' publication system to make it effective
Automatic personalization based on Web usage mining
Injecting errors for fun and profit
Bitcoin's academic pedigree
Brain implants get real
Smalltalk on the Rise: Introduction to the Special Section
The Long-Term Future of Operating Systems
Advancing information technology in health care
Personal data and the internet of things
Knowledge management in small and medium-sized enterprises
In Memoriam: E. Allen Emerson
Weaving a wireless safety net
Hypergeometric (Certification and Remark on Algorithm 191)
Infoglut
A Performance Comparison of Four Supercomputers
Making a Digital Library: The Chemistry Online Retrieval Experiment
Two approaches to an information security laboratory
Keeping technology promises
Does the Internet Support Student Inquiry? Don't Ask
The Minimization of Spatially-Multiplexed Character Sets
CHOC'LATE: a framework for specification-based testing
Impacts of Life Cycle Models on Software Configuration Management
Cultural Perceptions of Task-Technology Fit
Long-term confidentiality of PKI
A relationship perspective on IT outsourcing
An interview with Michael Rabin
An Effective Way to Represent Quadtrees
ChatGPT, Can You Tell Me a Story? An Exercise in Challenging the True Creativity of Generative AI
More on integer conversion
Positive Alternatives: A Report on an ACM Panel on Hacking
Theory without experiments: have we gone too far?
Life after MOOCs
Commentary on Mr. Mooers' paper
The long game of research
The Synthetic Approach to Decision Table Conversion
From the front lines: Ground control to Architect Tom…
Programming the quantum future
Modeling people and places with internet photo collections
Teamwork in computing research
Natural Language with Discrete Speech as a Mode for Human-to-Machine Communication
Women in computer science: no shortage here!
An efficient procedure for the generation of closed subsets
Lost in Afghanistan: Can the World Take ICT4D Seriously?
IT policy - Advising policymakers is more than just providing advice
Estonia: a model for e-government
Measurements in Support of Research Accomplishments
New ways to think about CS education
Unifying logic and probability
A Bounded Storage Algorithm for Copying Cyclic Structures
Certification of algorithm 158: exponentiation of series
Randomized binary search technique
Bringing arbitrary compute to authoritative data
A Note on Subexpression Ordering in the Evaluation of Arithmetic Expressions
Certification of algorithm 20: real exponential integral
Letters to the editor: more suggestions for ALGOL 60
Is abstraction the key to computing?
Neural net worth
Cracking the Oyster
An Application of Artificial Intelligence to Operations Research
The Next Generation of Business Data Processing
Photography's bright future
Systematic aid for developing middleware architectures
Real Time Plotting of Approximate Contour Maps
Unlimited possibilities
Human interaction for high-quality machine translation
Blending digital and physical spaces for ubiquitous community participation
Certification of algorithm 55: complete elliptic integral of the first kind
Crossing the uncanny valley
Voyagers and voyeurs: Supporting asynchronous collaborative visualization
Zyzzyva: speculative Byzantine fault tolerance
Revealing the API ecosystem and enterprise strategy via visual analytics
Live forensics: diagnosing your system without killing it first
Technical perspective - A graphical sense of touch
Getting down to basics
ACM's 2018 general election: please take this opportunity to vote
Security flaws in 802.11 data link protocols
Securing the future of computer science; reconsidering analog computing
ACM publications finances for 2020
Internet abuse in the workplace - Introduction
Exoskeletons today
Certification of Algorithm 77: Avint
DESCRIPTRAN: automated descriptive geometry
Unlocking the Potential of Arabic Voice-Generation Technologies
Algorithm 308 Generation of the permutations in psedo-lexicographic order
Exact exponential algorithms
Technology for the most effective use of mankind
Certification of Algorithm 58: Matrix inversion
CTO roundtable: malware defense
Not so easy to forget
The Computer Science and Engineering Research Study (COSERS)
MUX, a Simple Approach to On-Line Computing
ACM A.M. Turing Award nominations solicited
Lifelong learning in artificial neural networks
Elements of the theory of dynamic networks
Algorithm 213: Fresnel integrals
Analysis of a file addressing method
Being recognized everywhere
Undergraduate software engineering
Future Internet design summit
Convolution engine: balancing efficiency and flexibility in specialized computing
Programming in K-12 science classrooms
EMV: why payment systems fail
Implementation of the Substring Test by Hashing
Organizing family support services at ACM conferences
A preplanned approach to a storage allocating compiler
Cylinder Lottery
Old dogs and new tricks
No backdoor required or expected
A computational extension of the variate difference method
Is It Math or CS? Or Is It Both?
Hardware conversion of decimal and binary numbers
Collaborative streaming in heterogeneous and dynamic scenarios
Is last-mile delivery a 'killer app' for self-driving vehicles?
Jack Minker (1927 - 2021)
From Zero to 100
Application of level changing to a multilevel storage organization
ACM China Council
A Comment on English Neologisms and Programming Language Keywords
Voting Technology Implementation
Programmable solid-state storage in future cloud datacenters
The DMCA Needs Fixing
Research for practice: knowledge base construction in the machine-learning era
Crush and Crash: Logic of a Terrible Tomorrow
FLOWTRACE, a computer program for flowcharting programs
Virtual duplicates
Augmented Reality and Parkinson's Disease
Human Factors Guidlines for Terminal Interface Design
Control Structures in Illiac IV Fortran
Share Standard Flow Chart Symbols
The business of professionals
Atomic-level computing
Orbit design
SCORE: agile research group management
In Memoriam: William A. Wulf
Bugging Out: Y2K Fallout or Business As Usual?
The positive and negative effects of social media in India
Practical knowledge management tool use in a software consulting company
On B-trees Re-examined
What Should We Do when Our Ideas of Fairness Conflict?
Mapping and Interpreting Biological Information
Technology interventions for road safety and beyond
A differential approach to undefined behavior detection
Exception Handling: Issues and a Proposed Notation