Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ron Pressler
conf.researchr.org general profile
ASE 2022 profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2019 profile
ECOOP and ISSTA 2018 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Not registered as user
Name:
Ron Pressler
Contributions
2022
ASE
Invited Speaker of Invited talk: "Virtual threads: scalable, harmonious concurrency" within the [Workshop] JPF '22-track
2019
ECOOP
Author of Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM within the Curry On-track
2018
CurryOn
Author of Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra within the Curry On Talks-track
2017
CurryOn
Author of The Practice and Theory of TLA+ within the Curry On Talks-track
2016
CurryOn
Author of Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us within the CurryOn -track
2015
ECOOP
Speaker of Pull > Push: Please stop polluting our imperative languages with pure concepts within the Curry On-track
Share
x
Sat 21 Dec 19:34
