skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity
Award ID(s):
2153748
PAR ID:
10513832
Author(s) / Creator(s):
; ; ; ;
Publisher / Repository:
ACM
Date Published:
ISBN:
9798400703867
Page Range / eLocation ID:
283 to 300
Format(s):
Medium: X
Location:
La Jolla CA USA
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We show that there exists a quantity, depending only on C 0 C^{0}data of a Riemannian metric, that agrees with the usual ADM mass at infinity whenever the ADM mass exists, but has a well-defined limit at infinity for any continuous Riemannian metric that is asymptotically flat in the C 0 C^{0}sense and has nonnegative scalar curvature in the sense of Ricci flow.Moreover, the C 0 C^{0}mass at infinity is independent of choice of C 0 C^{0}-asymptotically flat coordinate chart, and the C 0 C^{0}local mass has controlled distortion under Ricci–DeTurck flow when coupled with a suitably evolving test function. 
    more » « less
  2. Abstract MotivationThe exploration of the 3D organization of DNA within the nucleus in relation to various stages of cellular development has led to experiments generating spatiotemporal Hi-C data. However, there is limited spatiotemporal Hi-C data for many organisms, impeding the study of 3D genome dynamics. To overcome this limitation and advance our understanding of genome organization, it is crucial to develop methods for forecasting Hi-C data at future time points from existing timeseries Hi-C data. ResultIn this work, we designed a novel framework named HiCForecast, adopting a dynamic voxel flow algorithm to forecast future spatiotemporal Hi-C data. We evaluated how well our method generalizes forecasting data across different species and systems, ensuring performance in homogeneous, heterogeneous, and general contexts. Using both computational and biological evaluation metrics, our results show that HiCForecast outperforms the current state-of-the-art algorithm, emerging as an efficient and powerful tool for forecasting future spatiotemporal Hi-C datasets. Availability and implementationHiCForecast is publicly available at https://github.com/OluwadareLab/HiCForecast. 
    more » « less
  3. Small molecule solutions to many contemporary societal challenges await discovery, but the artisanal and manual process via which this class of chemical matter is typically accessed limits the discovery of new functions. Automated assembly of (N‐methyl iminodiacetic acid) MIDA or (tetramethyl N‐methyl iminodiacetic acid) TIDA boronate building blocks via iterative C─C bond formation, an approach we call “block chemistry”, alternatively enables generalized and automated preparation of many different types of small molecules in a modular fashion. But in its current form, this engine cannot also leverage nitrogen atoms as iteration handles. Here, we disclose a new iteration‐enabling group, CbzT (p‐TIDA boronate‐substituted carboxybenzyl), that reversibly attenuates the reactivity of nitrogen atoms and enables generalized catch‐and‐release purification. CbzT is leveraged to achieve the automated modular synthesis of Imatinib (Gleevec), an archetypical clinically approved kinase inhibitor, in which building blocks are iteratively linked by both N─C and C─C bonds. This work substantially expands the types of small molecules that can be iteratively assembled in an automated modular fashion. It also advances the concept of intentionally developing chemistry that machines can do. 
    more » « less