Sungwoo Park

According to our database1, Sungwoo Park authored at least 41 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Spatial Channel Covariance Estimation for the Hybrid MIMO Architecture: A Compressive Sensing-Based Approach.
IEEE Trans. Wireless Communications, 2018

Optimal User Loading in Massive MIMO Systems With Regularized Zero Forcing Precoding.
IEEE Wireless Commun. Letters, 2017

Dynamic Subarrays for Hybrid Precoding in Wideband mmWave MIMO Systems.
IEEE Trans. Wireless Communications, 2017

Exploiting Spatial Channel Covariance for Hybrid Precoding in Massive MIMO Systems.
IEEE Trans. Signal Processing, 2017

Optimization of Mixed-ADC Multi-Antenna Systems for Cloud-RAN Deployments.
IEEE Trans. Communications, 2017

Dynamic bit selection in mixed-ADC cloud-RAN systems.
Proceedings of the IEEE International Conference on Communications, 2017

Hybrid precoding using long-term channel statistics for massive MIMO systems.
Proceedings of the 2017 IEEE International Conference on Acoustics, 2017

A Constraint-Reduced Algorithm for Semidefinite Optimization Problems with Superlinear Convergence.
J. Optimization Theory and Applications, 2016

Dynamic subarray architecture for wideband hybrid precoding in millimeter wave massive MIMO systems.
Proceedings of the 2016 IEEE Global Conference on Signal and Information Processing, 2016

Spatial channel covariance estimation for mmWave hybrid MIMO architecture.
Proceedings of the 50th Asilomar Conference on Signals, Systems and Computers, 2016

A Polynomial Time Constraint-Reduced Algorithm for Semidefinite Optimization Problems.
J. Optimization Theory and Applications, 2015

Frequency Selective Hybrid Precoding in Millimeter Wave OFDMA Systems.
Proceedings of the 2015 IEEE Global Communications Conference, 2015

Optimizing the Target Error Rate for Link Adaptation.
Proceedings of the 2015 IEEE Global Communications Conference, 2015

Mechanizing Metatheory Without Typing Contexts.
J. Autom. Reasoning, 2014

A proof system for separation logic with magic wand.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Judgmental subtyping systems with intersection types and modal types.
Acta Inf., 2013

A theorem prover for Boolean BI.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Computing Exact Skyline Probabilities for Uncertain Databases.
IEEE Trans. Knowl. Data Eng., 2012

Group skyline computation.
Inf. Sci., 2012

A calculus for hardware description.
J. Funct. Program., 2011

Parallel skyline computation on multicore architectures.
Inf. Syst., 2011

A modal logic internalizing normal proofs.
Inf. Comput., 2011

A syntactic type system for recursive modules.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Portfolio Selection Using Tikhonov Filtering to Estimate the Covariance Matrix.
SIAM J. Financial Math., 2010

Towards a Cut-free Sequent Calculus for Boolean BI.
Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

Type-safe higher-order channels with channel locality.
J. Funct. Program., 2009

A logical account of uncertain databases based on linear logic.
Proceedings of the Database Theory, 2009

Parallel Skyline Computation on Multicore Architectures.
Proceedings of the 25th International Conference on Data Engineering, 2009

A probabilistic language based on sampling functions.
ACM Trans. Program. Lang. Syst., 2008

Functional netlists.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Fast Start-Up Decision Feedback Equalizer Based on Channel Estimation for 8VSB DTV System.
TBC, 2007

Type-safe higher-order channels in ML-like languages.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Novel Techniques to minimize the Error Propagation of Decision Feedback Equalizer in 8VSB DTV System.
Proceedings of the 63rd IEEE Vehicular Technology Conference, 2006

A Modal Language for the Safety of Mobile Values.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

A probabilistic language based upon sampling functions.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Capacity statistics and scheduling gain for MIMO systems in correlated Rayleigh fading.
Proceedings of the 60th IEEE Vehicular Technology Conference, 2004

The Inverse Method for the Logic of Bunched Implications.
Proceedings of the Logic for Programming, 2004

A calculus for probabilistic languages.
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Iterative inversion of fuzzified neural networks.
IEEE Trans. Fuzzy Systems, 2000

Object-Oriented VRML for Multi-User Environments.
Proceedings of the Second Symposium on Virtual Reality Modeling Language, 1997