Fetching the paper…
Reading the bibliography…
Dubbed a safer C, Rust is a modern programming language that combines memory safety and low-level control.
Briggs, P., Cooper, K.D., Harvey, T.J., Simpson, L.T.: Practical improvements to the construction and destruction of static single assignment form. Softw. Pract. Exper. 28
1998
Earlier work this paper cites.
Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. p. 48–64. OOPSLA ’98, Association for Computing Machinery, New York, NY, USA (1998). https://doi.org/10.1145/286936.286947, https://doi.org/10.1145/286936.286947
1998
Earlier work this paper cites.
Cheng, B.C., Hwu, W.M.W.: Modular interprocedural pointer analysis using access paths: Design, implementation, and evaluation. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation. p. 57–69. PLDI ’00, Association for Computing Machinery, New York, NY, USA (2000). https://doi.org/10.1145/349299.349311, https://doi.org/10.1145/349299.349311
2000
Earlier work this paper cites.
Das, M.: Unification-based pointer analysis with directional assignments. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation. p. 35–46. PLDI ’00, Association for Computing Machinery, New York, NY, USA (2000). https://doi.org/10.1145/349299.349309, https://doi.org/10.1145/349299.349309
2000
Earlier work this paper cites.
Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. p. 311–330. OOPSLA ’02, Association for Computing Machinery, New York, NY, USA (2002). https://doi.org/10.1145/582419.582448, https://doi.org/10.1145/582419.582448
2002
Earlier work this paper cites.
Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 213–223. POPL ’03, Association for Computing Machinery, New York, NY, USA (2003). https://doi.org/10.1145/604131.604156, https://doi.org/10.1145/604131.604156
2003
Earlier work this paper cites.
Boyapati, C., Salcianu, A., Beebee, W., Rinard, M.: Ownership types for safe region-based memory management in real-time java. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation. p. 324–337. PLDI ’03, Association for Computing Machinery, New York, NY, USA (2003). https://doi.org/10.1145/781131.781168, https://doi.org/10.1145/781131.781168
2003
Earlier work this paper cites.
Heine, D.L., Lam, M.S.: A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In: Cytron, R., Gupta, R. (eds.) Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. pp. 168–181. ACM (2003). https://doi.org/10.1145/781131.781150, https://doi.org/10.1145/781131.781150
2003
Earlier work this paper cites.
Brookes, S.: Variables as resource for shared-memory programs: Semantics and soundness. Electron. Notes Theor. Comput. Sci. 158
2006
Earlier work this paper cites.
Brookes, S.: A semantics for concurrent separation logic. Theor. Comput. Sci. 375
2006
Earlier work this paper cites.
Foster, J.S., Johnson, R., Kodumal, J., Aiken, A.: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28
2006
Earlier work this paper cites.
Vafeiadis, V., Herlihy, M., Hoare, T., Shapiro, M.: Proving correctness of highly-concurrent linearisable objects. In: Proceedings of the Eleventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 129–136. PPoPP ’06, Association for Computing Machinery, New York, NY, USA (2006). https://doi.org/10.1145/1122971.1122992, https://doi.org/10.1145/1122971.1122992
2006
Cited alongside, same era.
Calcagno, C., O’Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science. p. 366–378. LICS ’07, IEEE Computer Society, USA (2007). https://doi.org/10.1109/LICS.2007.30, https://doi.org/10.1109/LICS.2007.30
2007
Cited alongside, same era.
Greenfieldboyce, D., Foster, J.S.: Type qualifier inference for java. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications. p. 321–336. OOPSLA ’07, Association for Computing Machinery, New York, NY, USA (2007). https://doi.org/10.1145/1297027.1297051, https://doi.org/10.1145/1297027.1297051
2007
Matsakis, N.D., Klock, F.S.: The rust language. In: Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology. p. 103–104. HILT ’14, Association for Computing Machinery, New York, NY, USA (2014). https://doi.org/10.1145/2663171.2663188, https://doi.org/10.1145/2663171.2663188
2014
Later among the works it cites.
Lerch, J., Späth, J., Bodden, E., Mezini, M.: Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths (t). In: 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE). pp. 619–629 (2015). https://doi.org/10.1109/ASE.2015.9
2015
Later among the works it cites.
Jung, R., Jourdan, J.H., Krebbers, R., Dreyer, D.: Rustbelt: Securing the foundations of the rust programming language. Proc. ACM Program. Lang. 2
2017
Later among the works it cites.
Jung, R., Krebbers, R., Jourdan, J.H., Bizjak, A., Birkedal, L., Dreyer, D.: Iris from the ground up: A modular foundation for higher-order concurrent separation logic. Journal of Functional Programming 28
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Zhao, T., Baker, J., Hunt, J., Noble, J., Vitek, J.: Implicit ownership types for memory management. Science of Computer Programming 71
2008
Cited alongside, same era.
Feng, X.: Local rely-guarantee reasoning. In: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 315–327. POPL ’09, Association for Computing Machinery, New York, NY, USA (2009). https://doi.org/10.1145/1480881.1480922, https://doi.org/10.1145/1480881.1480922
2009
Cited alongside, same era.
Ravitch, T., Jackson, S., Aderhold, E., Liblit, B.: Automatic generation of library bindings using static analysis. In: Hind, M., Diwan, A. (eds.) Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. pp. 352–362. ACM (2009). https://doi.org/10.1145/1542476.1542516, https://doi.org/10.1145/1542476.1542516
2009
Cited alongside, same era.
Lhoták, O., Chung, K.C.A.: Points-to analysis with efficient strong updates. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 3–16. POPL ’11, Association for Computing Machinery, New York, NY, USA (2011). https://doi.org/10.1145/1926385.1926389, https://doi.org/10.1145/1926385.1926389
2011
Cited alongside, same era.
De, A., D’Souza, D.: Scalable flow-sensitive pointer analysis for java with strong updates. In: Noble, J. (ed.) ECOOP 2012 – Object-Oriented Programming. pp. 665–687. Springer Berlin Heidelberg, Berlin, Heidelberg (2012)
2012
Cited alongside, same era.
Huang, W., Milanova, A., Dietl, W., Ernst, M.D.: Reim & reiminfer: Checking and inference of reference immutability and method purity. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 879–896. OOPSLA ’12, Association for Computing Machinery, New York, NY, USA (2012). https://doi.org/10.1145/2384616.2384680, https://doi.org/10.1145/2384616.2384680
2012
Cited alongside, same era.
Clarke, D., Östlund, J., Sergey, I., Wrigstad, T.: Ownership types: a survey. vol. 7850, pp. 15–58. Springer (2013). https://doi.org/https://doi.org/10.1007/978-3-642-36946-9-3, https://lirias.kuleuven.be/1630873
2013
Cited alongside, same era.
Fitzgerald, N., Hoare, G., Mitchener, B., Puri, S.: Rust bindings to the z3 smt solver. https://crates.io/crates/z3
Cited in the paper.
inc., I.: c2rust. https://github.com/immunant/c2rust
Cited in the paper.
2018
Later among the works it cites.
Emre, M., Schroeder, R.: Artifact for ”translating c to safer rust” (Sep 2021). https://doi.org/10.5281/zenodo.5442253, https://doi.org/10.5281/zenodo.5442253
2021
Later among the works it cites.
Emre, M., Schroeder, R., Dewey, K., Hardekopf, B.: Translating C to safer rust. Proc. ACM Program. Lang. 5
2021
Later among the works it cites.
Wolff, F., Bílý, A., Matheja, C., Müller, P., Summers, A.J.: Modular specification and verification of closures in rust. Proc. ACM Program. Lang. 5
2021
Later among the works it cites.
Ling, M., Yu, Y., Wu, H., Wang, Y., Cordy, J.R., Hassan, A.E.: In rust we trust - A transpiler from unsafe C to safer rust. In: 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022. pp. 354–355. ACM/IEEE (2022). https://doi.org/10.1145/3510454.3528640, https://doi.org/10.1145/3510454.3528640
2022
Later among the works it cites.
Machiry, A., Kastner, J., McCutchen, M., Eline, A., Headley, K., Hicks, M.: C to checked c by 3c. Proc. ACM Program. Lang. 6
2022
Later among the works it cites.
Matsushita, Y., Denis, X., Jourdan, J.H., Dreyer, D.: Rusthornbelt: A semantic foundation for functional verification of rust programs with unsafe code. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. p. 841–856. PLDI 2022, Association for Computing Machinery, New York, NY, USA (2022). https://doi.org/10.1145/3519939.3523704, https://doi.org/10.1145/3519939.3523704
2022
Later among the works it cites.