Automated generation of program translation and verification tools using annotated grammars

Automatically generating program translators from source and target language specifications is a non-trivial problem. In this paper we focus on the problem of automating the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures. We exploit their similarities to semi-automatically build transformation tools between these DSLs. The input to our method is a collection of annotated context-free grammars. To simplify the overall translation process even more, we also propose an intermediate representation common to all operations languages. Finally, we discuss how to enrich our annotated grammars model with more advanced semantic annotations to provide a verification system for the translation process. We validate our approach by semi-automatically deriving translators between some real world operations languages, using the prototype tool which we implemented for that purpose

Measurement of the isolated diphoton cross-section in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The ATLAS experiment has measured the production cross-section of events with two isolated photons in the final state, in proton-proton collisions at sqrt(s) = 7 TeV. The full data set acquired in 2010 is used, corresponding to an integrated luminosity of 37 pb^-1. The background, consisting of hadronic jets and isolated electrons, is estimated with fully data-driven techniques and subtracted. The differential cross-sections, as functions of the di-photon mass, total transverse momentum and azimuthal separation, are presented and compared to the predictions of next-to-leading-order QCD.Comment: 15 pages plus author list (27 pages total), 9 figures, 2 tables, final version to appear in Physical Review