Shubham Ugare

Use @Present annotation on the method that is assuredly returning a non-empty optional

5

Use @Present annotation on the return of the method that is assuredly returning a non-empty optional. Following test should pass. ``` @Test public void OptionalEmptinessPresentTest() { compilationHelper .setArgs( Arrays.asList( "-d",...

Not inferring from a first filter in case of two consecutive filters

1

Found this false positive in the code while using. ``` class Aclass { class Name { @Nullable String firstName; @Nullable String lastName; @Nullable String middleName; } @Contract("null -> true") public...

Optional emptiness check in Rx `map` does not work with method reference

5

Optional emptiness check in Rx `map` does not work with method reference: ``` private static boolean perhaps() { return Math.random() > 0.5; }", void foo(Observable observable) { observable .filter(optional ->...

To make SynCode work on serving LLMs

Support multibatch multithreaded parsing

2

If we are parsing multiple partial codes the parsers currently run sequentially in a single thread, this should be much faster parallel in multiple threads. [Example](https://github.com/microsoft/monitors4codegen/blame/022c65efb19cf6046d0b67960ca232ae7a351af4/src/monitors4codegen/monitor_guided_decoding/hf_gen.py#L62) [Options](https://stackoverflow.com/questions/27435284/multiprocessing-vs-multithreading-vs-asyncio)

When we are fast enough with LR(1) parsing, we should add support for OpenAI models as in [this](https://github.com/microsoft/monitors4codegen)