Computer Sciences Dept.

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:

 
Computer Sciences | UW Home