| 2015 | ICFP | Certified symbolic management of financial multi-party contracts. | Patrick Bahr, Jost Berthold, Martin Elsman |
| 2012 | ICFP | Financial software on GPUs: between Haskell and Fortran. | Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein |
| 2011 | ICA3PP | A Principled Approach to Grid Middleware - Status Report on the Minimum Intrusion Grid. | Jost Berthold, Jonas Bardino, Brian Vinter |
| 2010 | FLOPS | A Skeleton for Distributed Work Pools in Eden. | Mischa Dieterle, Jost Berthold, Rita Loogen |
| 2009 | EuroPar | Implementing Parallel Google Map-Reduce in Eden. | Jost Berthold, Mischa Dieterle, Rita Loogen |
| 2009 | PACT | Parallel FFT with Eden Skeletons. | Jost Berthold, Mischa Dieterle, Oleg Lobachev, Rita Loogen |
| 2009 | POPL | Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. | Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad |
| 2008 | ISPA | Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. | Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold |
| 2008 | PADL | Hierarchical Master-Worker Skeletons. | Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe |
| 2008 | PADL | Scheduling Light-Weight Parallelism in ArTCoP. | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
| 2004 | ICCS | Towards a Generalised Runtime Environment for Parallel Haskells. | Jost Berthold |
| 2003 | EuroPar | High-Level Process Control in Eden. | Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen Priebe, Nils Weskamp |