HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


hal-00911590v1  Directions of work or proceedings
Jocelyne ErhelMartin GanderLaurence HalpernGéraldine PichotTaoufik Sassi et al.  Domain Decomposition Methods in Science and Engineering XXI
Jocelyne Erhel and Martin Gander and Laurence Halpern and Géraldine Pichot and Taoufik Sassi and Olof Widlund. Springer, pp.800, 2014
...
hal-02120033v1  Journal articles
Jimmy EtienneNicolas RayDaniele PanozzoSamuel HornusCharlie Wang et al.  CurviSlicer: Slightly curved slicing for 3-axis printers
ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (4), pp.1-11. ⟨10.1145/3306346.3323022⟩
hal-01381145v1  Conference papers
Isabelle GuyonImad ChaabaneHugo Jair EscalanteSergio EscaleraDamir Jajetic et al.  A brief Review of the ChaLearn AutoML Challenge: Any-time Any-dataset Learning without Human Intervention
International Conference in Machine Learning (ICML 2016) Workshops, 2016, New-York, United States. pp.1-8
hal-00804550v1  Conference papers
David BommesBruno LévyNico PietroniEnrico PuppoClaudio Silva et al.  State of the Art in Quad Meshing
Eurographics - 33rd Annual Conference of the European Association for Computer Graphics - 2012, May 2012, Cagliari, Italy
hal-01248678v1  Conference papers
Carson ErinJames W. DemmelLaura GrigoriKnight NickKoanantakool Penporn et al.  Write-Avoiding Algorithms
Proceedings of IEEE International Parallel & Distributed Processing Symposium, IPDPS 2016, 2016, Chicago, United States
hal-01150288v1  Conference papers
Maxime VéronOlivier MarinSébastien MonnetPierre Sens. RepFD - Using reputation systems to detect failures in large dynamic networks
44th International Conference on Parallel Processing (ICPP-2015), Sep 2015, Beijing, China
...
hal-01399026v1  Conference papers
Luciana ArantesRoy FriedmanOlivier MarinPierre Sens. Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments
18th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. ⟨10.1145/1235⟩
...
hal-01388949v1  Conference papers
Rudyar CortésXavier BonnaireOlivier MarinLuciana ArantesPierre Sens. GeoTrie: A Scalable Architecture for Location-Temporal Range Queries over Massive GeoTagged Data Sets
The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), 2016, Cambridge, MA, United States
hal-00531563v1  Conference papers
Liqian ChenAntoine MinéJi WangPatrick Cousot. An Abstract Domain to Discover Interval Linear Equalities
11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128
inria-00528611v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJerome FeretLaurent Mauborgne et al.  Static Analysis and Verification of Aerospace Software by Abstract Interpretation
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
hal-00930070v1  Conference papers
Patrick CousotRadhia CousotManuel FähndrichFrancesco Logozzo. Automatic Inference of Necessary Preconditions
VMCAI 2013 - 14th Conference on Verification, Model Checking and Abstract Interpretation, Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni, Jan 2013, Rome, Italy. pp.128-148, ⟨10.1007/978-3-642-35873-9_10⟩
...
hal-01676732v4  Conference papers
Matthew TragerMartial HebertJean Ponce. Coordinate-Free Carlsson-Weinshall Duality and Relative Multi-View Geometry
CVPR 2019 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2019, Long Beach, United States
inria-00528632v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJerome FeretLaurent Mauborgne et al.  Static Analysis by Abstract Interpretation of Embedded Critical Software
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
hal-00864431v1  Conference papers
Yevgeniy DodisDavid PointchevalSylvain RuhaultDamien VergnaudDaniel Wichs. Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not Robust
ACM CCS 2013 - 20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. ⟨10.1145/2508859.2516653⟩
hal-00930103v1  Conference papers
Patrick CousotRadhia Cousot. A galois connection calculus for abstract interpretation
POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4, ⟨10.1145/2535838.2537850⟩
hal-00648039v1  Conference papers
Liqian ChenPatrick CousotAntoine MinéJi Wang. Linear Absolute Value Relation Analysis
ESOP 2011 : 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. pp.156-175, ⟨10.1007/978-3-642-19718-5⟩
...
hal-00646816v1  Conference papers
Y-Lan BoureauNicolas Le RouxFrancis BachJean PonceYann Lecun. Ask the locals: multi-way local pooling for image recognition
ICCV'11 - The 13th International Conference on Computer Vision, Nov 2011, Barcelone, Spain
hal-00531564v1  Conference papers
Liqian ChenAntoine MinéJi WangPatrick Cousot. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
16th International Static Analysis Symposium (SAS'09), Aug 2009, United States. pp.309-325
hal-00921792v1  Journal articles
Vadim LyubashevskyChris PeikertOded Regev. On Ideal Lattices and Learning with Errors over Rings
Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (6), ⟨10.1145/2535925⟩