Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, Volume 28 Issue 4es, Dec. 1996

Undirected behavior without unbounded search
Ronald J. Brachman, Hector J. Levesque
Article No.: 1
DOI: 10.1145/242224.242226

Integrating theory and practice in planning
Thomas L. Dean
Article No.: 2
DOI: 10.1145/242224.242228

Machine learning
Tom Dietterich
Article No.: 3
DOI: 10.1145/242224.242229

Cleaving (unto) artificial intelligence
Jon Doyle
Article No.: 4
DOI: 10.1145/242224.242230

Formality helps scalability and robustness
Cordell Green
Article No.: 5
DOI: 10.1145/242224.242231

The importance of integration for AI
Barbara J. Grosz
Article No.: 6
DOI: 10.1145/242224.242233

Integrated systems and naturalistic tasks
Ian Horswill
Article No.: 7
DOI: 10.1145/242224.242234

Structured representations and intractability
Daphne Koller
Article No.: 8
DOI: 10.1145/242224.242235

Language, computation and artificial intelligence
Fernando Pereira
Article No.: 9
DOI: 10.1145/242224.242236

Computational challenges in artificial intelligence
Bart Selman
Article No.: 10
DOI: 10.1145/242224.242237

The open scientific borders of AI, and the case of economics
Yoav Shoham
Article No.: 11
DOI: 10.1145/242224.242238

Two challenging domains
Howard E. Shrobe
Article No.: 12
DOI: 10.1145/242224.242239

Future directions in knowledge-based systems
William R. Swartout
Article No.: 13
DOI: 10.1145/242224.242241

The economic approach to artificial intelligence
Michael P. Wellman
Article No.: 14
DOI: 10.1145/242224.242242

Resource-bounded reasoning in intelligent systems
Shlomo Zilberstein
Article No.: 15
DOI: 10.1145/242224.242243

Simple and practical geometric algorithms
Pankaj K. Agarwal, Subhash Suri
Article No.: 16
DOI: 10.1145/242224.242244

Equipping CAD/CAM systems with geometric intelligence
Nancy M. Amato
Article No.: 17
DOI: 10.1145/242224.242245

Developing algorithms and software for geometric path planning problems
Danny Z. Chen
Article No.: 18
DOI: 10.1145/242224.242246

Graph drawing and information visualization
Ioannis G. Tollis
Article No.: 19
DOI: 10.1145/242224.242247

Communication issues in large-scale geometric computation
Jeffrey S. Vitter
Article No.: 20
DOI: 10.1145/242224.242249

Large-scope computing: the industrial challenges
George Cybenko
Article No.: 21
DOI: 10.1145/242224.242250

Challenges in computational science
Melvin Kalos
Article No.: 22
DOI: 10.1145/242224.242251

Thoughts on CSE candidates for industrial positions
Kenneth Neves
Article No.: 23
DOI: 10.1145/242224.242253

Computational science as one driving force for all aspects of computing research
John R. Rice
Article No.: 24
DOI: 10.1145/242224.242254

From theory to practice
Francis Sullivan
Article No.: 25
DOI: 10.1145/242224.242255

Importance of profiling and compatibility
Tom Conte
Article No.: 26
DOI: 10.1145/242224.242256

Incremental versus revolutionary research
Joel Emer
Article No.: 27
DOI: 10.1145/242224.242258

Distributed decentralized computing
Matt Farrens
Article No.: 28
DOI: 10.1145/242224.242259

Embedded, general-purpose, and high-performance systems
Dirk Grunwald
Article No.: 29
DOI: 10.1145/242224.242261

Applications, storage hierarchy, and integration
Kai Li
Article No.: 30
DOI: 10.1145/242224.242262

An industrial perspective on computer architecture
Jack Mills
Article No.: 31
DOI: 10.1145/242224.242263

Synergy between software and hardware
David Nagle
Article No.: 32
DOI: 10.1145/242224.242264

Microarchitecture, compilers and algorithms
Yale Patt
Article No.: 33
DOI: 10.1145/242224.242265

Multiscalar as a new architecture paradigm
Jim Smith
Article No.: 34
DOI: 10.1145/242224.242266

Microprocessor architecture challenges—the best is yet to come!
Wen-Hann Wang
Article No.: 35
DOI: 10.1145/242224.242267

