Search Results - DARAIS, DAVID

Refine Results
  1. 1
    Solo: a lightweight static analysis for differential privacy

    Solo: a lightweight static analysis for differential privacy by Abuah, Chiké, Darais, David, Near, Joseph P.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Abstracting Faceted Execution

    Abstracting Faceted Execution by Micinski, Kristopher, Darais, David, Gilray, Thomas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Contextual Linear Types for Differential Privacy

    Contextual Linear Types for Differential Privacy by Toro, Matías, Darais, David, Abuah, Chike, Near, Joseph P., Árquez, Damián, Olmedo, Federico, Tanter, Éric

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    A language for probabilistically oblivious computation

    A language for probabilistically oblivious computation by Darais, David, Sweet, Ian, Liu, Chang, Hicks, Michael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Types and Abstract Interpretation for Authorization Hook Advice

    Types and Abstract Interpretation for Authorization Hook Advice by Skalka, Christian, Darais, David, Jaeger, Trent, Capobianco, Frank

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    KATch: A Fast Symbolic Verifier for NetKAT

    KATch: A Fast Symbolic Verifier for NetKAT by Moeller, Mark, Jacobs, Jules, Belanger, Olivier Savary, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Abstracting definitional interpreters (functional pearl)

    Abstracting definitional interpreters (functional pearl) by Darais, David, Labich, Nicholas, Nguyen, Phúc C., Van Horn, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Constructive Galois Connections

    Constructive Galois Connections by DARAIS, DAVID, HORN, DAVID VAN

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy

    Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy by Near, Joseph P., Darais, David, Abuah, Chike, Stevens, Tim, Gaddamadugu, Pranav, Wang, Lun, Somani, Neel, Zhang, Mu, Sharma, Nikhil, Shan, Alex, Song, Dawn

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    DDUO: General-Purpose Dynamic Analysis for Differential Privacy

    DDUO: General-Purpose Dynamic Analysis for Differential Privacy by Abuah, Chike, Silence, Alex, Darais, David, Near, Joseph P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts

    Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts by FLATT, MATTHEW, CULPEPPER, RYAN, DARAIS, DAVID, FINDLER, ROBERT BRUCE

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Macros that Work Together

    Macros that Work Together by FLATT, MATTHEW, CULPEPPER, RYAN, DARAIS, DAVID, FINDLER, ROBERT BRUCE

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    KATch: A Fast Symbolic Verifier for NetKAT

    KATch: A Fast Symbolic Verifier for NetKAT by Moeller, Mark, Jacobs, Jules, Olivier Savary Belanger, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Parsing with Derivatives: A Functional Pearl

    Parsing with Derivatives: A Functional Pearl by MIGHT, Matthew, DARAIS, David, SPIEWAK, Daniel

    Published in ACM SIGPLAN notices
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Symphony: Expressive Secure Multiparty Computation with Coordination

    Symphony: Expressive Secure Multiparty Computation with Coordination by Sweet, Ian, Darais, David, Heath, David, Harris, William, Estes, Ryan, Hicks, Michael

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    A Language for Probabilistically Oblivious Computation

    A Language for Probabilistically Oblivious Computation by Darais, David, Sweet, Ian, Liu, Chang, Hicks, Michael

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Solo: A Lightweight Static Analysis for Differential Privacy

    Solo: A Lightweight Static Analysis for Differential Privacy by Abuah, Chike, Darais, David, Near, Joseph P

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Constructive Galois Connections

    Constructive Galois Connections by Darais, David, David Van Horn

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Contextual Linear Types for Differential Privacy

    Contextual Linear Types for Differential Privacy by Toro, Matías, Darais, David, Abuah, Chike, Near, Joe, Árquez, Damián, Olmedo, Federico, Tanter, Éric

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    DDUO: General-Purpose Dynamic Analysis for Differential Privacy

    DDUO: General-Purpose Dynamic Analysis for Differential Privacy by Abuah, Chike, Silence, Alex, Darais, David, Near, Joe

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: