profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/facundominguez/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Facundo Domínguez facundominguez

facundominguez/cab 1

A maintenance command of Haskell cabal packages

facundominguez/hie-issues 1

Packages to reproduce haskell-ide-engine failures

facundominguez/aeson 0

A fast Haskell JSON library

facundominguez/assoc 0

swap and assoc: Symmetric and Semigroupy Bifunctors

facundominguez/async 0

Run IO operations asynchronously and wait for their results

facundominguez/attoparsec 0

A fast Haskell library for parsing ByteStrings

facundominguez/bazel-gazelle 0

Gazelle is a Bazel build file generator for Bazel projects. It natively supports Go and protobuf, and it may be extended to support new languages and custom rule sets.

facundominguez/c2hs 0

c2hs is a pre-processor for Haskell FFI bindings to C libraries

facundominguez/cabal_binary_th 0

Build failure when using bazel and template haskell

push eventtweag/gazelle_cabal

Facundo Domínguez

commit sha fbf32ca7344f950e6a79017d80569e7b4b7b540b

Use a relative label when referring to gazelle_binary

view details

push time in a day

delete branch facundominguez/split

delete branch : relax-base-bounds

delete time in 2 days

pull request commentbyorgey/split

Relax base bounds for ghc-9.0.1

It looks so to me. Thanks for the update.

facundominguez

comment created time in 2 days

push eventtweag/gazelle_cabal

Facundo Domínguez

commit sha b4a51c845cfaf9894deba84d3d29f309b40c5607

Show the output of running tests in CI

view details

push time in 2 days

push eventtweag/gazelle_cabal

Facundo Domínguez

commit sha 003648d03d3d048d34e66a0e0deb1460d3d437fa

Fix configuration example in README

view details

push time in 2 days

pull request commenttweag/sparkle

Safe Spark SQL modules

Sounds good, Noah! Thanks for the update.

buonuomo

comment created time in 2 days

pull request commentucsd-progsys/liquidhaskell

Some improvements to chart generation

Done. CI failures seem unrelated.

facundominguez

comment created time in 2 days

push eventtweag/gazelle_cabal

Facundo Domínguez

commit sha 5c34da039dbadde1744a8cfb3cf16fb3a70d81b6

Set the top of the README to the name of the tool

view details

push time in 3 days

push eventfacundominguez/liquidhaskell

Facundo Domínguez

commit sha 396a9943b353012e5a8dfa244dd25e5d8ca6fb30

Mention chart_perf.sh in the readme.

view details

push time in 3 days

pull request commentucsd-progsys/liquidhaskell

Some improvements to chart generation

I can't find docs/develop.md after some reorganization in #1862.

Some of the contents of develop seem to have gone to the README. Should I add a section on running chart_perf after https://github.com/ucsd-progsys/liquidhaskell#how-to-run-regression-tests ?

facundominguez

comment created time in 3 days

issue commentucsd-progsys/liquid-fixpoint

Optimize interaction with the SMT solver

#480 brought AmericanFlag from 28 to 14 seconds. I think #492 and #493 are bringing it from there to 9 seconds.

facundominguez

comment created time in 3 days

issue commentucsd-progsys/liquid-fixpoint

Optimize interaction with the SMT solver

With #493, the time of AmericanFlag is near 9 seconds.

liquid-fixpoint spends 7 seconds. From here, I'm finding it difficult to bring it down.

  • The SMT solver spends near 2.5 seconds.
  • The SMT interactions are near 1 second.
  • HashMap lookups take near 1.5 seconds.
  • Environment reduction spends 1 second and it does improve performance still.
  • Elaboration, unification and other expression manipulations seem to take the rest.

I have added batching in #493. If we switched to using the FFI to talk to the SMT solver we might earn a second, two seconds, or none. It depends on how much overhead deserialization takes on the SMT side, and how much overhead it is to build the expressions in the FFI AST.

I can't figure out what else to trim down though. It is looking like we would need to reduce the amount of lookups or manipulations that we need to do in the common paths. e.g. who needs sort checking or elaboration? :) But I don't think removing those is possible.

facundominguez

comment created time in 3 days

PR opened ucsd-progsys/liquidhaskell

Some improvements to chart generation

