Travelled to:1 × Canada
1 × Sweden
1 × The Netherlands
3 × USA
Collaborated with:J.J.Vinju L.E.d.S.Amorim E.Visser S.Erdweg Y.Wei H.Roth C.A.Furia Y.Pei A.Horton M.Nordio B.Meyer
Talks about:hash (3) tri (3) collect (2) effici (2) code (2) one (2) map (2) heterogen (1) prioriti (1) perspect (1)
Person: Michael J. Steindorfer
DBLP: Steindorfer:Michael_J=
Contributed to:
2015
2014
20112016
20172018
2018Wrote 7 papers:
- OOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine
- Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.
- GPCE-2014-SteindorferV #memory management #performance
- Code specialization for memory efficient hash tries (MJS, JJV), pp. 11–14.
- ASE-2011-WeiRFPHSNM #contract #fault #testing
- Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
- GPCE-2016-SteindorferV #product line #towards
- Towards a software product line of trie-based collections (MJS, JJV), pp. 168–172.
- SLE-2017-AmorimSV #case study
- Deep priority conflicts in the wild: a pilot study (LEdSA, MJS, EV), pp. 55–66.
- SLE-2018-AmorimSEV #declarative #parsing #pretty-printing #specification
- Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages (LEdSA, MJS, SE, EV), pp. 3–15.
- PLDI-2018-SteindorferV #exclamation #functional #multi #performance
- To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries (MJS, JJV), pp. 283–295.