Aaron Eline
@aaroneline
Followers
206
Following
5K
Media
177
Statuses
821
Automated Reasoning Group at AWS. Working on programming languages, testing, and security. he/him
Joined March 2021
RT @mycoliza: >i ask the startup if their “OS” is an actual OS, or if it’s just per-request billing.>they dont understand.>pull out illustr….
0
30
0
Yeah, getting the same thing.
hey oxcaml folks -- I'm trying the tutorial ( but getting issues like `Error: Unbound module Parallel_scheduler_work_stealing`. Is there self-contained MWE available somewhere?. I feel like I'm probably just missing an opam or dune incantation.
1
0
0
God dammit they passed the blow up the country bill now the country is going to get blown up.
0
0
0
From the great Harry Goldstein at the wonderful DC Systems!.
The Best New Programming Language is a Proof Assistant
0
0
2
RT @alpha_convert: Nice, my talk from NYC Systems has been posted! Was really fun to talk with folks about PBT and performance engineering.….
0
3
0
I love work on making meta programming better!.
Our paper Multi-Stage Programming with Splice Variables, co-authored with @xnningxie, has been accepted to ICFP'25 😀!. We designed a language for flexible, type-safe code generation, with advanced features like code pattern matching — enabled by what we call splice variables.
0
0
2
Hey PL Friends, what research directions in the field are exciting you right now? (Even if they aren't ones you work on directly).
0
0
3
This talk from @moarbugs on JVM testing at DC Systems was super great. glad I get to work with @vasumvikram on testing stuff!.
0
0
6
Thought it would be funny to do a Threads / The Road Warrior double feature. I was wrong .
0
0
0
RT @james_acton32: Bottom line: Military action doesn't pass the tests set by the critics of the JCPOA. Even now--even with an Israeli att….
0
30
0
This paper is so good,very fun read.
Had a great time speaking at NYC Systems!.
0
0
2
RT @Keleesssss: My DC Systems talk on the Nitty Gritty Bits of PBT is out! Thanks to @AntithesisHQ for hosting, @gabe_guerra_ and @aaroneli….
0
9
0
Finally got around to reading this. A great survey of the cool stuff happening here.
0
0
0
Update on the little cat the could. His labs have finally started going in the right direction.
1
0
3
This is great work! Very informative!.
. does it really matter in practice? Perhaps the havoc effect is benign, or maybe even a good thing?!. Our students @aoli_al @vasumvikram @hhcmadonna studied this all in great depth! Read more in our upcoming ACM TOSEM paper on the "Havoc Paradox". 📄
0
0
2