With this patch we don't need imagemagick anymore. Also, chart_perf.sh can generate charts when invoked from any directory.

Here's a sample.

+17 -10

0 comment

2 changed files

pr created time in 3 days

push eventfacundominguez/liquidhaskell

yanhasu

commit sha b24d2665cb9a25014f1519304b818629ae04d051

Switch to mkdocs-material

view details

yanhasu

commit sha bbe85af62c5edde49b83afaf2aa965b159dab327

Merge branch 'ucsd-progsys:develop' into yanhasu/revamp-docs

view details

yanhasu

commit sha 4e395deb95013805d71d78f9e97837cdcce5982e

Improve installation instructions [skip ci]

view details

yanhasu

commit sha cf075ea6b189f5393b86bdfa99593edf62f90a9b

Tweak doc. for flags [skip ci]

view details

yanhasu

commit sha 3891eca63211f8297a2c8c0a16e83cd79c683b96

Remove references to old documentation [skip ci]

view details

yanhasu

commit sha 11e54529347910927a3798abeb1b934bddb53684

Add social links [skip ci]

view details

yanhasu

commit sha f6b9e10fc5a558ff92b5091c05ca49dd5a3d156e

Port papers page from blog to docs [skip ci]

view details

yanhasu

commit sha 6a0831fe99ed059e3a91696a2fcc3b409e8fbca5

Port blog splash to docs [skip ci]

view details

yanhasu

commit sha 58ee91d45d104d292806ddd0fb07453d4a6a630e

Simplify main README (just point to docs) [skip ci]

view details

yanhasu

commit sha 640b4843eed1055ad5d5bb7666697cd8e4c1675c

Squash all development guides into main README [skip ci]

view details

yanhasu

commit sha 1e1a9679662bc34a3b0a1c955062fce956c6e468

Remove redundant files in mkDocs dir. [skip ci]

view details

yanhasu

commit sha 08952ca420579701c6c680122d763802e7f67996

Remove dead links [skip ci]

view details

yanhasu

commit sha 0e94b068d2e83478192b727a64ced08cb543c527

Increase splash page readability [skip ci]

view details

yanhasu

commit sha 25de540f164edf575b2db9452b2eb8b91390434f

Delete stale-looking files from repo root

view details

yanhasu

commit sha c63318b3f1a12d677673cb1dedd30b656a4f77cf

Run typo/grammar checker [skip ci]

view details

yanhasu

commit sha dfa3cdca41c6598ad8118bf4ed8dec98b30335cc

Fix formatting in papers page [skip ci]

view details

yanhasu

commit sha 55b18fa500c9d63a2e57e85681eba4f220c1e20c

Port blogposts to docs [skip ci]

view details

yanhasu

commit sha 93e26c314281bcc34355d22f1fb94a93d2dc0f62

Add blog-posting instructions [skip ci]

view details

yanhasu

commit sha e30024fb6f67ee5db14a2dba4c15f9550f5d61ad

Add tooltips to blogposts [skip ci]

view details

yanhasu

commit sha 01ca336eb4404f0d6d6bbc1e7fb69a58bfaafb51

Add dark style for completeness [skip ci]

view details

push time in 3 days

pull request commentucsd-progsys/liquid-fixpoint

Optimize interactions with the SMT and serialization

Here is the comparison of benchmarks. perf

I don't know why my attempt to optimize the hash function is failing in CI. But it is something that we could address later, certainly.

facundominguez

comment created time in 3 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha 1ba03dfe49bc45f85d9ae18e1047b23c46b235a3

Revert "Optimize hash functions for Symbol" This reverts commit 5befdfb1e80bbbbae369179380fbc90b39b2f768.

view details

push time in 3 days

PR opened ucsd-progsys/liquid-fixpoint

Optimize interactions with the SMT and serialization

With these optimizations benchmarks come down another few seconds.

+316 -117

0 comment

15 changed files

pr created time in 3 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha d06563b8ac92f1231a96c2ee5e5a6350c90c9fc6

Batch some interactions with the smt solver

view details

Facundo Domínguez

commit sha 4113e5cb9419b32f78abe5fa651334d9fd9f7058

Use an async thread to write to the smt solver

view details

Facundo Domínguez

commit sha a853e8461d7785cfb4374fc098565a149f0d334f

