\begin{thebibliography}{10}

\bibitem{DBLP:conf/pldi/Adl-TabatabaiLMMSS06}
A.-R. Adl-Tabatabai, B.~T. Lewis, V.~Menon, B.~R. Murphy, B.~Saha, and
  T.~Shpeisman.
\newblock Compiler and runtime support for efficient software transactional
  memory.
\newblock In {\em PLDI}, 2006.

\bibitem{ananian:utm:hpca:2005}
C.~S. Ananian, K.~Asanovic, B.~C. Kuszmaul, C.~E. Leiserson, and S.~Lie.
\newblock Unbounded transactional memory.
\newblock In {\em HPCA}, 2005.

\bibitem{blundell:deconstructing-transactions:wddd:2005}
C.~Blundell, E.~C. Lewis, and M.~M. Martin.
\newblock Deconstructing transactional semantics: The subtleties of atomicity.
\newblock In {\em WDDD}, 2005.

\bibitem{DBLP:conf/ccs/ChenW02}
H.~Chen and D.~Wagner.
\newblock Mops: an infrastructure for examining security properties of
  software.
\newblock In {\em CCS}, 2002.

\bibitem{CDL99}
T.~M. Chilimbi, B.~Davidson, and J.~R. Larus.
\newblock Cache-conscious structure definition.
\newblock In {\em PLDI}, 1999.

\bibitem{chung:common-case:hpca:2006}
J.~Chung, H.~Chafi, C.~Cao~Minh, A.~McDonald, B.~D. Carlstrom, C.~Kozyrakis, ,
  and K.~Olukotun.
\newblock The common case transactional behavior of multithreaded programs.
\newblock In {\em HPCA}. 2006.

