Eliminating stack overflow by abstract interpretation
By John Regehr, A. Reid, Kirk Webb. TECS, 2003
820 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Hardware and Architecture
View Paper: https://www.semanticscholar.org/paper/41a39ebec337464f596380279a01720aa7eb4895
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Gogul Balakrishnan
- Thomas W. Reps
- Samuel Madden
- M. Babai
- David E. Gay
- David E. Culler
- P. Levis
- Eric A. Brewer
In Hardware and Architecture
- David E. Culler
- Samuel Madden
- P. Levis
- Robert Szewczyk
- Alec Woo
- Thomas W. Reps
- Gogul Balakrishnan
- Eric A. Brewer
Citations in the corpus
- WYSINWYX: What you see is not what you eXecute (2010, background): “2005], bounds on stack height [Regehr et al. 2005], and values of parameters and return values [Zhang et al.”
- Drivers of halal orientation strategy among halal food firms (2015, neutral): “Operation management refers to the direction and control of processes or activities that transform input into finished goods or services (Slack et al., 2010; Heizer and Render, 2013).”
- A decision support system for supplier selection based on a strategy-aligned fuzzy SMART approach (2008, neutral): “From a practical perspective, decision-making or problem-solving procedures that follow the ‘‘plan, do, check, and action’’ (PDCA) management cycle can be easily understood and applied in any organization (Stevenson, 2005).”
- ABC Classification: Service Levels and Inventory Costs (2009, background): “In some environments, especially in the service/ maintenance industries, the rank of an SKU is determined by its criticality for the functioning of a piece of equipment (Naylor 1996).”
- A literature review on the impact of RFID technologies on supply chain management (2010, background): “It was explained by Stevenson [100] that the demand variations of the customer become increasingly large when they diffuse backwards through the chain.”
- The Emergence of Networking Abstractions and Techniques in TinyOS (2004, background): “Improved profilers or simulation tools that could predict such needs, such as recent work on computing stack usage [39], would be of great value to the community.”