Have symbolAtName build a Text instead of a symbol

view details

Facundo Domínguez

commit sha 14e905deaf4d9fbd31ca85f251b4c2cef499530d

Ensure builders are computed in right associative fashion

view details

Facundo Domínguez

commit sha 26b7733c13bcc8560e66320eb502d80278ca6dd8

Implement CheckM with ReaderT+IORef

view details

Facundo Domínguez

commit sha 5befdfb1e80bbbbae369179380fbc90b39b2f768

Optimize hash functions for Symbol

view details

Facundo Domínguez

commit sha cfce853f26185e4e3c0eec841772b29ca254cd2f

Add some SCCs on costly functions for profiling

view details

push time in 3 days

push eventfacundominguez/liquid-fixpoint

Niki Vazou

commit sha 5e5fcfb05b822d20e0d8eafcaeff8b3781436bf9

Merge pull request #492 from facundominguez/fd/optimize-americanflag Bottleneck pruning in AmericanFlag

view details

Facundo Domínguez

commit sha d803af40bf27e760bf2ded9246f741dcd310fd18

Implement a faster encodeUnsafe

view details

Facundo Domínguez

commit sha 9a46eb83941c59418db124842bb6fa98d27406b9

Avoid computing symbol encoding when not needed

view details

Facundo Domínguez

commit sha 67f5dd154673737ca4834a3ea647fdbce8091f24

Create a table of safe characters for faster lookups

view details

Facundo Domínguez

commit sha ce94992445f792b49ea9517bdf70b4b5316b07e2

Batch some interactions with the smt solver

view details

Facundo Domínguez

commit sha 8348de8fb9ef81818452167178d6560752776756

Use an async thread to write to the smt solver

view details

Facundo Domínguez

commit sha 1debce6670d2d41c5c1452145d4048ee740db4f8

Have symbolAtName build a Text instead of a symbol

view details

Facundo Domínguez

commit sha ab18e0307d1ab8f407066f2febf3445ebe7bbf06

Ensure builders are computed in right associative fashion

view details

Facundo Domínguez

commit sha 1163f7473698298838f0e84fe99533e7cd44dccf

Implement CheckM with ReaderT+IORef

view details

Facundo Domínguez

commit sha c968cedfa3851622e1a0f663d48feab21b9b9f78

Optimize hash functions for Symbol

view details

Facundo Domínguez

commit sha 401af24961947d114155c0ca6b98722b4b9df98c

SCCs

view details

push time in 3 days

delete branch facundominguez/liquid-fixpoint

delete branch : fd/optimize-americanflag

delete time in 4 days

pull request commentucsd-progsys/liquid-fixpoint

Bottleneck pruning in AmericanFlag

Ping here :)

Do we need to do any more work to merge it?

I have some other optimizations to share, but I'd rather not grow this PR.

facundominguez

comment created time in 4 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha d80cfbe39ff44a5c5a461332e59add9617fe95a1

Implement CheckM with ReaderT+IORef

view details

Facundo Domínguez

commit sha fdb8ccbe5103cb7e7d65346a870035706e3fb3ff

Optimize hash functions for Symbol

view details

Facundo Domínguez

commit sha 1c76ad936960afd6c4807ba4ea2dba21ef9f6396

SCCs

view details

push time in 4 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha 555d28d0ad99516256bdf9f07bd1e94843a7c453

Implement CheckM with ReaderT+IORef

view details

Facundo Domínguez

commit sha 228e0a1e10055bee8011970daef1dcf18d9cd3ae

Optimize hash functions for Symbol

view details

Facundo Domínguez

commit sha 3c4701f80f81aa08debaff5840e772d897f4eedb

SCCs

view details

push time in 4 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha 5e31f1c676ec062cdb236ff27912c5915845303a

Implement a faster encodeUnsafe

view details

Facundo Domínguez

commit sha b037782e60a8a3bf6815a183bea39260f0badf2a

Avoid computing symbol encoding when not needed

view details

Facundo Domínguez

commit sha ee37045cc049ad0ca2ba0893da5ec946301ff94d

Create a table of safe characters for faster lookups

view details

Facundo Domínguez

commit sha ed9568d245a2a7a6399d1e067886c88a77d6c5f4

