110 citations · 117 across the 8 of their papers we have counts for
9 papers
Assisted Specification of Code Using Search
Steven P. Reiss
We describe an intelligent assistant based on mining existing software repositories to help the developer interactively create checkable specifications of code. To be most useful w…
A Quick Repair Facility for Debugging
Steven P. Reiss, Qi Xin
Modern development environments provide a widely used auto-correction facility for quickly repairing syntactic errors. Auto-correction cannot deal with semantic errors, which are m…
Where were my keys? -- Aggregating Spatial-Temporal Instances of Objects for Efficient Retrieval over Long Periods of Time
Ifrah Idrees, Zahid Hasan, Steven P. Reiss +1
Robots equipped with situational awareness can help humans efficiently find their lost objects by leveraging spatial and temporal structure. Existing approaches to video and image…
RoboMem: Giving Long Term Memory to Robots
Ifrah Idrees, Steven P. Reiss, Stefanie Tellex
Robots have the potential to improve health monitoring outcomes for the elderly by providing doctors, and caregivers with information about the person's behavior, health activities…
Continuous Flow Analysis to Detect Security Problems
Steven P. Reiss
We introduce a tool that supports continuous flow analysis in order to detect security problems as the user edits. The tool uses abstract interpretation over both byte codes and ab…
Revisiting ssFix for Better Program Repair
Qi Xin, Steven P. Reiss
A branch of automated program repair (APR) techniques look at finding and reusing existing code for bug repair. ssFix is one of such techniques that is syntactic search-based: it s…