BibSLEIGH — Dimitrios

Travelled to:

1 × Denmark
1 × Italy
1 × Sweden
1 × The Netherlands
1 × Turkey
2 × Canada
2 × United Kingdom
6 × USA

Collaborated with:

S.L.P.Jones S.Weirich T.Schrijvers A.J.Kennedy P.Buiras A.Russo I.Sergey J.P.Magalhães M.C.Bolingbroke M.J.Parkinson K.Vaswani M.Costa Aaron Blankstein G.Karachalias D.Zhang A.C.Myers R.A.Eisenberg K.Claessen D.Rosén S.Zdancewic M.Sulzmann G.Washburn A.S.0001 J.Hage S.P.Jones N.Vazou E.L.Seidel R.Jhala M.Sousa I.Dillig T.Dillig C.Gkantsidis G.Stewart M.Gowda G.Mainland B.Radunovic C.L.Agullo Piyus Kedia C.Hritcu J.Hughes B.C.Pierce A.Spector-Zabusky A.A.d.Amorim L.Lampropoulos P.Deligiannis D.McDermott Jonathan Balkind

Talks about:

type (11) haskel (4) gadt (4) infer (3) polymorph (2) function (2) system (2) memori (2) manual (2) impred (2)

Person: Dimitrios Vytiniotis

DBLP: Vytiniotis:Dimitrios

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2006

2011

2017

2018

Wrote 22 papers:

ASPLOS-2015-StewartGMRVA #domain-specific language #named #programming: Ziria: A DSL for Wireless Systems Programming (GS, MG, GM, BR, DV, CLA), pp. 415–428.
ICFP-2015-BuirasVR #data flow #dynamic typing #haskell #named #type system: HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
ICFP-2015-KarachaliasSVJ #data type #lazy evaluation #pattern matching: GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness (GK, TS, DV, SLPJ), pp. 424–436.
PLDI-2015-ZhangMVJ #fault: Diagnosing type errors with class (DZ, ACM, DV, SLPJ), pp. 12–21.
ICFP-2014-VazouSJVJ #haskell #refinement: Refinement types for Haskell (NV, ELS, RJ, DV, SLPJ), pp. 269–282.
PLDI-2014-SousaDVDG #query: Consolidation of queries with user-defined functions (MS, ID, DV, TD, CG), p. 56.
POPL-2014-EisenbergVJW #equation #product line: Closed type families with overlapping equations (RAE, DV, SLPJ, SW), pp. 671–684.
POPL-2014-SergeyVJ #analysis #composition #higher-order #theory and practice: Modular, higher-order cardinality analysis in theory and practice (IS, DV, SLPJ), pp. 335–348.
ICFP-2013-HritcuHPSVAL #testing: Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
POPL-2013-VytiniotisJCR #haskell #logic #named #semantics: HALO: haskell to logic through denotational semantics (DV, SLPJ, KC, DR), pp. 431–442.
RTA-2013-VytiniotisJ #normalisation: Evidence Normalization in System FC (DV, SLPJ), pp. 20–38.
ICFP-2012-VytiniotisJM #compilation #fault #proving #similarity: Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.
POPL-2011-WeirichVJZ #abstraction #generative: Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
ICFP-2010-VytiniotisK #functional: Functional pearl: every bit counts (DV, AJK), pp. 15–26.
ICFP-2009-SchrijversJSV #data type #decidability #type inference: Complete and decidable type inference for GADTs (TS, SLPJ, MS, DV), pp. 341–352.
ICFP-2008-VytiniotisWJ #haskell #morphism #named #polymorphism: FPH: first-class polymorphism for Haskell (DV, SW, SLPJ), pp. 295–306.
ICFP-2006-JonesVWW #data type #type inference: Simple unification-based type inference for GADTs (SLPJ, DV, SW, GW), pp. 50–61.
ICFP-2006-VytiniotisWJ #rank: Boxy types: inference for higher-rank types and impredicativity (DV, SW, SLPJ), pp. 251–262.
Haskell-2011-BolingbrokeJV #combinator #termination: Termination combinators forever (MCB, SLPJ, DV), pp. 23–34.
OOPSLA-2017-ParkinsonVVCDMB #dot-net #memory management: Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.
PLDI-2017-KediaCPVVB #memory management #performance: Simple, fast, and safe manual memory management (PK, MC, MJP, KV, DV, AB), pp. 233–247.
PLDI-2018-SerranoHVJ #morphism #polymorphism: Guarded impredicative polymorphism (AS0, JH, DV, SPJ), pp. 783–796.