CS Prof @ UChile. Gradually inconsistent.
Ñuñoa, Chile
Joined June 2011
- Tweets42
- Following157
- Followers230
- Likes98
Gradualizing the Calculus of Inductive Constructions | ACM Transactions on Programming Languages and Systems dl.acm.org/doi/10.1145/34955…
Opening for 4 Faculty Positions in CS at UChile comunicaciones.dcc.uchile.cl…
Éric Tanter retweeted
TOPLAS is now Gold Open Access. All TOPLAS papers (since the 1979 beginning) are now available to everyone.
Una excelente iniciativa a considerar para la Convención Constitucional (por @PolarBearby @jpiquer entre otros)
plataforma.chileconvencion.c…
Gradual CIC now accepted at TOPLAS, to be presented at POPL’22!
If you're interested in gradual typing and type theory, you might have wondered what it means to gradualize the Calculus of Inductive Constructions... Check out arxiv.org/abs/2011.10618
Éric Tanter retweeted
Congratulations to @wise_jenna on her Google Fellowship award! Jenna's research on Gradual Verification is transforming our ability to assure the correctness of software one piece at a time--something that is critical to putting formal verification into practice!
Continuing our tradition of supporting outstanding graduate students in their pursuit of research in computer science and related fields, we congratulate our 13th annual PhD Fellowship Program recipients! See the list of 2021 Fellowship recipients below: goo.gle/3zCuHA3
Éric Tanter retweeted
"Gradually Structured Data"
with Stefan Malewski and @etanter
mgree.github.io/papers/2021_…
github.com/smalewski/gsd
Éric Tanter retweeted
If you didn't make it to virtual Seoul for @icfp_conference last week, here's my talk.
youtu.be/1gGd7pKSpRM
Éric Tanter retweeted
Do you think Gradual Types are cool? Come hear about Gradual Program Analysis, which combines static and dynamic analysis in a seamless way, minimizing any annotation burden! @sgestep is presenting our paper at ECOOP, in two different slots on Thursday.
2021.ecoop.org/details/ecoop…
It’s overall very funny to see how automatic subtitles in PL video talks get confused, but this one is great:
“theorem prover” → “fear improver” 🤣
A new kind of Denial-of-Service attack: accept to review a journal-first submission, wait 3+ months, do nothing, don't respond to editor until (s)he has to find someone else. Result: 5 months lost. 🤦
Éric Tanter retweeted
El académico Éric Tanter fue galardonado con el "Most influential paper award", en mérito del impacto que aún tiene un trabajo presentado en 2010, centrado en el área de programación por aspectos.
¡Felicidades profesor @etanter!👏
Lee esta noticia en👉: bit.ly/3acHcIX
My AOSD'10 paper (which won the Best Paper Award in 2010) got the 10-year Most Influential Paper Award. Second such award in two years ;)
Even if I don't work on AOP anymore, I had a great and productive time back then!
Éric Tanter retweeted
“The Marriage of Univalence and Parametricity”, se titula el artículo del profesor @etanter, publicado en la Journal of the ACM (JACM) revista más prestigiosa en computación y de alcance máximo📚.
Lee esta noticia en👉: bit.ly/3bVV2ka
Éric Tanter retweeted
Join me! SIGPLAN & PL community, sign an open letter asking that POPL 2021 and future virtual SIGPLAN conferences be inclusive of participants from around the world using time zone mirroring or other techniques. Inclusion is critical to the future of PL! docs.google.com/document/d/1…
