@inproceedings{ BKM+22,
  author        = {Gilles Barthe and Adrien Koutsos and Solène Mirliaz and David Pichardie and Peter Schwabe},
  title         = {Semantic foundations for cost analysis of pipeline-optimized programs},
  booktitle     = {Static Analysis},
  editor        = {Gagandeep Singh and Caterina Urban},
  series        = {Lecture Notes in Computer Science},
  volume        = {13790},
  publisher     = {Springer Nature Switzerland AG},
  year          = {2022},
  pages         = {372--396},
  note          = {full version: \url{http://cryptojedi.org/papers/\#pipecost}},
}