Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sandrine Blazy
@inproceedings{DBLP:conf/fase/Blazy24,
author = {Sandrine Blazy},
editor = {Dirk Beyer and
Ana Cavalcanti},
title = {From Mechanized Semantics to Verified Compilation: the Clight Semantics
of CompCert},
booktitle = {Fundamental Approaches to Software Engineering - 27th International
Conference, {FASE} 2024, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
Luxembourg, April 6-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14573},
pages = {1--21},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57259-3\_1},
doi = {10.1007/978-3-031-57259-3\_1},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fase/Blazy24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2024,
editor = {Amin Timany and
Dmitriy Traytel and
Brigitte Pientka and
Sandrine Blazy},
title = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2024, London, UK, January 15-16,
2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636501},
doi = {10.1145/3636501},
timestamp = {Thu, 11 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BarriereBP23,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Sandrine Blazy and
David Pichardie},
title = {Formally Verified Native Code Generation in an Effectful {JIT:} Turning
the CompCert Backend into a Formally Verified {JIT} Compiler},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {249--277},
year = {2023},
url = {https://doi.org/10.1145/3571202},
doi = {10.1145/3571202},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BarriereBP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Blazy23,
author = {Sandrine Blazy},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {CompCert: {A} Journey through the Landscape of Mechanized Semantics
for Verified Compilation (Keynote)},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3579107},
doi = {10.1145/3573105.3579107},
timestamp = {Fri, 13 Jan 2023 13:03:25 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Blazy23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/HerklotzDB23,
author = {Yann Herklotz and
Delphine Demange and
Sandrine Blazy},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {Mechanised Semantics for Gated Static Single Assignment},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {182--196},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575681},
doi = {10.1145/3573105.3575681},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/HerklotzDB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03129,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Sandrine Blazy and
David Pichardie},
title = {Formally Verified Native Code Generation in an Effectful {JIT} - or:
Turning the CompCert Backend into a Formally Verified {JIT} Compiler},
journal = {CoRR},
volume = {abs/2212.03129},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03129},
doi = {10.48550/ARXIV.2212.03129},
eprinttype = {arXiv},
eprint = {2212.03129},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BarriereBFPV21,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Sandrine Blazy and
Olivier Fl{\"{u}}ckiger and
David Pichardie and
Jan Vitek},
title = {Formally verified speculation and deoptimization in a {JIT} compiler},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--26},
year = {2021},
url = {https://doi.org/10.1145/3434327},
doi = {10.1145/3434327},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BarriereBFPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheBHP21,
author = {Gilles Barthe and
Sandrine Blazy and
R{\'{e}}mi Hutin and
David Pichardie},
title = {Secure Compilation of Constant-Resource Programs},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00020},
doi = {10.1109/CSF51468.2021.00020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BartheBHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BartheBGHLPT20,
author = {Gilles Barthe and
Sandrine Blazy and
Benjamin Gr{\'{e}}goire and
R{\'{e}}mi Hutin and
Vincent Laporte and
David Pichardie and
Alix Trieu},
title = {Formal verification of a constant-time preserving {C} compiler},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {7:1--7:30},
year = {2020},
url = {https://doi.org/10.1145/3371075},
doi = {10.1145/3371075},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BartheBGHLPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LechenetBP20,
author = {Jean{-}Christophe L{\'{e}}chenet and
Sandrine Blazy and
David Pichardie},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {A Fast Verified Liveness Analysis in {SSA} Form},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12167},
pages = {324--340},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51054-1\_19},
doi = {10.1007/978-3-030-51054-1\_19},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LechenetBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Blazy20,
author = {Sandrine Blazy},
editor = {Alley Stoughton and
Marco Vassena},
title = {From Verified Compilation to Secure Compilation: a Semantic Approach},
booktitle = {PLAS'20: Proceedings of the 15th Workshop on Programming Languages
and Analysis for Security, Virtual Event, USA, 13 November, 2020},
pages = {1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3411506.3417601},
doi = {10.1145/3411506.3417601},
timestamp = {Thu, 03 Feb 2022 14:01:40 +0100},
biburl = {https://dblp.org/rec/conf/ccs/Blazy20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BessonBW19,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
title = {A Verified CompCert Front-End for a Memory Model Supporting Pointer
Arithmetic and Uninitialised Data},
journal = {J. Autom. Reason.},
volume = {62},
number = {4},
pages = {433--480},
year = {2019},
url = {https://doi.org/10.1007/s10817-017-9439-z},
doi = {10.1007/S10817-017-9439-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BessonBW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BessonBW19a,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
title = {CompCertS: {A} Memory-Aware Verified {C} Compiler Using a Pointer
as Integer Semantics},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {369--392},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9496-y},
doi = {10.1007/S10817-018-9496-Y},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BessonBW19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BlazyPT19,
author = {Sandrine Blazy and
David Pichardie and
Alix Trieu},
title = {Verifying constant-time implementations by abstract interpretation},
journal = {J. Comput. Secur.},
volume = {27},
number = {1},
pages = {137--163},
year = {2019},
url = {https://doi.org/10.3233/JCS-181136},
doi = {10.3233/JCS-181136},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BlazyPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BlazyH19,
author = {Sandrine Blazy and
R{\'{e}}mi Hutin},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Formal verification of a program obfuscation based on mixed Boolean-arithmetic
expressions},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {196--208},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294103},
doi = {10.1145/3293880.3294103},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/BlazyH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BessonBDJW19,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Alexandre Dang and
Thomas P. Jensen and
Pierre Wilke},
editor = {Lu{\'{\i}}s Caires},
title = {Compiling Sandboxes: Formally Verified Software Fault Isolation},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {499--524},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_18},
doi = {10.1007/978-3-030-17184-1\_18},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/BessonBDJW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/Blazy99,
author = {Sandrine Blazy},
editor = {Brijesh Dongol and
Luigia Petre and
Graeme Smith},
title = {Teaching Deductive Verification in Why3 to Undergraduate Students},
booktitle = {Formal Methods Teaching - Third International Workshop and Tutorial,
FMTea 2019, Held as Part of the Third World Congress on Formal Methods,
{FM} 2019, Porto, Portugal, October 7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11758},
pages = {52--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32441-4\_4},
doi = {10.1007/978-3-030-32441-4\_4},
timestamp = {Thu, 07 Apr 2022 08:44:28 +0200},
biburl = {https://dblp.org/rec/conf/tfm/Blazy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartheBGHLPT19,
author = {Gilles Barthe and
Sandrine Blazy and
Benjamin Gr{\'{e}}goire and
R{\'{e}}mi Hutin and
Vincent Laporte and
David Pichardie and
Alix Trieu},
title = {Formal Verification of a Constant-Time Preserving {C} Compiler},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {926},
year = {2019},
url = {https://eprint.iacr.org/2019/926},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartheBGHLPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BlazyC18,
author = {Sandrine Blazy and
Marsha Chechik},
title = {Selected Extended Papers of {VSTTE} 2016},
journal = {J. Autom. Reason.},
volume = {60},
number = {3},
pages = {255--256},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9430-8},
doi = {10.1007/S10817-017-9430-8},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BlazyC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheBLPT17,
author = {Gilles Barthe and
Sandrine Blazy and
Vincent Laporte and
David Pichardie and
Alix Trieu},
title = {Verified Translation Validation of Static Analyses},
booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
Barbara, CA, USA, August 21-25, 2017},
pages = {405--419},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CSF.2017.16},
doi = {10.1109/CSF.2017.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BartheBLPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BlazyPT17,
author = {Sandrine Blazy and
David Pichardie and
Alix Trieu},
editor = {Simon N. Foley and
Dieter Gollmann and
Einar Snekkenes},
title = {Verifying Constant-Time Implementations by Abstract Interpretation},
booktitle = {Computer Security - {ESORICS} 2017 - 22nd European Symposium on Research
in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10492},
pages = {260--277},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66402-6\_16},
doi = {10.1007/978-3-319-66402-6\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BlazyPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BessonBW17,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {CompCertS: {A} Memory-Aware Verified {C} Compiler Using Pointer as
Integer Semantics},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {81--97},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_6},
doi = {10.1007/978-3-319-66107-0\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BessonBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BlazyBY17,
author = {Sandrine Blazy and
David B{\"{u}}hler and
Boris Yakobowski},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Structuring Abstract Interpreters Through State and Value Abstractions},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {112--130},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_7},
doi = {10.1007/978-3-319-52234-0\_7},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BlazyBY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BlazyLP16,
author = {Sandrine Blazy and
Vincent Laporte and
David Pichardie},
title = {Verified Abstract Interpretation Techniques for Disassembling Low-level
Self-modifying Code},
journal = {J. Autom. Reason.},
volume = {56},
number = {3},
pages = {283--308},
year = {2016},
url = {https://doi.org/10.1007/s10817-015-9359-8},
doi = {10.1007/S10817-015-9359-8},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BlazyLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BlazyBY16,
author = {Sandrine Blazy and
David B{\"{u}}hler and
Boris Yakobowski},
title = {Improving static analyses of {C} programs with conditional predicates},
journal = {Sci. Comput. Program.},
volume = {118},
pages = {77--95},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.11.011},
doi = {10.1016/J.SCICO.2015.11.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BlazyBY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BlazyT16,
author = {Sandrine Blazy and
Alix Trieu},
editor = {Jeremy Avigad and
Adam Chlipala},
title = {Formal verification of control-flow graph flattening},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
pages = {176--187},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854065.2854082},
doi = {10.1145/2854065.2854082},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/BlazyT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlazyLP16,
author = {Sandrine Blazy and
Vincent Laporte and
David Pichardie},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {An abstract memory functor for verified {C} static analyzers},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {325--337},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951937},
doi = {10.1145/2951913.2951937},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BlazyLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2016,
editor = {Sandrine Blazy and
Marsha Chechik},
title = {Verified Software. Theories, Tools, and Experiments - 8th International
Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9971},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48869-1},
doi = {10.1007/978-3-319-48869-1},
isbn = {978-3-319-48868-4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BlazyMP15,
author = {Sandrine Blazy and
Andr{\'{e}} Maroneze and
David Pichardie},
editor = {Xavier Leroy and
Alwen Tiu},
title = {Verified Validation of Program Slicing},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
{CPP} 2015, Mumbai, India, January 15-17, 2015},
pages = {109--117},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676724.2693169},
doi = {10.1145/2676724.2693169},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/BlazyMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BessonBW15,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
editor = {Christian Urban and
Xingyuan Zhang},
title = {A Concrete Memory Model for CompCert},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {67--83},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_5},
doi = {10.1007/978-3-319-22102-1\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BessonBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BlazyDP15,
author = {Sandrine Blazy and
Delphine Demange and
David Pichardie},
editor = {Christian Urban and
Xingyuan Zhang},
title = {Validating Dominator Trees for a Fast, Verified Dominance Test},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {84--99},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_6},
doi = {10.1007/978-3-319-22102-1\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BlazyDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JourdanLBLP15,
author = {Jacques{-}Henri Jourdan and
Vincent Laporte and
Sandrine Blazy and
Xavier Leroy and
David Pichardie},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Formally-Verified {C} Static Analyzer},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {247--259},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676966},
doi = {10.1145/2676726.2676966},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/JourdanLBLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/BlazyRS15,
author = {Sandrine Blazy and
St{\'{e}}phanie Riaud and
Thomas Sirvent},
editor = {Michael W. Godfrey and
David Lo and
Foutse Khomh},
title = {Data tainting and obfuscation: Improving plausibility of incorrect
taint},
booktitle = {15th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2015, Bremen, Germany, September 27-28, 2015},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SCAM.2015.7335407},
doi = {10.1109/SCAM.2015.7335407},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/BlazyRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2015,
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9},
doi = {10.1007/978-3-662-48288-9},
isbn = {978-3-662-48287-2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Blazy15,
author = {Sandrine Blazy},
title = {Formal verification of compilers and static analyzers},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {9:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792443},
doi = {10.1145/2792434.2792443},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Blazy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BessonBW14,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
editor = {Jacques Garrigue},
title = {A Precise and Abstract Memory Model for {C} Using Symbolic Values},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {449--468},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_24},
doi = {10.1007/978-3-319-12736-1\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BessonBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/BlazyR14,
author = {Sandrine Blazy and
St{\'{e}}phanie Riaud},
editor = {Elisa Bertino and
Ravi S. Sandhu and
Jaehong Park},
title = {Measuring the robustness of source program obfuscation: studying the
impact of compiler optimizations on the obfuscation of {C} programs},
booktitle = {Fourth {ACM} Conference on Data and Application Security and Privacy,
CODASPY'14, San Antonio, TX, {USA} - March 03 - 05, 2014},
pages = {123--126},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2557547.2557577},
doi = {10.1145/2557547.2557577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codaspy/BlazyR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BlazyBY14,
author = {Sandrine Blazy and
David B{\"{u}}hler and
Boris Yakobowski},
editor = {Fr{\'{e}}d{\'{e}}ric Lang and
Francesco Flammini},
title = {Improving Static Analyses of {C} Programs with Conditional Predicates},
booktitle = {Formal Methods for Industrial Critical Systems - 19th International
Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8718},
pages = {140--154},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10702-8\_10},
doi = {10.1007/978-3-319-10702-8\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BlazyBY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BlazyLP14,
author = {Sandrine Blazy and
Vincent Laporte and
David Pichardie},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Verified Abstract Interpretation Techniques for Disassembling Low-level
Self-modifying Code},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {128--143},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_9},
doi = {10.1007/978-3-319-08970-6\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BlazyLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/MaronezeBPP14,
author = {Andr{\'{e}} Maroneze and
Sandrine Blazy and
David Pichardie and
Isabelle Puaut},
editor = {Heiko Falk},
title = {A Formally Verified {WCET} Estimation Tool},
booktitle = {14th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2014, July 8, 2014, Ulm, Germany},
series = {OASIcs},
volume = {39},
pages = {11--20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WCET.2014.11},
doi = {10.4230/OASICS.WCET.2014.11},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/MaronezeBPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KrienerKB13,
author = {Jael Kriener and
Andy King and
Sandrine Blazy},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Proofs you can believe in: proving equivalences between Prolog semantics
in Coq},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {37--48},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505886},
doi = {10.1145/2505879.2505886},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/KrienerKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BlazyLMP13,
author = {Sandrine Blazy and
Vincent Laporte and
Andr{\'{e}} Maroneze and
David Pichardie},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Formal Verification of a {C} Value Analysis Based on Abstract Interpretation},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {324--344},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_18},
doi = {10.1007/978-3-642-38856-9\_18},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BlazyLMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BlazyMP13,
author = {Sandrine Blazy and
Andr{\'{e}} Maroneze and
David Pichardie},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Formal Verification of Loop Bound Estimation for {WCET} Analysis},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {281--303},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_15},
doi = {10.1007/978-3-642-54108-7\_15},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BlazyMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2013,
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
title = {Interactive Theorem Proving - 4th International Conference, {ITP}
2013, Rennes, France, July 22-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7998},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39634-2},
doi = {10.1007/978-3-642-39634-2},
isbn = {978-3-642-39633-5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3596,
author = {Sandrine Blazy and
Vincent Laporte and
Andr{\'{e}} Maroneze and
David Pichardie},
title = {Formal Verification of a {C} Value Analysis Based on Abstract Interpretation},
journal = {CoRR},
volume = {abs/1304.3596},
year = {2013},
url = {http://arxiv.org/abs/1304.3596},
eprinttype = {arXiv},
eprint = {1304.3596},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-3596.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Blazy11,
author = {Sandrine Blazy},
title = {Introduction},
journal = {Tech. Sci. Informatiques},
volume = {30},
number = {4},
pages = {369--370},
year = {2011},
url = {http://tsi.revuesonline.com/article.jsp?articleId=16199},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Blazy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BlazyRA10,
author = {Sandrine Blazy and
Beno{\^{\i}}t Robillard and
Andrew W. Appel},
editor = {Andrew D. Gordon},
title = {Formal Verification of Coalescing Graph-Coloring Register Allocation},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {145--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_9},
doi = {10.1007/978-3-642-11957-6\_9},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/BlazyRA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BlazyL09,
author = {Sandrine Blazy and
Xavier Leroy},
title = {Mechanized Semantics for the Clight Subset of the {C} Language},
journal = {J. Autom. Reason.},
volume = {43},
number = {3},
pages = {263--288},
year = {2009},
url = {https://doi.org/10.1007/s10817-009-9148-3},
doi = {10.1007/S10817-009-9148-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BlazyL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/BlazyR09,
author = {Sandrine Blazy and
Beno{\^{\i}}t Robillard},
editor = {Christoph M. Kirsch and
Mahmut T. Kandemir},
title = {Live-range unsplitting for faster optimal coalescing},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN/SIGBED} conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2009, Dublin, Ireland,
June 19-20, 2009},
pages = {70--79},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542452.1542462},
doi = {10.1145/1542452.1542462},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/BlazyR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3619,
author = {Sandrine Blazy and
Xavier Leroy},
title = {Mechanized semantics for the Clight subset of the {C} language},
journal = {CoRR},
volume = {abs/0901.3619},
year = {2009},
url = {http://arxiv.org/abs/0901.3619},
eprinttype = {arXiv},
eprint = {0901.3619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-3619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Blazy08,
author = {Sandrine Blazy},
title = {S{\'{e}}mantiques formelles. (Formal semantics)},
year = {2008},
url = {https://tel.archives-ouvertes.fr/tel-00336576},
timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Blazy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LeroyB08,
author = {Xavier Leroy and
Sandrine Blazy},
title = {Formal Verification of a C-like Memory Model and Its Uses for Verifying
Program Transformations},
journal = {J. Autom. Reason.},
volume = {41},
number = {1},
pages = {1--31},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9099-0},
doi = {10.1007/S10817-008-9099-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LeroyB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Blazy07,
author = {Sandrine Blazy},
title = {Chronique : Comment gagner la confiance en C?},
journal = {Tech. Sci. Informatiques},
volume = {26},
number = {9},
pages = {1195--1200},
year = {2007},
url = {https://doi.org/10.3166/tsi.26.1195-1200},
doi = {10.3166/TSI.26.1195-1200},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Blazy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AppelB07,
author = {Andrew W. Appel and
Sandrine Blazy},
editor = {Klaus Schneider and
Jens Brandt},
title = {Separation Logic for Small-Step cminor},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
pages = {5--21},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4\_3},
doi = {10.1007/978-3-540-74591-4\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AppelB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-4389,
author = {Andrew W. Appel and
Sandrine Blazy},
title = {Separation Logic for Small-step Cminor},
journal = {CoRR},
volume = {abs/0707.4389},
year = {2007},
url = {http://arxiv.org/abs/0707.4389},
eprinttype = {arXiv},
eprint = {0707.4389},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0707-4389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BlazyDL06,
author = {Sandrine Blazy and
Zaynah Dargaye and
Xavier Leroy},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Formal Verification of a {C} Compiler Front-End},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {460--475},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_31},
doi = {10.1007/11813040\_31},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BlazyDL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610096,
author = {Sandrine Blazy},
title = {Partial Evaluation for Program Comprehension},
journal = {CoRR},
volume = {abs/cs/0610096},
year = {2006},
url = {http://arxiv.org/abs/cs/0610096},
eprinttype = {arXiv},
eprint = {cs/0610096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0610096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610097,
author = {Sandrine Blazy and
Fr{\'{e}}d{\'{e}}ric Gervais and
R{\'{e}}gine Laleau},
title = {Reuse of Specification Patterns with the {B} Method},
journal = {CoRR},
volume = {abs/cs/0610097},
year = {2006},
url = {http://arxiv.org/abs/cs/0610097},
eprinttype = {arXiv},
eprint = {cs/0610097},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0610097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BlazyL05,
author = {Sandrine Blazy and
Xavier Leroy},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Formal Verification of a Memory Model for \emph{C}-Like Imperative
Languages},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {280--299},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_20},
doi = {10.1007/11576280\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BlazyL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BlazyGL03,
author = {Sandrine Blazy and
Fr{\'{e}}d{\'{e}}ric Gervais and
R{\'{e}}gine Laleau},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Reuse of Specification Patterns with the {B} Method},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {40--57},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_4},
doi = {10.1007/3-540-44880-2\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BlazyGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Blazy00,
author = {Sandrine Blazy},
title = {Specifying and Automatically Generating a Specialization Tool for
Fortran 90},
journal = {Autom. Softw. Eng.},
volume = {7},
number = {4},
pages = {345--376},
year = {2000},
url = {https://doi.org/10.1023/A:1026594220718},
doi = {10.1023/A:1026594220718},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Blazy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BlazyF98,
author = {Sandrine Blazy and
Philippe Facon},
title = {Partial Evaluation for Program Comprehension},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {17},
year = {1998},
url = {https://doi.org/10.1145/289121.289138},
doi = {10.1145/289121.289138},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/BlazyF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlazyF97,
author = {Sandrine Blazy and
Philippe Facon},
title = {Application of Formal Methods to the Development of a Software Maintenance
Tool},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {162--171},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632836},
doi = {10.1109/ASE.1997.632836},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlazyF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BlazyF96,
author = {Sandrine Blazy and
Philippe Facon},
editor = {Olivier Danvy and
Robert Gl{\"{u}}ck and
Peter Thiemann},
title = {An Automatic Interprocedural Analysis for the Understanding of Scientific
Application Programs},
booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
February 12-16, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1110},
pages = {1--16},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61580-6\_1},
doi = {10.1007/3-540-61580-6\_1},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/BlazyF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/BlazyF96,
author = {Sandrine Blazy and
Philippe Facon},
title = {Interprocedural analysis for program comprehension by specialization},
booktitle = {4th International Workshop on Program Comprehension {(WPC} '96), March
29-31, 1996, Berlin, Germany},
pages = {133},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/WPC.1996.501128},
doi = {10.1109/WPC.1996.501128},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/BlazyF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BlazyF95,
author = {Sandrine Blazy and
Philippe Facon},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Formal Specification and Prototyping of a Program Specializer},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {666--680},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_227},
doi = {10.1007/3-540-59293-8\_227},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BlazyF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/BlazyF94,
author = {Sandrine Blazy and
Philippe Facon},
title = {Partial Evaluation for the Understanding of Fortran Programs},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {4},
number = {4},
pages = {535--559},
year = {1994},
url = {https://doi.org/10.1142/S021819409400026X},
doi = {10.1142/S021819409400026X},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/BlazyF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/BlazyF94,
author = {Sandrine Blazy and
Philippe Facon},
title = {SFAC, a tool for program comprehension by specialization},
booktitle = {Proceedings 1994 {IEEE} 3rd Workshop on Program Comprehension, {WPC}
'94, Washington, DC, USA, November 14-15, 1994},
pages = {162--167},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/WPC.1994.341266},
doi = {10.1109/WPC.1994.341266},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/BlazyF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BlazyF93,
author = {Sandrine Blazy and
Philippe Facon},
editor = {Colette Rolland and
Fran{\c{c}}ois Bodart and
Corine Cauvet},
title = {Partial Evaluation and Symbolic Computation for the Understanding
of Fortran Programs},
booktitle = {Advanced Information Systems Engineering, CAiSE'93, Paris, France,
June 8-11, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {685},
pages = {184--198},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56777-1\_10},
doi = {10.1007/3-540-56777-1\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BlazyF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/BlazyF93,
author = {Sandrine Blazy and
Philippe Facon},
title = {Partial evaluation as an aid to the comprehension of Fortran programs},
booktitle = {{IEEE} Second Workshop on Program Comprehension, {WPC} 1993, Capri,
Italy, 8-9 July 1993},
pages = {46--54},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/WPC.1993.263907},
doi = {10.1109/WPC.1993.263907},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/BlazyF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BlazyF93,
author = {Sandrine Blazy and
Philippe Facon},
title = {Partial Evaluation for the Understanding of {FORTRAN} Programs},
booktitle = {SEKE'93, The 5th International Conference on Software Engineering
and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
pages = {517--525},
publisher = {Knowledge Systems Institute},
year = {1993},
timestamp = {Wed, 21 Feb 2007 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/seke/BlazyF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/HazizaVMPB92,
author = {Marc Haziza and
J. F. Voidrot and
E. Minor and
L. Pofelski and
Sandrine Blazy},
title = {Software maintenance: an analysis of industrial needs and constraints},
booktitle = {Proceedings of the Conference on Software Maintenance, {ICSM} 1992,
Orlando, FL, USA, 9-12 November, 1992},
pages = {18--26},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICSM.1992.242563},
doi = {10.1109/ICSM.1992.242563},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icsm/HazizaVMPB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 16:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