Problems, challenges and the importance of performance evaluation
David Wood
Article No.: 36
DOI: 10.1145/242224.242269

The importance of process technology to microarchitecture
Robert Yung
Article No.: 37
DOI: 10.1145/242224.242270

Six issues concerning future directions in concurrency research
Jos C. M. Baeten, Jan A. Bergstra
Article No.: 39
DOI: 10.1145/242224.242272

Some major dichotomies relating to future research in concurrency
Eike Best
Article No.: 40
DOI: 10.1145/242224.242274

Semantic theories and system design
Rance Cleaveland
Article No.: 41
DOI: 10.1145/242224.242276

On the power of concurrency theory
Roberto Gorrieri
Article No.: 42
DOI: 10.1145/242224.242277

Network protocols between exact specifications and pragmatic implementations
Mohamed G. Gouda
Article No.: 43
DOI: 10.1145/242224.242278

Concurrency theory will set standards for description and analysis of software
Jan Friso Groote
Article No.: 44
DOI: 10.1145/242224.242280

Unifying theories: a personal statement
C. A. R. Hoare
Article No.: 46
DOI: 10.1145/242224.242282

Issues in concurrent systems research
David Luginbuhl
Article No.: 47
DOI: 10.1145/242224.242284

Logical foundations for open system design
Dale Miller
Article No.: 48
DOI: 10.1145/242224.242285

A discipline of multiprogramming
Jayadev Misra
Article No.: 49
DOI: 10.1145/242224.242286

Logics for concurrency: structure versus automata
Faron Moller
Article No.: 50
DOI: 10.1145/242224.242287

Causal computing
Ugo Montanari
Article No.: 51
DOI: 10.1145/242224.242289

Concurrency: theory and practice
Rocco De Nicola, Scott A. Smolka
Article No.: 52
DOI: 10.1145/242224.242290

Models for mobile computing agents
Sanjiva Prasad
Article No.: 53
DOI: 10.1145/242224.242292

Concurrency concepts: an ongoing search
Vaughan R. Pratt
Article No.: 54
DOI: 10.1145/242224.242293

Research directions for concurrency
Joseph Sifakis
Article No.: 55
DOI: 10.1145/242224.242294

Method engineering for real-life concurrent systems
Bernhard Steffen, Tiziana Margaria
Article No.: 56
DOI: 10.1145/242224.242296

Programming languages, analysis tools, and concurrency theory
Bent Thomsen
Article No.: 57
DOI: 10.1145/242224.242297

Where is the algorithmic support?
Pierre Wolper
Article No.: 58
DOI: 10.1145/242224.242298

Constraint databases: promising technology or just intellectual exercise?
Alexander Brodsky
Article No.: 59
DOI: 10.1145/242224.242299

The virtuality of constraints and the constraints of virtuality
Philippe Codognet
Article No.: 60
DOI: 10.1145/242224.242301

Bucket elimination: a unifying framework for processing hard and soft constraints
R. Dechter
Article No.: 61
DOI: 10.1145/242224.242302

Constraint programming
M. Dincbas
Article No.: 62
DOI: 10.1145/242224.242303

In pursuit of the holy grail
E. Freuder
Article No.: 63
DOI: 10.1145/242224.242304

Some challenges for constraint programming
Manuel Hermenegildo
Article No.: 64
DOI: 10.1145/242224.242305

Constraint programming 2000
J. Jaffar, R. Yap
Article No.: 65
DOI: 10.1145/242224.242307

Towards a constraint-based engineering framework for algorithm design and application
S. Kasif
Article No.: 66
DOI: 10.1145/242224.242308

Constraint-based design of embedded intelligent systems
Alan Mackworth
Article No.: 67
DOI: 10.1145/242224.242309

The rise of nonlinear mathematical programming
D. McAllester
Article No.: 68
DOI: 10.1145/242224.242311

Constraint-based programming
Ken McAloon
Article No.: 69
DOI: 10.1145/242224.242313

Constraint solving and programming: what's next?
Ugo Montanari, Francesca Rossi
Article No.: 70
DOI: 10.1145/242224.242314

CLP (intervals)
William J. Older
Article No.: 71
DOI: 10.1145/242224.242315

Future of constraint programming
Jean-Francois Puget
Article No.: 72
DOI: 10.1145/242224.242317

Constraints in databases
R. Ramakrishnan
Article No.: 73
DOI: 10.1145/242224.242318

