|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 72 occurrences of 48 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang |
Testing Static Analyzers with Randomly Generated Programs.  |
NASA Formal Methods  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuejun Yang, Yang Chen, Eric Eide, John Regehr |
Finding and understanding bugs in C compilers. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr |
ARMor: fully verified software fault isolation. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Li, John Regehr |
T-check: bug finding for sensor networks. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
T-Check, sensor networks, model checking, safety, random walk, liveness, TinyOS, event-driven |
| 1 | Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr |
Surviving sensor network software faults. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
deputy, reboot, wireless sensor networks, reliability, kernel, tinyos, nesc |
| 1 | Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt |
Precise garbage collection for C. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
garbage collection, precise, conservative, c programming language, accurate |
| 1 | Xuejun Yang, Nathan Cooprider, John Regehr |
Eliminating the call stack to save RAM. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
stack liveness, sensor networks, compiler optimization, embedded software, memory allocation, memory optimizations |
| 1 | Eric Eide, John Regehr |
Volatiles are miscompiled, and what to do about it. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
compiler defect, compiler testing, random program generation, random testing, automated testing, volatile |
| 1 | Venkat Chakravarthy, John Regehr, Eric Eide |
Edicts: implementing features with flexible binding times. |
AOSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krisztián Flautner, John Regehr (eds.) |
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008 |
LCTES |
2008 |
DBLP BibTeX RDF |
|
| 1 | John Regehr, Nathan Cooprider |
Interrupt Verification via Thread Verification. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Cooprider, John Regehr |
Offline compression for on-chip ram. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, static analysis, data compression, embedded software, TinyOS, memory optimization |
| 1 | Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr |
Statistical Runtime Checking of Probabilistic Properties. |
RV |
2007 |
DBLP DOI BibTeX RDF |
statistical monitoring, Runtime verification, probabilistic properties |
| 1 | Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee |
Runtime Verification for Wireless Sensor Network Applications. |
Runtime Verification |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr |
Efficient memory safety for TinyOS. |
SenSys |
2007 |
DBLP DOI BibTeX RDF |
cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC |
| 1 | Will Archer, Philip Levis, John Regehr |
Interface contracts for TinyOS. |
IPSN |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, validation, automated testing, TinyOS, design by contract |
| 1 | John Regehr |
From the Editor: Real-Time and Embedded Systems--Teaching Reliability. |
IEEE Distributed Systems Online |
2006 |
DBLP DOI BibTeX RDF |
reliability, real-time and embedded systems |
| 1 | John Regehr, Nathan Cooprider, David Gay |
Atomicity and visibility in tiny embedded systems. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr, Nathan Cooprider, Will Archer, Eric Eide |
Efficient type and memory safety for tiny embedded systems. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Cooprider, John Regehr |
Pluggable abstract domains for analyzing embedded software. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
abstract interpretation, embedded software, TinyOS |
| 1 | John Regehr, Usit Duongsaa |
Deriving abstract transfer functions for analyzing embedded software. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, embedded software, transfer functions |
| 1 | John Regehr, Alastair Reid, Kirk Webb |
Eliminating stack overflow by abstract interpretation. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis |
| 1 | John Regehr |
Random testing of interrupt-driven software. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
interrupt-driven software, sensor networks, embedded systems, random testing |
| 1 | John Regehr, Usit Duongsaa |
Preventing interrupt overload. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, embedded, interrupts, overload |
| 1 | John Regehr, Alastair Reid |
HOIST: a system for automatically deriving static analyzers for embedded systems. |
ASPLOS |
2004 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, program verification, object code |
| 1 | Eric Eide, Tim Stack, John Regehr, Jay Lepreau |
Dynamic CPU Management for Real-Time, Middleware-Based Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr, Alastair Reid, Kirk Webb |
Eliminating Stack Overflow by Abstract Interpretation. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr, Alastair Reid, Kirk Webb, Michael Parker, Jay Lepreau |
Evolving real-time systems using hierarchical scheduling and concurrency analysis. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr |
Inferring Scheduling Behavior with Hourglass. |
USENIX Annual Technical Conference, FREENIX Track |
2002 |
DBLP BibTeX RDF |
|
| 1 | John Regehr |
Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Eide, Alastair Reid, John Regehr, Jay Lepreau |
Static and dynamic structure in design patterns. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr, John A. Stankovic |
HLS: A Framework for Composing Soft Real-Time Schedulers. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr, John A. Stankovic |
Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Jones, John Regehr, Stefan Saroiu |
Two Case Studies in Predictable Application Scheduling Using Rialto/NT. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Jones, John Regehr |
The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. (PDF / PS) |
Workshop on Hot Topics in Operating Systems |
1999 |
DBLP DOI BibTeX RDF |
Predictable Response, Real-Time, Performance Measurement, Latency, Windows NT |
| 1 | Michael B. Jones, John Regehr |
The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. |
IEEE Real Time Technology and Applications Symposium |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")