Loc Le

lecturer at University College London.

[Loc Le @QLocLe]

Professor Moshe Y. Vardi @vardi will give a talk at the UCL @ucl_pplv on Thursday, January 8, 2026.

Location: 66-72 Gower St, Seminar Room G01
Time: 13:00-14:30
Zoom link: https://t.co/AK7Mh3KvhD

Join us to learn What Is Theoretical Computer Science?

[Alastair Donaldson @afd_icl]

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: https://t.co/4v2N2tXw1x

[Nikolaj Bjorner @BjornerNikolaj]

We, RiSE/MSR, are hiring for exciting and ambitious projects.

https://t.co/fKAc4ChNSx

(on the picture: lunch with colleagues)

[UCL-CS PPLV @ucl_pplv]

Yll Buzoku giving his first international talk at the XII Workshop on Philosophical Logic / BA-Logic https://t.co/3uqZu752bE @BALogicGroup

[Loc Le @QLocLe]

Tutorial @poplconf on incorrectness+underapproximation.
My slides on
- how to infer procedure pre-/post- specification via bi-abduction
- Pulse-x demo

https://t.co/lyTxaNeJdn

[Peter O'Hearn @PeterOHearn12]

Enjoyed giving a tutorial @poplconf on incorrectness+underapproximation, with @AzaleaRaad , @QLocLe , @jvanegue . Here are the slides for my part on semantic foundations, drawing on (unpublished) joint work with Jules Villard (cc @fbinfer)

https://t.co/Pak7eMArXC

[Julien Vanegue @jvanegue]

I have 3 internships available in my @Bloomberg team from May/June to August. Last year, our amazing interns implemented SAT solvers on GPU and @dwavesys quantum computer. We’re looking to implement several new domain specific solvers this year. Come visit NYC this summer!

[Peter O'Hearn @PeterOHearn12]

Getting ready for Incorrectness Logic + Underapproximation tutorial at @poplconf with @AzaleaRaad , @QLocLe and @jvanegue

https://t.co/mXRSM8Jrpz

[Loc Le @QLocLe]

Thanks Peter for the distinguished guidance and support.

[Peter O'Hearn @PeterOHearn12]

A distinguished paper award for our OOPSLA'22 paper on incorrectness logic analysis came as pleasant news. Congrats in particular to lead author @QLocLe for his perseverence after rejection by a previous conference. @fbinfer @HerrDreyer @AzaleaRaad

https://t.co/iOUXQGcIiK

[Peter O'Hearn @PeterOHearn12]

We're hiring Eng Managers to help us build our Code Security Analysis offering at @Lacework.

https://t.co/zlVWFzWEFA

[Loc Le @QLocLe]

the camera-ready version of our @splashcon
2022 paper on Pulse-X (an automatic program analysis for catching memory errors, based on Incorrectness Logic), with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer and @PeterOHearn12, is available here: https://t.co/yHilgpupGa

[Loc Le @QLocLe]

thrilled that our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to @splashcon 2022 !
This is joint work with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer, and @PeterOHearn12 @Meta . Stay tuned for more!

[Loc Le @QLocLe]

thrilled that our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to @splashcon 2022 !
This is joint work with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer, and @PeterOHearn12 @Meta . Stay tuned for more!

[Jonathan Mace @mpi_jcmace]

CS Faculty Twitter! Cornell, Maryland, and Max Planck host a 1-week summer school (CMMRS) for aspiring undergraduate and masters researchers. Free trip to Germany! Please help spread the word -- the application deadline is approaching (21st Feb) https://t.co/QzdjiGUeQT

[Peter O'Hearn @PeterOHearn12]

I've had fun working on under-approximate program analysis recently, and it's about to get even better ... Patrice Godefroid has now joined @Lacework and we'll be working together to help change computer security forever!

https://t.co/wNRW3jzfCK

[Loc Le @QLocLe]

Amazing!

[Andrew Myers @AndrewCMyers]

TOPLAS is now Gold Open Access. All TOPLAS papers (since the 1979 beginning) are now available to everyone.

[#PROCJAM @procjam]

Interested in Procedural Content Generation?
join #PROCJAM and Make Something That Makes Something.
Running 3rd to 13th Dec 2021
https://t.co/PiaX6nVH9T