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}
}