Mark Marron
University of Kentucky(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Software Engineering Research, Software Testing and Debugging Techniques, Security and Verification in Computing
Most-Cited Works
- → Insulin-dependent diabetes mellitus (IDDM) is associated with CTLA4 polymorphisms in multiple ethnic groups(1997)406 cited
- → Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities(2012)161 cited
- → Program synthesis using natural language(2016)117 cited
- → NLyze(2014)99 cited
- → User Interaction Models for Disambiguation in Programming by Example(2015)94 cited
- → Genomic Distances under Deletions and Insertions(2004)78 cited
- → From relational verification to SIMD loop synthesis(2013)64 cited
- → Approximating the true evolutionary distance between two genomes(2008)61 cited
- → Sharing analysis of arrays, collections, and recursive structures(2008)32 cited
- → Abstracting runtime heaps for program understanding(2012)30 cited