https://subodhvsharma.github.io/course/col100/assign7/ 2023-01-08T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/col100/assign6/ 2022-12-26T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/col100/assign5/ 2022-12-11T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/col100/assign4/ 2022-11-27T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/col100/assign3/ 2022-11-14T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/col100/assign2/ 2022-11-06T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/col100/assign1/ 2019-12-29T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/spmoduleinsoftwaresystems-software-abstractions/assign1/ 2019-12-29T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/spmoduleinsoftwaresystems-software-abstractions/assign2/ 2019-12-29T00:00:00+01:00 weekly https://subodhvsharma.github.io/course/col380/ 2026-01-03T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/sil763/ 2026-01-04T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/col750/ 2022-01-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/col765/ 2021-08-08T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/programming-languages/ 2020-01-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/sptopicsprivacy/ 2020-08-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/spmoduleinsoftwaresystems-software-abstractions/ 2020-08-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/col100/ 2022-10-31T00:00:00+00:00 weekly https://subodhvsharma.github.io/course/sptopicsinpl-program-synthesis/ 2019-08-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/ 2030-06-01T13:00:00+00:00 weekly https://subodhvsharma.github.io/talk/example-talk/ 2030-06-01T13:00:00+00:00 weekly https://subodhvsharma.github.io/event/ 2030-06-01T13:00:00+00:00 weekly https://subodhvsharma.github.io/course/ 2026-01-04T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication-type/1/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/categories/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/category/concurrency/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/tag/java/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/publication_types/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/publication/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/tag/symoblic-execution/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/publication/icst21/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/tags/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/tag/testing/ 2021-04-11T21:34:27+05:30 weekly https://subodhvsharma.github.io/tag/academic/ 2020-12-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/category/demo/ 2020-12-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/post/ 2020-12-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/post/getting-started/ 2020-12-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/%E5%BC%80%E6%BA%90/ 2020-12-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/category/%E6%95%99%E7%A8%8B/ 2020-12-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/project/privacy-and-digitisation/ 2020-11-11T10:37:59+05:30 weekly https://subodhvsharma.github.io/project/ 2020-11-11T10:37:59+05:30 weekly https://subodhvsharma.github.io/category/security/ 2020-11-11T10:37:59+05:30 weekly https://subodhvsharma.github.io/tag/security/ 2020-11-11T10:37:59+05:30 weekly https://subodhvsharma.github.io/tag/iot/ 2020-11-10T21:38:57+05:30 weekly https://subodhvsharma.github.io/publication/memocode20/ 2020-11-10T21:38:57+05:30 weekly https://subodhvsharma.github.io/publication/icsme20/ 2020-11-10T21:34:27+05:30 weekly https://subodhvsharma.github.io/publication-type/2/ 2020-11-10T21:24:53+05:30 weekly https://subodhvsharma.github.io/tag/aadhaar/ 2020-11-10T21:24:53+05:30 weekly https://subodhvsharma.github.io/publication/cacm19/ 2020-11-10T21:24:53+05:30 weekly https://subodhvsharma.github.io/category/blockchain/ 2020-11-10T21:09:11+05:30 weekly https://subodhvsharma.github.io/tag/blockchain/ 2020-11-10T21:09:11+05:30 weekly https://subodhvsharma.github.io/project/iot-security/ 2020-11-10T21:09:11+05:30 weekly https://subodhvsharma.github.io/tag/dynamic-symbolic-analysis/ 2020-11-10T18:32:22+05:30 weekly https://subodhvsharma.github.io/tag/mpi/ 2020-11-10T18:32:22+05:30 weekly https://subodhvsharma.github.io/project/verification-of-message-passing-systems/ 2020-11-10T18:32:22+05:30 weekly https://subodhvsharma.github.io/tag/abstract-interpretation/ 2020-11-10T15:00:53+05:30 weekly https://subodhvsharma.github.io/tag/concurrency/ 2020-11-10T15:00:53+05:30 weekly https://subodhvsharma.github.io/tag/dpor/ 2020-11-10T15:00:53+05:30 weekly https://subodhvsharma.github.io/project/verification-of-c11-concurrency/ 2020-11-10T15:00:53+05:30 weekly https://subodhvsharma.github.io/post/writing-technical-content/ 2019-07-12T00:00:00+00:00 weekly https://subodhvsharma.github.io/post/jupyter/ 2019-09-05T00:00:00+00:00 weekly https://subodhvsharma.github.io/slides/ 2019-02-05T00:00:00+00:00 weekly https://subodhvsharma.github.io/slides/example/ 2019-02-05T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/fm18/ 2018-07-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/model-checking/ 2018-07-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/runtime-verification/ 2018-07-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/symbolic-analysis/ 2018-07-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/smart-contracts/ 2018-02-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/ndss18/ 2018-02-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/deadlocks/ 2017-03-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/toplas17/ 2017-03-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/binary-instrumentation/ 2016-11-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/fse16/ 2016-11-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/program-analysis/ 2016-11-13T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/tase16/ 2016-07-17T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/trace-partitioning/ 2016-07-17T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/deep-learning/ 2016-04-27T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/demo/ 2016-04-27T00:00:00+00:00 weekly https://subodhvsharma.github.io/project/example/ 2016-04-27T00:00:00+00:00 weekly https://subodhvsharma.github.io/project/external-project/ 2016-04-27T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/arxiv16-concurrencyproofs/ 2016-01-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/relaxed-memory/ 2016-01-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/verification/ 2016-01-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/event-structures/ 2015-09-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/partial-order-reduction/ 2015-09-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/shared-memory/ 2015-09-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/concur15/ 2015-09-01T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/ase14/ 2014-09-15T17:06:05+05:30 weekly https://subodhvsharma.github.io/tag/gpu/ 2014-09-15T17:06:05+05:30 weekly https://subodhvsharma.github.io/publication/fm14/ 2014-05-12T17:01:26+05:30 weekly https://subodhvsharma.github.io/tag/hpc/ 2012-11-10T16:03:56+05:30 weekly https://subodhvsharma.github.io/publication/sc12/ 2012-11-10T16:03:56+05:30 weekly https://subodhvsharma.github.io/publication/sbmf12/ 2012-09-12T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/ipdps11/ 2011-05-16T00:00:00+00:00 weekly https://subodhvsharma.github.io/tag/mcapi/ 2009-11-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/fmcad09/ 2009-11-15T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/hldvt09/ 2009-11-04T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/padtad09/ 2009-07-09T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/eurompi08/ 2008-09-07T00:00:00+00:00 weekly https://subodhvsharma.github.io/publication/ppopp08/ 2008-02-23T00:00:00+00:00 weekly https://subodhvsharma.github.io/admin/ weekly https://subodhvsharma.github.io/course/col100/faq/ weekly