James Bielman

According to our database, James Bielman authored at least 4 papers between 2014 and 2017.

Collaborative distances:

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

2017

Secure Automotive Software: The Next Steps.

Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman

IEEE Softw., 2017

2015

Guilt free ivory.

Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Programming languages for high-assurance autonomous vehicles: extended abstract.

Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Building embedded systems with embedded DSLs.

Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014