I'm now looking for M.S. students and Ph.D. students. If you're interested in studying static analysis, programming language design or compiler/interpreter implementation--whether enrolled at Utah or not--shoot me an email or drop by my office.

Jump to:

• Blog.
• Activities.
• Conference papers.
• Journal papers.
• Teaching.

Activities

I'm a program committee member for the following, and I strongly encourage high-quality submissions.

1. ICFP 2009. Deadline: 2 March 2009.
2. PADTAD 2009. Deadline: 19 April 2009.
3. SFP (Scheme Workshop) 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.

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. [pdf] [bib]
   

   @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. [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. [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. [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. [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. [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. 2008. To appear. [pdf]
   
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. [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. [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}
   }
   

   
   

Teaching

• Spring 2009: Programming language analysis.
• Spring 2009: Static analysis seminar.

Blog

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

• Advice for the academic job hunt.
• Useful books, papers and materials for graduate students.
• Preventing and managing repetitive strain injury (RSI).
• Tips and software for (new) Mac users.
• Why peer reviewers should use TOR.
• HOWTO: Use Skype for a home phone line.
• Good programming languages to learn.
• Tips, tricks and apps for the iPhone.
• Tips, tricks and tools for using and learning Unix/Linux.
• HOWTO: Catalog a library with a $10 barcode scanner.
• Why infinite (or guaranteed) file compression is impossible.
• RSA implementation in Scheme.
• Fermat and Solovay-Strassen implementation in Scheme.

---

Last modified: Tue Nov 18 16:21:12 MST 2008