| 1992 | Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study. | Jean-Luc Levaire |
| 1992 | Interprocedural Type Propagation for Object-Oriented Languages. | Jean-Marie Larchevque |
| 1992 | A Semantics for Multiprocessor Systems. | Padmanabhan Krishnan |
| 1992 | A Theory of Qualified Types. | Mark P. Jones |
| 1992 | Reversing Abstract Interpretations. | John Hughes, John Launchbury |
| 1992 | Automatic Parallelization of Lazy Functional Programs. | Guido Hogen, Andrea Kindler, Rita Loogen |
| 1992 | Dynamic Typing. | Fritz Henglein |
| 1992 | Approximate Fixed Points in Abstract Interpretation. | Chris Hankin, Sebastian Hunt |
| 1992 | Incremental Garbage Collection Without Tags. | Benjamin Goldberg |
| 1992 | ELIOS-OBJ Theorem Proving in a Specification Language. | Isabelle Gnaedig |
| 1992 | Detecting Determinate Computations by Bottom-up Abstract Interpretation. | Roberto Giacobazzi, Laura Ricci |
| 1992 | Extraction of Strong Typing Laws from Action Semantics Definitions. | Kyung-Goo Doh, David A. Schmidt |
| 1992 | Back to Direct Style. | Olivier Danvy |
| 1992 | Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads. | Tyng-Ruey Chuang |
| 1992 | Compositional Refinements in Multiple Blackboard Systems. | X. J. Chen, Carlo Montangero |
| 1992 | Typed Norms. | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |
| 1992 | Proving Safety of Speculative Load Instructions at Compile Time. | David Bernstein, Michael Rodeh, Shmuel Sagiv |
| 1992 | Towards an Adequate Notion of Observation. | Gilles Bernot, Michel Bidoit, Teodor Knapik |
| 1992 | SIGNAL as a Model for Real-Time and Hybrid Systems. | Albert Benveniste, Michel Le Borgne, Paul Le Guernic |
| 1992 | Model Checking and Boolean Graphs. | Henrik Reif Andersen |
| 1990 | Towards the Theory of Programming in Constructive Logic. | Andrei Voronkov |
| 1990 | Type Inference and Implicit Scaling. | Satish Thatt |
| 1990 | The Value Flow Graph: A Program Representation for Optimal Program Transformations. | Bernhard Steffen, Jens Knoop, Oliver Rthing |
| 1990 | Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. | Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe |
| 1990 | On the Weak Adequacy of Branching-Time Remporal Logic. | Philippe Schnoebelen, Sophie Pinchinat |