Sign in

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM.

Martin BeckKoustubha BhatLazar StricevicGeng ChenDiogo BehrensMing FuViktor VafeiadisHaibo ChenHermann Härtig
Published in: ASPLOS (2) (2023)
Keyphrases
  • source code
  • line segments
  • automatically generated
  • real world
  • hough transform
  • static analysis
  • tens of thousands