"Improved device driver reliability through hardware verification reuse"@fr . "Palix"@fr . "Doc"@fr . "9781605585772"^^ . "Junjie"@fr . . "Levy"@fr . . . . . "Ben"@fr . . . "Engler"@fr . "Leung"@fr . "Documenting and automating collateral evolutions in linux device drivers"@fr . "Fragment_"@fr . "An empirical study of operating systems errors"@fr . "9781605583792"^^ . "9781450312042"^^ . "d\u00E9cembre"@fr . "S.P."@fr . "Panyala"@fr . . "Siau-Cheng"@fr . . "1991"^^ . . "Hofer"@fr . "beyondexpert"@fr . "1994"^^ . "Candea"@fr . "Gestion de la m\u00E9moire"@fr . "Parallel Computing"@fr . . . "Gregory R."@fr . "1996"^^ . "2002"^^ . "Fiuczynski"@fr . "2003"^^ . "Yuan"@fr . "2000"^^ . "2001"^^ . "2006"^^ . "modelling"@fr . "2007"^^ . "Trap_"@fr . "Cambridge University Press"@fr . "2010"^^ . "2011"^^ . "2008"^^ . "Proceedings of the 9th International Conference on aspect-oriented software development"@fr . "2009"^^ . "2014"^^ . "Semantic patches considered helpful"@fr . "2015"^^ . "Faults in linux: ten years later"@fr . "2012"^^ . "2019-12-28"^^ . "2013"^^ . "2018"^^ . "automaticverification"@fr . "2019"^^ . . "2016"^^ . "Spensky"@fr . "2017"^^ . "9781450302081"^^ . "601"^^ . "Andrew S."@fr . . "Ilias"@fr . "Gudka"@fr . "Lawall"@fr . . . . . . . "Martinez"@fr . "Grimm"@fr . "587"^^ . "Ren\u00E9"@fr . "Moha"@fr . "tesla"@fr . "Jorrit N."@fr . "Finding Error Handling Bugs in OpenSSL Using Coccinelle"@fr . "Yuming"@fr . "Generic patch inference"@fr . "Hua"@fr . "Toolchain-independent variant management with the Leviathan filesystem"@fr . "cil"@fr . "Naouel"@fr . "Samuel"@fr . "Legg"@fr . "juin"@fr . . "S\u00E9bastien"@fr . "Logique du temps arborescent"@fr . . "Thomas"@fr . "oserrors"@fr . "Jiang"@fr . "9781450340199"^^ . "Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions"@fr . "CIL: Intermediate language and tools for analysis and transformation of C programs"@fr . "Nick"@fr . "9781450356381"^^ . . "Proceedings of the First Workshop on virtualization in mobile computing"@fr . "Wanja"@fr . "9781450327732"^^ . . "CIL"@fr . "1571"^^ . "Michael R. A."@fr . "1573"^^ . "ao\u00FBt"@fr . "Unparser"@fr . "Muthukaruppan"@fr . . "Proceedings of the EurOpen Autumn 1991 Conference"@fr . "Flor\u00E9al"@fr . "filesystem"@fr . "Outreachy"@fr . "Sasha"@fr . . "C Intermediate Language"@fr . "Chubb"@fr . "Krishnamoorthy"@fr . "Jean-R\u00E9my"@fr . "Prantl"@fr . "Menhir reference manual"@fr . "17"^^ . "Symdrive: Testing drivers without devices"@fr . "Mining and checking paired functions in device drivers using characteristic fault injection"@fr . "23"^^ . . "24"^^ . "Liebig"@fr . "Asim"@fr . "Liu"@fr . "Fragment_logique"@fr . "Manber"@fr . . "1553"^^ . "31"^^ . "Mirla"@fr . "1"^^ . "Ong"@fr . "1557"^^ . "1558"^^ . . "tokens"@fr . "4"^^ . . "Outreachy"@fr . "1007"^^ . . "8"^^ . "Charles"@fr . "48"^^ . "Yang"@fr . "51"^^ . "Chad"@fr . "Outreachy"@fr . "outreachy"@fr . "whisper"@fr . "Henry"@fr . "32"^^ . "33"^^ . "Dai"@fr . "Untrusted Hardware Causes Double-Fetch Problems in the I/O Memory"@fr . "35"^^ . "shareddevice"@fr . "Mardinian"@fr . . "40"^^ . "43"^^ . "Corina"@fr . "Sui"@fr . "45"^^ . "Searls"@fr . "46"^^ . "M.M"@fr . "47"^^ . "stratego"@fr . "83"^^ . "10.1109"^^ . "Janker"@fr . "86"^^ . "2019-01-10"^^ . . "Tanenbaum"@fr . "Michael K."@fr . "2304"^^ . "R\u00E9veill\u00E8re"@fr . "91"^^ . "R."@fr . "findingresource"@fr . "globaltrans"@fr . . . "Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on computer systems 2008"@fr . "ERCIM News"@fr . "Shantanu"@fr . "10.1007"^^ . "Coccinelle: A program Matching and Transformation Tool for Systems Code"@fr . "Langage C, OCaml et Python"@fr . "Godfrey"@fr . "Proceedings of the IEEE/ACM international conference on automated software engineering"@fr . "73"^^ . . "PF-Miner: A practical paired functions mining method for Android kernel in error paths"@fr . "77"^^ . "SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers"@fr . . "Sparse, Linus & the Lunatics"@fr . "Mads Chr"@fr . "Suman"@fr . "Florian"@fr . "Ziegler"@fr . . "Elsner"@fr . "121"^^ . "Stuart"@fr . "finalisation"@fr . "Is It Possible to Automatically Port Kernel Modules?"@fr . "TESLA: temporally enhanced system logic assertions"@fr . "Gibson"@fr . "coccinellecode"@fr . "Mark D."@fr . "giveprocess"@fr . "understandinggenetic"@fr . "enforcingapi"@fr . "smpl"@fr . "free"@fr . "WYSIWIBexploiting"@fr . . "P."@fr . "Shared device driver model for virtualized mobile handsets"@fr . "symdrive"@fr . . "Improving the Security of Infrastructure Software using Coccinelle"@fr . "towardsunder"@fr . "1000"^^ . "coccinelle"@fr . "sloccount"@fr . "W."@fr . "Peng-Fei"@fr . "On reconciling patches and aspects"@fr . . . . "Faute_"@fr . "Proceedings of the 4th conference on Symposium on Operating System Design & Implementation"@fr . . "janvier"@fr . "SLOCCount"@fr . "Towards easing the diagnosis of bugs in OS code"@fr . . "201511"^^ . "Aravind"@fr . "faute"@fr . "Vitaly"@fr . "Proceedings of the 29th ACM/IEEE international conference on automated software engineering"@fr . "Lohmann"@fr . "Technical Report IR-CS-018"@fr . "Global transformations for legacy parallel applications via structural analysis and rewriting"@fr . . "Pan"@fr . "Henrik"@fr . . "toolsupport"@fr . "DR. CHECKER: A soundy analysis for Linux kernel drivers"@fr . "Proceedings of the 2nd International Workshop on feature-oriented software development"@fr . "166"^^ . "Lu"@fr . "Giovanni"@fr . "Proceedings of the 2018 USENIX Annual Technical Conference"@fr . "978"^^ . . . "Proceedings of the 27th IEEE/ACM International Conference on automated software engineering"@fr . "faultslinux10"@fr . "Zhang"@fr . "Coccinelle: 10 years of Automated Evolution in the Linux Kernel"@fr . "Annamalai"@fr . "increasingautomation"@fr . "2019-01-07"^^ . "Merino"@fr . "Lobo"@fr . "Ajay"@fr . . "Proceedings of the 1994 Winter USENIX Technical Conference"@fr . "sparse"@fr . . "J."@fr . "Adrian"@fr . "950"^^ . "Xavier"@fr . . "recovering"@fr . "Chavarr\u00EDa-Miranda"@fr . "Proceedings of the 4th workshop on programming languages and operating systems"@fr . "improvingsecurity"@fr . "Proceedings of the Ninth European Conference on computer systems"@fr . "Collection_"@fr . "Automatic Software Repair: A Bibliography"@fr . "R\u00E9gis-Gianas"@fr . . "9781450328876"^^ . "unparse"@fr . . . "Lo"@fr . "2016"^^ . "Fine-grained and accurate source code differencing"@fr . "Valentin"@fr . "syntaxe"@fr . "Watson"@fr . "C_string_handling#strtok"@fr . "Evolution in open source software: a case study"@fr . "926"^^ . "Jesper"@fr . . . "Qiang"@fr . "C."@fr . . "trackingcode"@fr . "2009"^^ . "2010"^^ . . "Comparing and Merging Files With Gnu Diff and Patch"@fr . "Wang"@fr . "octobre"@fr . "Goel"@fr . "fonction"@fr . "F."@fr . "Falleri"@fr . "Pointeur nul"@fr . . . . "Shiping"@fr . "Stratego"@fr . "Proceedings of the Seventh Workshop on programming languages and operating systems"@fr . "Towards an understanding of change types in bug fixing code"@fr . . "Armand"@fr . "devil"@fr . "Yanjin"@fr . "Stratego/XT"@fr . "Matthew"@fr . "Wenjing"@fr . "Increasing Automation in the Backporting of Linux Drivers Using Coccinelle"@fr . "12936757"^^ . . "Y."@fr . "patchinference"@fr . "Enforcing the use of API functions in linux code"@fr . "Source code of the Coccinelle project"@fr . . "aheadoftime"@fr . "Yangyang"@fr . "Tegawend\u00E9"@fr . "researchandroid"@fr . "Chelf"@fr . . "Coccinelle (software)"@en . "Ray"@fr . "2047"^^ . "Tracking code patterns over multiple software versions with Herodotos"@fr . "Jonathan"@fr . . . . "McPeak"@fr . . . "Kang"@fr . "Julien"@fr . "Vigna"@fr . "menhir"@fr . . "Proceedings of the 9th Asia-Pacific Workshop on systems"@fr . "9781479919345"^^ . "Rodriguez"@fr . "Yibiao"@fr . "Kadav"@fr . "A model-extraction approach to verifying concurrent C programs with CADP"@fr . "Michel"@fr . "\u00C9quipe : Whisper - Well Honed Infracstructure Software for Programming Environments and Runtimes"@fr . "ACM Transactions on Computer Systems"@fr . . "A."@fr . "Christoph"@fr . . . "Marinos"@fr . "Seth"@fr . "Proceedings of the 3rd workshop on programming languages and operating systems"@fr . "bloc"@fr . "FF0000"@fr . "Keng Chai"@fr . "Proceedings of the 2012 ACM workshop on relaxing synchronization for multicore and manycore scalability"@fr . "Matias"@fr . "9781509011957"^^ . "Ma"@fr . "POPL '09 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages"@fr . "9781450301169"^^ . "Andreas"@fr . "Journal Of Software-Evolution and Process"@fr . "Dawson"@fr . . "Hernandez"@fr . "Kartsaklis"@fr . "minix"@fr . "Proceedings of the 1st Workshop on programming language evolution"@fr . "Arun"@fr . "MacKenzie"@fr . "Sanghi"@fr . "Peter"@fr . "Nguyen"@fr . "John"@fr . . . "Zulie"@fr . "Herder"@fr . "G.C."@fr . "Machiry"@fr . "Doligez"@fr . "Rahul"@fr . "hercules"@fr . . "Jana"@fr . . "casestudy"@fr . "2019-01-09"^^ . "Wolfgang"@fr . "GLIMPSE: A Tool to Search Through Entire File Systems"@fr . "Raghunath"@fr . . "Le logiciel Coccinelle, un outil de correspondance et transformation en langage C, a \u00E9t\u00E9 r\u00E9alis\u00E9 en 2008 par l\u2019actuelle \u00E9quipe de recherche Whisper (Equipe de projet commune entre l\u2019Inria et la Sorbonne Universit\u00E9) pour faciliter les sp\u00E9cifications et automatisations de l'\u00E9volution du noyau Linux. La nouvelle contribution de Coccinelle fut d'autoriser les d\u00E9veloppeurs \u00E0 \u00E9crire des r\u00E8gles de manipulation de code directement dans la structure syntaxique du code, via la g\u00E9n\u00E9ralisation de (en) de patch. Au fil des ann\u00E9es, l\u2019outil Coccinelle a \u00E9t\u00E9 largement utilis\u00E9 dans le d\u00E9veloppement du noyau Linux, aboutissant \u00E0 plus de 6000 commits, et a trouv\u00E9 sa place dans le processus de d\u00E9veloppement de Linux."@fr . "247"^^ . "2"^^ . "3"^^ . "Smatch -- The Source Matcher"@fr . "jia-Ju"@fr . "234"^^ . "1"^^ . "1"^^ . "Gallardo"@fr . "4"^^ . "5"^^ . . "Fran\u00E7ois"@fr . "Andersen"@fr . "Marco"@fr . "8"^^ . "Proceedings of the 25th USENIX Security Symposium"@fr . "Benni"@fr . "2010-10-03"^^ . "216"^^ . "Mona"@fr . "Visser"@fr . "Morandat"@fr . "Muller"@fr . "compiler"@fr . "A foundation for flow-based program matching: using temporal logic and model checking"@fr . "213"^^ . . "Conf\u00E9rence MiNET: Les syst\u00E8mes d'exploitation"@fr . "Tu"@fr . "Swift"@fr . "Paul E."@fr . . "San\u00E1n"@fr . . "Lengauer"@fr . "Wei"@fr . "Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation"@fr . "Karan"@fr . "analyzingimpact"@fr . . "9781931971447"^^ . "38"^^ . "Khilan"@fr . "191"^^ . . . . "mars"@fr . "David"@fr . "9781450324601"^^ . "modelextraction"@fr . "WYSIWIB: exploiting fine\u2010grained program structure in a scriptable API\u2010usage protocol\u2010finding process"@fr . "CallSite"@fr . "Zhu"@fr . "Savia"@fr . "Marc E."@fr . "Semantic patch inference"@fr . "169"^^ . "Faults in Linux 2.6"@fr . "automaticsoftware"@fr . . "D."@fr . . "Kai"@fr . . "mai"@fr . "Donaldson"@fr . "Coccinelle: Tool support for automated CERT C Secure Coding Standard certification"@fr . "72781"^^ . "File system virtual appliances: Portable file system implementations"@fr . "Research on Android Vulnerability Mining Technology Based on Control Flow Analysis"@fr . "Chen"@fr . "167"^^ . . "Yuen"@fr . "Whitespace_character"@fr . "133"^^ . "Yan"@fr . "Monperrus"@fr . "Bissyand\u00E9"@fr . "S."@fr . "semanticpatches"@fr . "Rievers"@fr . "automatedapproach"@fr . "B."@fr . . . "Operating Systems Review"@fr . "George"@fr . . "A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers"@fr . "141"^^ . "Yulei"@fr . . "131"^^ . "Hu-Qiu"@fr . "132"^^ . "Anderson"@fr . "122"^^ . "10.1016"^^ . "769507530"^^ . "10.1145"^^ . "Analyzing the Impact of Feature Changes in Linux"@fr . . "114"^^ . . "9781467392891"^^ . "Christopher"@fr . . "119"^^ . "9781424465941"^^ . "github"@fr . "9781424444229"^^ . "bloc_"@fr . "106"^^ . "Michael"@fr . "Proceedings of the 5th European conference on computer systems"@fr . "Jia-Ju"@fr . "Fabrice"@fr . . "103"^^ . "Necula"@fr . "M\u00E9moire"@fr . "90"^^ . "9781595939227"^^ . . "Tschudin"@fr . "idutils"@fr . "9781605583280"^^ . "Zhen"@fr . "73"^^ . "genericpatch"@fr . "Bos"@fr . . "opensslcoccinelle"@fr . . "Sidney"@fr . "spatiotemporal"@fr . "Proceedings 2000 International Conference on Software Maintenance"@fr . "65"^^ . "Andy"@fr . "67"^^ . "10"^^ . "11"^^ . "An automated approach for finding variable-constant pairing bugs"@fr . "Introduction to Coccinelle and its Usage in the Linux Kernel"@fr . "163"^^ . "Proceedings of the Tenth International Workshop on variability modelling of software-intensive systems"@fr . "59"^^ . "164"^^ . "Blendinger"@fr . "167"^^ . "Outreachy"@fr . "Laurie"@fr . "Chisnall"@fr . . "callsite"@fr . "54"^^ . "43"^^ . . "collection"@fr . "47"^^ . . "Equipe Whisper"@fr . "novembre"@fr . "en"@fr . "Nicolas"@fr . "37"^^ . "Data-flow_analysis"@fr . "Chipounov"@fr . "25"^^ . "en"@fr . "Understanding the genetic makeup of Linux device drivers"@fr . "4"^^ . "Yi"@fr . . "Vij"@fr . . "ACM Computing Surveys"@fr . "18"^^ . "avril"@fr . . . "Hareton"@fr . "finegrained"@fr . . "10"^^ . "Proceedings of the companion publication of the 13th international conference on Modularity"@fr . "HERCULES/PL: the pattern language of HERCULES"@fr . "Brooks"@fr . "12"^^ . "3540221190"^^ . "1"^^ . "Collection_"@fr . "3"^^ . . "5"^^ . "morpheus"@fr . "7"^^ . "Heiser"@fr . . . "Balachandra"@fr . "Proceedings of the 8th workshop on aspects, components, and patterns for infrastructure software"@fr . . "findingbugs"@fr . "496"^^ . "Jake"@fr . . "glimpse"@fr . "pointeur nul"@fr . "The Journal of Systems & Software"@fr . "Program transformation with Stratego/XT rules, strategies, tools, and systems in Stratego/XT 0.9"@fr . "Renzelmann"@fr . "Logique du temps arborescent"@fr . "Hu"@fr . "Baishakhi"@fr . . . "Recovering device drivers"@fr . "Li"@fr . "finalize"@fr . "f\u00E9vrier"@fr . "Sun"@fr . "Gernot"@fr . "Call_site"@fr . "190129616"^^ . "Xu"@fr . "Dan"@fr . "Ga\u00EBl"@fr . "Wu"@fr . . "Automatically Detecting Error Handling Bugs Using Error Specifications"@fr . "Garth A."@fr . "coccinelle10yearsevolution"@fr . "understandingevolution"@fr . "Yu"@fr . "Bai"@fr . "smatch"@fr . . . "WYSIWIBdeclarative"@fr . . "Linux use-after-free vulnerability found in Linux 2.6 through 4.20.11"@fr . "9781605580135"^^ . "Peter Senna"@fr . . . "towardsdiagnosis"@fr . "Semantic patches for documenting and automating collateral evolutions in Linux device driver"@fr . . . . "WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code"@fr . "302"^^ . "George_Necula#C_Intermediate_Language"@fr . "Daniel"@fr . "deltaoriented"@fr . "Huth"@fr . "Give a Process to your Drivers!"@fr . "Beyond expert-only parallel programming?"@fr . "collateralevolutions"@fr . . "detectingerror"@fr . . "Ren\u00E9 Rydhof"@fr . "Zhenyang"@fr . . "Zhao"@fr . . "Science of Computer Programming"@fr . "Keys"@fr . "Ryan"@fr . "Stephens"@fr . . . "9781450360067"^^ . "9781605584508"^^ . "Eggert"@fr . "fonction_objet_"@fr . "Jingling"@fr . "toolchain"@fr . . "Herbert"@fr . "Brunel"@fr . "untrustedhardware"@fr . "521652006"^^ . "Finding Bugs in Open-Source Software using coccinelle"@fr . "Padioleau"@fr . "Reverse engineering of binary device drivers with RevNIC"@fr . "Apel"@fr . "Olesen"@fr . "faultslinux"@fr . "Syntax_"@fr . "James"@fr . "380"^^ . "Finalizer"@fr . "Mosser"@fr . . "Riveill"@fr . "Analyse de flux de donn\u00E9es"@fr . "unparse"@fr . "Pottier"@fr . "9781450316323"^^ . "375"^^ . "Automatic verification of active device drivers"@fr . "9781450330138"^^ . "reconcilingpatches"@fr . "Renaud"@fr . "Xue"@fr . . "Gen"@fr . . "Ryzhyk"@fr . "ACM SIGOPS Operating Systems Review"@fr . "382"^^ . "improved"@fr . "Ganger"@fr . "Chou"@fr . . "Shr\u00F6der-Preikschat"@fr . "introductioncoccinelle"@fr . "345"^^ . "Martin"@fr . "foundationflowbased"@fr . "Stallman"@fr . "analyse de flux de donn\u00E9es"@fr . "Lingxiao"@fr . "Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel"@fr . "Alexander"@fr . "ACM SIGPLAN Notices"@fr . "Gien"@fr . . "Finding resource-release omission faults in Linux"@fr . "Hallem"@fr . "Sriram"@fr . "Function_object"@fr . "Shen"@fr . "Matthew J."@fr . "Xu"@fr . "Wachs"@fr . "333"^^ . "espaces blancs"@fr . "Kruegel"@fr . "fragment"@fr . "327"^^ . "313"^^ . . "reverseeng"@fr . "Roth"@fr . "Information and Software Technology"@fr . "Luis R."@fr . "Zhou"@fr . "Saha"@fr . "Mao"@fr . "septembre"@fr . "espace_blanc_"@fr . "Udi"@fr . "Software: Practice and Experience"@fr . "305"^^ . "Yanjie"@fr . "Burgy"@fr . "Gilles"@fr . "Oscar"@fr . "linuxdevice"@fr . "Coccinelle (\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2)"@ja . "ID Utils"@fr . "J\u00F6rg"@fr . "Block_"@fr . "Morpheus: variability-aware refactoring in the wild"@fr . . . "M\u00E9rillon"@fr . . "checker"@fr . "Le logiciel Coccinelle, un outil de correspondance et transformation en langage C, a \u00E9t\u00E9 r\u00E9alis\u00E9 en 2008 par l\u2019actuelle \u00E9quipe de recherche Whisper (Equipe de projet commune entre l\u2019Inria et la Sorbonne Universit\u00E9) pour faciliter les sp\u00E9cifications et automatisations de l'\u00E9volution du noyau Linux. La nouvelle contribution de Coccinelle fut d'autoriser les d\u00E9veloppeurs \u00E0 \u00E9crire des r\u00E8gles de manipulation de code directement dans la structure syntaxique du code, via la g\u00E9n\u00E9ralisation de (en) de patch. Au fil des ann\u00E9es, l\u2019outil Coccinelle a \u00E9t\u00E9 largement utilis\u00E9 dans le d\u00E9veloppement du noyau Linux, aboutissant \u00E0 plus de 6000 commits, et a trouv\u00E9 sa place dans le processus de d\u00E9veloppement de Linux."@fr . "Journal of Computer Science and Technology"@fr . "pfminer"@fr . . . "Baowen"@fr . . "279"^^ . "Proceedings of the 40th International Conference on software engineering"@fr . "Coccinelle (logiciel)"@fr . "merging"@fr . . "ACM SIGARCH Computer Architecture News"@fr . "Null_pointer"@fr . "Shi-Min"@fr . . "Consel"@fr . "Robert"@fr . "Rothberg"@fr . . . "Hansen"@fr . "Devil : An IDL for Hardware Programming"@fr . "juillet"@fr . "Frank"@fr . "Cipar"@fr . "Garbe"@fr . . "Calv\u00E8s"@fr . "Coccinelle: reducing the barriers to modularization in a large C code base"@fr . "A delta-oriented approach to support the safe reuse of black-box code rewriters"@fr . "Christos"@fr . "McKenney"@fr . "Manipulation de cha\u00EEnes de caract\u00E8res en C"@fr . "Amani"@fr . "Christophe"@fr . "3016"^^ . "Michael M."@fr . "9781450327046"^^ . "Stratego/XT"@fr . "Reiter"@fr . "Understanding collateral evolution in Linux device drivers"@fr . "Weimer"@fr . "Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities"@fr . "Benjamin"@fr . "Brian"@fr . "Bershad"@fr . "Maign\u00E9"@fr . "Linux Device Driver Emulation in Mach"@fr . "isitpossible"@fr . "Joubert"@fr . "Blanc"@fr . "10.1002"^^ . "Sven"@fr . . . "Duchamp"@fr . . "USENIX Security"@fr . "Davis"@fr . "9781605589589"^^ . "1595935770"^^ . "20190924"^^ . "Damien"@fr . "Syntaxe_"@fr . . "ACM Transactions on Storage"@fr . "Automated Software Engineering"@fr . "Proceedings of the 37th International Conference on software engineering"@fr . . "Marlet"@fr . "Logic in Computer Science: Modelling and reasoning about systems"@fr . . "Gregory"@fr . "Yoann"@fr . . "Christian"@fr . "Yu-Ping"@fr . "mining"@fr . "Anh Cuong"@fr . "Memory_management_"@fr . "Abd-El-Malek"@fr . "Julia"@fr . "Laurent"@fr . "Proceedings of the USENIX 1996 Annual Technical Conference"@fr . "Leonid"@fr . "Computation_tree_logic"@fr . "E."@fr . "helpful"@fr . "Alastair"@fr . . . . . "Lecture Notes in Computer Science"@fr . . "Khoo"@fr .