16 papers:
POPL-2013-RamalingamV #fault tolerance- Fault tolerance via idempotence (GR, KV), pp. 249–262.
ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread- ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
CGO-2013-KruijfS #analysis #code generation #evaluation #implementation- Idempotent code generation: Implementation, analysis, and evaluation (MdK, KS), p. 12.
PLDI-2012-KruijfSJ #compilation #design #static analysis- Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.
CSL-2012-Ehrhard- Collapsing non-idempotent intersection types (TE), pp. 259–273.
FoSSaCS-2011-BernadetL #complexity #normalisation- Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (AB, SL), pp. 88–107.
- CSL-2011-BernadetL #modelling #morphism #orthogonal #polymorphism
- Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism (AB, SL), pp. 51–66.
AFL-J-2008-KlimaP10a- Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
PPoPP-2009-MichaelVS- Idempotent work stealing (MMM, MTV, VAS), pp. 45–54.
- AFL-2008-KlimaP
- Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
- AFL-2008-Martyugin #automaton #commutative #complexity #problem #word
- Complexity of problems concerning reset words for commutative automata and automata with simple idempotents (PVM), pp. 314–324.
SAT-2007-HeuleM #multi- From Idempotent Generalized Boolean Assignments to Multi-bit Search (MH, HvM), pp. 134–147.
STOC-2006-AryaMM #on the- On the importance of idempotence (SA, TM, DMM), pp. 564–573.
ICFP-2004-NeergaardM #type system #why- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work (PMN, HGM), pp. 138–149.
- PPoPP-2001-KimOEFV #analysis #execution #framework #optimisation
- Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.
ICALP-1990-Palamidessi #algebra- Algebraic Properties of Idempotent Substitutions (CP), pp. 386–399.
