Skip to Main content Skip to Navigation

inria-00590150v1  Conference papers
Rémi RonfardFausto BernardiniIoanna Boier-Martin. Variational Surface Design with Multiresolution Constraints
SIAM Conference on Geometric Design and Computing, Nov 2001, Sacramento, United States
hal-02376987v1  Conference papers
Stephen PasterisFabio VitaleKevin ChanShiqiang WangMark Herbster. MaxHedge: Maximising a Maximum Online
International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Okinawa, Japan
hal-01329772v1  Conference papers
Zhiyun LuDong GuoAlireza Bagheri GarakaniKuan LiuAvner May et al.  A Comparison Between Deep Neural Nets and Kernel Acoustic Models for Speech Recognition
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), Mar 2016, Shanghai, China
hal-01299241v1  Conference papers
Dinesh KumarEitan AltmanTamer Basar. Exploring Wiener Filter Estimation of Node Population in a Sensor Network with Generally Distributed Node Lifetimes
WONS 2012 - 9th Annual Conference on Wireless On-demand Network Systems and Services, Jan 2012, Courmayeur, Italy. pp.67-70, ⟨10.1109/WONS.2012.6152240⟩
inria-00201096v1  Conference papers
Catuscia PalamidessiVijay SaraswatFrank ValenciaBjorn Victor. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. pp.59-68, ⟨10.1109/LICS.2006.39⟩
inria-00423319v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath for Streaming Access Policy
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.52-54
inria-00423382v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath into a State-less Forward-only Subset
First International Workshop on High Performance XML Processing, May 2004, New York, United States
hal-01508179v1  Conference papers
Louis MandelCédric PasteurMarc Pouzet. ReactiveML, ten years later
17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Jul 2015, Siena, Italy. pp.6 - 17, ⟨10.1145/2790449.2790509⟩
hal-00930096v1  Conference papers
Omer TrippMarco PistoiaPatrick CousotRadhia CousotSalvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications
FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró, Mar 2013, Rome, Italy. pp.210-225, ⟨10.1007/978-3-642-37057-1_15⟩
hal-03051964v1  Conference papers
Guillaume BaudartLouis MandelMarc PouzetEric AtkinsonBenjamin Sherman et al.  Programmation d'Applications Réactives Probabilistes
JFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
hal-03051954v1  Conference papers
Guillaume BaudartLouis MandelEric AtkinsonBenjamin ShermanMarc Pouzet et al.  Reactive probabilistic programming
PLDI 2020 - 41th ACM SIGPLAN International Conference in Programming Language Design and Implementation, Jun 2020, London / Virtual, United Kingdom. ⟨10.1145/3385412.3386009⟩
hal-01613546v1  Conference papers
Fabrice BenhamoudaFlorian BourseHelger Lipmaa. CCA-Secure Inner-Product Functional Encryption from Projective Hash Functions
PKC 2017 - IACR International Workshop on Public Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.36-66, ⟨10.1007/978-3-662-54388-7_2⟩
hal-01152576v1  Conference papers
Daniel J. DoughertyFrederic LangPierre LescanneLuigi LiquoriKristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25
hal-00945072v1  Conference papers
Sushil K. PrasadAlmadena Yu. ChtchelkanovaSajal K. DasFrank DehneMohamed Gouda et al.  NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates
SIGCSE''11, the 42nd ACM Tech. Symp. on Computer Science Education, 2011, Unknown, Afghanistan. pp.617-618
hal-01110379v1  Conference papers
Dario CatalanoMario Di RaimondoDario FioreRosario GennaroOrazio Puglisi. Fully Non-interactive Onion Routing with Forward-Secrecy
ACNS 2011 - 9th International Conference Applied Cryptography and Network Security, Jun 2011, Nerja, Spain. pp.255-273, ⟨10.1007/978-3-642-21554-4_15⟩
hal-01613773v1  Conference papers
Sonia BelaidFabrice BenhamoudaAlain PasselègueEmmanuel ProuffAdrian Thillard et al.  Private Multiplication over Finite Fields
Advances in Cryptology - CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.397-426, ⟨10.1007/978-3-319-63697-9_14⟩
hal-03117800v1  Conference papers
Alan ChaErik WitternGuillaume BaudartJames C. DavisLouis Mandel et al.  A Principled Approach to GraphQL Query Cost Analysis
ESEC/FSE 2020 - 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Nov 2020, Sacramento / Virtual, United States. ⟨10.1145/3368089.3409670⟩
hal-02430070v1  Conference papers
Guillaume BaudartLouis MandelMarc PouzetEric AtkinsonBenjamin Sherman et al.  Programmation d'Applications Réactives Probabilistes
JLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
hal-01378195v1  Conference papers
Hugo KrawczykHoeteck Wee. The OPTLS Protocol and TLS 1.3
EuroS&P 2016 - IEEE European Symposium on Security and Privacy, Mar 2016, Saarbrücken, Germany. ⟨10.1109/EuroSP.2016.18⟩
hal-01503070v1  Conference papers
Guillaume BaudartLouis MandelOlivier TardieuMandana Vaziri. CloudLens, un langage de script pour l'analyse de données semi-structurées
JFLA 2017 - 28ième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. pp.1-16
lirmm-00324589v1  Conference papers
David BremnerJonathan LenchnerGiuseppe LiottaChristophe PaulMarc Pouget et al.  A Note on α-Drawable k-Trees
CCCG'08: Canadian Conference on Computational Geometry, Canada. pp.23-27
inria-00551516v1  Conference papers
Konrad TrifunovicAlbert CohenDavid EdelsohnFeng LiTobias Grosser et al.  GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation
GCC Research Opportunities Workshop (GROW'10), Jan 2010, Pisa, Italy
inria-00551077v1  Conference papers
Louis-Noël PouchetUday BondhugulaCédric BastoulAlbert CohenJagannathan Ramanujam et al.  Loop Transformations: Convexity, Pruning and Optimization
38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11), Jan 2011, Austin, TX, United States
hal-00798046v1  Conference papers
Vijay SaraswatDavid CunninghamLiana HadareanLouis MandelAvraham Shinnar et al.  Constrained Types - Future Directions
CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada
inria-00638950v1  Conference papers
Moinuddin QureshiAndré SeznecLastras LuisMichele Franceschini. Practical and secure PCM systems by online detection of malicious write streams
2011 IEEE 17th International Symposium on High Performance Computer Architecture, IEEE, Feb 2011, San Antonio, United States. ⟨10.1109/HPCA.2011.5749753⟩