Compositional computing
Vijay Saraswat
Article No.: 74
DOI: 10.1145/242224.242320

Constraints in OZ
Gert Smolka
Article No.: 75
DOI: 10.1145/242224.242321

Constraint programming for combinatorial search problems
Pascal Van Hentenryck
Article No.: 76
DOI: 10.1145/242224.242322

Thoughts on directions in database research
José Blakeley
Article No.: 77
DOI: 10.1145/242224.242324

Database technology at a crossroads
Umeshwar Dayal
Article No.: 78
DOI: 10.1145/242224.242326

Managing security and privacy of information
Sushil Jajodia
Article No.: 79
DOI: 10.1145/242224.242327

New focal points for research in database systems
Henry F. Korth
Article No.: 80
DOI: 10.1145/242224.242328

You think your DBMS is complex now…?
Guy M. Lohman
Article No.: 81
DOI: 10.1145/242224.242330

A role for research in the database industry
David Lomet
Article No.: 82
DOI: 10.1145/242224.242332

Repackaging database systems
David Maier
Article No.: 83
DOI: 10.1145/242224.242335

Transforming the database system into an open service concept
Frank Manola
Article No.: 84
DOI: 10.1145/242224.242336

Future of database systems: changing applications and technological developments
M. Tamer Özsu
Article No.: 85
DOI: 10.1145/242224.242337

Some promising directions for database research
Raghu Ramakrishnan
Article No.: 86
DOI: 10.1145/242224.242339

Application-oriented database support
Krithi Ramamritham
Article No.: 87
DOI: 10.1145/242224.242340

Improving the role of future database systems
Hans-J. Schek
Article No.: 88
DOI: 10.1145/242224.242341

The inefficiency of misalignment
Richard Thomas Snodgrass
Article No.: 89
DOI: 10.1145/242224.242342

Moving database theory into database practice
Jeff Ullman
Article No.: 90
DOI: 10.1145/242224.242343

Integrating heterogeneous databases: lazy or eager?
Jennifer Widom
Article No.: 91
DOI: 10.1145/242224.242344

Education goals and priorities
Owen Astrachan
Article No.: 92
DOI: 10.1145/242224.242345

Thoughts on computer science education
Kim Bruce
Article No.: 93
DOI: 10.1145/242224.242346

A revised curriculum framework
Robert Cupper
Article No.: 94
DOI: 10.1145/242224.242347

Business designs of the university
Peter Denning
Article No.: 95
DOI: 10.1145/242224.242348

What should we teach?
Scot Drysdale
Article No.: 96
DOI: 10.1145/242224.242349

First courses for nonmajors and public understanding of computer science
Charles Kelemen
Article No.: 97
DOI: 10.1145/242224.242350

Research in the curriculum, and the Web
Catherine McGeoch
Article No.: 98
DOI: 10.1145/242224.242352

First courses and fundamentals
Yale Patt
Article No.: 99
DOI: 10.1145/242224.242353

The future of computer science education
Viera Proulx, Richard Rasala
Article No.: 100
DOI: 10.1145/242224.242354

Calling for a virtual computing college
Roy Rada
Article No.: 101
DOI: 10.1145/242224.242356

Directions in computer science education
Eric Roberts
Article No.: 102
DOI: 10.1145/242224.242357

Interactive programming: revolutionizing introductory computer science
Lynn Andrea Stein
Article No.: 103
DOI: 10.1145/242224.242358

Crisis in computer science education
Allen Tucker
Article No.: 104
DOI: 10.1145/242224.242359

Universal access in digital libraries
Nabil R. Adam, Shamim Naqvi
Article No.: 105
DOI: 10.1145/242224.242360

Maximizing gross network product (GNP): resource management on the GII
Baruch Awerbuch
Article No.: 106
DOI: 10.1145/242224.242361

Constraint database technology for electronic trade with complex objectives
Alex Brodsky
Article No.: 107
DOI: 10.1145/242224.242362

Database mining challenges for digital libraries
Robert Grossman
Article No.: 108
DOI: 10.1145/242224.242364

The physics of politics in the information age
Jim Johnson
Article No.: 109
DOI: 10.1145/242224.242365

Flexible security policies for digital libraries
Barbara T. Blaustein, Catherine McCollum, Arnon Rosenthal
Article No.: 110
DOI: 10.1145/242224.242366

