BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vytiniotis:Dimitrios

Contributed to:

ASPLOS 20152015
ICFP 20152015
PLDI 20152015
ICFP 20142014
PLDI 20142014
POPL 20142014
ICFP 20132013
POPL 20132013
RTA 20132013
ICFP 20122012
POPL 20112011
ICFP 20102010
ICFP 20092009
ICFP 20082008
ICFP 20062006
Haskell 20112011
OOPSLA 20172017
PLDI 20172017
PLDI 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.