Philip Zucker
@SandMouth
Followers
2K
Following
6K
Statuses
6K
Computer Friend, Not a Bird
Boston, MA
Joined December 2013
Very pleased and proud to have been part of this. All the co-authors are forces of nature. Time to start tweeting sweet examples!
I'm excited to announce that our paper "Better together: unifying Datalog and Equality Saturation" will appear at PLDI '23! The project is started to address some limitations in existing EqSat frameworks like egg. For example:
4
5
47
RT @filpizlo: I wrote up my way of doing SSA, since questions about it came up on HN. This is how JSC does SSA, and how I would do SSA agai…
0
4
0
0
0
11
RT @geogristle: Just learned about two rigorous solvers / numerical provers for ODEs & dynamical systems. Not the same thing as numerical i…
0
23
0
RT @obr2021: #FPGA-based Implementation of Signal Processing Systems Second Edition Roger #Woods John #McAllister Gaye #Lightbody Ying #Yi…
0
80
0
RT @krismicinski: Yihao's ASPLOS '25 paper, "Optimizing Datalog for the GPU," is now up on the ACM DL!
0
5
0
RT @_akhaliq: Google presents Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
0
147
0
RT @ProgPapers: Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach.
0
2
0
RT @controlpaths: Open-source project are arriving to the #FPGA world. We already have great examples like #Yosys or #Verilator. In this we…
0
69
0
RT @adafruit: High speed data acquisition over HDMI with a Raspberry Pi Pico 2 #RaspberryPi @Raspberry_Pi
https://t…
0
39
0
RT @DiracGhost: Another elite book which is publicly available on the internet archive, is ''Electricity and Magnetism'', released in 1986…
0
84
0
RT @Yong18850571: 🚀 Introducing Goedel-Prover: A 7B LLM achieving SOTA open-source performance in automated theorem proving! 🔥 ✅ Improving…
0
61
0
RT @nicolodev: Disassembly algorithms are often a trade-off. My new blog post analyzes linear sweep and recursive traversal, exploring thei…
0
50
0
RT @ilyasergey: Our paper on efficient automated exploit generation has been accepted to USENIX Security '25. The gist: instead of generat…
0
36
0
RT @Jose_A_Alonso: Formally verified binary-level pointer analysis. ~ Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran. https://t.c…
0
3
0
RT @BjornerNikolaj: @SandMouth There is a very fresh interface to also get implied equalities over LRA. It can be combined with E-graphs (o…
0
2
0
RT @BrunoLevy01: Fluid simulation based on optimal transport, Accurate volume conservation and representation of boundary, playing with a 2…
0
6
0