| 2014 | CAV | Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. | Geoff W. Hamilton, Morten Heine Srensen |
| 2002 | PEPM | From checking to inference via driving and dag grammars. | Jens P. Secher, Morten Heine Srensen |
| 1999 | POPL | AnnoDomini: From Type Theory to Year 2000 Conversion Tool. | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Srensen, Mads Tofte |
| 1998 | MPC | Convergence of Program Transformers in the Metric Space of Trees. | Morten Heine Srensen |
| 1998 | PEPM | Introduction to Supercompilation. | Morten Heine Srensen, Robert Glck |
| 1997 | LFCS | Domain-Free Pure Type Systems. | Gilles Barthe, Morten Heine Srensen |
| 1997 | POPL | Constraints to Stop Higher-Order Deforestation. | Helmut Seidl, Morten Heine Srensen |
| 1996 | LOPSTR | Redundant Argument Filtering of Logic Programs. | Michael Leuschel, Morten Heine Srensen |
| 1995 | SAS | Call-By-Name CPS-Translation as a Binding-Time Improvement | Kristian Nielsen, Morten Heine Srensen |
| 1994 | ESOP | Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. | Morten Heine Srensen, Robert Glck, Neil D. Jones |