user avatar
Richard Peng
@rpeng233
Associate Professor @SCSatCMU, works on efficient graph/sparse matrix algorithms. Adjunct Professor @UWCheritonCS.
Beamsville, Ontario
Joined September 2018
Posts
  • user avatar
    "Tenure is a privilege that carries significant responsibility and obligation to students, the profession, and society at large. You are entering a new phase of your career that allows you to more creatively and fully express your work..." ... I haz tenure😅, thx 4 all teh halp
  • user avatar
    The ultimate row sampling / non-linear dimensionality reduction theorem? arxiv.org/abs/2311.18145
  • user avatar
    Holy bovine, a proper matrix anti-concentration bound arxiv.org/abs/2111.05553 (it works for square matrices with correlated entries, and reduces the exponent in the runtime upper bound for sparse poly-conditioned linear systems by 0.06)
  • user avatar
    Replying to @jasondeanlee
    In my opinion (as contest coach), IMO`25 is a problem setting accident (rk9-91 all solved 5 problems, suppose to be 50 golds) that's almost as bad as IOI`24 (rk 10 -150 all solved 2 problems, 30 golds). Basically there were no doable medium/hard problems on either.
  • user avatar
    Replying to @BooleanAnalysis and @thegautamkamath
    ఠ_ఠ you follow CF... Disclaimer: that post was written on a contest programming (CP) forum, where trees / tree data structures / recursions are dank memes. Thankfully these days there is (usually) @yangpliu with the more balanced / sane take:
  • user avatar
    Replying to @PradyuPrasad
    I've taught design & analysis of algo, theory of computing, and discrete math. Never heard of FizzBuzz before... is it another LeetCode Meme?
  • user avatar
    Will be talking on TCS+ this Wednesday 1700UTC on vertex sparsification based dynamic graph data structures: tcsplus.wordpress.com/2019/03/28/tcs…. Tune in to see the hybridization of eigenkitty, offline processing, and graph algorithms being presented online, with memes and sparsifiers.
  • user avatar
    Oh.... deer .... (from a student's ESA`25 outcome)
  • user avatar
    Replying to @WeinNicole
    Controversial opinion w.r.t. 2 & 3: I feel they are partly by-products of how much we under-emphasize the role of memory in problem solving processes. I feel a lot of 'quick solves/observations' are due to matching to setups that one is already familiar with.
  • user avatar
    Replying to @rpeng233
    It says that any (well-behaved) function over an inherently d-dimensional space can be approximated by a subset of about d such functions, and gives an algorithm to do so. Previously this was only known for norms. The paper also significantly demystifies the concentration proof.
  • user avatar
    Are there general matrix anti-concentration bounds? E.g. showing the sum of isotropic matrices reweighed by Gaussians has >1/poly(n) min-singular value with 1 - 1/poly(n) probability? The bounds that I can find seem to rely on independence of matrix entries.
  • user avatar
    Congratulations Julia Chuzhoy of @TTIC_Connect, recipient of the 2020 @theNASciences Michael and Sheila Held Prize, for advances in graph algorithms, hardness of approximation, and structural graph theory! #NASaward #ComputerScience bit.ly/Chuzhoy
  • user avatar
  • user avatar
    Replying to @chrmanning
    As someone who has looked at some of the 10^7 lines of code in Sandia's Trilinos package (for solving large linear systems), I feel there is also a factor of at least 10 or so from the software engineering/legacy aspects. This type of inefficiency is far more complicated though.