reports.bib

@article{CounterexamplesCoqPL19,
  title = {Counterexamples for {{Coq Conjectures}}},
  journal = {CoqPL'19},
  url = {https://popl19.sigplan.org/event/coqpl-2019-counterexamples-for-coq-conjectures},
  author = {Gruetter, Samuel},
  month = jan,
  year = {2019}
}
@article{VSTFlowArXiv17,
  title = {{{VST}}-{{Flow}}: {{Fine}}-Grained Low-Level Reasoning about Real-World {{C}} Code},
  journal = {Technical report, University of Melbourne},
  url = {http://arxiv.org/abs/1709.05243},
  author = {Gruetter, Samuel and Murray, Toby C.},
  month = sep,
  year = {2017}
}
@article{BScTypeSystems13,
  title = {Explorations of Type Systems},
  journal = {BSc semester project, EPFL},
  url = {https://github.com/samuelgruetter/type-systems-spring13/blob/master/doc/report.pdf},
  author = {Gruetter, Samuel},
  month = jun,
  year = {2013}
}
@article{MScTypeSafety14,
  title = {Machine-Checked Typesafety Proofs},
  journal = {MSc semester project, EPFL},
  url = {https://github.com/samuelgruetter/typesafety-proofs-spring14/blob/master/report.pdf},
  author = {Gruetter, Samuel},
  month = jun,
  year = {2014}
}
@article{ExDOT15,
  title = {Dependent {{Object Types With Existential Quantification Over Objects}}},
  journal = {Research report, EPFL},
  url = {https://github.com/samuelgruetter/dot-calculus/blob/master/doc/gDOT-and-exDOT/gDOT-exDOT-report-july-2015.pdf},
  author = {Gruetter, Samuel},
  month = jul,
  year = {2015}
}
@article{LeonTermination15,
  title = {Improving {{Leon}}'s {{Termination Checker}}},
  journal = {Project report, EPFL},
  url = {https://samuelgruetter.net/assets/LeonTermination.pdf},
  author = {Gruetter, Samuel},
  month = jun,
  year = {2015}
}
@article{ScalaToDOT16,
  title = {Connecting {{Scala}} to {{DOT}}},
  journal = {MSc semester project, EPFL},
  url = {https://github.com/samuelgruetter/dot-calculus/blob/master/doc/Connecting-Scala-to-DOT/report.pdf},
  author = {Gruetter, Samuel},
  month = jun,
  year = {2016}
}
@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},
  journal = {MSc thesis, EPFL/Princeton University},
  url = {https://www.cs.princeton.edu/research/techreps/TR-999-17},
  author = {Gruetter, Samuel},
  month = apr,
  year = {2017}
}