Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Manu Sridharan"'
Autor:
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference of Resource Management Specifications". To run the image, 0.) Install Docker following the directions at [https://www.docker.com/get-started] for your
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a86b3463f54817ee11e1d518eb30901
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-30
Mobile operating systems, especially Android, expose apps to a volatile runtime environment. The app state that reflects past user interaction and system environment updates (e.g., battery status changes) can be destroyed implicitly, in response to r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc8bca0946690cc1577355855180ad6e
https://doi.org/10.1145/3428228
https://doi.org/10.1145/3428228
Autor:
Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul Yu
Publikováno v:
Proceedings 2022 Network and Distributed System Security Symposium.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a687108e75e82d2e63c7c5c5bab7a821
https://doi.org/10.14722/ndss.2022.24380
https://doi.org/10.14722/ndss.2022.24380
Publikováno v:
RAID
Malware infects thousands of systems globally each day causing millions of dollars in damages. Which disassembler should a malware analyst choose in order to get the most accurate disassembly and be able to detect, analyze and defuse malware quickly?
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96aa7ed1192c1a72eb01e792ba49dcd0
https://doi.org/10.1145/3471621.3471851
https://doi.org/10.1145/3471621.3471851
Publikováno v:
ESEC/SIGSOFT FSE
A resource leak occurs when a program allocates a resource, such as a socket or file handle, but fails to deallocate it. Resource leaks cause resource starvation, slowdowns, and crashes. Previous techniques to prevent resource leaks are either unsoun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::397c5199ae1c2b624b06bc2ca895e067
https://doi.org/10.1145/3468264.3468576
https://doi.org/10.1145/3468264.3468576
Publikováno v:
PLDI
We consider the problem of making expressive static analyzers interactive. Formal static analysis is seeing increasingly widespread adoption as a tool for verification and bug-finding, but even with powerful cloud infrastructure it can take minutes o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ffe8c855d35f5216f8ff11f1b503c5b
https://doi.org/10.1145/3453483.3454044
https://doi.org/10.1145/3453483.3454044
Autor:
Manu Sridharan
Publikováno v:
Science of Computer Programming. 219:102820
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f4fe72c8d0f97289101c9d69d389acc
https://doi.org/10.1016/j.scico.2022.102820
https://doi.org/10.1016/j.scico.2022.102820
Publikováno v:
ICSE (SEIP)
Feature flags are commonly used in mobile app development and can introduce technical debt related to deleting their usage from the codebase. This can adversely affect the overall reliability of the apps and increase their maintenance complexity. Red
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98ea018648674a3022b8f99f5fc0b4db
https://doi.org/10.1145/3377813.3381350
https://doi.org/10.1145/3377813.3381350
Publikováno v:
ICSE
In object-oriented languages, constructors often have a combination of required and optional formal parameters. It is tedious and inconvenient for programmers to write a constructor by hand for each combination. The multitude of constructors is error
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::30bdea1c0e19e97a03b4a26b3a0f24a3
https://doi.org/10.1145/3377811.3380341
https://doi.org/10.1145/3377811.3380341
Publikováno v:
IEEE Transactions on NanoBioscience. :1-1
Microfluidic capture chips are useful for preparing or analyzing a wide range of different chemical, biological, and medical samples. A typical microfluidic capture chip contains features that capture certain targets (i.e. molecules, particles, cells
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3344bfbd2bda3e3304d12a8c986a7ddd
https://doi.org/10.1109/tnb.2022.3212625
https://doi.org/10.1109/tnb.2022.3212625