User:BoAdler

From GradTurkey

I am a grad student at UC Santa Cruz, where I am studying game theory applied to formal verification. I'm interested in software engineering, especially programming languages and ways to show that programs are correct.

I am in a reading group at school, where you can see what we're looking at.

[edit] My Favorite Papers

• Bug Isolation via Remote Program Sampling
• Design Patterns as Higher-Order Datatype-Generic Programs

[edit] TODO Reading List

• "A semantic approach to secure information flow". Joshi and Leino. paper
• "Security models". McLean. paper
• the langauge that Philip Wadler is working on, Links
• The Fortress language.

[edit] CONCUR '05 Reading List

• [Regev-Shapiro] - used pi-calculus to describe protein machine
• "Bio Ambients and Brane Calculi" - membrane machine
• [Harel] - reactive systems
• [Ptashne] - a genetic switch
• [Regev] - phd thesis
• [Milner] - Communic. and Mobile Systems: the Pi-Calculus
• [Davidson] - Genomic Regulatory Systems
• [Colcombet, Niwinsky] - "On the Positional Determinancy of Edge-Labelled Games"
• [Gradel04] - "Positional Determinancy of Infinite Games"