Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Indexing Terms
Programming Language
Software Systems
Static Analysis
Web Crawler
Subscribe
Academic
Publications
Bristlecone: Language Support for Robust Software Applications
Edit
Bristlecone: Language Support for Robust Software Applications
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
Brian Demsky
,
Sivaji R. Sundaramurthy
We present Bristlecone, a
programming language
for robust software systems. Bristlecone applications have two components: a high-level organization specification that describes how the application's conceptual operations interact, and a low- level operational specification that describes the sequence of instructions that comprise an individual conceptual operation. Bristlecone uses the high-level organization specification to re- cover the software system from an error to a consistent state and to reason how to safely continue the software system's execution after the error. We have implemented a compiler and runtime for Bristlecone. We have evaluated this implementation on three benchmark applications: a web crawler, a web server, and a multi-room chat server. We developed both a Bristlecone version and a Java version of each benchmark application. We used injected failures to evaluate the robustness of each version of the application. We found that the Bristlecone versions of the benchmark applications more successfully survived the injected failures. The Bristlecone compiler contains a
static analysis
that op- erates on the organization specification to generate a set of diagrams that graphically present the task interactions in the application. We have used the analysis to help understand the high-level structure of three Bristlecone applications: a game server, a web server, and a chat server.
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, pp. 4-23, 2011
DOI:
10.1109/TSE.2010.27
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
demsky.eecs.uci.edu
)
(
dx.doi.org
)
(
www.informatik.uni-trier.de
)
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
More »
Citation Context
(2)
...Our previous work on Bristlecone introduced a task-based language designed to eliminate artificial dependences that serve to propagate errors [
8
]...
...A separate static analysis generates the abstract state transition graphs [
8
]...
...The analysis operates on the abstract state transition graphs that we developed in previous work [
8
]...
Brian Demsky
,
et al.
Recovery Tasks: An Automated Approach to Failure Recovery
...The dependence analysis operates on abstract state transition graphs (ASTGs) [
17
]...
...In general Bamboo uses a similar runtime strategy as earlier work on Bristlecone [
17
]...
...Bamboo borrows constructs from the Bristlecone language for creating robust software systems [
17
]...
Jin Zhou
,
et al.
Bamboo: a data-centric, object-oriented approach to many-core software
References
(46)
Mach: A New Kernel Foundation for UNIX Development
(
Citations: 660
)
Michael J. Accetta
,
Robert V. Baron
,
William J. Bolosky
,
David B. Golub
,
Richard F. Rashid
,
Avadis Tevanian
,
Michael Young
Conference:
USENIX Technical Conference - USENIX
, pp. 93-113, 1986
A Foundation for Actor Computation
(
Citations: 243
)
GUL A. AGHA
,
Ian A. Mason
,
Scott F. Smith
,
Carolyn L. Talcott
Journal:
Journal of Functional Programming - JFP
, vol. 7, no. 1, pp. 1-72, 1997
Mining specifications
(
Citations: 277
)
Glenn Ammons
,
Rastislav Bodík
,
James R. Larus
Journal:
Sigplan Notices - SIGPLAN
, vol. 37, no. 1, pp. 4-16, 2002
Recovery blocks in action: A system supporting high reliability
(
Citations: 51
)
T. Anderson
,
R. Kerr
Conference:
International Conference on Software Engineering - ICSE
, pp. 447-457, 1976
Making reliable distributed systems in the presence of sodware errors
(
Citations: 53
)
Joe Armstrong
Published in 2003.
Order by:
Citations
(2)
Recovery Tasks: An Automated Approach to Failure Recovery
Brian Demsky
,
Jin Zhou
,
William Montaz
Conference:
Runtime Verification - RV
, pp. 229-244, 2010
Bamboo: a data-centric, object-oriented approach to many-core software
Jin Zhou
,
Brian Demsky
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 6, pp. 388-399, 2010