Travelled to:
1 × Canada
1 × Finland
1 × France
1 × Israel
1 × Italy
1 × Korea
2 × China
5 × USA
Collaborated with:
J.Steinhardt M.I.Jordan M.Naik A.T.Chaganty D.Klein A.Aiken O.Tripp N.Srebro O.Bastani R.S.0001 H.D.III B.Taskar Kensen Shi M.Sagiv M.Narasimhan M.Shilman P.A.Viola R.Sharma S.Gupta B.Hariharan A.V.Nori
Talks about:
learn (6) structur (4) abstract (4) model (4) estim (3) exponenti (2) algorithm (2) approach (2) program (2) mixtur (2)
Person: Percy Liang
DBLP: Liang:Percy
Contributed to:
Wrote 20 papers:
- ICML-2015-SteinhardtL #modelling
- Reified Context Models (JS, PL), pp. 1043–1052.
- ICML-2015-SteinhardtL15a #learning #modelling #predict
- Learning Fast-Mixing Models for Structured Prediction (JS, PL), pp. 1063–1072.
- ICML-c1-2014-SteinhardtL
- Filtering with Abstract Particles (JS, PL), pp. 727–735.
- ICML-c2-2014-ChagantyL #modelling #using #visual notation
- Estimating Latent-Variable Graphical Models using Moments and Likelihoods (ATC, PL), pp. 1872–1880.
- ICML-c2-2014-SteinhardtL14a #adaptation #algorithm
- Adaptivity and Optimism: An Improved Exponentiated Gradient Algorithm (JS, PL), pp. 1593–1601.
- ESOP-2013-SharmaGHALN #algebra #approach #data-driven #invariant
- A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.
- ICML-c3-2013-ChagantyL #linear
- Spectral Experts for Estimating Mixtures of Linear Regressions (ATC, PL), pp. 1040–1048.
- PLDI-2011-LiangN #abstraction #refinement #scalability
- Scaling abstraction refinement via pruning (PL, MN), pp. 590–601.
- POPL-2011-LiangTN #abstraction #learning
- Learning minimal abstractions (PL, OT, MN), pp. 31–42.
- ICML-2010-LiangJK #approach #learning #source code
- Learning Programs: A Hierarchical Bayesian Approach (PL, MIJ, DK), pp. 639–646.
- ICML-2010-LiangS #interactive #learning #multi #on the
- On the Interaction between Norm and Dimensionality: Multiple Regimes in Learning (PL, NS), pp. 647–654.
- OOPSLA-2010-LiangTNS #abstraction #evaluation #precise
- A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.
- ICML-2009-LiangJK #exponential #learning #metric #product line
- Learning from measurements in exponential families (PL, MIJ, DK), pp. 641–648.
- ICML-2008-LiangDK #compilation
- Structure compilation: trading structure for features (PL, HDI, DK), pp. 592–599.
- ICML-2008-LiangJ #analysis #generative #pseudo
- An asymptotic analysis of generative, discriminative, and pseudolikelihood estimators (PL, MIJ), pp. 584–591.
- ICML-2007-LiangJT #modelling
- A permutation-augmented sampler for DP mixture models (PL, MIJ, BT), pp. 545–552.
- ICDAR-2005-LiangNSV #2d #algorithm #geometry #parsing #performance
- Efficient Geometric Algorithms for Parsing in Two Dimensions (PL, MN, MS, PAV), pp. 1172–1177.
- PLDI-2017-Bastani0AL
- Synthesizing program input grammars (OB, RS0, AA, PL), pp. 95–110.
- PLDI-2018-Bastani0AL #learning #points-to #specification
- Active learning of points-to specifications (OB, RS0, AA, PL), pp. 678–692.
- POPL-2019-ShiSL #component #named #synthesis
- FrAngel: component-based synthesis with control structures (KS, JS, PL), p. 29.