Travelled to:1 × France
1 × India
1 × United Kingdom
Collaborated with:U.P.Khedker A.Karkare S.Kumar A.Kanade R.Asati A.Mycroft P.K.K. S.Padhi
Talks about:slice (3) base (2) increment (1) framework (1) properti (1) function (1) version (1) scalabl (1) program (1) concept (1)
Person: Amitabha Sanyal
DBLP: Sanyal:Amitabha
Contributed to:
2015
2014
20062019Wrote 4 papers:
- TACAS-2015-KumarSK #concept #scalability #slicing
- Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.
- CC-2014-AsatiSKM #garbage collection
- Liveness-Based Garbage Collection (RA, AS, AK, AM), pp. 85–106.
- SEFM-2006-KanadeSK #compilation #framework #optimisation #validation
- A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
- CC-2019-KSKP #functional #incremental #slicing #source code
- A static slicing method for functional programs and its incremental version (PKK, AS, AK, SP), pp. 53–64.