%% Sethi R % % converted from refer format by refer-to-bibtex 0.7.1 % @article{Aho70, author = {A. V. Aho and R. Sethi and J. D. Ullman}, title = {A Formal Approach to Code Optimization}, journal = {ACM SIGPLAN Notices}, volume = {5}, number = {7}, pages = {86--100}, month = {July}, year = {1970}, note = {From {\it Proc. ACM Symp. on Compiler Optimization,} Univ. of Illinois.} } @article{Sethi70, author = {R. Sethi and J. D. Ullman}, title = {The Generation of Optimal Code for Arithmetic Expressions}, journal = {J. Assoc. Comp. Mach.}, volume = {17}, number = {4}, pages = {715--728}, month = {October}, year = {1970}, keywords = {acm jacm} } @incollection{Aho72, author = {A. V. Aho and R. Sethi and J. D. Ullman}, editor = {R. Rustin}, title = {Code Optimization and Finite Church-Rosser Systems}, booktitle = {Design and Optimization of Compilers}, pages = {89--106}, publisher = {Prentice-Hall}, year = {1972} } @inproceedings{Sethi72, author = {R. Sethi}, title = {Validating Register Allocations for Straight Line Programs}, booktitle = {Proc. 4th ACM Symp. on Theory of Computing}, pages = {222--237}, address = {Denver, Col.}, month = {May}, year = {1972} } @article{Sethi73, author = {R. Sethi}, title = {A Note on Implementing Parallel Assignment Instructions}, journal = {Information Processing Letters}, volume = {2}, pages = {91--95}, year = {1973} } @inproceedings{Bruno74, author = {J. Bruno and Coffman, Jr, E. G. and R. Sethi}, title = {Algorithms for Minimizing Mean Flow Time}, booktitle = {Proc. IFIP 74}, pages = {504--510}, publisher = {North Holland}, address = {Amsterdam}, year = {1974} } @article{Bruno74a, author = {J. Bruno and Coffman, Jr., E. G. and R. Sethi}, title = {Scheduling Independent Tasks to Reduce Mean Finishing Time}, journal = {Comm. Assoc. Comp. Mach.}, volume = {17}, number = {7}, pages = {382--387}, month = {July}, year = {1974}, keywords = {acm cacm} } @article{Sethi74, author = {R. Sethi}, title = {Testing for the Church-Rosser Property}, journal = {J. Assoc. Comp. Mach.}, volume = {21}, number = {4}, pages = {671--679}, month = {October}, year = {1974}, keywords = {acm jacm}, note = {Errata in {\it J. Assoc. Comp. Mach.} {\bf 22}(3), p. 424 (July 1975)} } @article{Sethi75, author = {R. Sethi}, title = {Complete Register Allocation Problems}, journal = {SIAM J. Computing}, volume = {4}, number = {3}, pages = {226--248}, month = {September}, year = {1975} } @inproceedings{Lam75, author = {S. Lam and R. Sethi}, title = {Analysis of a Level Algorithm for Preemptive Scheduling}, booktitle = {Proc. 5th Symp. on Operating Systems Principles Operating System Review}, volume = {9}, number = {5}, pages = {178--186}, address = {Austin, Texas}, month = {November}, year = {1975} } @article{Coffman76, author = {Coffman, Jr., E. G. and R. Sethi}, title = {Algorithms Minimizing Mean Flow Time: Schedule Length Properties}, journal = {Acta Informatica}, volume = {6}, number = {1}, pages = {1--14}, year = {1976}, note = {ctr127} } @incollection{Sethi76, author = {R. Sethi}, editor = {Coffman, Jr., E. G.}, title = {Chapter 2: Algorithms for Minimal Length Schedules}, booktitle = {Computer and Jobshop Scheduling Theory}, pages = {51--99}, publisher = {John Wiley}, address = {New York, NY}, year = {1976}, note = {Polish translation published by Wydawnictwa Naukowo-Technicze, Warsaw,1980. Russian translation, 1984.} } @article{Johnson76, author = {D. B. Johnson and R. Sethi}, title = {A Characterization of {LL}(1) Grammars}, journal = {BIT}, volume = {16}, number = {3}, pages = {275--280}, year = {1976} } @article{Sethi76a, author = {R. Sethi}, title = {Scheduling Graphs on Two Processors}, journal = {SIAM J. Computing}, volume = {5}, number = {1}, pages = {73--82}, month = {March}, year = {1976}, note = {ctr127} } @article{Garey76, author = {M. R. Garey and D. S. Johnson and R. Sethi}, title = {The Complexity of Flowshop and Jobshop Scheduling}, journal = {Math. of Op. Res.}, volume = {2}, number = {2}, pages = {117--129}, month = {May}, year = {1976}, mrnumber = {TM 75-1212-11, 75-1216-37}, note = {ctr127} } @article{Coffman76a, author = {Coffman, Jr., E. G. and R. Sethi}, title = {A Generalized Bound on {LPT} Sequencing}, journal = {Revue Francaise d'Automatique, Informatique et Recherche Operationelle (Blue Series)}, volume = {10}, number = {5}, pages = {17--26}, month = {May}, year = {1976} } @article{Bruno76, author = {J. Bruno and R. Sethi}, title = {Code Generation for a One-Register Machine}, journal = {J. Assoc. Comp. Mach.}, volume = {23}, number = {3}, pages = {502--510}, month = {July}, year = {1976}, keywords = {acm jacm}, note = {ctr127} } @article{Cook76, author = {S. Cook and R. Sethi}, title = {Storage Requirements for Deterministic Polynomial Time Recognizable Languages}, journal = {J. Comp. Sys. Sci.}, volume = {13}, number = {1}, pages = {25--37}, month = {August}, year = {1976} } @article{Downey76, author = {P. J. Downey and R. Sethi}, title = {Correct Computation Rules for Recursive Languages}, journal = {SIAM J. Computing}, volume = {5}, number = {3}, pages = {378--401}, month = {September}, year = {1976} } @incollection{Aho77, author = {A. V. Aho and R. Sethi}, title = {How Hard is Compiler Code Generation}, booktitle = {Automata Languages and Programming, Fourth Colloquium, Turku, Finland}, pages = {1--15}, publisher = {Lecture Notes in Computer Science {\bf 52}, Springer Verlag}, address = {Berlin}, year = {1977} } @article{Horvath77, author = {E. C. Horvath and S. Lam and R. Sethi}, title = {A Level Algorithm for Preemptive Scheduling}, journal = {J. Assoc. Comp. Mach.}, volume = {24}, number = {1}, pages = {32--43}, month = {January}, year = {1977}, keywords = {acm jacm} } @inproceedings{Prabhala77, author = {B. Prabhala and R. Sethi}, title = {A Comparison of Instruction Sets for Stack Machines}, booktitle = {Proc. 9th ACM Symp. on Theory of Computing}, pages = {132--142}, address = {Boulder, Col.}, month = {May}, year = {1977} } @article{Comer77, author = {D. Comer and R. Sethi}, title = {The Complexity of Trie Index Construction}, journal = {J. Assoc. Comp. Mach.}, volume = {24}, number = {3}, pages = {428--440}, month = {July}, year = {1977}, keywords = {acm jacm} } @article{Lam77, author = {S. Lam and R. Sethi}, title = {Worst Case Analysis of Two Scheduling Algorithms}, journal = {SIAM J. Computing}, volume = {6}, number = {3}, pages = {518--536}, month = {September}, year = {1977} } @article{Sethi77, author = {R. Sethi}, title = {On the Complexity of Mean Flow Time Scheduling}, journal = {Mathematics of Operations Research}, volume = {2}, number = {4}, pages = {320--330}, month = {November}, year = {1977}, mrnumber = {TM 76-1271-17} } @article{Bruno78, author = {J. Bruno and R. Sethi}, title = {Task Sequencing in a Batch Environment with Setup Times}, journal = {Foundations of Control Engineering}, volume = {3}, number = {3}, pages = {105--117}, year = {1978} } @inproceedings{Downey78, author = {P. J. Downey and H. Samet and R. Sethi}, title = {Off-line and On-line Algorithms for Deducing Equalities}, booktitle = {Proc. 5th ACM Symp. on Principles of Programming Languages}, pages = {158--170}, address = {Tucson, Ariz.}, month = {January}, year = {1978} } @article{Downey78a, author = {P. J. Downey and R. Sethi}, title = {Assignment Commands With Array References}, journal = {J. Assoc. Comp. Mach.}, volume = {25}, number = {4}, pages = {652--666}, month = {October}, year = {1978} } @article{Sethi78, author = {R. Sethi}, title = {Conditional Expressions With Equality Tests}, journal = {J. Assoc. Comp. Mach.}, volume = {25}, number = {4}, pages = {667--674}, month = {October}, year = {1978}, mrnumber = {TM 76-1271-12} } @article{Sethi80, author = {R. Sethi}, title = {A Case Study in Specifying the Semantics of a Programming Language}, journal = {7th Annual ACM Symp. on Principles of Programming Languages}, pages = {117--130}, address = {Las Vegas, Nev.}, month = {January}, year = {1980} } @article{Prabhala80, author = {B. Prabhala and R. Sethi}, title = {Efficient Computation of Expressions with Common Subexpressions}, journal = {J. Assoc. Comp. Mach.}, volume = {27}, number = {1}, pages = {146--163}, month = {January}, year = {1980}, mrnumber = {TM 77-1271-8} } @article{Sethi80a, author = {R. Sethi and A. Tang}, title = {Constructing Call-by-Value Continuation Semantics}, journal = {J. Assoc. Comp. Mach.}, volume = {27}, number = {3}, pages = {580--597}, month = {July}, year = {1980}, mrnumber = {TM 78-1271-8} } @article{Downey80, author = {P. J. Downey and R. Sethi and R. E. Tarjan}, title = {Variations on the Common Subexpression Problem}, journal = {J. Assoc. Comp. Mach.}, volume = {27}, number = {4}, pages = {758--771}, month = {October}, year = {1980} } @article{Sethi81, author = {R. Sethi}, title = {Uniform Syntax for Type Expressions and Declarators}, journal = {Software - Practice and Experience}, volume = {11}, number = {6}, pages = {623--628}, month = {June}, year = {1981} } @article{Downey81, author = {P. J. Downey and B. L. Leong and R. Sethi}, title = {Computing Sequences with Addition Chains}, journal = {SIAM Journal on Computing}, volume = {10}, number = {3}, pages = {638--646}, month = {August}, year = {1981} } @inproceedings{Sethi81a, author = {R. Sethi}, title = {A Model of Concurrent Database Transactions}, booktitle = {Proc. of the 22nd Annual Symposium on Foundations of Computer Science}, pages = {175--184}, address = {Nashville, TN}, month = {October}, year = {1981} } @article{Sethi82, author = {R. Sethi}, title = {Useless Actions Make a Difference: Strict Serializability of Database Updates}, journal = {JACM}, volume = {29}, number = {2}, pages = {394--403}, month = {April}, year = {1982} } @article{Sethi82a, author = {R. Sethi}, title = {Circular Expressions: Elimination of Static Environments}, journal = {Science of Computer Programming}, volume = {1}, number = {3}, pages = {203--222}, month = {May}, year = {1982}, note = {Also see Automata, Languages and Programming, Eighth Colloquium, Acre Israel, Lecture Notes in Computer Science {\it 115}, pp. 378-392, Springer Verlag, Berlin, 1981.} } @article{Sethi82b, author = {R. Sethi}, title = {Pebble Games for Studying Storage Sharing}, journal = {Theoretical Computer Science}, volume = {19}, number = {1}, pages = {69--84}, month = {July}, year = {1982} } @article{MacQueen82, author = {D. B. MacQueen and R. Sethi}, title = {A Higher Order Polymorphic Type System for Applicative Languages}, journal = {1982 Symp. on Lisp and Functional Programming}, pages = {243--252}, address = {Pittsburgh, PA.}, month = {August}, year = {1982} } @article{Coffman83, author = {Coffman, Jr., E. G. and R. Sethi}, title = {Instruction Sets for Evaluating Arithmetic Expressions}, journal = {JACM}, volume = {30}, number = {3}, pages = {457--478}, month = {July}, year = {1983} } @article{Raoult83, author = {J.-C. Raoult and R. Sethi}, title = {Properties of a Notation for Combining Functions}, journal = {JACM}, volume = {30}, number = {3}, pages = {595--611}, month = {July}, year = {1983} } @article{Sethi83, author = {R. Sethi}, title = {Control Flow Aspects of Semantics Directed Compiling}, journal = {TOPLAS}, volume = {5}, number = {4}, pages = {554--595}, month = {October}, year = {1983} } @article{Raoult84, author = {J.-C. Raoult and R. Sethi}, title = {The Global Storage Needs of a Subcomputation}, journal = {11th Ann. ACM Symp. on Principles of Programming Languages}, pages = {148--157}, address = {Salt Lake City, UT}, month = {January}, year = {1984} } @article{Sethi84, author = {R. Sethi}, title = {Preprocessing Embedded Actions}, journal = {Software - Practice and Experience}, volume = {14}, number = {3}, pages = {291--297}, month = {March}, year = {1984} } @book{Aho86, author = {A. V. Aho and R. Sethi and J. D. Ullman}, title = {Compilers: Principles, Techniques, and Tools}, publisher = {Addison-Wesley}, address = {Reading, Mass.}, year = {1986} } @article{Berry86, author = {G. Berry and R. Sethi}, title = {From Regular Expressions to Deterministic Automata}, journal = {Theoretical Computer Science}, volume = {48}, number = {1}, pages = {117--126}, year = {1986} } @article{MacQueen86, author = {D. B. MacQueen and G. D. Plotkin and R. Sethi}, title = {An Ideal Model for Recursive Polymorphic Types}, journal = {Information and Control}, volume = {71}, pages = {95--130}, year = {1986} } @article{Sethi87, author = {R. Sethi}, title = {Programming With Objects in {C}$\backslash$h'-.14m'+$\backslash$h'-.18'+}, journal = {Convention Informatique 1987}, pages = {171--175}, address = {Paris}, month = {April}, year = {1987} } @article{Aho88, author = {A. V. Aho and R. Sethi}, title = {Maintaining Cross References in Manuscripts}, journal = {Software--Practice and Experience}, volume = {18}, number = {1}, pages = {1--13}, month = {January}, year = {1988} } @book{Sethi89, author = {R. Sethi}, title = {Programming Languages: Concepts and Constructs}, publisher = {Addison-Wesley}, address = {Reading, Mass.}, year = {1989} } @inproceedings{Grass90, author = {J. E. Grass and C. M. Kintala and R. Sethi}, title = {Object-Oriented Redesign Using {C}$\backslash$h'-.14m'+$\backslash$h'-.18'+: Experience With Parser Generators}, booktitle = {USENIX C$\backslash$h'-.14m'+$\backslash$h'-.18'+ Technical Conference}, address = {San Francisco}, month = {April}, year = {1990} } @inproceedings{Dorward90, author = {S. M. Dorward and R. Sethi and J. E. Shopiro}, title = {Adding New Code to a Running {C}$\backslash$h'-.14m'+$\backslash$h'-.18'+ program}, booktitle = {USENIX C$\backslash$h'-.14m'+$\backslash$h'-.18'+ Technical Conference}, pages = {279--292}, address = {San Francisco}, month = {April}, year = {1990} } @incollection{Johnson90, author = {S. C. Johnson and R. Sethi}, title = {Yacc: {A} Parser Generator}, booktitle = {Unix Research System}, volume = {II}, pages = {347--374}, publisher = {Saunders College Publishing}, address = {Philadelphia, Penna}, year = {1990} } @incollection{Murakami92, author = {G. J. Murakami and R. Sethi}, editor = {J. Van Leeuwen}, title = {Parallelism as a Structuring Technique: Call Processing Using the Esterel Language}, booktitle = {Algorithms, Software, Architecture: Information Processing 92, Volume 1}, pages = {10--16}, publisher = {North-Holland}, address = {Amsterdam}, year = {1992} } @incollection{Campbell92, author = {R. H. Campbell and S. M. Dorward and A. Iyengar and C. R. Kalmanek and G. J. Murakami and R. Sethi and C.-K. Shieh and S.-M. Tan}, title = {Control Software for Virtual-Circuit Switches: Call Processing}, booktitle = {Future Tendencies in Computer Science, Control and Applied Mathematics}, pages = {175--186}, publisher = {Lecture Notes in Computer Science {\bf 653}, Springer-Verlag}, address = {Berlin}, year = {1992} }