Meta tags:

Headings (most frequently used words):

papers, matt, might, frequently, needed, requested, info, about, me, publications, proceedings, journal, government, policy, whitepapers, dissertation,

Text of the page (most frequently used words):
and (105), might (64), matthew (62), pdf (57), paper (49), the (48), analysis (38), #proceedings (33), programming (33), 2013 (24), pages (23), functional (22), 2010 (20), abstract (19), conference (17), 2014 (17), flow (16), september (16), for (16), scheme (16), david (16), workshop (15), higher (14), order (14), languages (14), 2016 (14), slides (13), 2006 (13), january (13), van (13), horn (13), symposium (12), international (12), author (11), title (11), year (11), month (11), bib (11), acm (11), 2007 (10), june (10), 2015 (10), via (10), inproceedings (10), booktitle (10), address (10), programs (10), 2009 (10), 2012 (10), with (10), 2011 (10), medicine (9), shivers (9), annual (9), canada (9), steven (9), lyde (9), thomas (9), gilray (9), precision (8), olin (8), france (8), pushdown (8), control (8), washington (8), popl (7), cfa (7), rogramming (7), icfp (7), michael (7), november (7), environment (6), pldi (6), onference (6), model (6), vmcai (6), program (6), static (6), shuying (6), liang (6), principles (5), implementation (5), 11th (5), checking (5), adams (5), georgia (4), institute (4), papers (4), language (4), design (4), nternational (4), nice (4), interpretation (4), logic (4), interpretations (4), usa (4), www (4), august (4), object (4), oriented (4), sas (4), christopher (4), earl (4), arxiv (4), october (4), dynamic (4), science (4), school (3), working (3), analyses (3), portland (3), oregon (3), unctional (3), erification (3), odel (3), hecking (3), bstract (3), nterpretation (3), verification (3), category (3), 34th (3), soundness (3), non (3), posteriori (3), keynote (3), html (3), tarun (3), prabhu (3), reachability (3), boston (3), massachusetts (3), interpreters (3), free (3), machines (3), that (3), are (3), darais (3), japan (3), video (3), andrew (3), keep (3), jan (3), midtgaard (3), code (3), short (3), may (3), formal (3), polyvariance (3), william (3), byrd (3), director (3), research (3), patients (3), about (3), you (3), bio (3), matt (3), technology (2), dissertation (2), pearl (2), data (2), privacy (2), novel (2), information (2), nih (2), maryland (2), government (2), show (2), all (2), journal (2), charleston (2), south (2), carolina (2), 127 (2), 140 (2), delta (2), 33rd (2), nnual (2), ymposium (2), rinciples (2), anguages (2), continuations (2), transducer (2), composition (2), ottawa (2), 295 (2), 307 (2), 27th (2), anguage (2), esign (2), mplementation (2), improving (2), γcfa (2), garbage (2), collection (2), counting (2), gamma (2), benjamin (2), chambers (2), 8th (2), long (2), 185 (2), 198 (2), panagiotis (2), manolios (2), deterministic (2), savannah (2), 10th (2), interprocedural (2), dependence (2), stack (2), orkshop (2), cheme (2), shape (2), absence (2), pointers (2), structure (2), madrid (2), spain (2), 263 (2), 278 (2), yannis (2), smaragdakis (2), resolving (2), exploiting (2), paradox (2), illuminating (2), toronto (2), 305 (2), 315 (2), out (2), work (2), precise (2), time (2), montreal (2), quebec (2), gpus (2), daniel (2), parsing (2), derivatives (2), linear (2), systems (2), applications (2), security (2), case (2), galois (2), ilya (2), sergey (2), seattle (2), from (2), tfp (2), provo (2), utah (2), trends (2), malware (2), android (2), approach (2), leif (2), andersen (2), aldous (2), germany (2), hopa (2), vienna (2), austria (2), july (2), james (2), king (2), weibin (2), sun (2), scam (2), victoria (2), 14th (2), ieee (2), source (2), manipulation (2), best (2), award (2), meta (2), together (2), state (2), small (2), dls (2), pittsburgh (2), pennsylvania (2), allocation (2), isc (2), nara (2), 2017 (2), publications (2), therapeutics (2), most (2), biomedical (2), medical (2), finding (2), computer (2), please (2), see (2), generator (2), mattmight (2), phdthesis, might2007diss, dixie, baker, rourke, laura, lyman, rodriguez, tania, simoncelli, john, wilbanks, participant, engagement, ways, returning, participants, group, large, cohort, feb, bethesda, policy, whitepapers, δcfa, might2006dcfa, might2006transducer, might2006gcfa, might2007gcfamc, might2007lfa, 260, 274, might2009aposteriori, emph, might2009dependence, might2010shape, analyis, flash, might2010mcfa, 31st, perpignan, 407, 421, abstracting, baltimore, robby, findler, hueschen, kindly, pointed, figure, this, contains, bug, definition, tick, readers, encouraged, refer, revised, improved, jfp, instead, errata, polyvariant, polynomial, earl2010pdcfa, shreyas, ramalingam, mary, hall, eigencfa, accelerating, austin, texas, 511, 522, 38th, family, concurrent, venice, italy, spiewak, tokyo, 189, 195, mp4, arun, chauhan, kent, dybvig, sensitive, type, recovery, log, oopsla, 483, 498, hash, taint, plas, beijing, china, structural, proof, escape, technique, connections, deauville, 352, 369, introspective, copenhagen, denmark, 177, 188, youtube, dominique, devriese, dave, clark, frank, piessens, monadic, extracting, hybrid, automata, nfm, moffet, field, 5th, nasa, methods, survey, sat, solvers, anadroid, user, supplied, predicates, tapas, tools, automatic, ian, johnson, nicholas, labich, optimizing, unified, multi, core, parallelization, abstracted, entangled, domains, petey, sound, entry, point, saturation, spsm, berlin, 3rd, ccs, smartphones, mobile, devices, strong, function, call, unrolling, partitioning, gpu, constraint, wittenberg, pruning, exception, fast, gödel, hashes, ballantyne, generating, template, metaprograms, racket, macros, encoding, maria, jenkins, concrete, better, peter, interference, expressive, low, level, saint, malo, exploration, choices, step, interpreter, sfp, vancouver, pointer, transformers, modular, reusable, metatheory, oosla, petersburgh, florida, 43rd, celeste, hollenbeck, complexity, performance, santa, barbara, california, 37th, robert, kirby, sparse, matrix, istanbul, turkey, winner, prace, supercomputing, jason, hemann, friedman, embedding, simple, complete, search, characterizes, dakota, fisher, hammer, miniadapton, minimal, incremental, computation, kimball, germane, paris, 44th, times, article, rare, disease, minute, journey, into, here, some, external, summaries, broader, interests, include, oligonucleotide, organisms, drug, screening, medicinal, chemistry, oversee, faculty, staff, comprehensive, portfolio, includes, significant, bench, targeted, tailoring, individual, personal, brings, artificial, intelligence, machine, learning, reasoning, accelerate, service, spent, career, academia, but, have, had, major, parallel, stints, white, house, 2018, industry, founder, pairnomix, llc, acquisition, biosciences, inc, ended, applying, generalizing, much, what, learned, him, help, others, helping, facing, complex, challenges, has, become, life, mission, was, first, genetic, disorder, pivoted, treatments, scientist, became, passionate, quest, diagnose, son, bertrand, need, bluesky, net, linkedin, matthewmight, instagram, twitter, patient, caregiver, seeking, diagnosis, treatment, feel, reach, algorithm, headshot, photos, interactive, having, speak, travel, your, event, can, email, emails, preferred, frequently, needed, requested, info, professor, internal, hugh, kaul, center, animal, modeling, heersink, university, alabama, birmingham, senior, lecturer, department, informatics, harvard, blog, speaking, faq,

