SIAM Journal / Olin / BP / Google / Intel Corporation / / /
Facility
A. Diwan / Carnegie Mellon University / G¨odelhashing library / Georgia Institute of Technology / G¨odel Hashes Shuying Liang Weibin Sun Matthew Might University / R. Garner / GNU Multiple Precision Arithmetic library / /
IndustryTerm
ordinary mobile applications / set-intensive applications / binary search / built-in tool / candidate applications / precise algorithm / compiled using the built-in tool / /
MarketIndex
BENCHMARKS / /
OperatingSystem
Android / GNU / /
Organization
School of Computer Science / University of Utah / National Science Foundation / Georgia Institute of Technology / Carnegie Mellon University / Pittsburgh / European Union / IN DAC / /
Person
Georg Cantor / Steven Lyde / Benjamin Chambers / Robert M. Solovay / George Havas / Bohdan S. Majewski / Michael O. Rabin / Thomas Gilray / David Van Horn / Matthew Might / Volker Strassen / Gary L. Miller / Liang Weibin Sun Matthew / /
Position
Prime Minister / correspondent / rt / representative / Architectures Software Developer / /
ProgrammingLanguage
Java / C / C++ / /
ProvinceOrState
Pennsylvania / Oregon / /
PublishedMedium
SIAM Journal on Computing / The Computer Journal / Communications of the ACM / Mathematische Annalen / Journal of Number Theory / /
Fast Flow Analysis with G¨odel Hashes Shuying Liang Weibin Sun Matthew Might