Rathijit Sen
Email: secondlastname at cs dot wisc dot
edu
Office: CS-6382
Tel: 1-608-262-6618
|
I am a third-year graduate student working towards a Phd degree. Prof. David Wood is my adviser. My current research interests include computer architectures, cloud applications. I am also interested in static analysis, and WCET estimation for real-time systems.
Publications:
- Jan Reineke and
Rathijit Sen, "Sound and Efficient WCET Analysis in the Presence of
Timing Anomalies", 9th International Workshop on Worst-Case
Execution Time (WCET) Analysis, 2009.
- Aditya Thakur, Rathijit Sen, Ben
Liblit and Shan Lu,
"Cooperative Crug Isolation", 7th International Workshop
on Dynamic Analysis (WODA), 2009.
- Rathijit Sen and Y.N.
Srikant, "WCET Estimation for Executables in the presence of
Data Caches", Proceedings of the 7th
ACM & IEEE international conference on Embedded software (EMSOFT),
2007, pp. 203-212.
- Rathijit Sen and Y.N.
Srikant, "Executable Analysis using Abstract Interpretation with
Circular Linear Progressions", Proceedings
of the 5th IEEE/ACM International Conference on Formal Methods and Models
for Codesign (MEMOCODE), 2007, pp. 39-48.
Industrial Experience:
Awards:
|