Ryan Doenges
@hackedy
Followers
464
Following
15K
Media
18
Statuses
303
Computer scientist. Certified Melville head
Boston
Joined March 2013
Also the amount of fixed capital required. Which for PL is close to zilch. Is that our problem?.
0
0
0
A more sophisticated analysis could also incorporate the funding of the professors in question, the number of students available to them and the productivity of those students, et cetera. so long as it makes PL look good.
1
0
0
The value of a CONF paper is the number of (average professor)-years required to produce the paper in CONF. The value of some quantity of CONF papers in exchange for ICLR papers is determined by the ratio (CONF paper) / (ICLR paper).
1
0
0
If you read the methodology section, this is kinda an application of classical labor theory of value :).
Do you know that a system paper might be worth 3 AI papers in computer science according to some dubious metric? I launched an interactive website to measure the relative effort spent on one top-tier paper in each computer science field.
1
0
1
Was a pleasure to present our logical relation for concurrent termination at Boston University POPV on Tuesday :).
0
0
3
I am at LICS in Tallinn. Would like to talk to people about semantics for concurrency and randomness. And eat vegan food. Cheers.
0
0
1
I'd like to see an approximating model which is still indexed by interesting objects instead of numbers. There's no reason the exact models should look that different from the approximating ones, I guess.
0
0
0
These exact models embed into step-indexed models, but when you do that you pass from induction on trees (an interesting object) to induction on tree height (a number).
1
0
0
For instance, if you use linearly typed references, your heaps are tree shaped. So you can define your model by induction on trees. Any type system that rules out cycles (or cycles involving closures) enjoys this kind of "exact" model.
1
0
0
Step-indexing circumvents some issues that come up when you store closures on the heap. If you can control the structure of the heap, it's often possible to give regular old set-theoretic models.
1
0
2
RT @SometimesPooh: My family in Rafah are receiving threatening phone calls to evacuate. They already evacuated nine times and they live in….
0
10K
0
RT @molly0xFFF: interesting how this photo @Northeastern is using to celebrate its recent grads only includes two of the three flags this s….
0
2K
0
RT @Tommyglding: Princeton has arrested and evicted one third of its graduating African American studies majors. It has also locked the doo….
0
4K
0
RT @AsadFromNYC: FYI: NYPD official Rebecca Weiner, who cited “outside agitators” as a reason for NYPD raids but offered no transparency is….
0
6K
0
RT @SandraTamari1: My husband, Prof. Steve Tamari, is out of the hospital. He will need surgery on his hand, and he is in pain from nine br….
0
9K
0
RT @Phil_Lewis_: LOS ANGELES (AP) — At least 2,000 people have been arrested at pro-Palestinian protests on US campuses since April 18, AP….
0
3K
0
RT @CBCPitchbot: Opinion | It's hard to be a fan of these university encampments. If I wanted to stop the war in Gaza — which, to be clear,….
0
282
0
RT @jersiegel: NEW: Professors at @Northeastern have begun circulating a letter denouncing the school’s response to student protests — incl….
0
455
0