Duc-Than Nguyen @_thannd

Interested in Programming Languages & Formal Verification (he/him) Chicago, USA Joined July 2020

Tweets

30
Followers

193
Following

527
Likes

48

Daniel Lemire @lemire

2 years ago

C++23:

48 73 894 163K 56

Download Image

Looking for a PhD position? Like hacking in OCaml, Haskell, Scala, Rust? Want to do research on the intersection of PL, mechanised proofs, synthesis, and systems? Then don't miss the application deadline on Dec 15 for the PhD program at @NUSComputing! comp.nus.edu.sg/programmes/pg/…

2 24 66 0 6

John Wickerson @wicko3

3 years ago

Philippa Gardner, @AzaleaRaad, @AndreasLoow, and I are organising another "UK concurrency workshop" on 11-12 August at the @NewtonInstitute in Cambridge. All welcome; registration is free! And please email me to offer talks; schedule is not full yet. johnwickerson.github.io/cw2022.html

1 10 24 0 0

Download Image

Ron Garcia @rg9119

3 years ago

"notable" (from "Effective C")

21 215 1K 0 82

Download Image

Ilya Sergey @ilyasergey

4 years ago

Interested in program verification, synthesis, and distributed systems? Want to do a PhD at a top-ranked department, in one of the most vibrant and safe cities in the world? Apply to join VERSE lab at @NUSComputing and get in touch! Details here: verse-lab.github.io

0 29 56 0 5

Ilya Sergey @ilyasergey

4 years ago

Super-excited about our upcoming ICFP'21 paper "Certifying the Synthesis of Heap-Manipulating Programs" with @yasunariw, @Gopiandcoshow, @GeorgePirlea and @polikarn. Check out the details below if you're into program synthesis, proof engineering and separation logic. Mini-thread»

1 13 60 0 6

KC Sivaramakrishnan @kc_srk

5 years ago

Video lectures from my OCaml + Prolog course (kcsrk.info/cs3100_m20) is now publicly available: drive.google.com/drive/u/5/fold… The course is taken by 3rd-year undergrads at IITM and covers a fair bit of OCaml/FP topics (Monads, Streams, GADTs, Lambda Calculus, STLC).