| 2020 | SAC | Hybrid taint analysis for Java EE. | Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting |
| 2014 | DAC | CAP: Communication Aware Programming. | Jan Heisswolf, Aurang Zaib, Andreas Zwinkau, Sebastian Kobbe, Andreas Weichslgartner, Jrgen Teich, Jrg Henkel, Gregor Snelting, Andreas Herkersdorf, Jrgen Becker |
| 2013 | PLDI | Invasive computing in HPC with X10. | Hans-Joachim Bungartz, Christoph Riesinger, Martin Schreiber, Gregor Snelting, Andreas Zwinkau |
| 2011 | SCOPES | Resource-aware programming and simulation of MPSoC architectures through extension of X10. | Frank Hannig, Sascha Roloff, Gregor Snelting, Jrgen Teich, Andreas Zwinkau |
| 2009 | PLDI | On PDG-based noninterference and its modular proof. | Daniel Wasserrab, Denis Lohner, Gregor Snelting |
| 2008 | PLDI | Static path conditions for Java. | Christian Hammer, Rdiger Schaade, Gregor Snelting |
| 2007 | ECOOP | KABA: Automated Refactoring for Improved Cohesion. | Gregor Snelting, Mirko Streckenbach |
| 2007 | SCAM | On Temporal Path Conditions in Dependence Graphs. | Andreas Lochbihler, Gregor Snelting |
| 2006 | OOPSLA | An operational semantics and type safety prooffor multiple inheritance in C++. | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip |
| 2004 | OOPSLA | Refactoring class hierarchies with KABA. | Mirko Streckenbach, Gregor Snelting |
| 2002 | ECOOP | Semantics-Based Composition of Class Hierarchies. | Gregor Snelting, Frank Tip |
| 2002 | ICSE | Efficient path conditions in dependence graphs. | Torsten Robschink, Gregor Snelting |
| 1997 | ICSE | Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis. | Christian Lindig, Gregor Snelting |
| 1996 | SAS | Combining Slicing and Constraint Solving for Validation of Measurement Software. | Gregor Snelting |
| 1994 | ICSE | On the Inference of Configuration Structures from Source Code. | Maren Krone, Gregor Snelting |
| 1993 | ICSR | Polymorphic components for monomorphic languages. | Franz-Josef Grosch, Gregor Snelting |
| 1988 | ESOP | The PSG System: From Formal Language Definitions to Interactive Programming Environments. | Rolf Bahlke, Gregor Snelting |
| 1987 | PLDI | A generator for language-specific debugging systems. | Rolf Bahlke, Bernhard Moritz, Gregor Snelting |
| 1986 | POPL | Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. | Gregor Snelting, Wolfgang Henhapl |