Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Peter M. Chen"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-28
Garbage collection (GC) support for unmanaged languages can reduce programming burden in reasoning about liveness of dynamic objects. It also avoids temporal memory safety violations and memory leaks. Sound GC for weakly-typed languages such as C/C++
Publikováno v:
IEEE Transactions on Services Computing. 13:200-202
The papers in this special section focus on blockchain-based computing services. Blockchain has become a hot research area in academia and industry. A blockchain is a continuously growing list of records of value-transferred transactions maintained b
Autor:
Satish Narayanasamy, William S.-Y. Wang, Stephan Diestelhorst, Thomas F. Wenisch, Peter M. Chen, Vaibhav Gogte
Publikováno v:
ISCA
Emerging persistent memory (PM) technologies promise the performance of DRAM with the durability of Flash. Several language-level persistency models have emerged recently to aid programming recoverable data structures in PM. Unfortunately, these pers
Publikováno v:
ASPLOS
Dynamic analysis tools, such as those that detect data-races, verify memory safety, and identify information flow, have become a vital part of testing and debugging complex software systems. While these tools are powerful, their slow speed often limi
Autor:
Ali G. Saidi, Satish Narayanasamy, Vaibhav Gogte, Aasheesh Kolli, Stephan Diestelhorst, Peter M. Chen, Thomas F. Wenisch
Publikováno v:
ISCA
The commercial release of byte-addressable persistent memories, such as Intel/Micron 3D XPoint memory, is imminent. Ongoing research has sought mechanisms to allow programmers to implement recoverable data structures in these new main memories. Ensur
Publikováno v:
SOSP
Applications commonly perform repeated computations that are mostly, but not exactly, similar. If a subsequent computation were identical to the original, the operating system could improve performance via memoization, i.e., capturing the differences
Autor:
Michael Goul, Ernesto Damiani, Dennis Gannon, Peter M. Chen, Frank Leymann, Hong Mei, Ian Foster, Stephen S. Yau, Rong N. Chang, Elisa Bertino
Publikováno v:
2019 IEEE International Conference on Edge Computing (EDGE).
Publikováno v:
IEEE Symposium on Security and Privacy
Dynamic information-flow tracking (DIFT) is useful for enforcing security policies, but rarely used in practice, as it can slow down a program by an order of magnitude. Static program analyses can be used to prove safe execution states and elide unne
Publikováno v:
GetMobile: Mobile Computing and Communications. 19:10-13
Mobile devices have less computational power and poorer Internet connections than other computers. Computation offload [1, 2, 3, 4], in which some portions of an application are migrated to a server, has been proposed as one way to remedy this defici
Autor:
Peter M. Chen, Satish Narayanasamy, William S.-Y. Wang, Stephan Diestelhorst, Vaibhav Gogte, Thomas F. Wenisch
Publikováno v:
PLDI
Nascent persistent memory (PM) technologies promise the performance of DRAM with the durability of disk, but how best to integrate them into programming systems remains an open question. Recent work extends language memory models with a persistency m