Susmit Sarkar
Orcid: 0000-0002-4259-9213
According to our database1,
Susmit Sarkar
authored at least 31 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
1
1
3
1
1
2
1
1
2
2
2
1
3
4
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Logic-Based Program Synthesis and Transformation, 2024
2023
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
2018
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8.
Proc. ACM Program. Lang., 2018
Automatically deriving cost models for structured parallel processes using hylomorphisms.
Future Gener. Comput. Syst., 2018
2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
2016
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection.
ACM Trans. Archit. Code Optim., 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
2015
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.
Proceedings of the 48th International Symposium on Microarchitecture, 2015
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
2010
Commun. ACM, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009
2008
ACM Trans. Comput. Log., 2008
2005
Proceedings of the Logic Programming, 21st International Conference, 2005
2003
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003