Tomoaki Kobayashi

Research

20th Nov 2024

Although I am working full-time, I still occasionally read research papers to satisfy my intellectual curiosity. Here, I will compile interesting links that may be useful during such times.

1 Favourite Resources

2 Now Reading…

2.1 Programming Languages

[1]
Pierce, B.C.
Delta: Ordered types for stream processing.
Talk at Trends in Functional Programming (TFP).

2.2 Security

[1]
VanHattum, A., Pardeshi, M., Fallin, C., Sampson, A. and Brown, F.
Lightweight, modular verification for WebAssembly-to-native instruction selection. Proceedings of the 29th ACM international conference on architectural support for programming languages and operating systems, volume 1 (New York, NY, USA, 2024), 231–248.
[2]
VanHattum, A., Schwartz-Narbonne, D., Chong, N. and Sampson, A.
Verifying dynamic trait objects in rust. Proceedings of the 44th international conference on software engineering: Software engineering in practice (New York, NY, USA, 2022), 321–330.