Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | D | K | L | M | O | R | V | Z

Number of items: 10.

B

Bastian, Théophile, Kell, Stephen, Zappa Nardelli, Francesco (2019) Reliable and Fast DWARF-Based Stack Unwinding. Proceedings of the ACM on Programming Languages, 3 . Article Number 146. E-ISSN 2475-1421. (doi:10.1145/3360572) (KAR id:76575)

D

Daloze, Benoit, Tal, Arie, Marr, Stefan, Mössenböck, Hanspeter, Petrank, Erez (2018) Parallelization of Dynamic Languages: Synchronizing Built-in Collections. Proceedings of the ACM on Programming Languages, 2 (OOPSLA). Article Number 108. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3276478) (KAR id:69156)

K

Koparkar, Chaitanya, Rainey, Mike, Vollmer, Michael, Kulkarni, Milind, Newton, Ryan R. (2021) Efficient tree-traversals: reconciling parallelism and dense data representations. Proceedings of the ACM on Programming Languages, 5 (ICFP). Article Number 91. ISSN 2475-1421. (doi:10.1145/3473596) (KAR id:95504)

Kanabar, Hrutvik, Vivien, Samuel, Abrahamsson, Oskar, Myreen, Magnus O., Norrish, Michael, Pohjola, Johannes Åman, Zanetti, Riccardo (2023) PureCake: A verified compiler for a lazy functional language. Proceedings of the ACM on Programming Languages, 7 (PLDI). pp. 952-976. E-ISSN 2475-1421. (doi:10.1145/3591259) (KAR id:101697)

L

Larose, Octave, Kaleba, Sophie, Burchell, Humphrey, Marr, Stefan (2023) AST vs. bytecode: interpreters in the age of meta-compilation. Proceedings of the ACM on Programming Languages, 7 (OOPSLA). pp. 318-346. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3622808) (KAR id:102817)

M

Memarian, Kayvan, Gomes, Victor B.F., David, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert N.M., Sewell, Peter (2019) Exploring C semantics and pointer provenance. In: Proceedings of the ACM on Programming Languages. 3 (POPL). ACM (doi:10.1145/3290380) (KAR id:78086)

O

Orchard, Dominic A., Liepelt, Vilem, Eades, Harley (2019) Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3 (ICFP). Article Number 110. E-ISSN 2475-1421. (doi:10.1145/3341714) (KAR id:74450)

R

Rajani, Vineet, Gaboardi, Marco, Garg, Deepak, Hoffmann, Jan (2021) A unifying type-theory for higher-order (amortized) cost analysis. Proceedings of the ACM on Programming Languages, 5 (POPL). pp. 1-28. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3434308) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90653)

V

Vassena, Marco, Russo, Alejandro, Garg, Deepak, Rajani, Vineet, Stefan, Deian (2019) From fine- to coarse-grained dynamic information flow control and back. Proceedings of the ACM on Programming Languages, 3 (POPL). pp. 1-31. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3290389) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:90644)

Z

Zhang, Xin, Grigore, Radu, Si, Xujie, Naik, Mayur (2017) Effective Interactive Resolution of Static Analysis Alarms. Proceedings of the ACM on Programming Languages, 1 (OOPSLA). Article Number 57. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133881) (KAR id:62658)

This list was generated on Tue Apr 23 23:03:20 2024 BST.