René's URL Explorer Experiment


Title: Andrew W. Keep---Compiler Engineer

Mail addresses
andy.keep@gmail.com

direct link

Domain: andykeep.com

Links:

Meta - Reality Labs Researchhttp://www.meta.com/
@andykeephttp://twitter.com/andykeep
@akeephttp://github.com/akeep
andykeephttp://linkedin.com/in/andykeep
Publicationshttps://andykeep.com#publications
Projectshttps://andykeep.com#projects
Talkshttps://andykeep.com#talks
Personalhttps://andykeep.com#personal
Metahttps://www.meta.com
Cisco Systems, Inc.http://cisco.com
Chez Schemehttps://github.com/cisco/ChezScheme
U-Combinatorhttp://www.ucombinator.org/
Matt Mighthttp://matt.might.net/
nanopass compiler infrastructurehttp://github.com/nanopass/nanopass-framework-scheme/
University of Utahhttp://www.cs.utah.edu/
Indiana Universityhttp://www.soic.indiana.edu/
nanopass frameworkhttp://github.com/nanopass/nanopass-framework-scheme/
Chez Schemehttp://www.scheme.com/
R. Kent Dybvighttp://www.cs.indiana.edu/~dyb/
Publicationshttps://andykeep.com#publications
Projectshttps://andykeep.com#projects
Talkshttps://andykeep.com#talks
Personalhttps://andykeep.com#personal
Rebuilding Racket on Chez Scheme (Experience Report)https://dl.acm.org/doi/pdf/10.1145/3341642
BibTeXjavascript:toggleById('racketOnCsBT')
Abstractjavascript:toggleById('racketOnCsAbs')
closejavascript:toggleById('racketOnCsBT')
closejavascript:toggleById('racketOnCsAbs')
A run-time representation of Scheme record typeshttp://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9339841&fulltextType=RA&fileId=S0956796814000203
doi:10.1017/S0956796814000203http://dx.doi.org/10.1017/S0956796814000203
BibTeXjavascript:toggleById('rtrSrtBT')
Abstractjavascript:toggleById('rtrSrtAbs')
closejavascript:toggleById('rtrSrtBT')
closejavascript:toggleById('rtrSrtAbs')
Pruning, Pushdown Exception-Flow Analysishttp://arxiv.org/pdf/1409.3108.pdf
BibTeXjavascript:toggleById('ppdefaBT')
Abstractjavascript:toggleById('ppdefaAbs')
closejavascript:toggleById('ppdefaBT')
closejavascript:toggleById('ppdefaAbs')
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturationhttps://andykeep.com/pubs/liang-spsm-13-preprint.pdf
BibTeXjavascript:toggleById('pdcfaEpsBT')
Abstractjavascript:toggleById('pdcfaEpsAbs')
closejavascript:toggleById('pdcfaEpsBT')
closejavascript:toggleById('pdcfaEpsAbs')
Automatic Cross-Library Optimizationhttps://andykeep.com/pubs/auto-xlib-opt.pdf
BibTeXjavascript:toggleById('xlibOptBT')
Abstractjavascript:toggleById('xlibOptAbs')
closejavascript:toggleById('xlibOptBT')
closejavascript:toggleById('xlibOptAbs')
A Nanopass Framework for Commercial Compiler Developmenthttps://andykeep.com/pubs/np-preprint.pdf
BibTeXjavascript:toggleById('npBT')
Abstractjavascript:toggleById('npAbs')
closejavascript:toggleById('npBT')
closejavascript:toggleById('npAbs')
A sufficiently smart compiler for procedural recordshttps://andykeep.com/pubs/scheme-12b.pdf
BibTeXjavascript:toggleById('recordsBT')
Abstractjavascript:toggleById('recordsAbs')
closejavascript:toggleById('recordsBT')
closejavascript:toggleById('recordsAbs')
Optimizing closures in O(0)-timehttps://andykeep.com/pubs/scheme-12a.pdf
BibTeXjavascript:toggleById('closuresBT')
Abstractjavascript:toggleById('closuresAbs')
closejavascript:toggleById('closuresBT')
closejavascript:toggleById('closuresAbs')
Flow-sensitive sub-zero control-flow analysis in linear-log timehttp://dl.acm.org/authorize?65941133
BibTeXjavascript:toggleById('typeRecoveryBT')
Abstractjavascript:toggleById('typeRecoveryAbs')
closejavascript:toggleById('typeRecoveryBT')
closejavascript:toggleById('typeRecoveryAbs')
Ftypes: Structured foreign typeshttps://andykeep.com/pubs/scheme-11.pdf
BibTeXjavascript:toggleById('ftypesBT')
Abstractjavascript:toggleById('ftypesAbs')
closejavascript:toggleById('ftypesBT')
closejavascript:toggleById('ftypesAbs')
Enabling cross-library optimization and compile-time error checking in the presence of procedural macroshttps://andykeep.com/pubs/scheme-10.pdf
BibTeXjavascript:toggleById('lgBT')
Abstractjavascript:toggleById('lgAbs')
closejavascript:toggleById('lgBT')
closejavascript:toggleById('lgAbs')
A pattern matcher for miniKanren or how to get into trouble with CPS macroshttps://andykeep.com/pubs/scheme-09.pdf
BibTeXjavascript:toggleById('mKpatternBT')
Abstractjavascript:toggleById('mKpatternAbs')
closejavascript:toggleById('mKpatternBT')
closejavascript:toggleById('mKpatternAbs')
Concrete partial evaluation in Rubyhttps://andykeep.com/pubs/escience-08.pdf
BibTeXjavascript:toggleById('rubyPeBT')
Abstractjavascript:toggleById('rubyPeAbs')
Posterhttps://andykeep.com/pubs/escience-08-poster.pdf
closejavascript:toggleById('rubyPeBT')
closejavascript:toggleById('rubyPeAbs')
RubyWrite: An embedded DSL for tree rewritinghttps://andykeep.com/pubs/IUTR704.pdf
BibTeXjavascript:toggleById('rubyWriteBT')
Abstractjavascript:toggleById('rubyWriteAbs')
closejavascript:toggleById('rubyWriteBT')
closejavascript:toggleById('rubyWriteAbs')
A Nanopass Framework for Commercial Compiler Developmenthttps://andykeep.com/pubs/dissertation.pdf
BibTeXjavascript:toggleById('dissBT')
Abstractjavascript:toggleById('dissAbs')
closejavascript:toggleById('dissBT')
closejavascript:toggleById('dissAbs')
Nanopass Frameworkhttps://github.com/nanopass/nanopass-framework-scheme
Softwarehttps://github.com/nanopass/nanopass-framework-scheme
BibTeXjavascript:toggleById('npswBT')
closejavascript:toggleById('npswBT')
Chez Schemehttps://cisco.github.io/ChezScheme
Softwarehttps://github.com/cisco/ChezScheme
complete BibTeX filehttps://andykeep.com/pubs/andykeep.bib
Publicationshttps://andykeep.com#publications
Projectshttps://andykeep.com#projects
Talkshttps://andykeep.com#talks
Personalhttps://andykeep.com#personal
nanopass frameworkhttps://github.com/nanopass/nanopass-framework-scheme
Harlanhttps://github.com/eholk/harlan/
Tapashttps://github.com/Ucombinator/Tapas
Publicationshttps://andykeep.com#publications
Projectshttps://andykeep.com#projects
Talkshttps://andykeep.com#talks
Personalhttps://andykeep.com#personal
Clever Representations and Small Optimizations in Chez Schemehttps://youtu.be/BcC3KScZ-yA
Sweat the Small Stuffhttps://youtu.be/BcC3KScZ-yA
Scheme Workshop 2019http://www.schemeworkshop.org/2019/
3rd Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Deviceshttp://www.spsm-workshop.org/2013/
Writing a Nanopass Compiler https://youtu.be/Os7FE3J-U5Q
Clojure Conjhttp://clojure-conj.org/
18th annual International Conference on Functional Programminghttp://icfpconference.org/icfp2013/
PDFhttps://andykeep.com/slides/icfp13.pdf
Keynotehttps://andykeep.com/slides/icfp13.key
Publicationshttps://andykeep.com#publications
Projectshttps://andykeep.com#projects
Talkshttps://andykeep.com#talks
Personalhttps://andykeep.com#personal
Joe Van Goghhttps://www.joevangogh.com
Sinchttps://keeb.io/collections/sinc
Keebiohttps://keeb.io
Monsgeek M1https://www.monsgeek.com/product/monsgeek-m1/
Monsgeekhttps://www.monsgeek.com/
Air75https://nuphy.com/collections/keyboards/products/air75
NuPhyhttps://nuphy.com/
URLs of crawlers that visited me.