Loic Pottier

16 papers A 1B 4C 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Determining Levels of Detail for Simulators of Parallel and Distributed Computing Systems via Automated Calibration.
SC Workshops
Jesse McDonald, Yick Ching Wong, Kshitij Mehta, Frédéric Suter, Rafael Ferreira da Silva, Loic Pottier, Ewa Deelman, Henri Casanova
2021 J jnl
Workflows Community Summit: Bringing the Scientific Workflows Community Together.
CoRR
Rafael Ferreira da Silva, Henri Casanova, Kyle Chard, Dan Laney, Dong H. Ahn, Shantenu Jha, Carole A. Goble, Lavanya Ramakrishnan, J. Luc Peterson, Bjoern Enders, Douglas Thain, Ilkay Altintas, Yadu N. Babuji, Rosa M. Badia, Vivien Bonazzi, Tainã Coleman, Michael R. Crusoe, Ewa Deelman, Frank Di Natale, Paolo Di Tommaso, Thomas Fahringer, Rosa Filgueira, Grigori Fursin, Alex Ganose, Björn A. Grüning, Daniel S. Katz, Olga A. Kuchar, Ana Kupresanin, Bertram Ludäscher, Ketan Maheshwari, Marta Mattoso, Kshitij Mehta, Todd S. Munson, Jonathan Ozik, Tom Peterka, Loic Pottier, Tim Randles, Stian Soiland-Reyes, Benjamín Tovar, Matteo Turilli, Thomas D. Uram, Karan Vahi, Michael Wilde, Matthew Wolf, Justin M. Wozniak
2018 C conf
Co-Scheduling HPC Workloads on Cache-Partitioned CMP Platforms.
CLUSTER
Guillaume Aupy, Anne Benoit, Brice Goglin, Loic Pottier, Yves Robert
2016 B conf
Resilient Application Co-scheduling with Processor Redistribution.
ICPP
Anne Benoit, Loic Pottier, Yves Robert
2008 — conf
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
LPAR Workshops
Loic Pottier
2003 — conf
Visualizing Geometrical Statements with GeoView.
UITP@TPHOLs
Yves Bertot, Frédérique Guilhot, Loic Pottier
2002 — conf
Mathematical Quotients and Quotient Types in Coq.
TYPES
Laurent Chicli, Loic Pottier, Carlos Simpson
2001 — conf
Extraction dans le Calcul des Constructions Inductives.
JFLA
Loic Pottier
1999 A conf
On-Line Handwritten Formula Recognition using Hidden Markov Models and Context Dependent Graph Grammars.
ICDAR
Andreas Kosmala, Gerhard Rigoll, Stephane Lavirotte, Loic Pottier
1996 B conf
The Euclidean Algorithm in Dimension
ISSAC
Loic Pottier
1992 — conf
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena.
DISCO
C. Faure, André Galligo, J. Grimm, Loic Pottier
1991 — conf
A Solution of the Complement Problem in Associative-Commutative Theories.
IWWERT
Emmanuel Kounalis, Denis Lugiez, Loic Pottier
1991 B conf
A Solution of the Complement Problem in Associative-Commutative Theories.
MFCS
Emmanuel Kounalis, Denis Lugiez, Loic Pottier
1991 — conf
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms.
RTA
Loic Pottier
1990 — conf
The design of SISYPHE: a system for doing symbolic and algebraic computations.
DISCO
André Galligo, J. Grimm, Loic Pottier
1988 B conf
Greater Easy Common Divisor and Standard Basis Completion Algorithms.
ISSAC
André Galligo, Loic Pottier, Carlo Traverso