Alfred V. Aho

Publication Activity (10 Years)

Years Active: 1967-2022
Publications (10 Years): 3

Top Topics

Static Analysis

Fukunaga Koontz

Programming Language

Detect Malicious

Top Venues

Publications

Alfred V. Aho, Jeffrey D. Ullman
Abstractions, their algorithms, and their compilers. Commun. ACM 65 (2) (2022)
Alfred V. Aho
Computational thinking in programming language and compiler design (keynote). STOC (2021)
Suzanna Schmeelk, Fred Fontaine, Larisa Ackerman, Alfred V. Aho
Learning Java in a New York City immigrant engineer retraining program. FIE (2017)
Suzanna Schmeelk, Junfeng Yang, Alfred V. Aho
Android Malware Static Analysis Techniques. CISR (2015)
Alfred V. Aho, Georg Gottlob
' editorial transformation. Commun. ACM 57 (4) (2014)
Alfred V. Aho
Computation and Computational Thinking. Comput. J. 55 (7) (2012)
Alfred V. Aho
Ubiquity symposium: Computation and Computational Thinking. Ubiquity 2011 (January) (2011)
Alfred V. Aho
Teaching the compilers course. ACM SIGCSE Bull. 40 (4) (2008)
Marc Eaddy, Thomas Zimmermann, Kaitin D. Sherwood, Vibhav Garg, Gail C. Murphy, Nachiappan Nagappan, Alfred V. Aho
Do Crosscutting Concerns Cause Defects? IEEE Trans. Software Eng. 34 (4) (2008)
Marc Eaddy, Alfred V. Aho, Giuliano Antoniol, Yann-Gaël Guéhéneuc
CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis. ICPC (2008)
Marc Eaddy, Alfred V. Aho, Weiping Hu, Paddy McDonald, Julian Burger
Debugging Aspect-Enabled Programs. SC@ETAPS (2007)
Krysta M. Svore, Alfred V. Aho, Andrew W. Cross, Isaac L. Chuang, Igor L. Markov
A Layered Software Architecture for Quantum Computing Design Tools. Computer 39 (1) (2006)
Marc Eaddy, Alfred V. Aho
Statement Annotations for Fine-Grained Advising. RAM-SE (2006)
Krysta M. Svore, Andrew W. Cross, Isaac L. Chuang, Alfred V. Aho
A flow-map model for analyzing pseudothresholds in fault-tolerant quantum computing. Quantum Inf. Comput. 6 (3) (2006)
Kenneth A. Ross, Alfred V. Aho, Anastassia Ailamaki
Reminiscences on Influential Papers. SIGMOD Rec. 31 (4) (2002)
Alfred V. Aho, David Lee
Hierarchical networks and the LSA N-squared problem in OSPF routing. GLOBECOM (2000)
Alfred V. Aho, Sean Gallagher, Nancy D. Griffeth, Cynthia Schell, Deborah Swayne
SCF3/Sculptor with Chisel: Requirements Engineering for Communications Services. FIW (1998)
Alfred V. Aho, Shih-Fu Chang, Kathleen R. McKeown, Dragomir R. Radev, John R. Smith, Kazi A. Zaman
Columbia Digital News Project: An Environment for Briefing and Search over Multimedia Information. Int. J. Digit. Libr. 1 (4) (1997)
Alfred V. Aho, David S. Johnson, Richard M. Karp, S. Rao Kosaraju, Catherine C. McGeoch, Christos H. Papadimitriou, Pavel A. Pevzner
Emerging opportunities for theoretical computer science. SIGACT News 28 (3) (1997)
Alfred V. Aho, Shih-Fu Chang, Kathleen R. McKeown, Dragomir R. Radev, John R. Smith, Kazi A. Zaman
Columbia Digital News System An Environment for Briefing and Search over Multimedia Information. ADL (1997)
Alfred V. Aho
Accessing Information from Globally Distributed Knowledge Repositories. PODS (1996)
Alfred V. Aho, Nancy D. Griffeth
Feature Interactions in the Global Information Infrastructure (Panel). SIGSOFT FSE (1995)
Alfred V. Aho, Anton T. Dahbura, David Lee, M. Ümit Uyar
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. Commun. 39 (11) (1991)
Alfred V. Aho, Mahadevan Ganapathi, Steven W. K. Tjiang
Code Generation Using Tree Matching and Dynamic Programming. ACM Trans. Program. Lang. Syst. 11 (4) (1989)
Alfred V. Aho, Ravi Sethi
Maintaining Cross References in Manuscripts. Softw. Pract. Exp. 18 (1) (1988)
Alfred V. Aho, David Lee
Storing a Dynamic Sparse Table FOCS (1986)
Alfred V. Aho, Mahadevan Ganapathi
Efficient Tree Pattern Matching: An Aid to Code Generation. POPL (1985)
Alfred V. Aho
The UNIX system: Foreword. AT&T Bell Lab. Tech. J. 63 (8) (1984)
Alfred V. Aho, Jeffrey D. Ullman, Mihalis Yannakakis
On Notions of Information Transfer in VLSI Circuits STOC (1983)
Alfred V. Aho, Yehoshua Sagiv, Thomas G. Szymanski, Jeffrey D. Ullman
Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions. SIAM J. Comput. 10 (3) (1981)
Marvin V. Zelkowitz, W. Richards Adrion, Alfred V. Aho, Daniel G. Bobrow, Thomas Cheatham, John C. Cherniavsky, Susan L. Gerhart, Gordon Lyon, John Nestor, Terry A. Straeter
High level language programming environments. ACM SIGSOFT Softw. Eng. Notes 6 (4) (1981)
Alfred V. Aho
Translator Writing Systems: Where Do they Now Stand? Computer 13 (8) (1980)
Alfred V. Aho, Jeffrey D. Ullman, Mihalis Yannakakis
Modeling Communications Protocols by Automata FOCS (1979)
Alfred V. Aho, Brian W. Kernighan, Peter J. Weinberger
Awk-A Pattern Scanning and Processing Language. Softw. Pract. Exp. 9 (4) (1979)
Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman
Efficient Optimization of a Class of Relational Expressions. ACM Trans. Database Syst. 4 (4) (1979)
Alfred V. Aho, Jeffrey D. Ullman
The Universality of Data Retrieval Languages. POPL (1979)
Alfred V. Aho, Jeffrey D. Ullman
Optimal Partial-Match Retrieval When Fields Are Independently Specified. ACM Trans. Database Syst. 4 (2) (1979)
Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman
The Theory of Joins in Relational Databases. ACM Trans. Database Syst. 4 (3) (1979)
Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman
Equivalences Among Relational Expressions. SIAM J. Comput. 8 (2) (1979)
Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman
Efficient Optimization of a Class of Relational Expressions (Abstract). SIGMOD Conference (1978)
Alfred V. Aho, Susan L. Graham
Tools For Automatic Compiler Generation (Panel Discussion). ACM Annual Conference (1) (1978)
Alfred V. Aho, Stephen C. Johnson
Tools For Automatic Compiler Generation (Panel Discussion). ACM Annual Conference (1) (1978)
Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman
The Theory of Joins in Relational Data Bases (Extended Abstract) FOCS (1977)
Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
Code Generation for Machines with Multiregister Operations. POPL (1977)
Alfred V. Aho, Ravi Sethi
How Hard is Compiler Code Generation? ICALP (1977)
Alfred V. Aho, Michael R. Garey, Frank K. Hwang
Rectilinear steiner trees: Efficient special-case algorithms. Networks 7 (1) (1977)
Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
Code Generation for Expressions with Common Subexpressions. J. ACM 24 (1) (1977)
Alfred V. Aho, Daniel S. Hirschberg, Jeffrey D. Ullman
Bounds on the Complexity of the Longest Common Subsequence Problem. J. ACM 23 (1) (1976)
Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
Code Generation for Expressions with Common Subexpressions. POPL (1976)
Alfred V. Aho, Stephen C. Johnson
Optimal Code Generation for Expression Trees. J. ACM 23 (3) (1976)
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
On Finding Lowest Common Ancestors in Trees. SIAM J. Comput. 5 (1) (1976)
Alfred V. Aho, Jeffrey D. Ullman
Node Listings for Reducible Flow Graphs. J. Comput. Syst. Sci. 13 (3) (1976)
Alfred V. Aho, Margaret J. Corasick
Efficient String Matching: An Aid to Bibliographic Search. Commun. ACM 18 (6) (1975)
Alfred V. Aho, Stephen C. Johnson
Optimal Code Generation for Expression Trees STOC (1975)
Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
Deterministic Parsing of Ambiguous Grammars. Commun. ACM 18 (8) (1975)
Alfred V. Aho, Jeffrey D. Ullman
Node Listings for Reducible Flow Graphs STOC (1975)
Alfred V. Aho, Kenneth Steiglitz, Jeffrey D. Ullman
Evaluating Polynomials at Fixed Sets of Points. SIAM J. Comput. 4 (4) (1975)
Alfred V. Aho, Daniel S. Hirschberg, Jeffrey D. Ullman
Bounds on the Complexity of the Longest Common Subsequence Problem (Extended Abstract) SWAT (1974)
Alfred V. Aho, Jeffrey D. Ullman
Dynamic Memories with Rapid Random and Sequential Access. IEEE Trans. Computers 23 (3) (1974)
Alfred V. Aho, Stephen C. Johnson
LR Parsing. ACM Comput. Surv. 6 (2) (1974)
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
On Finding Lowest Common Ancestors in Trees STOC (1973)
Alfred V. Aho, Jeffrey D. Ullman
Error Detection in Precedence Parsers. Math. Syst. Theory 7 (2) (1973)
Alfred V. Aho, Jeffrey D. Ullman
A Technique for Speeding up LR(k) Parsers. SIAM J. Comput. 2 (2) (1973)
Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
Deterministic Parsing of Ambiguous Grammars. POPL (1973)
Alfred V. Aho, Thomas G. Peterson
A Minimum Distance Error-Correcting Parser for Context-Free Languages. SIAM J. Comput. 1 (4) (1972)
Alfred V. Aho, Jeffrey D. Ullman
Optimization of Straight Line Programs. SIAM J. Comput. 1 (1) (1972)
Alfred V. Aho, M. R. Garey, Jeffrey D. Ullman
The Transitive Reduction of a Directed Graph. SIAM J. Comput. 1 (2) (1972)
Alfred V. Aho, Jeffrey D. Ullman
Equivalence of Programs with Structured Variables. J. Comput. Syst. Sci. 6 (2) (1972)
Alfred V. Aho, Jeffrey D. Ullman
Optimization of LR(k) Parsers. J. Comput. Syst. Sci. 6 (6) (1972)
Alfred V. Aho, Jeffrey D. Ullman
A Technique for Speeding Up LR(k) Parsers STOC (1972)
Alfred V. Aho, Peter J. Denning, Jeffrey D. Ullman
Weak and Mixed Strategy Precedence Parsing. J. ACM 19 (2) (1972)
Alfred V. Aho, Jeffrey D. Ullman
Characterizations and Extensions of Pushdown Translations. Math. Syst. Theory 5 (2) (1971)
Alfred V. Aho, Jeffrey D. Ullman
The Care and Feeding of LR(k) Grammars STOC (1971)
Alfred V. Aho, Jeffrey D. Ullman
Translations on a Context-Free Grammar Inf. Control. 19 (5) (1971)
Alfred V. Aho, Peter J. Denning, Jeffrey D. Ullman
Principles of Optimal Page Replacement. J. ACM 18 (1) (1971)
Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman
A formal approach to code optimization. Symposium on Compiler Optimization (1970)
Alfred V. Aho, Jeffrey D. Ullman
Equivalence of Programs with Structured Variables SWAT (1970)
Alfred V. Aho, Jeffrey D. Ullman
A Characterization of Two-Way Deterministic Classes of Languages. J. Comput. Syst. Sci. 4 (6) (1970)
Alfred V. Aho, Jeffrey D. Ullman, John E. Hopcroft
On the Computational Power of Pushdown Automata. J. Comput. Syst. Sci. 4 (2) (1970)
Alfred V. Aho, Jeffrey D. Ullman
Transformations on Straight Line Programs-Preliminary Version STOC (1970)
Alfred V. Aho
Nested Stack Automata. J. ACM 16 (3) (1969)
Alfred V. Aho, Jeffrey D. Ullman
Translations on a Context Free Grammar STOC (1969)
Alfred V. Aho, Jeffrey D. Ullman
Syntax Directed Translations and the Pushdown Assembler. J. Comput. Syst. Sci. 3 (1) (1969)
Alfred V. Aho, Jeffrey D. Ullman
Properties of Syntax Directed Translations. J. Comput. Syst. Sci. 3 (3) (1969)
Alfred V. Aho, Jeffrey D. Ullman
A Characterization of Two-Way Deterministic Classes of Languages SWAT (1969)
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
A General Theory of Translation. Math. Syst. Theory 3 (3) (1969)
Alfred V. Aho
Indexed Grammars - An Extension of Context-Free Grammars. J. ACM 15 (4) (1968)
Alfred V. Aho
R68-27 Programming Languages for Automata. IEEE Trans. Computers 17 (6) (1968)
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
Time and Tape Complexity of Pushdown Automaton Languages Inf. Control. 13 (3) (1968)
Alfred V. Aho, Jeffrey D. Ullman
Automaton Analogs of Syntax Directed Translation Schemata SWAT (1968)
Alfred V. Aho, Jeffrey D. Ullman
The Theory of Languages. Math. Syst. Theory 2 (2) (1968)
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
A recognition algorithm for pushdown store systems. ACM National Conference (1968)
Alfred V. Aho
Indexed Grammars-An Extension of Context Free Grammars SWAT (1967)