The future of electronic commerce: a pragmatic view
Anna-Lena Neches
Article No.: 111
DOI: 10.1145/242224.242368

The electronic commerce position paper
Karen Bennet, Jacob Slonim
Article No.: 112
DOI: 10.1145/242224.242369

Infrastructure and cost models for digital libraries
Ouri Wolfson
Article No.: 113
DOI: 10.1145/242224.242371

The next generation electronic library—capturing the experience
Howard D. Wactlar
Article No.: 114
DOI: 10.1145/242224.242372

Next steps in formal verification
Rajeev Alur
Article No.: 115
DOI: 10.1145/242224.242373

Tools and partial analysis
Edmund Clarke, Jeannette M. Wing
Article No.: 116
DOI: 10.1145/242224.242374

Formality and software design
Rance Cleaveland
Article No.: 117
DOI: 10.1145/242224.242376

Research goals for formal methods
Steven German
Article No.: 118
DOI: 10.1145/242224.242377

Some myths about formal verification
Thomas A. Henzinger
Article No.: 119
DOI: 10.1145/242224.242378

On-the-fly model checking
Gerard Holzmann
Article No.: 120
DOI: 10.1145/242224.242379

Formal methods light
Cliff Jones
Article No.: 121
DOI: 10.1145/242224.242380

User interfaces for formal methods
Doron Peled
Article No.: 122
DOI: 10.1145/242224.242381

Enhancing the utility of formal methods
John Rushby
Article No.: 123
DOI: 10.1145/242224.242382

Safety, security and quality
Joseph Sifakis
Article No.: 124
DOI: 10.1145/242224.242383

Hybrid and incremental modelchecking techniques
Prasad Sistla
Article No.: 125
DOI: 10.1145/242224.242384

Tools get formal methods into practice
Bernhard Steffen, Tiziana Margaria
Article No.: 126
DOI: 10.1145/242224.242385

The meaning of “formal”
Pierre Wolper
Article No.: 127
DOI: 10.1145/242224.242386

Software engineering research directions
Jim Woodcock
Article No.: 128
DOI: 10.1145/242224.242387

Implications of near-real-time three-dimensional interfaces
Steve Bryson
Article No.: 129
DOI: 10.1145/242224.242389

Making the technology serve the user
Dick C. A. Bulterman
Article No.: 130
DOI: 10.1145/242224.242390

Databases and the Web: new requirements for an easy access
Tiziana Catarci
Article No.: 131
DOI: 10.1145/242224.242391

Strategic directions in visual languages research
Wayne Citrin
Article No.: 132
DOI: 10.1145/242224.242392

Tailorable information visualization
Isabel F. Cruz
Article No.: 133
DOI: 10.1145/242224.250708

The adaptive multi-interface multimodal environment
Ephraim P. Glinert, R. Lindsay Todd, G. Bowden Wise
Article No.: 134
DOI: 10.1145/242224.242394

The end of exile
Jonathan Grudin
Article No.: 135
DOI: 10.1145/242224.242396

Strategic issues for human-computer interaction
James D. Hollan
Article No.: 136
DOI: 10.1145/242224.242397

Visual user interfaces for database systems
Yannis E. Ioannidis
Article No.: 137
DOI: 10.1145/242224.242399

The future of input devices
Robert J. K. Jacob
Article No.: 138
DOI: 10.1145/242224.242400

Evaluating usability evaluation techniques
Bonnie E. John
Article No.: 139
DOI: 10.1145/242224.242402

Thoughts on user interface processes and agendas
David Kurlander
Article No.: 140
DOI: 10.1145/242224.242403

Programmability and heuristics in the user interfaces
Brad A. Myers
Article No.: 141
DOI: 10.1145/242224.242404

Computational resources and the Internet
Dan R. Olsen, Jr.
Article No.: 142
DOI: 10.1145/242224.242407

A call for collaborative interfaces
Stuart M. Shieber
Article No.: 143
DOI: 10.1145/242224.242408

Advanced graphic user interfaces: elastic and tightly coupled windows
Ben Shneiderman
Article No.: 144
DOI: 10.1145/242224.242409

Future research directions in human-computer interaction
John Stasko
Article No.: 145
DOI: 10.1145/242224.242410

Human-centered information systems (HCIS)
Gary W. Strong
Article No.: 146
DOI: 10.1145/242224.242411

