BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Estonia
1 × New Zealand
2 × USA
Collaborated with:
K.Kim T.Yavuz-Kahveci Y.Byun H.Jin
Talks about:
model (7) memori (4) check (3) relax (2) race (2) data (2) base (2) use (2) methodolog (1) protocol (1)

Person: Beverly A. Sanders

DBLP DBLP: Sanders:Beverly_A=

Facilitated 3 volumes:

ASE 2012PrCo
ASE 2011PrCo
ASE 2010PrCo

Contributed to:

TACAS 20122012
ASE 20102010
ASE 20092009
PPoPP 20082008
SAC 20052005

Wrote 5 papers:

TACAS-2012-JinYS #java #memory management #model checking
Java Memory Model-Aware Model Checking (HJ, TYK, BAS), pp. 220–236.
ASE-2010-KimYS #debugging #memory management #model checking #named #using
JRF-E: using model checking to give advice on eliminating memory model-related bugs (KK, TYK, BAS), pp. 215–224.
ASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #precise #using
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.
PPoPP-2008-SandersK #memory management #modelling #reasoning
Assertional reasoning about data races in relaxed memory models (BAS, KK), pp. 267–268.
SAC-2005-ByunS #communication #development #protocol
A pattern-based development methodology for communication protocols (YB, BAS), pp. 1524–1528.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.