Search
 
   

9 results for "domain:cis.upenn.edu"

  1. 5
    Type-and-Example-Directed Program Synthesis (2015) ☶ pdf compsci formalmethods ml cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 2 comments
  2. 4
    Automatic Synthesis of Distributed Protocols (2017) pdf compsci distributed formalmethods cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 10
    Software Foundations - Vol 1-3 pdf compsci math softwarefoundations.cis.upenn.edu
    animatronic avatar via animatronic 5 months ago | cached | 3 comments
  4. 12
    Total Haskell is Reasonable Coq pdf formalmethods haskell cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  5. 1
    Testing Non-Interference, Quickly (2012) pdf compsci programming security testing cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  6. 10
    The Weird World of Bi-Directional Programming ☶ pdf compsci cis.upenn.edu
    joe_the_user avatar via joe_the_user 3 years ago | cached | 3 comments
  7. 11
    Great Works in Programming Languages compsci programming cis.upenn.edu
    taylskid avatar via taylskid 3 years ago | cached | 1 comment
  8. 2
    Concurrent NetCore: From Policies to Pipelines pdf networking cis.upenn.edu
    SeanTAllen avatar via SeanTAllen 3 years ago | cached | no comments
  9. 2
    Software foundations (new free textbook on developing formally verified software) release cis.upenn.edu
    mikeg avatar via mikeg 5 years ago | cached | 1 comment