reports.bib

@article{BScTypeSystems13,
  title = {Explorations of Type Systems},
  author = {Gruetter, Samuel},
  year = {2013},
  month = jun,
  journal = {BSc semester project, EPFL},
  url = {https://github.com/samuelgruetter/type-systems-spring13/blob/master/doc/report.pdf}
}

@article{CounterexamplesCoqPL19,
  title = {Counterexamples for {{Coq Conjectures}}},
  author = {Gruetter, Samuel},
  year = {2019},
  month = jan,
  journal = {CoqPL'19},
  url = {https://popl19.sigplan.org/event/coqpl-2019-counterexamples-for-coq-conjectures}
}

@article{ExDOT15,
  title = {Dependent {{Object Types With Existential Quantification Over Objects}}},
  author = {Gruetter, Samuel},
  year = {2015},
  month = jul,
  journal = {Research report, EPFL},
  url = {https://github.com/samuelgruetter/dot-calculus/blob/master/doc/gDOT-and-exDOT/gDOT-exDOT-report-july-2015.pdf}
}

@article{LeonTermination15,
  title = {Improving {{Leon}}'s {{Termination Checker}}},
  author = {Gruetter, Samuel},
  year = {2015},
  month = jun,
  journal = {Project report, EPFL},
  url = {https://samuelgruetter.net/assets/LeonTermination.pdf}
}

@article{MScTypeSafety14,
  title = {Machine-Checked Typesafety Proofs},
  author = {Gruetter, Samuel},
  year = {2014},
  month = jun,
  journal = {MSc semester project, EPFL},
  url = {https://github.com/samuelgruetter/typesafety-proofs-spring14/blob/master/report.pdf}
}

@unpublished{Omnisemantics,
  title = {Omnisemantics: {{Smooth Handling}} of {{Nondeterminism}}},
  shorttitle = {Omnisemantics},
  author = {Chargu{\'e}raud, Arthur and Chlipala, Adam and Erbsen, Andres and Gruetter, Samuel},
  year = {2022},
  month = sep,
  url = {https://hal.inria.fr/hal-03255472},
  urldate = {2022-09-29}
}

@article{RiscVSpecArXiv21,
  title = {A {{Multipurpose Formal RISC-V Specification}}},
  author = {Bourgeat, Thomas and Clester, Ian and Erbsen, Andres and Gruetter, Samuel and Wright, Andrew and Chlipala, Adam},
  year = {2021},
  eprint = {2104.00762},
  eprinttype = {arxiv},
  primaryclass = {cs.LO},
  url = {https://arxiv.org/pdf/2104.00762},
  archiveprefix = {arXiv}
}

@article{ScalaToDOT16,
  title = {Connecting {{Scala}} to {{DOT}}},
  author = {Gruetter, Samuel},
  year = {2016},
  month = jun,
  journal = {MSc semester project, EPFL},
  url = {https://github.com/samuelgruetter/dot-calculus/blob/master/doc/Connecting-Scala-to-DOT/report.pdf}
}

@article{VST_AES_17,
  title = {Improving the {{Coq}} Proof Automation Tactics of the {{Verified Software Toolchain}}, Based on a Case Study on Verifying a {{C}} Implementation of the {{AES}} Encryption Algorithm},
  author = {Gruetter, Samuel},
  year = {2017},
  month = apr,
  journal = {MSc thesis, EPFL/Princeton University},
  url = {https://www.cs.princeton.edu/research/techreps/TR-999-17}
}

@article{VSTFlowArXiv17,
  title = {{{VST-Flow}}: {{Fine-grained}} Low-Level Reasoning about Real-World {{C}} Code},
  author = {Gruetter, Samuel and Murray, Toby C.},
  year = {2017},
  month = sep,
  journal = {Technical report, University of Melbourne},
  url = {http://arxiv.org/abs/1709.05243}
}