Alex Wood awood45

## favourite_papers.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              3 stars
            
          
                lsegal
                / favourite_papers.md
            
            
              Created
              November 8, 2013 18:39
            
              
                Some of my favourite research papers in formal methods & static analysis
              
          
"Aggressive Type Inference", John Aycock:
http://www.python.org/workshops/2000-01/proceedings/papers/aycock/aycock.html


"Soft Typing", Robert Cartwright & Mike Fagan:
http://courses.cs.ut.ee/2006/types/uploads/Main/cartwright91soft.pdf


"Proﬁle-Guided Static Typing for Dynamic Scripting Languages", Michael Furr Jong-hoon (David) An Jeffrey S. Foster:
http://www.cs.umd.edu/~jfoster/papers/cs-tr-4935.pdf


"Automated Whitebox Fuzz Testing" - Godefroid, Levin, Molnar: