Lucas Peña

12 papers A 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
ACM Trans. Program. Lang. Syst.
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2023 J jnl
Proc. ACM Program. Lang.
Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
2022 conf
FROM
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil
2022 J jnl
Proc. ACM Program. Lang.
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
2020 A conf
ESOP
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2020 J jnl
CoRR
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2020 J jnl
Proc. ACM Program. Lang.
Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu
2019 J jnl
CoRR
Christof Löding, P. Madhusudan, Adithya Murali, Lucas Peña
2019 conf
FM Workshops (1)
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2019 J jnl
CoRR
Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2018 J jnl
Proc. ACM Program. Lang.
Christof Löding, P. Madhusudan, Lucas Peña
2018 A conf
ESOP
Brandon M. Moore, Lucas Peña, Grigore Rosu