Zobrazeno 1 - 10
of 270
pro vyhledávání: '"Khurshid, Sarfraz"'
Modern AI- and Data-intensive software systems rely heavily on data science and machine learning libraries that provide essential algorithmic implementations and computational frameworks. These libraries expose complex APIs whose correct usage has to
Externí odkaz:
http://arxiv.org/abs/2411.11410
Software testing remains the most widely used methodology for validating quality of code. However, effectiveness of testing critically depends on the quality of test suites used. Test cases in a test suite consist of two fundamental parts: (1) input
Externí odkaz:
http://arxiv.org/abs/2411.01789
Identity and Access Management (IAM) is an access control service in cloud platforms. To securely manage cloud resources, customers need to configure IAM to specify the access control rules for their cloud organizations. However, incorrectly configur
Externí odkaz:
http://arxiv.org/abs/2304.14540
Autor:
Saha, Ripon K., Ura, Akira, Mahajan, Sonal, Zhu, Chenguang, Li, Linyi, Hu, Yang, Yoshida, Hiroaki, Khurshid, Sarfraz, Prasad, Mukul R.
Automatic machine learning, or AutoML, holds the promise of truly democratizing the use of machine learning (ML), by substantially automating the work of data scientists. However, the huge combinatorial search space of candidate pipelines means that
Externí odkaz:
http://arxiv.org/abs/2202.10451
Autor:
Wang, Wenxi, Hu, Yang, Tiwari, Mohit, Khurshid, Sarfraz, McMillan, Kenneth, Miikkulainen, Risto
Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are based on the Conflict-Driven Clause Learning (CDCL) algorithm. Recent work
Externí odkaz:
http://arxiv.org/abs/2110.14053
Publikováno v:
Proceedings of the National Academy of Sciences, 119(24):e2111552119, 2022
Embedding computation in biochemical environments incompatible with traditional electronics is expected to have wide-ranging impact in synthetic biology, medicine, nanofabrication and other fields. Natural biochemical systems are typically modeled by
Externí odkaz:
http://arxiv.org/abs/2109.11422
Autor:
Singh, Shikhar, Khurshid, Sarfraz
Symbolic execution is a classic technique for systematic bug finding, which has seen many applications in recent years but remains hard to scale. Recent work introduced ranged symbolic execution to distribute the symbolic execution task among differe
Externí odkaz:
http://arxiv.org/abs/2106.02179
Embedding computation in molecular contexts incompatible with traditional electronics is expected to have wide ranging impact in synthetic biology, medicine, nanofabrication and other fields. A key remaining challenge lies in developing programming p
Externí odkaz:
http://arxiv.org/abs/2003.13720
This paper introduces the MCML approach for empirically studying the learnability of relational properties that can be expressed in the well-known software design language Alloy. A key novelty of MCML is quantification of the performance of and seman
Externí odkaz:
http://arxiv.org/abs/1912.11580
Formal methods have enabled breakthroughs in many fields, such as in hardware verification, machine learning and biological systems. The key object of interest in systems biology, synthetic biology, and molecular programming is chemical reaction netw
Externí odkaz:
http://arxiv.org/abs/1912.06197