Skip to content

Instantly share code, notes, and snippets.

@lsegal

lsegal/favourite_papers.md

Created November 8, 2013 18:39
Show Gist options
  • Star 3 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lsegal/7375509 to your computer and use it in GitHub Desktop.
Save lsegal/7375509 to your computer and use it in GitHub Desktop.
Download ZIP
Some of my favourite research papers in formal methods & static analysis
Raw
favourite_papers.md

  1. "Aggressive Type Inference", John Aycock: http://www.python.org/workshops/2000-01/proceedings/papers/aycock/aycock.html

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

  3. "Profile-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

  4. "Automated Whitebox Fuzz Testing" - Godefroid, Levin, Molnar: http://research.microsoft.com/en-us/projects/atg/ndss2008.pdf

  5. "Static Detection of Security Vulnerabilities in Scripting Languages" - Yichen Xie & Alex Aiken: https://www.usenix.org/legacy/event/sec06/tech/full_papers/xie/xie_html/

  6. "Using Static Analysis For IDE's for Dynamic Languages", Julian Dolby: http://www.eclipse.org/org/langsymp/JulianDolby_paper.pdf

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment