Travelled to:1 × Canada
1 × Cyprus
1 × Germany
1 × India
1 × South Africa
1 × United Kingdom
12 × USA
2 × China
Collaborated with:M.C.Rinard A.Dash Y.H.Eom P.Lam P.Ou J.Zhou J.C.Jenista B.Norris L.Fang K.Nguyen G.(.Xu S.Lu B.Hawkins D.Bruening Q.Zhao L.Luu S.Shinde P.Saxena S.Yang A.Edwards S.Tucker S.Worms R.Vaidya M.D.Ernst P.J.Guo S.McCamant J.H.Perkins Christian Navasca
Talks about:data (7) softwar (5) memori (5) structur (4) object (4) distribut (3) parallel (3) program (3) orient (3) check (3)
Person: Brian Demsky
DBLP: Demsky:Brian
Contributed to:
2015
2015
2015
20142013
20122012
2012
20112011
2010201020102009
2008
200820062005200320022018
2018Wrote 23 papers:
- CGO-2015-HawkinsDBZ #optimisation
- Optimizing binary translation of dynamically generated code (BH, BD, DB, QZ), pp. 68–78.
- OOPSLA-2015-DemskyL #model checking #named
- SATCheck: SAT-directed stateless model checking for SC and TSO (BD, PL), pp. 20–36.
- OOPSLA-2015-OuD #automation #memory management #named #order #parametricity
- AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.
- SOSP-2015-FangNXDL #memory management #scalability #source code
- Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs (LF, KN, G(X, BD, SL), pp. 394–409.
- PLDI-2014-LuuSSD #bound #constraints #string
- A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.
- OOPSLA-2013-NorrisD #c #c++ #concurrent #data type #named
- CDSchecker: checking concurrent data structures written with C/C++ atomics (BN, BD), pp. 131–150.
- ISMM-2012-ZhouD #configuration management #locality #manycore #memory management #policy
- Memory management for many-core processors with software configurable locality policies (JZ, BD), pp. 3–14.
- PLDI-2012-EomD #java #self
- Self-stabilizing Java (YHE, BD), pp. 287–298.
- PPoPP-2012-EomYJD #named #object-oriented #source code
- DOJ: dynamically parallelizing object-oriented programs (YHE, SY, JCJ, BD), pp. 85–96.
- CC-2011-JenistaED #parallel #reachability #using
- Using Disjoint Reachability for Parallelization (JCJ, YHE, BD), pp. 198–224.
- PPoPP-2011-JenistaED #execution #named
- OoOJava: software out-of-order execution (JCJ, YHE, BD), pp. 57–68.
- ICSE-2010-DemskyL #concurrent #named
- Views: object-inspired concurrency control (BD, PL), pp. 395–404.
- PLDI-2010-ZhouD #approach #manycore #named #object-oriented
- Bamboo: a data-centric, object-oriented approach to many-core software (JZ, BD), pp. 388–399.
- PPoPP-2010-DashD #distributed #memory management #transaction
- Symbolic prefetching in transactional distributed shared memory (AD, BD), pp. 331–332.
- PPoPP-2009-DashD #distributed #memory management #transaction
- Software transactional distributed shared memory (AD, BD), pp. 297–298.
- ECOOP-2008-DemskyD #named #robust
- Bristlecone: A Language for Robust Software Systems (BD, AD), pp. 490–515.
- ISSTA-2008-EdwardsTWVD #automation #fault #identification #named
- AFID: an automated fault identification tool (AE, ST, SW, RV, BD), pp. 179–188.
- ISSTA-2006-DemskyEGMPR #consistency #data type #specification
- Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
- ICSE-2005-DemskyR #data type #reasoning #using
- Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.
- OOPSLA-2003-DemskyR #automation #data type #detection #fault
- Automatic detection and repair of errors in data structures (BD, MCR), pp. 78–95.
- ICSE-2002-DemskyR #object-oriented #source code
- Role-based exploration of object-oriented programs (BD, MCR), pp. 313–334.
- OOPSLA-2018-OuD #comprehension #cost analysis #towards
- Towards understanding the costs of avoiding out-of-thin-air results (PO, BD), p. 29.
- ASPLOS-2018-NguyenFNXDL #big data #distributed #named
- Skyway: Connecting Managed Heaps in Distributed Big Data Systems (KN, LF, CN, G(X, BD, SL), pp. 56–69.