Sign in
POPL 2020
Event Home
Reasoning about Progress of Concurrent Objects
Sep 17, 2020
|
25 views
ACM SIGPLAN
Follow
Details
Presenter: Xinyu Feng Presented at PEPM'20, colocated with POPL'20.
Category: POPL 2020
Comments
loading...
Reactions
(0)
| Note
📝 No reactions yet
Be the first one to share your thoughts!
Reactions
(0)
Note
loading...
Recommended
18:02
ICAPS 2014: Ron Alford on "On the Feasibility of Planning Graph Style Heuristics for HTN Planning"
ICAPS
| Aug 6, 2014
22:17
ICAPS 2014: Mike Barley on "Overcoming the Utility Problem in Heuristic Generation: ..."
ICAPS
| Aug 7, 2014
18:33
ICAPS 2014: Stefan Edelkamp on "Symbolic and Explicit Search Hybrid through Perfect Hash Functions"
ICAPS
| Aug 7, 2014
50:27
ICAPS 2012: Invited Talk by Anthony Cohn
ICAPS
| Aug 15, 2014
56:04
ICAPS 2012: Invited talk by George Pappas
ICAPS
| Aug 18, 2014