Stephen McCamant

1. The Daikon system for dynamic detection of likely invariants
   2007/12/01 by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo +4 · 23 citations
2. Bit-Vector Model Counting using Statistical Estimation
   2017/12/21 by Seonmo Kim, Kim, Seonmo, Stephen McCamant +1 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Privacy-Preserving Technologies in Data #cs.AI #cs.CR
3. New Attacks and Defenses for Randomized Caches
   2019/09/26 by Kartik Ramkrishnan, Antonia Zhai, Ramkrishnan, Kartik +5 · 1 voice
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #cs.AR #cs.CR