Personal

• Blog.
• Bertrand's medical blog.
• Amazon wish list.

Activities

1. SAS 2010. PC Member. Deadline: 19 March 2010.
2. Oregon Ph.D. Summer School 2009. Lecturer. Dates: 23-31 July 2009.
3. Scheme Workshop 2009. PC member. Date: 22 August 2009.
4. PADTAD 2009. PC member. Dates: 19-20 July 2009.
5. ICFP 2009. PC member. Dates: 31 Aug - 2 Sep 2009.

Research

My primary interest is in static analysis of software systems, and static analysis by abstract interpretation in particular. My objective is to build languages, compilers and tools for programmers that improve the security, parallelism and performance of their software.

I run the U Combinator static analysis research group.

Publications

• CiteULike: [my pubs] [my library]

Conference papers

1. Matthew Might and Panagiotis Manolios. ``A posteriori soundness for non-deterministic abstract interpretations.'' Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009). Savannah, Georgia, USA. January, 2009. To appear.
   Paper: [pdf] [bib]
   Slides: [pdf] [www/html] [keynote]
   

   @InProceedings{might2009aposteriori,
     author =       {Matthew Might and Panagiotis Manolios},
     title =        {\emph{A posteriori} soundness for non-deterministic abstract interpretations},
     booktitle =    {Proceedings of the 10th {I}nternational {C}onference on {V}erification, {M}odel {C}hecking and {A}bstract {I}nterpretation  ({VMCAI} 2009)},
     year =         {2009},
     address =      {Savannah, Georgia, USA},
     month =        {January}
   }
   

2. Matthew Might. ``Logic-flow analysis of higher-order programs.'' Proceedings of the 34th Annual ACM Symposium on the Principles of Programming Languages (POPL 2007). Long paper category. Nice, France. January, 2007. pages 185--198.
   Paper: [pdf] [bib]
   Slides: [pdf]
   

   @InProceedings{might2007lfa,
     author =    {Matthew Might},
     title =     {Logic-Flow Analysis of Higher-Order Programs},
     booktitle = {Proceedings of the 34th {A}nnual {ACM} {S}ymposium on the {P}rinciples of {P}rogramming {L}anguages  ({POPL} 2007)},
     pages =     {185--198},
     year =      {2007},
     address =   {Nice, France},
     month =     {January}
   }
     

3. Matthew Might, Benjamin Chambers and Olin Shivers. ``Model Checking via ΓCFA.'' Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007). Nice, France. January, 2007. pages 59--73.
   Paper: [pdf] [bib]
   

   @InProceedings{might2007gcfamc,
     author =       {Matthew Might and Benjamin Chambers and Olin Shivers},
     title =        {Model Checking via {$\Gamma$CFA}},
     booktitle =    {Proceedings of the 8th {I}nternational {C}onference on {V}erification, {M}odel {C}hecking and {A}bstract {I}nterpretation  ({VMCAI} 2007)},
     pages =        {59--73},
     year =         {2007},
     address =      {Nice, France},
     month =        {January}
   }
   

4. Matthew Might and Olin Shivers. ``Improving flow analyses via ΓCFA: Abstract garbage collection and counting.'' Proceedings of the 11th ACM International Conference on Functional Programming (ICFP 2006). Portland, Oregon. September, 2006. pages 13--25.
   Paper: [pdf] [bib]
   Slides: [pdf]
   

   @InProceedings{might2006gcfa,
     author =       {Matthew Might and Olin Shivers},
     title =        {Improving Flow Analyses via {$\Gamma$CFA}: Abstract Garbage Collection and Counting},
     booktitle =    {Proceedings of the 11th {ACM} {I}nternational {C}onference on {F}unctional {P}rogramming  ({ICFP} 2006)},
     pages =        {13--25},
     year =         {2006},
     address =      {Portland, Oregon},
     month =        {September}
   }
   

5. Olin Shivers and Matthew Might. ``Continuations and transducer composition.'' Proceedings of the 27th Conference on Programming Language Design and Implementation (PLDI 2006). Ottawa, Canada. pages 295--307. June, 2006.
   Paper: [pdf] [bib]
   Slides: [pdf]
   

   @InProceedings{might2006transducer,
     author =       {Olin Shivers and Matthew Might},
     title =        {Continuations and Transducer Composition},
     booktitle =    {Proceedings of the 27th {C}onference on {P}rogramming {L}anguage {D}esign and {I}mplementation  ({PLDI} 2006)},
     pages =        {295--307},
     year =         {2006},
     address =      {Ottawa, Canada},
     month =        {June}
   }
   

