@article{PattynPerichonDurandetal.2013,
  author    = {Pattyn, Frank and Perichon, Laura and Durand, Gael and Favier, Lionel and Gagliardini, Olivier and Hindmarsh, Richard C. A. and Zwinger, Thomas and Albrecht, Torsten and Cornford, Stephen and Docquier, David and Furst, Johannes J. and Goldberg, Daniel and Gudmundsson, Gudmundur Hilmar and Humbert, Angelika and Huetten, Moritz and Huybrechts, Philippe and Jouvet, Guillaume and Kleiner, Thomas and Larour, Eric and Martin, Daniel and Morlighem, Mathieu and Payne, Anthony J. and Pollard, David and Rueckamp, Martin and Rybak, Oleg and Seroussi, Helene and Thoma, Malte and Wilkens, Nina},
  title     = {Grounding-line migration in plan-view marine ice-sheet models: results of the ice2sea MISMIP3d intercomparison},
  series = {Journal of glaciology},
  volume    = {59},
  journal   = {Journal of glaciology},
  number    = {215},
  publisher = {International Glaciological Society},
  address   = {Cambridge},
  issn      = {0022-1430},
  doi       = {10.3189/2013JoG12J129},
  pages     = {410 -- 422},
  year      = {2013},
  abstract  = {Predictions of marine ice-sheet behaviour require models able to simulate grounding-line migration. We present results of an intercomparison experiment for plan-view marine ice-sheet models. Verification is effected by comparison with approximate analytical solutions for flux across the grounding line using simplified geometrical configurations (no lateral variations, no buttressing effects from lateral drag). Perturbation experiments specifying spatial variation in basal sliding parameters permitted the evolution of curved grounding lines, generating buttressing effects. The experiments showed regions of compression and extensional flow across the grounding line, thereby invalidating the boundary layer theory. Steady-state grounding-line positions were found to be dependent on the level of physical model approximation. Resolving grounding lines requires inclusion of membrane stresses, a sufficiently small grid size (<500 m), or subgrid interpolation of the grounding line. The latter still requires nominal grid sizes of <5 km. For larger grid spacings, appropriate parameterizations for ice flux may be imposed at the grounding line, but the short-time transient behaviour is then incorrect and different from models that do not incorporate grounding-line parameterizations. The numerical error associated with predicting grounding-line motion can be reduced significantly below the errors associated with parameter ignorance and uncertainties in future scenarios.},
  language  = {en}
}
@inproceedings{PalixLawallThomasetal.2010,
  author    = {Palix, Nicolas and Lawall, Julia L. and Thomas, Ga{\"e}l and Muller, Gilles},
  title     = {How Often do Experts Make Mistakes?},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41327},
  year      = {2010},
  abstract  = {Large open-source software projects involve developers with a wide variety of backgrounds and expertise. Such software projects furthermore include many internal APIs that developers must understand and use properly. According to the intended purpose of these APIs, they are more or less frequently used, and used by developers with more or less expertise. In this paper, we study the impact of usage patterns and developer expertise on the rate of defects occurring in the use of internal APIs. For this preliminary study, we focus on memory management APIs in the Linux kernel, as the use of these has been shown to be highly error prone in previous work. We study defect rates and developer expertise, to consider e.g., whether widely used APIs are more defect prone because they are used by less experienced developers, or whether defects in widely used APIs are more likely to be fixed.},
  language  = {en}
}