Zvonimir Pavlinovic und Thomas Wies - Info zur Person

(1 - 10 von 10

)

NYU Computer Science Department

cs.nyu.edu

Zvonimir Pavlinovic, a doctoral student working with Thomas Wies, ... students to become the next generation tech entrepreneurs and innovation leaders.

Data Flow Refinement Type Inference – New York Seminar on Programming...

nyplse.commons.gc.cuny.edu

Zvonimir Pavlinovic (New York University) and Thomas Wies (New York University). Related. Leveraging Big Code to Improve Software ...

[ ] On Practical SMT-Based Type Error Localization

arxiv.org

Authors:Zvonimir Pavlinovic, Tim King, Thomas Wies · Download PDF. Abstract: Compilers for statically typed functional programming ...

[ ] The VACCINE Framework for Building DLP Systems

arxiv.org

Authors:Yan Shvartzshnaider, Zvonimir Pavlinovic, Thomas Wies, Lakshminarayanan Subramanian, Prateek Mittal, Helen Nissenbaum.

Finding Minimum Type Error Sources Zvonimir Pavlinovic Tim King...

vdocuments.net

Slide 1 Finding Minimum Type Error Sources Zvonimir Pavlinovic Tim King Thomas Wies New York University Slide 2 Motivating example [Zhang & Myers, POPL ‘14]...

Practical SMT-Based Type Error Localization scales better ...

vdocuments.site

· Zvonimir Pavlinovic New York University, USA .edu Tim King Verimag, France Thomas Wies New York University, USA

Ananth Balashankar's Webpage

ananthbalashankar.github.io

Yan Shvartzshnaider, Zvonimir Pavlinovic, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian, Helen Nissenbaum and Prateek Mittal.

Hask Anything! - Improving Type Error Localization for Languages with...

haskanything.com

Improving Type Error Localization for Languages with Type Inference. By Zvonimir Pavlinovic , Tim King , Thomas Wies. Slide Deck · Source. Tagged with ...

NSF Award Search: Award # CAREER: Abstracting Programs for...

www.nsf.gov

Zvonimir Pavlinovic Tim King Thomas Wies. "Practical SMT-Based Type Error Localization," ACM SIGPLAN International Conference on ...

Zvonimir Pavlinovic. I recently obtained my PhD in computer science from NYU. I had a privilege to be advised by Thomas Wies. My research interests lie in the ... Missing: Routledge" ‎| Must include: Routledge"

Alle Infos zum Namen "Zvonimir Pavlinovic"

Verwandte Suchanfragen zu Zvonimir Pavlinovic

Thomas Wies
Helen Nissenbaum

Personen
Vorname "Zvonimir" (278)
Name "Pavlinovic" (16)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Zvonimir Pavlinovic und Thomas Wies Person-Info