Matt Might

Time 2020-10-13 22:09:34

Web Name: Matt Might

WebSite: http://matt.might.net

ID:81070

Keywords:

Matt,Might,

Description:

I was a strategist in the Executive Office of the President at the WhiteHouse for both the Obama and Trump administrations (March 2016 - January 2018).I was on the faculty in Computer Science at the University of Utah(July 2008 - July 2017). In medicine, my primary research area is precision medicine -- the use of data (particularly genomic data) to personalized treatments and optimize healthcare outcomes. I am particularly interested in drug repurposing. In computer science, my primary research area is static analysis of higher-order programs, although I also do work in functional programming, relational programming, parsing and purely functional data structures. My broader interests include language design, compiler implementation, security, program optimization, parallelism and program verification. Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun and Richard Zemel."Neural Guided Constraint Logic Programming for Program Synthesis."Proceedings of the 32nd Conference on Neural Information Processing Systems.(NeurIPS 2018; formerly NIPS 2018).Montreal, Canada.December, 2018.Paper: [arXiv] Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might and David Van Horn. "Pushdown Control-Flow Analysis for Free." Proceedings of the 43rd Annual ACM Symposium on the Principles of Programming Languages (POPL 2016). St. Petersburgh, Florida. January 2016. Paper: [pdf] [arXiv] David Darais, Matthew Might and David Van Horn. "Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis."In Object-Oriented Programming, Systems, Languages & Applications (OOSLA 2015). Pittsburgh, Pennsylvania. October 2015. Paper: [pdf] [arXiv] Steven Lyde, William E. Byrd and Matthew Might. "Control-Flow Analysis of Dynamic Languages via Pointer Analysis." Proceedings of the 11th ACM Symposium on Dynamic Languages (DLS 2015). Pittsburgh, Pennsylvania. October 2015. Paper: [pdf] Steven Lyde and Matthew Might. "State Exploration Choices in a Small-Step Abstract Interpreter." Proceedings of the 2015 Workshop on Scheme and Functional Programming. (SFP 2015). Vancouver, Canada. September 2015. Paper: [pdf] Peter Aldous and Matthew Might. "Static analysis of non-interference in expressive low-level languages." Static Analysis Symposium (SAS 2015). Saint-Malo, France. September, 2015. Paper: [pdf] Maria Jenkins, Leif Andersen, Thomas Gilray and Matthew Might. "Concrete and Abstract Interpretation: Better Together." Proceedings of the 2014 Workshop on Scheme and Functional Programming. Washington, D.C. 19 November 2014. Paper: [pdf] Steven Lyde, Thomas Gilray and Matthew Might. "A Linear Encoding of Pushdown Control-Flow Analysis." Proceedings of the 2014 Workshop on Scheme and Functional Programming. Washington, D.C. 19 November 2014. Paper: [pdf] Michael Ballantyne, Christopher Earl and Matthew Might. "Meta-Meta-Programming: Generating C++ Template Metaprograms with Racket Macros." Proceedings of the 2014 Workshop on Scheme and Functional Programming. Washington, D.C. 19 November 2014. Paper: [pdf] "Fast Flow Analysis with G del Hashes." 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014). Victoria, BC, Canada. 29 September 2014. Paper: [pdf] Shuying Liang, Weibin Sun, Matthew Might, Andrew Keep and David Van Horn. "Pruning, Pushdown Exception-Flow Analysis." 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014). Victoria, BC, Canada. 29 September 2014. Paper: [pdf] Thomas Gilray, James King, and Matthew Might. "Partitioning 0-CFA for the GPU." Workshop on Functional and (constraint) Logic Programming. Wittenberg, Germany. 15 September 2014. Paper: [pdf] Shuying Liang, Andrew W. Keep, Matthew Might, David Van Horn, Steven Lyde, Thomas Gilray and Petey Aldous. "Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation." Proceedings of the 3rd Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM 2013). Long paper category. Berlin, Germany. November 2013. Paper: [pdf] Shuying Liang and Matthew Might. "Entangled Abstract Domains for Higher-order Programs." Proceedings of the 2013 Workshop on Scheme and Functional Programming. Washington, D.C. 13 November 2013. Paper: [pdf] Leif Andersen and Matthew Might. "Multi-core Parallelization of Abstracted Abstract Machines." Proceedings of the 2013 Workshop on Scheme and Functional Programming. Washington, D.C. 13 November 2013. Paper: [pdf] Thomas Gilray and Matthew Might. "A Unified Approach to Polyvariance in Abstract Interpretations." Proceedings of the 2013 Workshop on Scheme and Functional Programming. Washington, D.C. 13 November 2013. Paper: [pdf] J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn. "Optimizing Abstract Abstract Machines." Proceedings of the International Conference on Functional Programming 2013 (ICFP 2013). Boston, Massachusetts. September, 2013. Paper: [pdf] [arXiv] Shuying Liang, Matthew Might, David Van Horn. "AnaDroid: Malware Analysis of Android with User-Supplied Predicates." Proceedings of Tools for Automatic Program Analysis 2013 (TAPAS 2013). Seattle, Washington. 19 June 2013. Paper: [pdf] "Control Flow Analysis with SAT Solvers." Proceedings of Trends of Functional Programming 2013 (TFP 2013). Provo, Utah. May 2013. Paper: [pdf] "A Survey of Polyvariance in Control-Flow Analyses." Proceedings of Trends of Functional Programming 2013 (TFP 2013). Provo, Utah. May 2013. "Extracting Hybrid Automata from Control Code." Proceedings of the 5th Annual NASA Formal Methods Symposium (NFM 2013). Short paper category. Moffet Field, CA. May, 2013. Paper: [pdf] Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clark, Frank Piessens. "Monadic Abstract Interpreters." Proceedings of the 34th Annual Conference of Programming Language Design and Implementation (PLDI 2013). Seattle, Washington. June, 2013. Paper: [pdf] Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn. "Introspective Pushdown Analysis of Higher-Order Programs." International Conference on Functional Programming 2012 (ICFP 2012). Copenhagen, Denmark. September, 2012. pages 177--188. Paper: [pdf] Slides: [pdf] Video: [youtube] Matthew Might. "A Structural Soundness Proof for Shivers's Escape Technique: A Case for Galois Connections." Static Analysis Symposium 2012 (SAS 2012). Deauville, France. September, 2012. pages 352--369. Paper: [pdf] "Hash-Flow Taint Analysis of Higher-Order Programs." Programming Languages and Security 2012 (PLAS 2012). Beijing, China. June, 2012. pages 8:1--8:12. Paper: [pdf] Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan and R. Kent Dybvig. "Flow-Sensitive Type Recovery in Linear-Log Time." Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2011). Portland, Oregon. October, 2011. pages 483--498. Paper: [pdf] Matthew Might, David Darais and Daniel Spiewak. "Functional Pearl: Parsing with Derivatives." International Conference on Functional Programming 2011 (ICFP 2011). Tokyo, Japan. September, 2011. pages 189--195. Paper: [pdf] Slides: [pdf] Video: [mp4] Matthew Might and David Van Horn. "A family of abstract interpretations for static analysis of concurrent higher-order programs." Static Analysis Symposium 2011 (SAS 2011). Venice, Italy. September, 2011. Paper: [pdf] [arXiv] Slides: [pdf] Tarun Prabhu, Shreyas Ramalingam, Matthew Might and Mary Hall. "EigenCFA: Accelerating flow analysis with GPUs." 38th Annual ACM Symposium on the Principles of Programming Languages. (POPL 2011). Austin, Texas, USA. January, 2011. pages 511--522. Paper: [pdf] Christopher Earl, Matthew Might and David Van Horn. "Pushdown control-flow analysis of higher-order programs: Precise, polyvariant and polynomial-time." 2010 Workshop on Scheme and Functional Programming. (Scheme 2010). Montreal, Quebec, Canada. August, 2010. Paper: [pdf] [bib] @InProceedings{earl2010pdcfa, author = {Christopher Earl and Matthew Might and David Van Horn}, title = {Pushdown Control-Flow Analysis of Higher-Order Programs}, booktitle = {Proceedings of the 2010 {W}orkshop on {S}cheme and {F}unctional {P}rogramming (Scheme 2010)}, year = {2010}, address = {Montreal, Quebec, Canada}, month = {August} "Abstracting Abstract Machines." International Conference on Functional Programming 2010 (ICFP 2010). Baltimore, Maryland. September, 2010. pages 51--62. Paper: [pdf] [errata] Robby Findler and Michael Hueschen kindly pointed out that Figure 7 of this work contains a bug in definition of `tick`. Readers are encouraged to refer to the revised and improved JFP 2012 paper instead. Matthew Might, Yannis Smaragdakis and David Van Horn. "Resolving and exploiting the k-CFA paradox: Illuminating functional vs. object-oriented program analysis." Programming Language Design and Implementation 2010 (PLDI 2010). Toronto, Canada. June, 2010. pages 305--315. Paper: [pdf] [bib] Slides: [pdf] @InProceedings{might2010mcfa, author = {Matthew Might and Yannis Smaragdakis and David Van Horn}, title = {Resolving and exploiting the k-CFA paradox: Illuminating functional vs. object-oriented program analysis.}, booktitle = {Proceedings of the 31st {C}onference on {P}rogramming {L}anguage {D}esign and {I}mplementation ({PLDI} 2006)}, year = {2010}, pages = {305--315}, address = {Toronto, Canada}, month = {June} "Shape analysis in the absence of pointers and structure." 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010). Madrid, Spain. January, 2010. pages 263--278. Paper: [pdf] [bib] Slides: [pdf] [www/html] [www/flash] [keynote] author = {Matthew Might}, title = {Shape analyis in the absence of pointers and structure}, booktitle = {Proceedings of the 11th {I}nternational {C}onference on {V}erification, {M}odel {C}hecking and {A}bstract {I}nterpretation ({VMCAI} 2010)}, year = {2010}, pages = {263--278}, address = {Madrid, Spain}, month = {January} Matthew Might and Tarun Prabhu. "Interprocedural dependence analysis of higher-order programs via stack reachability." 2009 Workshop on Scheme and Functional Programming. (Scheme 2009). Boston, Massachusetts. August, 2009. Paper: [pdf] [bib] Slides: [pdf] [www/html] [keynote] @InProceedings{might2009dependence, author = {Matthew Might and Tarun Prabhu}, title = {Interprocedural dependence analysis of higher-order programs via stack reachability}, booktitle = {Proceedings of the 2009 {W}orkshop on {S}cheme and {F}unctional {P}rogramming (Scheme 2009)}, year = {2009}, address = {Boston, Massachusetts, USA}, month = {August} Matthew Might and Panagiotis Manolios. "A posteriori soundness for non-deterministic abstract interpretations." 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009). Savannah, Georgia, USA. January, 2009. pages 260--274. 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} "Logic-flow analysis of higher-order programs." 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} "Model Checking via CFA." 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} Matthew Might and Olin Shivers. "Improving flow analyses via CFA: Abstract garbage collection and counting." 11th ACM International Conference on Functional Programming (ICFP 2006). Portland, Oregon. September, 2006. pages 13--25. Paper: [pdf] [bib] Slides: [pdf] 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} "Continuations and transducer composition." 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} "Environment analysis via CFA." 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] 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} Dixie Baker, Matthew Might, Pearl O'Rourke, Laura Lyman Rodriguez, Tania Simoncelli, John Wilbanks. "Participant Engagement, Data Privacy, and Novel Ways of ReturningInformation to Participants." NIH Precision Medicine Working Group, NIH Large Cohort Precision Medicine Workshop. 11 Feb 2015. Bethesda, Maryland. [pdf]David B. Goldstein."A comprehensive approach to identifying repurposed drugs to treat SCN8A epilepsy."Epilepsia.Volume 59.Issue 4.pages 802--813.https://doi.org/10.1111/epi.1403725 March 2018.Paper: [www][pdf] Katie G Owings, Joshua B Lowry, Yiling Bi, Matthew Might, Clement Y Chow. "Transcriptome and functional analysis in a Drosophila model of NGLY1 deficiency provides insight into therapeutic approaches." Human Molecular Genetics. Volume 27. Issue 6. pages 1055--1066. https://doi.org/10.1093/hmg/ddy026 15 March 2018. Paper: [online] "Repurposing of Proton Pump Inhibitors as First Identified Small Molecule Inhibitors of Endo- -N-acetylglucosaminidase (ENGase) for the Treatment of Rare NGLY1 Genetic Disease." Bioorganic Medicinal Chemistry Letters. 5 May 2017. Paper: [pdf] Rachel Ramoni, et al. "The Undiagnosed Diseases Network: Accelerating Discovery about Health and Disease." American Journal of Human Genetics. Volume 100. Issue 2. pages 185--192. 2 February 2017. Paper: [pubmed] and James C. Sutherland. "Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations." Journal of Systems and Software. pages 1--12. January 2016. Kimball Germane and Matthew Might (2014). "Deletion: The curse of the red-black tree." Journal of Functional Programming, 24(4), pp 423-433. July 2014. author = {Kimball Germane and Matthew Might}, title = {Deletion: The curse of the red-black tree}, journal = {Journal of Functional Programming}, volume = {24}, issue = {04}, month = {7}, year = {2014}, issn = {1469-7653}, pages = {423--433}, numpages = {11}, doi = {10.1017/S0956796814000227}, URL = {http://journals.cambridge.org/article_S0956796814000227} J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might and David VanHorn (2014). Pushdown flow analysis with abstract garbage collection.Journal of Functional Programming, 24, pp 218-283. Paper: [pdf] [publisher pdf] Matthew Might and Matt Wilsey. "The shifting model in clinical diagnostics: how next-generation sequencing and families are altering the way rare diseases are discovered, studied, and treated." Genetics in Medicine. 20 March 2014. Paper: [pdf] David Van Horn and Matthew Might. "Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis." Communications of the ACM. (Research Highlights) September, 2011. Paper: [pdf] [arXiv] Technical perspective: [pdf] 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] 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} 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} title = {Environment Analysis of Higher-Order Languages}, school = {Georgia Institute of Technology}, year = {2007}, month = {June} These are invited talks, lectures or panel discussions; paper-based conference talks are in the papers section. "Winning the War on Error: Solving the Halting Problem and Curing Cancer."Static Analysis and Systems Biology. Keynote.New York, New York.August 29, 2017."The algorithm for precision medicine." Rare disease day. University of Alabama at Birmingham. Birmingham, Alabama. March 3, 2017."The algorithm for precision medicine." IRDiRC 2017. Paris, France. February 12, 2017."The algorithm for precision medicine." DARPA Leadership Seminar. Arlington, VA. January 27, 2017."The algorithm for precision medicine." University of Alabama at Birmingham. Birmingham, Alabama. January 10, 2016."The war on rare disease." Symposium on Precision Therapeutics for Rare Disease. White House Secretary of War Suite. Washington, D.C. December 16, 2016."Why precision therapeutics matters." White House Office of Science and Technology Policy Retreat. NASA Goddard Space Center. December 12, 2016."The Promise of Precision Medicine." Understand Your Genome. Illumina. San Diego, California. December 5, 2016. "Winning the War on Error: Solving the Halting Problem and Curing Cancer." University of Maryland, College Park, Department of Computer Science. College Park, Maryland. October 21, 2016. Video: [youtube] "Algorithmic medicine and why translation matters." NCATS Translator Kick-off. Keynote. Bethesda, Maryland. October 12, 2016. "Winning the War on Error: Solving the Halting Problem and Curing Cancer." Harvard University, Department of Computer Science. Cambridge, Massachussetts. September 28, 2016. "Gene to Community; Community to Action: The Power of Social Media in Genomic." National Society for Genetic Counselors. Keynote. Seattle, Washington. September 27, 2016. "The NIH and the FDA: Vital Agencies in the Fight Against Rare Diseases." Rare Disease Congressional Caucus. Senate, Capitol Hill. May 18, 2016. "An Algorithm for Precision Medicine: What do you do when you're the first and only?" ARCS Foundation. Salt Lake City, Utah. April 5, 2016. "Natural allies: Precision medicine and rare disease." Sanford-Burnham-Prebys Rare Disease Day Summit. San Diego, California. February 27, 2016. "Hunting down my son's killer and the future of precision medicine." Opened for the President of the United States. The White House: Precision Medicine Summit. Washington, D.C. February 25, 2016. Video: [youtube] "Patient-centered outcomes." NIH Workshop on Clinical Sequencing Exploratory Research. Bethesda, Maryland. September 28, 2015. Video: [youtube] "The Promise of Precision Medicine and a Plan." Mayo Clinic Leadership Retreat on Genomic Medicine. Rochester, Minnesota. September 20, 2015. "Domain-specific languages: Embedded versus standalone." NSF Workshop on Exploiting Parallelism and Scalability. Washington, D.C. June 2, 2015. "One of a kind: What do you do when you're the first?" University of Utah Medical School Session on Neurometabolic Disorders. Salt Lake City, Utah. March 18, 2015. "Wikipedia for undiagnosed disease discovery: n++ made easy." NIH-Undiagnosed Disease Network PI Meeting. Stanford University. January 26, 2015. Slides: [pdf] "Research and Education: The Utah Advantage." University of Utah National Advisory Council Meeting. Salt Lake City, Utah. October 24, 2014. "Partners in Research: Parents Accelerating Rare Disease Discoveries." Sanford Burnham Board of Trustees Meeting. San Diego, California. September 18, 2014. Slides: [pdf] "Deletion from Okasaki's Red-Black Trees: A Functional Pearl." IFIP WG 2.8 Meeting on Functional Programming. Estes Park, Colorado. August 11, 2014. Slides: [pdf] "Advanced Template Meta-programming for Portable Performance." Department of Energy PSAAP Deep Dive. University of Utah. Salt Lake City, Utah. July 29, 2014. Slides: [pdf] "G del Hashing: Accelerating Static Analyzers." IFIP WG 2.4 Meeting on Software Systems. Pacific Grove, California. February 4, 2014. "Why there's no such thing as cybersecurity." National Classification Management Society. Park City, Utah. September 20, 2013. "What is a Ph.D.? What is research? And, tips for success." Programming Languages Mentoring Workshop 2013 (co-located with POPL 2013). Rome, Italy. Jan 22, 2013. Slides: [pdf] "Abstract interpretation of concurrent, higher-order programs." NII Shonan Meeting on Higher-Order Program Analysis. Shonan Village, Japan. September 26, 2011. Slides: [pdf] "Static analysis of modern software systems: Taming control-flow." Brigham Young University. Provo, Utah. September 10 2009. Slides: [pdf] [www/html] "Control-flow analysis of higher-order programs." NSF/ACM-sponsored Ph.D. Summer School on Theory and Practice of Language Implementation. Eugene, Oregon. July 23 2009. Slides: [pdf] [www/html] [flash] "Push-down control-flow analysis of higher-order programs." International Conference on Functional Programming Program Committee Workshop. Portland, Oregon. 30 April 2009. Hacker School. Resident. December 2014. New York City. SAS 2015. PC Member. POPL 2015. ERC Member. CUFP 2014. PC Member. ICFP 2014. PC Member. ILC 2014 PC Member. OBT 2014. PC Member. ASPLOS 2014. Travel Grants Chair. VMCAI 2014. PC Member. Scala 2013. PC Member. HOPA 2013. PC Member. HOPE 2013. PC Member. ICNC-CPS 2013. PC Member. CC 2013. PC Member. SAS 2012. PC Member. PPDP 2012. PC Member. ICFP 2012. Industrial Relations Member. Copenhagen, Denmark. OOPSLA 2012. PC Member. Tucson, Arizona. PLDI 2012. ERC Member. Beijing, China. PLDI 2012. Publicity Chair. Beijing, China. POPL 2012. PC Member. Philadelphia, Pennsylvania. ESOP 2012. PC Member. Tallin, Estonia. POPL 2012. Workshop Chair. Philadelphia, Pennsylvania. Scheme workshop 2011. Chair. Portland, Oregon. NSAD 2011. Steering Committee Member. POPL 2011. Workshop Chair. Austin, Texas. January 2011. blog.might.net is really just a collection of short articles. Here are the 7 most recent: Marketers bet big on location-based advertising. 24 February 2015. Reported by Torin Koos and Debbie Dujanovic. KSL. Salt Lake City, Utah. 10:00 PM. Vague Facebook content standards frustrates users. 4 Feb 2015. Reported by Debbie Dujanovic. KSL. Salt Lake City, Utah. 10:00 PM. 'Revolution:' What would it take to bring down Utah's lights? 26 November 2012. Reported by Andrew Wittenberg. KSL. Salt Lake City, Utah. 10:00 PM. Anonymous attacks Salt Lake City Police Department. 2 Feb 2012. Reported by Chris Jones. KUTV. Salt Lake City, Utah. 10:00 PM. Couple accuses rental company of spying via webcam. 5 May 2011. Reported by John Daley. KSL. Salt Lake City, Utah. 6:30 PM. Couple Sues Rental Company Over Alleged Spying 4 May 2011. Reported by Fields Moseley. KUTV. Salt Lake City, Utah. 10:00 PM. Hackers steal millions of email addresses. 4 April 2011. Reported by John Daley. KSL. Salt Lake City, Utah. 5:00 PM. Kaitlin Felsted. Unhackable Dream. Business.Utah.Gov News Room. 29 July 2014. "Relational shell programming." Hacker Monthly. August 2012. Matthew Might. "Translating mathematics into code." Hacker Monthly. January 2012. (Cover story) Matthew Might. "Advanced Programming Languages." Hacker Monthly. August 2010. [pdf] Hacker Valley. City Weekly. By Eric S. Peterson. 22 May 2013. Salt Lake City, Utah. Cover story. Utah couple races to help son with unique genetic disorder. Salt Lake Tribune. 25 November 2012. By Kirsten Stewart. Salt Lake City, Utah. Full-page cover story for Sunday edition. Two full-page interior spread. Car Hacking. This Morning with Alex Jensen. 5 September 2013. eFM 101.3 MHz. Seoul, South Korea. 9 minutes. An interview with Science Questions. 29 April 2011. Produced by Sheri Quinn and Constance Crompton. UPR (NPR). Salt Lake City, Utah. 28 minutes. [mp3] Cybersecurity with Matt Might. 30 April 2011. Produced by Sheri Quinn and Suzi Montgomery. UPR (NPR). Salt Lake City, Utah. 30 minutes. [mp3] "Patients' families aid in discovery of new genetic disorder." Nature: Journal of Genetics in Medicine Podcast. Interviewed by Cynthia Graber. 20 March 2014. Audio: [mp3] "RSI and Keyboards." Macdrifter Podcast. Interviewed by Gabe Weatherhead. 5 February 2013. Christopher Earl, Ph.D., 2013. Now a postdoc at LLNL. Shuying Liang, Ph.D., 2014. Now at LinkedIn. Steve Lyde, Ph.D., 2015. Thomas Gilray, Ph.D., 2016. Postdoc at UMD. Now Assistant Professor at UAB. Petey Aldous, Ph.D. 2017. Now a Visiting Professor at BYU. Kimball Germane, Ph.D. 2018. Now a Visiting Professor at BYU. David Darais, B.S. Now an Assistant Professor at UVM. Tarun Prabhu, M.S. Now a Ph.D. student at UIUC. My brothers are the founders of Holodeck: a coworking office and event space in Salt Lake City, and also work for Homie, an Uber-like site for buying and selling homes without commissions going to real estate agents.

TAGS:Matt Might 

<<< Thank you for your visit >>>

Hot Websites