1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.SE2023
Directed Test Program Generation for JIT Compiler Bug Localization
HeuiChan Lim, Saumya Debray
Bug localization techniques for Just-in-Time (JIT) compilers are based on analyzing the execution behaviors of the target JIT compiler on a set of test programs generated for this…
cs.AI2020★ 1 cited
AutoMATES: Automated Model Assembly from Text, Equations, and Software
Adarsh Pyarelal, Marco A. Valenzuela-Escarcega, Rebecca Sharp +6
Models of complicated systems can be represented in different ways - in scientific papers, they are represented using natural language text as well as equations. But to be of real…
cs.CR2019
Representing and Reasoning about Dynamic Code
Jesse Bartels, Jon Stephens, Saumya Debray
Dynamic code, i.e., code that is created or modified at runtime, is ubiquitous in today's world. The behavior of dynamic code can depend on the logic of the dynamic code generator…