The WWW information glut: implications for next-generation HCI technologies
Kent Wittenburg
Article No.: 147
DOI: 10.1145/242224.242412

Separation and composition of concerns in the object-oriented model
M. Aksit
Article No.: 148
DOI: 10.1145/242224.242413

Object-oriented languages: the next generation
A. P. Black
Article No.: 149
DOI: 10.1145/242224.242414

Bad engineering properties of object-orient languages
L. Cardelli
Article No.: 150
DOI: 10.1145/242224.242415

Reflective languages and metalevel architectures
P. Cointe
Article No.: 151
DOI: 10.1145/242224.242416

Broadening beyond objects to patterns and to other paradigms
J. Coplien
Article No.: 152
DOI: 10.1145/242224.242418

Distributed programming abstractions
R. Guerraoui
Article No.: 153
DOI: 10.1145/242224.242419

Aspect-oriented programming
G. Kiczales
Article No.: 154
DOI: 10.1145/242224.242420

Specification, architecture, and interoperability
D. Lea
Article No.: 155
DOI: 10.1145/242224.242422

From transience to persistence in object-oriented programming: architectures and patterns
K. Lieberherr
Article No.: 156
DOI: 10.1145/242224.242423

Strategic research directions in object-oriented programming
O. Madsen
Article No.: 157
DOI: 10.1145/242224.242424

Technology integration
B. Magnusson
Article No.: 158
DOI: 10.1145/242224.242425

Why OOP needs new semantic foundations
José Meseguer
Article No.: 159
DOI: 10.1145/242224.242426

Trends in object-oriented programming
H. Mössenböck
Article No.: 160
DOI: 10.1145/242224.242427

Compiler technology for object-oriented languages
J. Palsberg
Article No.: 161
DOI: 10.1145/242224.242428

Using design patterns to guide the development of reusable object-oriented software
D. Schmidt
Article No.: 162
DOI: 10.1145/242224.242429

Global computation
Luca Cardelli
Article No.: 163
DOI: 10.1145/242224.242430

Program adaptation based on program transformation
Charles Consel
Article No.: 164
DOI: 10.1145/242224.242431

Program analysis: the abstract interpretation perspective
Patrick Cousot
Article No.: 165
DOI: 10.1145/242224.242433

Integration of declarative paradigms: benefits and challenges
Michael Hanus
Article No.: 166
DOI: 10.1145/242224.242434

Program analysis for software engineering: new applications, new requirements, new tools
Daniel Le Métayer
Article No.: 167
DOI: 10.1145/242224.242435

Perspectives on program analysis
Flemming Nielson
Article No.: 168
DOI: 10.1145/242224.242441

Challenges in type systems research
Martin Odersky
Article No.: 169
DOI: 10.1145/242224.242442

Future directions in program transformations
Robert Paige
Article No.: 170
DOI: 10.1145/242224.242444

Future directions in program transformation
Alberto Pettorossi, Maurizio Proietti
Article No.: 171
DOI: 10.1145/242224.242445

Beyond ML
John Reynolds
Article No.: 172
DOI: 10.1145/242224.242447

Semantics: the description of computational structures
Jon G. Riecke
Article No.: 173
DOI: 10.1145/242224.242448

The future of program analysis
Barbara Ryder
Article No.: 174
DOI: 10.1145/242224.242450

On the need for a popular formal semantics
David A. Schmidt
Article No.: 175
DOI: 10.1145/242224.242451

Provably secure programming languages for remote evaluation
Dennis Volpano
Article No.: 176
DOI: 10.1145/242224.242453

Program analysis—a toolmaker's perspective
Reinhard Wilhelm
Article No.: 177
DOI: 10.1145/242224.242454

Broadening real-time systems research
Alan Burns
Article No.: 178
DOI: 10.1145/242224.242456

Technical and educational challenges for real-time computing
Kevin Jeffay
Article No.: 179
DOI: 10.1145/242224.242457

Consumer real-time systems
Mike Jones
Article No.: 180
DOI: 10.1145/242224.242459

Large-scale distributed real-time systems
Gary Koob
Article No.: 181
DOI: 10.1145/242224.242460

Formal verification, testing and checking of real-time systems
Insup Lee
Article No.: 182
DOI: 10.1145/242224.242461

Analytical methods for real-time computing
John Lehoczky
Article No.: 183
DOI: 10.1145/242224.242463