6. Matthew Might and Olin Shivers. ``Environment analysis via ΔCFA.'' Proceedings of the 33rd Annual ACM Symposium on the Principles of Programming Languages (POPL 2006). Charleston, South Carolina. January, 2006. pages 127--140.
   Paper: [pdf] [bib]
   Slides: [pdf]
   

   @InProceedings{might2006dcfa,
     author =       {Matthew Might and Olin Shivers},
     title =        {Environment Analysis via {$\Delta$CFA}},
     booktitle =    {Proceedings of the 33rd {A}nnual {ACM} {S}ymposium on the {P}rinciples of {P}rogramming {L}anguages  ({POPL} 2006)},
     pages =        {127--140},
     year =         {2006},
     address =      {Charleston, South Carolina},
     month =        {January}
   }
   

Journal papers

1. Matthew Might and Olin Shivers. ``Exploiting reachability and cardinality in higher-order flow analysis.'' Journal of Functional Programming. Volume 18, Issues 5-6. 2008. pages 821-864.
   Paper: [pdf] [bib]
   

   @Article{might2008exploiting,
     author  = {Matthew Might and Olin Shivers},
     title   = {Exploiting reachability and cardinality in higher-order flow analysis},
     journal = {Journal of Functional Programming},
     year    = {2008},
     volume  = {18},
     number  = {5--6},
     pages   = {821--864}
   }
     

2. Matthew Might and Olin Shivers. ``Analyzing environment structure of higher-order languages using frame strings.'' Journal of Theoretical Computer Science. Volume 375, Issues 1-3. Festschrift for John C. Reynolds's 70th birthday. 2007. pages 137--168.
   Paper: [pdf] [bib]
   

   @Article{might2007dcfa,
     author  = {Matthew Might and Olin Shivers},
     title   = {Analyzing the environment structure of higher-order languages using frame strings},
     journal = {Theoretical {C}omputer {S}cience},
     year    = {2007},
     volume  = {375},
     number  = {1--3},
     pages   = {137--168},
     month   = {May}
   }
     

Dissertation

1. Matthew Might. ``Environment Analysis of Higher-Order Languages.'' Ph.D. Dissertation. Georgia Institute of Technology.
   Paper: [pdf] [bib]
   Slides: [pdf]
   

   @PhdThesis{might2007diss,
     author =       {Matthew Might},
     title =        {Environment Analysis of Higher-Order Languages},
     school =       {Georgia Institute of Technology},
     year =         {2007},
     month =        {June}
   }
   

   
   

Talks and lectures

• "Push-down control-flow analysis of higher-order programs." International Conference on Functional Programming Program Committee Workshop. Portland, Oregon. 30 April 2009.
• "The Many-core Fad." Position statement. Cross-cutting systems panel. University of Utah. 30 April 2009.
  Slides: [pdf] [www/html] [www/flash] [keynote]
• "A Brief History of the Freedom of Expressions." Explorations in Computer Science. University of Utah. Fall 2008.
  Slides: [pdf] [www/html] [keynote]

• "Static Analysis of Higher-Order Programs." Given at Max-Planck Institute, Northwestern University, Brandeis University, University of Utah. Spring 2008.
  Slides: [pdf] [www/html] [keynote]

Teaching

• Fall 2009: Advanced topics in compilation.
• Spring 2009: Programming language analysis.
• Spring 2009: Static analysis seminar.

Blog

blog.might.net is really just a collection of short articles:

• Productivity tips for grad students and professors.
• Regular expression matching (by NFA translation) in Java.
• A (side-effecting) denotational interpreter for Lambdo.
• Getting in to grad school.
• An implementation of red-black tree maps in Scala.
• An example of lexing and parsing in Scala using combinators.
• Non-termination without loops, iteration or recursion.
• The Y combinator in Javascript.
• Fermat and Solovay-Strassen implementation in Scheme.
• RSA implementation in Scheme.
• Why infinite (or guaranteed) file compression is impossible.
• HOWTO: Catalog a library with a $10 barcode scanner.
• Tips, tricks and tools for using and learning Unix/Linux.
• Tips, tricks and apps for the iPhone.
• Good programming languages to learn.
• HOWTO: Use Skype for a home phone line.
• Why peer reviewers should use TOR.
• Tips and software for (new) Mac users.
• Preventing and managing repetitive strain injury (RSI).
• Useful books, papers and materials for graduate students.
• Advice for the academic job hunt.

Press

1. Technology influencing uprising in Iran. 22 June 2009. Reported by: John Daley. KSL. Salt Lake City, Utah. 5:00 PM, 6:00 PM. [text/video]

---

Last modified: Wed Jun 24 23:57:55 MDT 2009