Zobrazeno 1 - 7
of 7
pro vyhledávání: '"David Terei"'
Autor:
John C. Mitchell, David Mazières, Amit Levy, David Terei, Daniel B. Giffin, Deian Stefan, Alejandro Russo
Publikováno v:
Journal of Computer Security. 25:427-461
Many modern web-platforms are no longer written by a single entity, such as a company or individual, but consist of a trusted core that can be extended by untrusted third-party authors. Examples of this approach include Facebook, Yammer, and Salesfor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b51be430775f851982711083841b767
https://doi.org/10.3233/jcs-15801
https://doi.org/10.3233/jcs-15801
Publikováno v:
ASPLOS
We present Castor, a record/replay system for multi-core applications that provides consistently low and predictable overheads. With Castor, developers can leave record and replay on by default, making it practical to record and reproduce production
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3085c2600e130fd2cd6fcd9bcfd005ab
https://doi.org/10.1145/3037697.3037751
https://doi.org/10.1145/3037697.3037751
Publikováno v:
ISMM
Real-world garbage collectors in managed languages are complex. We investigate whether this complexity is really necessary and show that by having a different (but wider) interface between the collector and the developer, we can achieve high performa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52e9dad781b224e60633827ebe016c43
https://doi.org/10.1145/2775049.2602995
https://doi.org/10.1145/2775049.2602995
Publikováno v:
Haskell
Simple is a web framework for Haskell. Simple came out of our work on Hails, a platform for secure web applications. For Hails, we needed a flexible web framework that uses no unsafe language features and can be used to build apps outside the IO mona
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49a7ca1dbe094ded077ce2b6f6f4ed3f
https://doi.org/10.1145/2633357.2633373
https://doi.org/10.1145/2633357.2633373
Autor:
Deian Stefan, Amit Levy, Pablo Buiras, David Mazières, Edward Yang, Alejandro Russo, David Terei
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642402029
ESORICS
ESORICS
Information flow control allows untrusted code to access sensitive and trustworthy information without leaking this information. However, the presence of covert channels subverts this security mechanism, allowing processes to communicate information
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0253856e8d339113b84ffd74990c833a
https://doi.org/10.1007/978-3-642-40203-6_40
https://doi.org/10.1007/978-3-642-40203-6_40
Publikováno v:
Haskell '12: Proceedings of the Fifth ACM SIGPLAN Symposium on Haskell
Though Haskell is predominantly type-safe, implementations contain a few loopholes through which code can bypass typing and module encapsulation. This paper presents Safe Haskell , a language extension that closes these loopholes. Safe Haskell makes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1986ac784686a5d346e7dd9991ea7f3f
https://doi.org/10.1145/2364506.2364524
https://doi.org/10.1145/2364506.2364524
Autor:
David Terei, Manuel M. T. Chakravarty
Publikováno v:
Haskell
In the presence of ever-changing computer architectures, high-quality optimising compiler backends are moving targets that require specialist knowledge and sophisticated algorithms. In this paper, we explore a new backend for the Glasgow Haskell Comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61b72274673ef04bdb6590d1b0fc4091
https://doi.org/10.1145/1863523.1863538
https://doi.org/10.1145/1863523.1863538