Formal Verification of an SSA-Based Middle-End for CompCert von Barthe, Gilles, Demange, Delphine, Pichardie, David

Volltext

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology von Zakowski, Yannick, Cachera, David, Demange, Delphine, Petri, Gustavo, Pichardie, David, Jagannathan, Suresh, Vitek, Jan

Volltext

Validating Dominator Trees for a Fast, Verified Dominance Test von Blazy, Sandrine, Demange, Delphine, Pichardie, David

Volltext

A verified information-flow architecture: Submission to special issue on Verified Information Flow Security von Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Volltext

Single nucleotide polymorphisms in ABCB1 and CBR1 can predict toxicity to R-CHOP type regimens in patients with diffuse non-Hodgkin lymphoma von Jordheim, Lars P, Ribrag, Vincent, Ghesquieres, Hervé, Pallardy, Sophie, Delarue, Richard, Tilly, Hervé, Haioun, Corinne, Jardin, Fabrice, Demangel, Delphine, Salles, Gilles A, Dumontet, Charles

Volltext

A Verified Information-Flow Architecture von Azevedo de Amorim, Arthur, Collins, Nathan, Dehon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Volltext

A Formally Verified SSA-Based Middle-End: Static Single Assignment Meets CompCert von Barthe, Gilles, Demange, Delphine, Pichardie, David

Volltext

Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology von Zakowski, Yannick, Cachera, David, Demange, Delphine, Petri, Gustavo, Pichardie, David, Jagannathan, Suresh, Vitek, Jan

Volltext

Semantic foundations of intermediate program representations von Demange, Delphine

Volltext bestellen

Verifying Fast and Sparse SSA-Based Optimizations in Coq von Demange, Delphine, Pichardie, David, Stefanesco, Léo

Volltext

All Secrets Great and Small von Demange, Delphine, Sands, David

Volltext

A Provably Correct Stackless Intermediate Representation for Java Bytecode von Demange, Delphine, Jensen, Thomas, Pichardie, David

Volltext

Plan B: a buffered memory model for Java von Demange, Delphine, Laporte, Vincent, Zhao, Lei, Jagannathan, Suresh, Pichardie, David, Vitek, Jan

Volltext

Sawja: Static Analysis Workshop for Java von Hubert, Laurent, Barré, Nicolas, Besson, Frédéric, Demange, Delphine, Jensen, Thomas, Monfort, Vincent, Pichardie, David, Turpin, Tiphaine

Volltext

A Verified Information-Flow Architecture von de Amorim, Arthur Azevedo, Collins, Nathan, DeHon, André, Demange, Delphine, Hritcu, Catalin, Pichardie, David, Pierce, Benjamin C, Pollack, Randy, Tolmach, Andrew

Volltext bestellen

SAFE: A clean-slate architecture for secure systems von Chiricescu, Silviu, DeHon, Andre, Demange, Delphine, Iyer, Suraj, Kliger, Aleksey, Morrisett, Greg, Pierce, Benjamin C., Reubenstein, Howard, Smith, Jonathan M., Sullivan, Gregory T., Thomas, Arun, Tov, Jesse, White, Christopher M., Wittenberg, David

Volltext bestellen

A verified information-flow architecture von Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Volltext

A Verified Information-Flow Architecture von Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hritcu, Catalin, Pichardie, David, Pierce, Benjamin C, Pollack, Randy, Tolmach, Andrew

Volltext

Sawja: Static Analysis Workshop for Java von Laurent, Hubert, Barré, Nicolas, Besson, Frédéric, Demange, Delphine, Jensen, Thomas, Monfort, Vincent, Pichardie, David, Turpin, Tiphaine

Volltext

High cumulative risks of cancer in patients with PTEN hamartoma tumour syndrome von Bubien, Virginie, Bonnet, Françoise, Brouste, Veronique, Hoppe, Stéphanie, Barouk-Simonet, Emmanuelle, David, Albert, Edery, Patrick, Bottani, Armand, Layet, Valérie, Caron, Olivier, Gilbert-Dussardier, Brigitte, Delnatte, Capucine, Dugast, Catherine, Fricker, Jean-Pierre, Bonneau, Dominique, Sevenet, Nicolas, Longy, Michel, Caux, Frédéric, Abramowicz, Marc, Bessis, Didier, Bieth, Eric, Bérard, Valérie Bonadonaon, Bonnetblanc, Jean-Marie, Demange, Liliane, Feillet, François, Frebourg, Thierry, Giraud, Sophie, Giurgea, Irina, Heron, Delphine, Holder, Muriel, Journel, Hubert, Julia, Sophie, Kacem, Maha, Lejeune, Sophie, Leprat, Frédéric, Leroux, Dominique, Lok, Catherine, Lortholary, Alain, Lyonnet, Stanislas, Margueritte, Geneviève, Mauillon, Jacques, Mazereeuw-Hautier, Juliette, Odent, Sylvie, Penet, Clotilde, Philippe, Anne, Plauchu, Henri, Plessismenceau, Ghislaine, Plouvieron, Emmanuel, Richard, Marie-Aleth, Saadi, Abdelkrim, Saurin, Jean-Christophe, Tinat, Julie, Vabres, Pierre, Van Maldergemteil, Lionel, Vennin, Philippe, Weiller, Pierre-Jean

Volltext