Clara Rodríguez

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Automated Detection

Domain Knowledge

Empirical Studies

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Daniel Recasens, Clara Rodríguez
An ultrasound study of contextual and syllabic effects in consonant sequences produced under heavy articulatory constraint conditions. Speech Commun. 105 (2018)
Daniel Recasens, Clara Rodríguez
Contextual and syllabic effects in heterosyllabic consonant sequences. An ultrasound study. Speech Commun. 96 (2018)
Daniel Recasens, Clara Rodríguez
Lingual Articulation and Coarticulation for Catalan Consonants and Vowels: An Ultrasound Study. Phonetica 74 (3) (2017)
Daniel Recasens, Clara Rodríguez
A study on coarticulatory resistance and aggressiveness for front lingual consonants and vowels using ultrasound. J. Phonetics 59 (2016)