Bhargav Shivkumar

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 9

Top Topics

Embedded Real Time Systems

Processing Capabilities

Functional Language

Top Venues

J. Funct. Program.

Publications

Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
Putting gradual types to work. CoRR (2021)
Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek
Real-time MLton: A Standard ML runtime for real-time functional programs. J. Funct. Program. 31 (2021)
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
Putting Gradual Types to Work. PADL (2021)
Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek
RTMLton: An SML Runtime for Real-Time Systems. PADL (2020)
Jeffrey C. Murphy, Bhargav Shivkumar, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek
A survey of real-time capabilities in functional languages and compilers. Concurr. Comput. Pract. Exp. 31 (4) (2019)
Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Adding Real-time Capabilities to a SML Compiler. CoRR (2016)
Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Adding real-time capabilities to a SML compiler. SIGBED Rev. 13 (2) (2016)
Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Embedded SML using the MLton compiler. CoRR (2016)
Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Real-time capabilities in functional languages. DCPS (2016)