Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proceedings of the ACM on Programming Languages, 8(POPL):241-272, January 2024. [doi]

This author has not been identified. It may be one of the following persons:

Amin Timany

Look up 'Amin Timany' in GoogleThis author has not been identified. Look up 'Simon Oddershede Gregersen' in GoogleThis author has not been identified. Look up 'Léo Stefanesco' in GoogleThis author has not been identified. Look up 'Jonas Kastberg Hinrichsen' in GoogleThis author has not been identified. Look up 'Léon Gondelman' in GoogleThis author has not been identified. Look up 'Abel Nieto' in GoogleThis author has not been identified. Look up 'Lars Birkedal' in Google

runs on WebDSL