Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Joshua Sunshine"'
Publikováno v:
PeerJ Computer Science, Vol 2, p e43 (2016)
Sandboxes are increasingly important building materials for secure software systems. In recognition of their potential to improve the security posture of many systems at various points in the development lifecycle, researchers have spent the last sev
Externí odkaz:
https://doaj.org/article/252e4bf2b61f4ff0901eec72f8cf0d73
Autor:
Matthew C. Davis, Emad Aghayi, Thomas D. LaToza, Xiaoyin Wang, Brad A. Myers, Joshua Sunshine
Publikováno v:
ACM Transactions on Software Engineering and Methodology.
A key goal of software engineering research is to improve the environments, tools, languages, and techniques programmers use to efficiently create quality software. Successfully designing these tools and demonstrating their effectiveness involves eng
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d49b55c7e2dc7d5897c165c15619b79f
https://doi.org/10.1145/3587157
https://doi.org/10.1145/3587157
Autor:
DAVIS, MATTHEW C., AGHAYI, EMAD, LATOZA, THOMAS D., XIAOYIN WANG, MYERS, BRAD A., JOSHUA SUNSHINE
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Sep2023, Vol. 32 Issue 5, p1-32, 32p
Publikováno v:
Communications of the ACM. 64:98-106
Collaborations between two communities have unearthed a sweet spot for future programming efforts.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::614ececb2dcd0a088be2d78824e15237
https://doi.org/10.1145/3469279
https://doi.org/10.1145/3469279
Publikováno v:
UIST
Software developers frequently confront a recurring challenge of making code transformations—similar but not entirely identical code changes in many places—in their integrated development environments. Through formative interviews (n = 7), we fou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77546225d5bc0defbd0e4e84c8004568
https://doi.org/10.1145/3472749.3474748
https://doi.org/10.1145/3472749.3474748
Publikováno v:
ICSE
The large amount of third-party packages available in fast-moving software ecosystems, such as Node.js/npm, enables attackers to compromise applications by pushing malicious updates to their package dependencies. Studying the npm repository, we obser
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6a52f37c890211a12a7e8408c47325c
http://arxiv.org/abs/2103.05769
http://arxiv.org/abs/2103.05769
FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications
Publikováno v:
SANER
Software frameworks make developing applications for a specific domain easier than doing so from scratch. Unfortunately, frameworks can also place unexpected requirements on a developer’s application, which can, in turn, lead to application bugs in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23e33e27ae968fd846699819e979be47
https://doi.org/10.1109/saner50967.2021.00027
https://doi.org/10.1109/saner50967.2021.00027
Current static verification techniques do not provide good support for incrementality, making it difficult for developers to focus on specifying and verifying the properties and components that are most important. Dynamic verification approaches supp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ab14cca777404295f466023e3e137c4
Autor:
Wode Ni, Max Krieger, Dor Ma'ayan, Keenan Crane, Jonathan Aldrich, Joshua Sunshine, Jenna Wise, Katherine Ye
Publikováno v:
ACM Transactions on Graphics. 39
We introduce a system called Penrose for creating mathematical diagrams. Its basic functionality is to translate abstract statements written in familiar math-like notation into one or more possible visual representations. Rather than rely on a fixed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b6c727ee19fb99c81c1b2c753b2f000
https://doi.org/10.1145/3386569.3392375
https://doi.org/10.1145/3386569.3392375
Publikováno v:
CHI
Conceptual diagrams are used extensively to understand abstract relationships, explain complex ideas, and solve difficult problems. To illustrate concepts effectively, experts find appropriate visual representations and translate concepts into concre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74faf6fd415e16aab64f1835b52fe740
https://doi.org/10.1145/3313831.3376253
https://doi.org/10.1145/3313831.3376253