Batch some interactions with the smt solver

view details

Facundo Domínguez

commit sha d73f72749aa45ea860c38063a57862a75693c290

Use an async thread to write to the smt solver

view details

Facundo Domínguez

commit sha c2fb620502c1d102801ed7e7b6fa286980cf270b

Have symbolAtName build a Text instead of a symbol

view details

Facundo Domínguez

commit sha ef8c6d964ecb36490f6932039e42c7057d8f62a5

Ensure builders are computed in right associative fashion

view details

Facundo Domínguez

commit sha 0f7e9fbd5dea6c91e45690c9edd0d02ef049547c

Do without unionSEnv and mapSEnvWithKey

view details

Facundo Domínguez

commit sha 90e69954fd49d6a679e79620d0348b914e15971d

SCCs

view details

Facundo Domínguez

commit sha 8944d2d74152b7f73359ed3c3788238dbac71a65

Implement CheckM with ReaderT+IORef

view details

Facundo Domínguez

commit sha 2312f1dc54360a85eab475282e0260852ff9e22e

Optimize hash functions for Symbol

view details

push time in 4 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha 350e2447a1a161bb10e8042e8fd7b379c1c7da74

Implement a faster encodeUnsafe

view details

Facundo Domínguez

commit sha a1d6eab9facfba3e291402c7afb2139fb0409806

Avoid computing symbol encoding when not needed

view details

Facundo Domínguez

commit sha 1a82fd6e19f828c8d8aaeb7b73a45f6b173488e5

Create a table of safe characters for faster lookups

view details

Facundo Domínguez

commit sha 5868d50c71440b1b3691aeb3862168457ee53413

Batch some interactions with the smt solver

view details

Facundo Domínguez

commit sha 0ed255d9f17638992dbdc8d3d8bae17df6048a8f

Use an async thread to write to the smt solver

view details

Facundo Domínguez

commit sha 196831b83c3d9dfeb0dfc1a7a83011238a1ed62e

Have symbolAtName build a Text instead of a symbol

view details

Facundo Domínguez

commit sha dd00d9dfff594c85954b4cfc3c0a9bb93eaffbc4

Ensure builders are computed in right associative fashion

view details

Facundo Domínguez

commit sha f794f5dfdf1595c0291048d62843f9704034b5f1

Do without unionSEnv and mapSEnvWithKey

view details

Facundo Domínguez

commit sha 6f10158006d463eb1e9c07201353515719c4784f

SCCs

view details

Facundo Domínguez

commit sha c629d6f54ddc36b97ff41274de3909aa9df157db

Implement CheckM with ReaderT+IORef

view details

Facundo Domínguez

commit sha 31f3d9f319bd5916afa11bfcc658f6cd233522dc

imports encodeUnsafe

view details

Facundo Domínguez

commit sha 4b61e824df2c548a0a0fa03d34ee9d4232ef1062

Optimize hash functions for Symbol

view details

push time in 4 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha 73cdf3549177a3d9145222a7951b23669d2d3bab

Optimize mapMSenv

view details

Facundo Domínguez

commit sha ad39749b16d55628bf2fa9978945b88f3c53016a

SCCs

view details

Facundo Domínguez

commit sha 622c145d421a94d34460b875d5658a64e57b87b1

Try data-stringmap

view details

push time in 5 days

create barnchfacundominguez/liquid-fixpoint

branch : fd/optimize-lookups3

created branch time in 5 days

create barnchfacundominguez/liquid-fixpoint

branch : fd/optimize-lookups2

created branch time in 6 days

push eventfacundominguez/liquid-fixpoint

Facundo Domínguez

commit sha 196af2194134945152645846d6033a46519fdc54

Remove dependency on the intern package which doesn't speed up anything

view details

Facundo Domínguez

commit sha 869a29ab1b94e1f62e294568ecbf91b1fb684fdf

Implement a faster encodeUnsafe

view details

Facundo Domínguez

commit sha a95fd8902a50f3f6db3e499c1ca960e01c2fe470

Avoid computing symbol encoding when not needed

view details

Facundo Domínguez

commit sha 1d39bb31008a0ac714ea0ebbfc608e58bc2b517e

Create a table of safe characters for faster lookups

view details

push time in 7 days