Rinard, Martin

1. Cimple: Instruction and Memory Level Parallelism
   2018/07/04 by Vladimir Kiriansky, Kiriansky, Vladimir, Haoran Xu +5 · 1 voice · 1 citation
   #cs.PL
2. Exploiting Verified Neural Networks via Floating Point Numerical Error
   2020/03/06 by Kai Jia, Jia, Kai, Martin Rinard +1 · 1 voice · 4 citations
   Computer Science · Mathematics · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #cs.CR #cs.LG #stat.ML
3. Efficient Exact Verification of Binarized Neural Networks
   2020/05/07 by Jia, Kai, Rinard, Martin · 4 citations
   #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)
4. On Generalized Records and Spatial Conjunction in Role Logic
   2004/08/05 by Viktor Kuncak, Kuncak, Viktor, Martin Rinard +1 · 1 citation
   Computer Science · #D.2.4 #D.3.1 #D.3.3 #F.3.1 #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
5. An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
   2016/02/18 by Long, Fan, Rinard, Martin · 1 citation
   #D.2.5 #FOS: Computer and information sciences #Software Engineering (cs.SE)
6. Incompatibility Clustering as a Defense Against Backdoor Poisoning Attacks
   2021/05/08 by Charles Jin, Melinda Sun, Jin, Charles +3 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Network Security and Intrusion Detection
7. Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
   2025/04/07 by Rem Yang, Yang, Rem, Nikos Vasilakis +4 · 4 citations
   Computer Science · #Topic Modeling #Natural Language Processing Techniques #Software Engineering Research
8. Verifying Low-dimensional Input Neural Networks via Input Quantization
   2021/08/18 by Jia, Kai, Rinard, Martin · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
9. Characterizing Developer Use of Automatically Generated Patches
   2019/07/15 by Cambronero, José Pablo, Shen, Jiasi, Cito, Jürgen +2 · 1 citation
   #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Software Engineering (cs.SE)
10. An Order-Aware Dataflow Model for Parallel Unix Pipelines
    2020/12/31 by Handa, Shivam, Kallas, Konstantinos, Vasilakis, Nikos +1 · 1 citation
    #Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)