\bibitem{ConchonFilliatreSignoles05}
S.~Conchon, J.-C. Filli\^atre, and J.~Signoles.
\newblock Le foncteur sonne toujours deux fois.
\newblock In {\em Seizi\`emes Journ\'ees Francophones des Langages
  Applicatifs}. INRIA, 2005.

\bibitem{DBLP:conf/pldi/CooperK88}
K.~D. Cooper and K.~Kennedy.
\newblock Interprocedural side-effect analysis in linear time.
\newblock In {\em PLDI}, 1988.

\bibitem{CLRS}
T.~H. Cormen, C.~E. Leiserson, R.~L. Rivest, and C.~Stein.
\newblock {\em Introduction to Algorithms}.
\newblock MIT Press, second edition, 2001.

\bibitem{POPL:CC77}
P.~Cousot and R.~Cousot.
\newblock Abstract interpretation: {A} unified lattice model for static
  analysis of programs by construction of approximation of fixed points.
\newblock In {\em POPL}, 1977.

\bibitem{IFIP:CC78}
P.~Cousot and R.~Cousot.
\newblock Static determination of dynamic properties of recursive procedures.
\newblock In {\em IFIP}, 1978.

\bibitem{damron:hytm:asplos:2006}
P.~Damron, A.~Fedorova, Y.~Lev, V.~Luchango, M.~Moir, and D.~Nussbaum.
\newblock Hybrid transactional memory.
\newblock In {\em ASPLOS}, 2006.

\bibitem{DBLP:conf/sosp/EnglerA03}
D.~R. Engler and K.~Ashcraft.
\newblock Racerx: effective, static detection of race conditions and deadlocks.
\newblock In {\em SOSP}, 2003.

\bibitem{DBLP:conf/osdi/EnglerCCH00}
D.~R. Engler, B.~Chelf, A.~Chou, and S.~Hallem.
\newblock Checking system rules using system-specific, programmer-written
  compiler extensions.
\newblock In {\em OSDI}, 2000.

\bibitem{hammond:tcc:isca:2004}
L.~Hammond, V.~Wong, M.~Chen, B.~D. Carlstrom, and J.~D. Davis.
\newblock Transactional memory coherence and consistency.
\newblock In {\em ISCA}, 2004.

\bibitem{DBLP:conf/oopsla/HarrisF03}
T.~Harris and K.~Fraser.
\newblock Language support for lightweight transactions.
\newblock In {\em OOPSLA}, 2003.

\bibitem{DBLP:conf/ppopp/HarrisMPH05}
T.~Harris, S.~Marlow, S.~L.~P. Jones, and M.~Herlihy.
\newblock Composable memory transactions.
\newblock In {\em PPoPP}, 2005.

\bibitem{DBLP:conf/pldi/HarrisPST06}
T.~Harris, M.~Plesko, A.~Shinnar, and D.~Tarditi.
\newblock Optimizing memory transactions.
\newblock In {\em PLDI}, 2006.

\bibitem{herlihy:sw-trans-mem:podc:2003}
M.~Herlihy, V.~Luchangco, M.~Moir, and W.~Scherer~III.
\newblock Software transactional memory for dynamic-sized data structures.
\newblock In {\em PODC}, 2003.

\bibitem{herlihy:transactional:isca:1993}
M.~Herlihy and J.~E.~B. Moss.
\newblock Transactional memory: Architectural support for lock-free data
  structures.
\newblock In {\em ISCA}, pages 289--300, 1993.

\bibitem{kumar:hybrid-tm:ppopp:2006}
S.~Kumar, M.~Chu, C.~J. Hughes, P.~Kundu, and A.~Nguyen.
\newblock Hybrid transactional memory.
\newblock In {\em PPoPP}, 2006.

\bibitem{buddy}
J.~Lind-Nielsen.
\newblock {BuDDy} - a binary decision diagram package, 1997.
\newblock http://sourceforge.net/projects/buddy.

\bibitem{martin:gems:can:2005}
M.~M. Martin, D.~J. Sorin, B.~M. Beckmann, M.~R. Marty, M.~Xu, A.~R.
  Alameldeen, K.~E. Moore, M.~D. Hill, and D.~A. Wood.
\newblock Multifacet's {General} {Execution-driven} {Multiprocessor}
  {Simulator} ({GEMS}) {Toolset}.
\newblock {\em Computer Architecture News}, 2005.

\bibitem{moore:logtm:hpca:2006}
K.~E. Moore, J.~Bobba, M.~J. Moravan, M.~D. Hill, and D.~A. Wood.
\newblock {LogTM}: Log-based transactional memory.
\newblock In {\em HPCA}, 2006.

\bibitem{DBLP:conf/cc/NeculaMRW02}
G.~C. Necula, S.~McPeak, S.~P. Rahul, and W.~Weimer.
\newblock {CIL}: Intermediate language and tools for analysis and
  transformation of c programs.
\newblock In {\em CC}, 2002.

\bibitem{pratikakis:locksmith:pldi:2006}
P.~Pratikakis, J.~S. Foster, and M.~Hicks.
\newblock {LOCKSMITH}: Context-sensitive correlation analysis for race
  detection.
\newblock In {\em PLDI}, 2006.

\bibitem{rajwar:tlr:asplos:2002}
R.~Rajwar and J.~R. Goodman.
\newblock Transactional lock-free execution of lock-based programs.
\newblock In {\em ASPLOS}, 2002.

\bibitem{rajwar:vtm:isca:2005}
R.~Rajwar, M.~Herlihy, and K.~Lai.
\newblock Virtualizing transactional memory.
\newblock In {\em ISCA}, 2005.

\bibitem{RSJM}
T.~Reps, S.~Schwoon, S.~Jha, and D.~Melski.
\newblock Weighted pushdown systems and their application to interprocedural
  dataflow analysis.
\newblock {\em SCP}, 58, 2005.

\bibitem{DBLP:journals/toplas/Reps00}
T.~W. Reps.
\newblock Undecidability of context-sensitive data-independence analysis.
\newblock {\em ACM Trans. Program. Lang. Syst.}, 22(1), 2000.

\bibitem{DBLP:conf/icfp/RingenburgG05}
M.~F. Ringenburg and D.~Grossman.
\newblock Atomcaml: first-class atomicity via rollback.
\newblock In {\em ICFP}, 2005.

\bibitem{kn:SRH96}
M.~Sagiv, T.~Reps, and S.~Horwitz.
\newblock Precise interprocedural dataflow analysis with applications to
  constant propagation.
\newblock {\em Theor.\ Comp.\ Sci.}, 167, 1996.

\bibitem{saha:mcrt:ppopp:2006}
B.~Saha, A.-R. Adl-Tabatabai, R.~L. Hudson, C.~C. Minh, and B.~Hertzberg.
\newblock Mcrt-stm: a high performance software transactional memory system for
  a multi-core runtime.
\newblock In {\em PPoPP}, 2006.

\bibitem{DBLP:journals/tocs/SavageBNSA97}
S.~Savage, M.~Burrows, G.~Nelson, P.~Sobalvarro, and T.~E. Anderson.
\newblock Eraser: A dynamic data race detector for multithreaded programs.
\newblock {\em Theor.\ Comp.\ Sci.}, 15(4), 1997.

\bibitem{schwoon}
S.~Schwoon.
\newblock {\em Model-Checking Pushdown Systems}.
\newblock PhD thesis, TUM, 2002.

\bibitem{DBLP:conf/popl/ShapiroH97}
M.~Shapiro and S.~Horwitz.
\newblock Fast and accurate flow-insensitive points-to analysis.
\newblock In {\em POPL}, 1997.

\bibitem{kn:SP81}
M.~Sharir and A.~Pnueli.
\newblock Two approaches to interprocedural data flow analysis.
\newblock In {\em Program Flow Analysis: {T}heory and Applications}, chapter~7.
  Prentice-Hall, Englewood Cliffs, NJ, 1981.

\bibitem{shavit:sw-trans-mem:podc:1995}
N.~Shavit and D.~Touitou.
\newblock Software transactional memory.
\newblock In {\em PODC}, 1995.

\bibitem{DBLP:conf/popl/Steensgaard96}
B.~Steensgaard.
\newblock Points-to analysis in almost linear time.
\newblock In {\em POPL}, 1996.

\bibitem{gems:website}
{Wisconsin {Multifacet} {GEMS} {Simulator}}.
\newblock http://www.cs.wisc.edu/gems/.

\bibitem{woo:splash2:isca:1995}
S.~C. Woo, M.~Ohara, E.~Torrie, J.~P. Singh, and A.~Gupta.
\newblock The splash-2 programs: Characterization and methodological
  considerations.
\newblock In {\em ISCA}, 1995.

\end{thebibliography}
