Santosh Pande

1. Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp
   2023/03/22 by Nathan Braswell, Sharjeel Khan, Braswell, Nathan +3 · 3 voices
   Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Security and Verification in Computing #cs.PL
2. Binary Debloating for Security via Demand Driven Loading
   2019/02/18 by Girish Mururu, Mururu, Girish, Chris Porter +5 · 1 voice · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #cs.CR
3. Is Less Really More? Why Reducing Code Reuse Gadget Counts via Software Debloating Doesn't Necessarily Indicate Improved Security
   2019/02/28 by Michael D. Brown, Michael Brown, Brown, Michael D. +2 · 1 voice
   Computer Science · #Advanced Malware Detection Techniques #Network Security and Intrusion Detection #Security and Verification in Computing #cs.CR
4. Effective Cache Apportioning for Performance Isolation Under Compiler\n Guidance
   2021/02/18 by Bodhisatwa Chatterjee, Sharjeel Khan, Chatterjee, Bodhisatwa +3 · 1 citation
   Computer Science · #Advanced Data Storage Technologies #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Electrical engineering #Hardware Architecture (cs.AR) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Systems and Control (eess.SY) #electronic engineering #information engineering