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: Sanders:Beverly_A=
Facilitated 3 volumes:
Contributed to:
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.