Skip to content

Ravi Sethi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

22

Venues

8

Active years

1972–2006

Best venue rank

A*

Where they publish

Papers

22 indexed papers, newest first.

YearVenueTitleAuthors
2006ICCCNTechnology Directions in Enterprise Communications.Ravi Sethi
1984POPLAn Ideal Model for Recursive Polymorphic Types.David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
1984POPLThe Global Storage Needs of a Subcomputation.Jean-Claude Raoult, Ravi Sethi
1982ICALPProperties of a Notation for Combining Functions.Jean-Claude Raoult, Ravi Sethi
1981FOCSA model of concurrent database transactions (summary)Ravi Sethi
1981ICALPCircular Expressions: Elimination of Static Environments.Ravi Sethi
1980POPLA Case Study in Specifying the Semantics of a Programming Language.Ravi Sethi
1979ICALPConstructing Call-by-Value Continuation Semantics.Ravi Sethi, Adrian Tang
1978POPLOff-Line and On-Line Algorithms for Deducing Equalities.Peter J. Downey, Hanan Samet, Ravi Sethi
1978POPLEfficient Computation of Expressions with Common Subexpressions.Bhaskaram Prabhala, Ravi Sethi
1977ICALPHow Hard is Compiler Code Generation?Alfred V. Aho, Ravi Sethi
1977STOCA Comparison of Instruction Sets for Stack MachinesBhaskaram Prabhala, Ravi Sethi
1976FOCSComplexity of Trie Index Construction (Extended Abstract)Douglas Comer, Ravi Sethi
1976FOCSAssignment Commands and Array StructuresPeter J. Downey, Ravi Sethi
1976PERFORMANCETask Sequencing in a Batch Environment with Setup Times.John L. Bruno, Ravi Sethi
1976SIGMETRICSA generalized bound on LPT sequencing.Edward G. Coffman Jr., Ravi Sethi
1975FOCSCorrect Computation Rules for Recursive Languages (Extended Abstract)Peter J. Downey, Ravi Sethi
1975SOSPAnalysis of a Level Algorithm for Preemptive Scheduling.Shui Lam, Ravi Sethi
1974STOCStorage Requirements for Deterministic Polynomial Time Recognizable LanguagesStephen A. Cook, Ravi Sethi
1973STOCComplete Register Allocation ProblemsRavi Sethi
1973SOSPScheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract).John L. Bruno, Edward G. Coffman Jr., Ravi Sethi
1972STOCValidating Register Allocations for Straight Line ProgramsRavi Sethi