More Like this

1. C11Tester: A race detector for C/C++ atomics

   https://doi.org/10.1145/3445814.3446711  

   Luo, Weiyu; Demsky, Brian (April 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems)

   null (Ed.)

   Writing correct concurrent code that uses atomics under the C/C++ memory model is extremely difficult. We present C11Tester, a race detector for the C/C++ memory model that can explore executions in a larger fragment of the C/C++ memory model than previous race detector tools. Relative to previous work, C11Tester's larger fragment includes behaviors that are exhibited by ARM processors. C11Tester uses a new constraint-based algorithm to implement modification order that is optimized to allow C11Tester to make decisions in terms of application-visible behaviors. We evaluate C11Tester on several benchmark applications, and compare C11Tester's performance to both tsan11rec, the state of the art tool that controls scheduling for C/C++; and tsan11, the state of the art tool that does not control scheduling. 

   more » « less
2. Structural proof of a [C–F–C]+ fluoronium cation

   https://doi.org/10.1038/s41467-021-25592-6  

   Hoffmann, Kurt F.; Wiesner, Anja; Müller, Carsten; Steinhauer, Simon; Beckers, Helmut; Kazim, Muhammad; Pitts, Cody Ross; Lectka, Thomas; Riedel, Sebastian (September 2021, Nature Communications)

   Abstract Organic fluoronium ions can be described as positively charged molecules in which the most electronegative and least polarizable element fluorine engages in two partially covalent bonding interactions to two carbon centers. While recent solvolysis experiments and NMR spectroscopic studies on a metastable [C–F–C]⁺fluoronium ion strongly support the divalent fluoronium structure over the alternative rapidly equilibrating classical carbocation, the model system has, to date, eluded crystallographic analysis to confirm this phenomenon in the solid state. Herein, we report the single crystal structure of a symmetrical [C–F–C]⁺fluoronium cation. Besides its synthesis and crystallographic characterization as the [Sb₂F₁₁]⁻salt, vibrational spectra are discussed and a detailed analysis concerning the nature of the bonding situation in this fluoronium ion and its heavier halonium homologues is performed, which provides detailed insights on this molecular structure. 

   more » « less
3. Structure and Function of NzeB, a Versatile C–C and C–N Bond-Forming Diketopiperazine Dimerase

   https://doi.org/10.1021/jacs.0c06312  

   Shende, Vikram V.; Khatri, Yogan; Newmister, Sean A.; Sanders, Jacob N.; Lindovska, Petra; Yu, Fengan; Doyon, Tyler J.; Kim, Justin; Houk, K. N.; Movassaghi, Mohammad; et al (October 2020, Journal of the American Chemical Society)

   null (Ed.)
4. C–H Bond Activation and C–C Coupling of Methane on a Single Cationic Platinum Center: A Spectroscopic and Theoretical Study

   https://doi.org/10.1021/acs.inorgchem.2c01328  

   Wensink, Frank J.; Roos, Noa; Bakker, Joost M.; Armentrout, P. B. (July 2022, Inorganic Chemistry)
5. Catalysis of Free C–C Bond Rotation: C–F---H–X H-Bonds Find a Catalytic Role

   https://doi.org/10.1021/jacs.4c17384  

   Wang, Muyuan; Prasad, Aarush; Garrison, Nathaniel G; Rao, Prabodh; Kwon, Hyeok-Kyu; Siegler, Maxime A; Lectka, Thomas (February 2025, Journal of the American Chemical Society)