Loc Le

37 posts

Loc Le

@QLocLe

lecturer at University College London.

United Kingdom Bergabung Şubat 2014

123 Mengikuti80 Pengikut

Loc Le@QLocLe·30 Ara

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: ucl.zoom.us/j/91839479875?… Join us to learn What Is Theoretical Computer Science?

English

292

Loc Le me-retweet

Alastair Donaldson@afd_icl·18 Mar

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: doc.ic.ac.uk/~afd/PhD-Adver…

English

5.1K

Loc Le me-retweet

Nikolaj Bjorner@BjornerNikolaj·31 Eki

We, RiSE/MSR, are hiring for exciting and ambitious projects. jobs.careers.microsoft.com/global/en/job/… (on the picture: lunch with colleagues)

English

8.5K

Loc Le me-retweet

UCL-CS PPLV@ucl_pplv·4 Ağu

Yll Buzoku giving his first international talk at the XII Workshop on Philosophical Logic / BA-Logic ba-logic.com/workshops/xii-… @BALogicGroup

English

620

Loc Le@QLocLe·20 Oca

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

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) www0.cs.ucl.ac.uk/staff/p.ohearn…

English

1.8K

Loc Le me-retweet

Julien Vanegue@jvanegue·13 Oca

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!

Manhattan, NY 🇺🇸 English

2.9K

Loc Le me-retweet

Peter O'Hearn@PeterOHearn12·11 Oca

Getting ready for Incorrectness Logic + Underapproximation tutorial at @poplconf with @AzaleaRaad , @QLocLe and @jvanegue popl23.sigplan.org/program/progra…

English

4.8K

Loc Le me-retweet

Azalea Raad@AzaleaRaad·8 Ara

@PeterOHearn12 @QLocLe @fbinfer @HerrDreyer Delighted to have received the SIGPLAN distinguished paper award for our work on Pulse-X. Joint work with @QLocLe, @HerrDreyer, @PeterOHearn12, Jules Villard and Josh Berdine @fbinfer.

English

Loc Le@QLocLe·13 Ara

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 dl.acm.org/doi/10.1145/35…

English

Loc Le me-retweet

Peter O'Hearn@PeterOHearn12·23 Eki

We're hiring Eng Managers to help us build our Code Security Analysis offering at @Lacework. linkedin.com/posts/davymcal…

English

Loc Le me-retweet

Azalea Raad@AzaleaRaad·15 Eyl

.⁦@QLocLe⁩ gave a great talk at the Klee workshop about our work on using incorrectness logic for bug detection in large codebases. ⁦⁦@PeterOHearn12⁩,⁦@HerrDreyer⁩.

English

Loc Le me-retweet

Azalea Raad@AzaleaRaad·21 Nis

Looking for a postdoctoral position in formal methods? Love good food, free museums & a diverse community? Come & join my research team @ICComputing in London as a postdoc. Starting date flexible within 2022. 💬 Ping me for an informal chat. 👉More info: jobs.ac.uk/job/CON572/res…

English

Loc Le me-retweet

Azalea Raad@AzaleaRaad·28 Mar

Want to do a Computer Science PhD? I have 2 fully-funded PhD positions at Imperial College London! Topics are varied & include concurrent programming, automatic bug detection and program analysis. ⏰Deadline April 15th 👇Get in touch with me; info links in the tweet below

English

121

246

Loc Le@QLocLe·22 Mar

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: loc.bitbucket.io/pulse-x.pdf

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!

English

Loc Le@QLocLe·25 Şub

English

Loc Le me-retweet

Jonathan Mace@mpi_jcmace·11 Şub

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) cmmrs.mpi-sws.org

English

106

Loc Le me-retweet

Peter O'Hearn@PeterOHearn12·4 Şub

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! linkedin.com/posts/patrice-…

English