Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...
(Registered attendees: Sign in to your USENIX account to download these files.) Together with his colleagues, Bugnion received the ACM Software System Award for VMware in 2009. His paper on “Disco” ...
Customer stories Events & webinars Ebooks & reports Business insights GitHub Skills ...
Customer stories Events & webinars Ebooks & reports Business insights GitHub Skills ...
Available Media Show details Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees Dino Mehmedagić, Mohammad Rahmani Fadiheh, Johannes Müller, Anna Lena Duque Antón, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results