98 citations
- Universidad Politécnica de MadridES38 papers
- Madrid Institute for Advanced StudiesES15 papers
- Roskilde UniversityDK11 papers
- University of PennsylvaniaUS11 papers
- Max Planck Institute for Software SystemsDE10 papers
- University at Buffalo, State University of New YorkUS9 papers
- Institut national de recherche en sciences et technologies du numériqueFR8 papers
- Universidad Complutense de MadridES7 papers
- Consejo Superior de Investigaciones CientíficasES5 papers
- Saarland UniversityDE5 papers
- University College LondonGB5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
13 papers · 1 filter
A Language-theoretic View on Network Protocols
Pierre Ganty, Boris Köpf, Pedro Valero
Input validation is the first line of defense against malformed or malicious inputs. It is therefore critical that the validator (which is often part of the parser) is free of bugs…
Bounded-oscillation Pushdown Automata
Pierre Ganty, Damir Valput
We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In parti…
A Source-level Energy Optimization Framework for Mobile Applications
Xueliang Li, John P. Gallagher
Energy efficiency can have a significant influence on user experience of mobile devices such as smartphones and tablets. Although energy is consumed by hardware, software optimizat…
Solving non-linear Horn clauses using a linear Horn clause solver
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
In this paper we show that checking satisfiability of a set of non-linear Horn clauses (also called a non-linear Horn clause program) can be achieved using a solver for linear Horn…
Coupling proofs are probabilistic product programs
Gilles Barthe, Benjamin Grégoire, Justin Hsu +1
Couplings are a powerful mathematical tool for reasoning about pairs of probabilistic processes. Recent developments in formal verification identify a close connection between coup…
ENTRA: Whole-Systems Energy Transparency
Kerstin Eder, John P. Gallagher, Pedro Lopez-Garcia +14
Promoting energy efficiency to a first class system design goal is an important research challenge. Although more energy-efficient hardware can be designed, it is software that con…