Follow
bhargav shivkumar
bhargav shivkumar
Verified email at buffalo.edu
Title
Cited by
Cited by
Year
Adding real-time capabilities to a SML compiler
M Li, DE McArdle, JC Murphy, B Shivkumar, L Ziarek
ACM SIGBED Review 13 (2), 8-13, 2016
72016
RTMLton: An SML runtime for real-time systems
B Shivkumar, J Murphy, L Ziarek
Practical Aspects of Declarative Languages: 22nd International Symposium …, 2020
62020
A survey of real‐time capabilities in functional languages and compilers
JC Murphy, B Shivkumar, A Pritchard, G Iraci, D Kumar, SH Kim, L Ziarek
Concurrency and Computation: Practice and Experience 31 (4), e4902, 2019
42019
Real-time capabilities in functional languages
JC Murphy, B Shivkumar, L Ziarek
2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS), 1-10, 2016
32016
Real-time MLton: A Standard ML runtime for real-time functional programs
B Shivkumar, J Murphy, L Ziarek
Journal of Functional Programming 31, e19, 2021
12021
Putting gradual types to work
B Shivkumar, E Naudon, L Ziarek
Practical Aspects of Declarative Languages: 23rd International Symposium …, 2021
12021
A survey of real-time capabilities in functional languages and compilers: A survey of real-time capabilities in functional languages and compilers
JC Murphy, B Shivkumar, A Pritchard, G Iraci, D Kumar, SH Kim, L Ziarek
Concurrency and Computation: Practice and Experience 31 (4), 2018
2018
Embedded SML using the MLton compiler
J Murphy, B Shivkumar, L Ziarek
arXiv preprint arXiv:1608.07206, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–8