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?pw…
Join us to learn What Is Theoretical Computer Science?
Loc Le retweeted
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-Advert…
Loc Le retweeted
We, RiSE/MSR, are hiring for exciting and ambitious projects.
jobs.careers.microsoft.com/g…
(on the picture: lunch with colleagues)
Loc Le retweeted
Yll Buzoku giving his first international talk at the XII Workshop on Philosophical Logic / BA-Logic ba-logic.com/workshops/xii-w… @BALogicGroup
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/POPL…
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.oh…
Loc Le retweeted
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! – at Manhattan, NY
Loc Le retweeted
Getting ready for Incorrectness Logic + Underapproximation tutorial at @poplconf with @AzaleaRaad , @QLocLe and @jvanegue
popl23.sigplan.org/program/p…
Thanks Peter for the distinguished guidance and support.
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/35273…
Loc Le retweeted
We're hiring Eng Managers to help us build our Code Security Analysis offering at @Lacework.
linkedin.com/posts/davymcale…
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
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!
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 retweeted
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
Loc Le retweeted
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-g…
Loc Le retweeted
Interested in Procedural Content Generation?
join #PROCJAM and Make Something That Makes Something.
Running 3rd to 13th Dec 2021
procjam.com/
Loc Le retweeted
(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21
www0.cs.ucl.ac.uk/staff/p.oh…
Loc Le retweeted
Infer 1.1.0 is released! Featuring improved checkers, clang version 11, and an experimental way to write your own properties with Topl. Oh, and Homebrew infer packages are back!
github.com/facebook/infer/re…
Loc Le retweeted
@rupakmajumdar and I have some Postdoc/PhD positions in Computational Logic.
anthonywlin.github.io/Aussch…
Please contact us directly for an expression of interests/forward to those who might be interested.
Deadline: 21 March 2021.
RT: FB Testing and Verification Symposium
We're running the FB Testing and Verification Symposium virtually this year, Dec 1-3. Bringing together academia and industry. Registration free at this link.
facebook.com/groups/FaceTAV/…