Text of the page (random words):
ecome my life s mission i ve spent most of my career in academia but i have had major parallel stints in government the white house 2016 2018 and industry co founder at pairnomix llc and by acquisition q state biosciences inc most of my personal research brings together data science artificial intelligence machine learning and formal reasoning to accelerate biomedical science in the service of patients as director of the precision medicine institute i oversee a faculty and research staff with a comprehensive research portfolio that includes significant bench science targeted at tailoring therapeutics to individual patients my broader interests include oligonucleotide therapeutics model organisms drug screening and medicinal chemistry here are some short external summaries of my work a 7 minute video on my journey into precision medicine ny times article on my approach to rare disease publications proceedings papers show all conference papers kimball germane and matthew might a posteriori environment analysis with pushdown delta cfa proceedings of the 44th annual acm symposium on the principles of programming languages popl 2017 paris france january 2017 paper pdf dakota fisher matthew hammer william e byrd matthew might miniadapton a minimal implementation of incremental computation in scheme proceedings of the 2016 workshop on scheme and functional programming scheme 2016 nara japan september 2016 thomas gilray michael adams and matthew might allocation characterizes polyvariance proceedings of the international conference on functional programming icfp 2016 nara japan september 2016 jason hemann william byrd daniel friedman and matthew might a small embedding of logic programming with a simple complete search proceedings of the dynamic languages symposium dls 2016 october 2016 james king thomas gilray robert m kirby and matthew might dynamic sparse matrix allocation on gpus proceedings of the international supercomputing conference isc 2016 istanbul turkey june 2016 winner of prace isc best paper award michael adams celeste hollenbeck and matthew might on the complexity and performance of parsing with derivatives proceedings of the 37th annual conference of programming language design and implementation pldi 2016 santa barbara california june 2016 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 best paper award shuying liang weibin sun and matthew might 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 steven lyde and matthew might environment unrolling workshop on higher order program analysis 2014 hopa 2014 vienna austria 18 july 2014 paper pdf steven lyde and matthew might strong function call workshop on higher order program analysis 2014 hopa 2014 vienna austria 18 july 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 steven lyde and matthew might control flow analysis with sat solvers proceedings of trends of functional programming 2013 tfp 2013 provo utah may 2013 paper pdf thomas gilray and matthew might a survey of polyvariance in control flow analyses proceedings of trends of functional programming 2013 tfp 2013 provo utah may 2013 steven lyde matthew might 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 jan midtgaard michael d adams 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 shuying liang matthew might 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 david van horn and matthew might 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 abstract interpreters for free static analysis symposium 2010 sas 2010 perpignan france september 2010 pages 407 421 paper pdf slides pdf 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 matthew might 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 inproceedings might2010shape 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 matthew might 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 matthew might benjamin chambers and olin shivers 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 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 olin shivers and matthew might 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 matthew might and olin shivers 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 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 page...