Validation of timing properties
Jane Liu
Article No.: 184
DOI: 10.1145/242224.242464

Firm real-time systems
Al Mok
Article No.: 185
DOI: 10.1145/242224.242465

Predictability: demonstrating real-time properties
Krithi Ramamritham
Article No.: 186
DOI: 10.1145/242224.242466

Real-time in the real world
Lui Sha
Article No.: 187
DOI: 10.1145/242224.242467

The pervasiveness of real-time computing
Jack Stankovic
Article No.: 188
DOI: 10.1145/242224.242468

Real-time research in the Department of Defense
Andre van Tilborg
Article No.: 189
DOI: 10.1145/242224.242470

Software engineering and programming language considerations for ubiquitous computing
Gregory Abowd
Article No.: 190
DOI: 10.1145/242224.242471

Towards reusable, extensible components
Craig Chambers
Article No.: 192
DOI: 10.1145/242224.242473

New functionality for programming languages
Lori A. Clarke, Peri Tarr
Article No.: 193
DOI: 10.1145/242224.242474

Programming language requirements for the next millennium
William G. Griswold, Richard Wolski, Scott B. Baden, Stephen J. Fink, Scott R. Kohn
Article No.: 194
DOI: 10.1145/242224.242475

Research in programming languages for composability, safety, and performance
Robert Harper, Peter Lee
Article No.: 195
DOI: 10.1145/242224.242476

Building domain-specific embedded languages
Paul Hudak
Article No.: 196
DOI: 10.1145/242224.242477

The challenge of language technology transfer
Sam Kamin
Article No.: 197
DOI: 10.1145/242224.242478

Representation issues for reengineering interactive systems
Melody M. Moore
Article No.: 199
DOI: 10.1145/242224.242479

Software evolution and integration
Jens Palsberg
Article No.: 200
DOI: 10.1145/242224.242480

Beyond coding
Bill Scherlis
Article No.: 201
DOI: 10.1145/242224.242481

Programming languages and software engineering: past, present and future
Jack Wileden
Article No.: 202
DOI: 10.1145/242224.242482

How do we improve software quality and how do we show that it matters?
Lori A. Clarke
Article No.: 203
DOI: 10.1145/242224.242483

Mission-critical applications, commercial value and software quality
Richard A. DeMillo
Article No.: 204
DOI: 10.1145/242224.242484

Separating concerns in software quality
William McKeeman
Article No.: 205
DOI: 10.1145/242224.242486

Getting quality methods into practice
Edward F. Miller, Jr.
Article No.: 206
DOI: 10.1145/242224.242487

Large-scale file systems with the flexibility of databases
Alok Choudhary, David Kotz
Article No.: 207
DOI: 10.1145/242224.242488

A bridging model for parallel computation, communication, and I/O
Thomas H. Cormen, Michael T. Goodrich
Article No.: 208
DOI: 10.1145/242224.242490

Self-managing network-attached storage
Garth A. Gibson, John Wilkes
Article No.: 209
DOI: 10.1145/242224.242491

System-level design issues for storage I/O
Richard R. Muntz, Joseph Pasquale
Article No.: 210
DOI: 10.1145/242224.242492

Adaptation: the key to mobile I/O
M. Satyanarayanan, Carla Schlatter Ellis
Article No.: 211
DOI: 10.1145/242224.242494

I/O-efficient algorithms and environments
Darren Erik Vengroff, Jeffrey Scott Vitter
Article No.: 212
DOI: 10.1145/242224.242495

The impact of the Web on networking research
Paul Green
Article No.: 213
DOI: 10.1145/242224.242497

Future directions in networking research
Jim Kurose
Article No.: 214
DOI: 10.1145/242224.242498

Towards internet computing
Joseph Pasquale
Article No.: 215
DOI: 10.1145/242224.242499

A 1996 snapshot of computational learning theory
Dana Angluin
Article No.: 216
DOI: 10.1145/242224.242501

Infrastructure issues related to theory of computing research
Faith Fich
Article No.: 217
DOI: 10.1145/242224.242502

Theory of computing: a scientific perspective
Oded Goldreich, Avi Wigderson
Article No.: 218
DOI: 10.1145/242224.242503

ML and beyond
Robert Harper, John Mitchell
Article No.: 219
DOI: 10.1145/242224.242438