Bhargav Shivkumar

According to our database, Bhargav Shivkumar authored at least 7 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Real-time MLton: A Standard ML runtime for real-time functional programs.

Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek

J. Funct. Program., 2021

Putting Gradual Types to Work.

Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek

Proceedings of the Practical Aspects of Declarative Languages, 2021

2020

RTMLton: An SML Runtime for Real-Time Systems.

Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek

Proceedings of the Practical Aspects of Declarative Languages, 2020

2019

A survey of real-time capabilities in functional languages and compilers.

Jeffrey C. Murphy, Bhargav Shivkumar, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek

Concurr. Comput. Pract. Exp., 2019

2016

Adding real-time capabilities to a SML compiler.

Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek

SIGBED Rev., 2016

Embedded SML using the MLton compiler.

Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek

CoRR, 2016

Real-time capabilities in functional languages.

Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek

Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016