Edoardo Manino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | COLING | Montague semantics and modifier consistency measurement in neural language models. | Danilo Silva de Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, Andr Freitas |
| 2025 | ESOP | Neural Network Verification is a Programming Language Challenge. | Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu |
| 2025 | TACAS | ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). | Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael S Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro |
| 2024 | SAS | Verifying Components of Arm | Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro |
| 2024 | TACAS | ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). | Rafael S Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Braue, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro |
| 2023 | CAV | Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. | Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | TACAS | EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). | Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro |
| 2022 | AAAI | EnnCore: End-to-End Conceptual Guarding of Neural Architectures. | Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, Andr Freitas, Gavin Brown, Mikel Lujn, Xiaowei Huang, Lucas C. Cordeiro |
| 2022 | ACL | Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. | Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, Andr Freitas, Lucas C. Cordeiro |
| 2022 | CAV | CEG4N: Counter-Example Guided Neural Network Quantization Refinement. | Joo Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
| 2018 | IJCAI | On the Efficiency of Data Collection for Crowdsourced Classification. | Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings |