Saumya Debray

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 16

Top Topics

Address These Issues

Symbolic Execution

Bug Localization

Top Venues

Publications

HeuiChan Lim, Saumya Debray
Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End. CC (2023)
HeuiChan Lim, Saumya Debray
Directed Test Program Generation for JIT Compiler Bug Localization. CoRR (2023)
HeuiChan Lim, Xiyu Kang, Saumya Debray
Modeling code manipulation in JIT compilers. SOAP@PLDI (2022)
Xiyu Kang, Saumya Debray
A Framework for Automatic Exploit Generation for JIT Compilers. Checkmate@CCS (2021)
Ben Jacobsen, Sazzadur Rahaman, Saumya Debray
Optimization to the Rescue: Evading Binary Code Stylometry with Adversarial Use of Code Optimizations. Checkmate@CCS (2021)
HeuiChan Lim, Saumya Debray
Automated bug localization in JIT compilers. VEE (2021)
Jesse Bartels, Jon Stephens, Saumya Debray
Representing and Reasoning about Dynamic Code. ASE (2020)
Adarsh Pyarelal, Marco Antonio Valenzuela-Escárcega, Rebecca Sharp, Paul Douglas Hein, Jon Stephens, Pratik Bhandari, HeuiChan Lim, Saumya Debray, Clayton T. Morrison
AutoMATES: Automated Model Assembly from Text, Equations, and Software. CoRR (2020)
Jesse Bartels, Jon Stephens, Saumya Debray
Representing and Reasoning about Dynamic Code. CoRR (2019)
Jon Stephens, Babak Yadegari, Christian S. Collberg, Saumya Debray, Carlos Scheidegger
Probabilistic Obfuscation Through Covert Channels. EuroS&P (2018)
Babak Yadegari, Jon Stephens, Saumya Debray
Analysis of Exception-Based Control Transfers. CODASPY (2017)
Babak Yadegari, Saumya Debray
Control Dependencies in Interpretive Systems. RV (2017)
Michelle Mills Strout, Saumya Debray, Kate Isaacs, Barbara Kreaseck, Julio Cárdenas-Rodríguez, Bonnie L. Hurwitz, Kat Volk, Sam Badger, Jesse Bartels, Ian J. Bertolacci, Sabin Devkota, Anthony Encinas, Benjamin Gaska, Brandon Neth, Theo Sackos, Jon Stephens, Sarah Willer, Babak Yadegari
Language-Agnostic Optimization and Parallelization for Interpreted Languages. LCPC (2017)
Jing Qiu, Babak Yadegari, Brian Johannesmeyer, Saumya Debray, Xiaohong Su
Identifying and Understanding Self-Checksumming Defenses in Software. CODASPY (2015)
Babak Yadegari, Brian Johannesmeyer, Ben Whitely, Saumya Debray
A Generic Approach to Automatic Deobfuscation of Executable Code. IEEE Symposium on Security and Privacy (2015)
Babak Yadegari, Saumya Debray
Symbolic Execution of Obfuscated Code. CCS (2015)
Babak Yadegari, Saumya Debray
Bit-Level Taint Analysis. SCAM (2014)
Jing Qiu, Babak Yadegari, Brian Johannesmeyer, Saumya Debray, Xiaohong Su
A Framework for Understanding Dynamic Anti-Analysis Defenses. PPREW@ACSAC (2014)
Rui Zhang, Saumya Debray, Richard T. Snodgrass
Micro-specialization: dynamic code specialization of database management systems. CGO (2012)
Rui Zhang, Richard T. Snodgrass, Saumya Debray
Application of Micro-specialization to Query Evaluation Operators. ICDE Workshops (2012)
Rui Zhang, Richard T. Snodgrass, Saumya Debray
Micro-Specialization in DBMSes. ICDE (2012)
Bjorn De Sutter, Bruno De Bus, Koen De Bosschere, Saumya Debray
Combining Global Code and Data Compaction. OM@PLDI (2001)